runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15211 MiB free)
memory of node 1: 16384 MiB (15646 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270439-1502624493/watcher-4270439-1502624493 -o /tmp/evaluation-result-4270439-1502624493/solver-4270439-1502624493 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21066 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1511338500 HOME/instance-4270439-1502624493.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24502, runsolver pid=24499
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 2.00 2.01 1.93 3/203 24510
/proc/meminfo: memFree=31590052/32770624 swapFree=67108860/67108860
[pid=24502] ppid=24499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50789907 9740288 345 18446744073709551615 4194304 5098028 140731955261120 140731955259224 140033865896572 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 28577792 140731955265918 140731955266122 140731955266122 140731955269611 0
/proc/24502/statm: 2378 345 289 221 0 87 0
[pid=24504] ppid=24502 vsize=13574484 memory=17460 CPUtime=0.02 cores=1,3,5,7
/proc/24504/stat : 24504 (java) S 24502 24502 11586 0 -1 1077944320 3700 0 0 0 1 1 0 0 20 0 9 0 50789915 13900271616 4365 18446744073709551615 4194304 4196468 140721949209920 140721949192464 140118970203895 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
/proc/24504/statm: 3393621 4365 2063 1 0 3383118 0
[pid=24504/tid=24505] ppid=24502 vsize=13574484 memory=-8713483618642457695 CPUtime=0.01 cores=1,3,5,7
/proc/24504/task/24505/stat : 24505 (java) R 24502 24502 11586 0 -1 4202560 2416 0 0 0 1 0 0 0 20 0 9 0 50789915 13900271616 4365 18446744073709551615 4194304 4196468 140721949209920 140118974444688 140118956297056 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24506] ppid=24502 vsize=13574484 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24506/stat : 24506 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 50789916 13900271616 4365 18446744073709551615 4194304 4196468 140721949209920 140118889618576 140118970214101 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24507] ppid=24502 vsize=13574484 memory=140011898168960 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24507/stat : 24507 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 50789916 13900271616 4365 18446744073709551615 4194304 4196468 140721949209920 140118888565776 140118970214101 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24508] ppid=24502 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24508/stat : 24508 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 50789916 13900271616 4430 18446744073709551615 4194304 4196468 140721949209920 140118887512976 140118970214101 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24509] ppid=24502 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24509/stat : 24509 (java) S 24502 24502 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 50789916 13900271616 4430 18446744073709551615 4194304 4196468 140721949209920 140118886460176 140118970214101 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24510] ppid=24502 vsize=13574484 memory=140011898168960 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24510/stat : 24510 (java) S 24502 24502 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 50789917 13900271616 4430 18446744073709551615 4194304 4196468 140721949209920 140118448396656 140118970215042 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24511] ppid=24502 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24511/stat : 24511 (java) S 24502 24502 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 50789917 13900271616 4430 18446744073709551615 4194304 4196468 140721949209920 140118447342624 140118970214101 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24512] ppid=24502 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24512/stat : 24512 (java) S 24502 24502 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 50789918 13900271616 4430 18446744073709551615 4194304 4196468 140721949209920 140118446289840 140118970214101 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18840 KiB
[startup+0.209892 s]*
/proc/loadavg: 2.00 2.01 1.93 3/211 24518
/proc/meminfo: memFree=31581456/32770624 swapFree=67108860/67108860
[pid=24502] ppid=24499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50789907 9740288 345 18446744073709551615 4194304 5098028 140731955261120 140731955259224 140033865896572 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 28577792 140731955265918 140731955266122 140731955266122 140731955269611 0
/proc/24502/statm: 2378 345 289 221 0 87 0
[pid=24504] ppid=24502 vsize=13974352 memory=28432 CPUtime=0.12 cores=1,3,5,7
/proc/24504/stat : 24504 (java) S 24502 24502 11586 0 -1 1077944320 5092 0 0 0 10 2 0 0 20 0 15 0 50789915 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140721949192464 140118970203895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
/proc/24504/statm: 3493588 7108 2808 1 0 3482964 0
[pid=24504/tid=24505] ppid=24502 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=1,3,5,7
/proc/24504/task/24505/stat : 24505 (java) R 24502 24502 11586 0 -1 4202560 3123 0 0 0 8 1 0 0 20 0 15 0 50789915 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118974430432 140118970225821 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24506] ppid=24502 vsize=13974352 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24506/stat : 24506 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118889618576 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24507] ppid=24502 vsize=13974352 memory=4122119155769435808 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24507/stat : 24507 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118888565776 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24508] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24508/stat : 24508 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118887512976 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24509] ppid=24502 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24509/stat : 24509 (java) S 24502 24502 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50789916 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118886460176 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24510] ppid=24502 vsize=13974352 memory=140011898168960 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24510/stat : 24510 (java) S 24502 24502 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50789917 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118448396656 140118970215042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24511] ppid=24502 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24511/stat : 24511 (java) S 24502 24502 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50789917 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118447342624 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24512] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24512/stat : 24512 (java) S 24502 24502 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50789918 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118446289776 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24513] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24513/stat : 24513 (java) S 24502 24502 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50789920 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118445238096 140118970222491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24514] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24514/stat : 24514 (java) S 24502 24502 11586 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 50789920 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118444186480 140118970215042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24515] ppid=24502 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24515/stat : 24515 (java) S 24502 24502 11586 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 50789920 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118443133680 140118970215042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24516] ppid=24502 vsize=13974352 memory=140011898168960 CPUtime=0.01 cores=1,3,5,7
/proc/24504/task/24516/stat : 24516 (java) R 24502 24502 11586 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 15 0 50789920 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118442080880 140118955885690 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24517] ppid=24502 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24517/stat : 24517 (java) S 24502 24502 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50789920 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118441028320 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24518] ppid=24502 vsize=13974352 memory=140011898168960 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24518/stat : 24518 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789925 14309736448 7108 18446744073709551615 4194304 4196468 140721949209920 140118439975600 140118970215042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29812 KiB
[startup+0.310356 s]*
/proc/loadavg: 2.00 2.01 1.93 4/211 24519
/proc/meminfo: memFree=31568476/32770624 swapFree=67108860/67108860
[pid=24502] ppid=24499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50789907 9740288 345 18446744073709551615 4194304 5098028 140731955261120 140731955259224 140033865896572 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 28577792 140731955265918 140731955266122 140731955266122 140731955269611 0
/proc/24502/statm: 2378 345 289 221 0 87 0
[pid=24504] ppid=24502 vsize=13974352 memory=40084 CPUtime=0.32 cores=1,3,5,7
/proc/24504/stat : 24504 (java) S 24502 24502 11586 0 -1 1077944320 8693 0 0 0 28 4 0 0 20 0 15 0 50789915 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140721949192464 140118970203895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
/proc/24504/statm: 3493588 10021 3006 1 0 3482964 0
[pid=24504/tid=24505] ppid=24502 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/24504/task/24505/stat : 24505 (java) R 24502 24502 11586 0 -1 4202560 5847 0 0 0 16 2 0 0 20 0 15 0 50789915 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118974440944 140118970225821 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24506] ppid=24502 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24506/stat : 24506 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118889618576 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24507] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24507/stat : 24507 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118888565776 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24508] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24508/stat : 24508 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118887512976 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24509] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24509/stat : 24509 (java) S 24502 24502 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50789916 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118886460176 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24510] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24510/stat : 24510 (java) S 24502 24502 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50789917 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118448396656 140118970215042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24511] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24511/stat : 24511 (java) S 24502 24502 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50789917 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118447342624 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24512] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24512/stat : 24512 (java) S 24502 24502 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50789918 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118446289776 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24513] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24513/stat : 24513 (java) S 24502 24502 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50789920 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118445238096 140118970222491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24514] ppid=24502 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24504/task/24514/stat : 24514 (java) S 24502 24502 11586 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 50789920 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118444186480 140118970215042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24515] ppid=24502 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24504/task/24515/stat : 24515 (java) S 24502 24502 11586 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 50789920 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118443133680 140118970215042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24516] ppid=24502 vsize=13974352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24504/task/24516/stat : 24516 (java) R 24502 24502 11586 0 -1 4202560 700 0 0 0 7 0 0 0 20 0 15 0 50789920 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118442080880 140118954449052 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24517] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24517/stat : 24517 (java) S 24502 24502 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50789920 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118441028320 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24518] ppid=24502 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24518/stat : 24518 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789925 14309736448 10021 18446744073709551615 4194304 4196468 140721949209920 140118439975600 140118970215042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41464 KiB
[startup+0.630723 s]
# the end of solver process 24502 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.967008 s, system=0.065685 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410297 s]*
/proc/loadavg: 2.00 2.01 1.93 3/211 24519
/proc/meminfo: memFree=31563724/32770624 swapFree=67108860/67108860
[pid=24502] ppid=24499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50789907 9740288 345 18446744073709551615 4194304 5098028 140731955261120 140731955259224 140033865896572 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 28577792 140731955265918 140731955266122 140731955266122 140731955269611 0
/proc/24502/statm: 2378 345 289 221 0 87 0
[pid=24504] ppid=24502 vsize=13978608 memory=46744 CPUtime=0.48 cores=1,3,5,7
/proc/24504/stat : 24504 (java) S 24502 24502 11586 0 -1 1077944320 10004 0 0 0 43 5 0 0 20 0 15 0 50789915 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140721949192464 140118970203895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
/proc/24504/statm: 3494652 11686 3040 1 0 3482964 0
[pid=24504/tid=24505] ppid=24502 vsize=13978608 memory=7311146985107750967 CPUtime=0.28 cores=1,3,5,7
/proc/24504/task/24505/stat : 24505 (java) R 24502 24502 11586 0 -1 4202560 7057 0 0 0 25 3 0 0 20 0 15 0 50789915 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118974436176 140118952055074 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24506] ppid=24502 vsize=13978608 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24506/stat : 24506 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118889618576 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24507] ppid=24502 vsize=13978608 memory=4410209520022978592 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24507/stat : 24507 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118888565776 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24508] ppid=24502 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24508/stat : 24508 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118887512976 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24509] ppid=24502 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24509/stat : 24509 (java) S 24502 24502 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50789916 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118886460176 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24510] ppid=24502 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24510/stat : 24510 (java) S 24502 24502 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50789917 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118448396656 140118970215042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24511] ppid=24502 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24511/stat : 24511 (java) S 24502 24502 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50789917 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118447342624 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24512] ppid=24502 vsize=13978608 memory=140011898168960 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24512/stat : 24512 (java) S 24502 24502 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50789918 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118446289776 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24513] ppid=24502 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24513/stat : 24513 (java) S 24502 24502 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50789920 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118445238096 140118970222491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24514] ppid=24502 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24504/task/24514/stat : 24514 (java) R 24502 24502 11586 0 -1 1077944384 522 0 0 0 3 0 0 0 20 0 15 0 50789920 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118444186480 140118970215042 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24515] ppid=24502 vsize=13978608 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/24504/task/24515/stat : 24515 (java) R 24502 24502 11586 0 -1 4202560 357 0 0 0 3 0 0 0 20 0 15 0 50789920 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118443133680 140118948102384 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24516] ppid=24502 vsize=13978608 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/24504/task/24516/stat : 24516 (java) S 24502 24502 11586 0 -1 1077944384 772 0 0 0 11 0 0 0 20 0 15 0 50789920 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118442080880 140118970215042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24517] ppid=24502 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24517/stat : 24517 (java) S 24502 24502 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50789920 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118441028320 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24518] ppid=24502 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24518/stat : 24518 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789925 14314094592 11686 18446744073709551615 4194304 4196468 140721949209920 140118439975600 140118970215042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 48124 KiB
[startup+0.610022 s]
/proc/loadavg: 2.00 2.01 1.93 3/211 24519
/proc/meminfo: memFree=31558700/32770624 swapFree=67108860/67108860
[pid=24502] ppid=24499 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50789907 9740288 345 18446744073709551615 4194304 5098028 140731955261120 140731955259224 140033865896572 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 28577792 140731955265918 140731955266122 140731955266122 140731955269611 0
/proc/24502/statm: 2378 345 289 221 0 87 0
[pid=24504] ppid=24502 vsize=13980732 memory=61456 CPUtime=0.97 cores=1,3,5,7
/proc/24504/stat : 24504 (java) S 24502 24502 11586 0 -1 1077944320 12503 0 0 0 92 5 0 0 20 0 15 0 50789915 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140721949192464 140118970203895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
/proc/24504/statm: 3495183 15364 3161 1 0 3483476 0
[pid=24504/tid=24505] ppid=24502 vsize=13980732 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/24504/task/24505/stat : 24505 (java) R 24502 24502 11586 0 -1 4202560 8086 0 0 0 44 4 0 0 20 0 15 0 50789915 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118974441568 140118970215830 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24506] ppid=24502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24506/stat : 24506 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118889618576 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24507] ppid=24502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24507/stat : 24507 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118888565776 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24508] ppid=24502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24508/stat : 24508 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789916 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118887512976 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24509] ppid=24502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24509/stat : 24509 (java) S 24502 24502 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50789916 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118886460176 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24510] ppid=24502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24510/stat : 24510 (java) S 24502 24502 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50789917 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118448396656 140118970215042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24511] ppid=24502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24511/stat : 24511 (java) S 24502 24502 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50789917 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118447342624 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24512] ppid=24502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24512/stat : 24512 (java) S 24502 24502 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50789918 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118446289776 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24513] ppid=24502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24513/stat : 24513 (java) S 24502 24502 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50789920 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118445238096 140118970222491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24514] ppid=24502 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/24504/task/24514/stat : 24514 (java) R 24502 24502 11586 0 -1 4202560 1019 0 0 0 14 0 0 0 20 0 15 0 50789920 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118444176400 140118955128944 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24515] ppid=24502 vsize=13980732 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/24504/task/24515/stat : 24515 (java) R 24502 24502 11586 0 -1 1077944384 816 0 0 0 11 0 0 0 20 0 15 0 50789920 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118443133776 140118970214101 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24516] ppid=24502 vsize=13980732 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/24504/task/24516/stat : 24516 (java) R 24502 24502 11586 0 -1 4202560 1278 0 0 0 23 0 0 0 20 0 15 0 50789920 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118442080880 140118954284382 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24517] ppid=24502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24517/stat : 24517 (java) S 24502 24502 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50789920 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118441028320 140118970214101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
[pid=24504/tid=24518] ppid=24502 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24504/task/24518/stat : 24518 (java) S 24502 24502 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50789925 14316269568 15364 18446744073709551615 4194304 4196468 140721949209920 140118439975600 140118970215042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38690816 140721949217207 140721949217382 140721949217382 140721949220815 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62836 KiB
Child status: 0
Real time (s): 0.630757
CPU time (s): 1.03269
CPU user time (s): 0.967008
CPU system time (s): 0.065685
CPU usage (%): 163.723
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 62836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.967008
system time used= 0.065685
maximum resident set size= 62464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1417
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 24502
# total CPU time (s): 1.03269
# total CPU user time (s): 0.967008
# total CPU system time (s): 0.065685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025244 second user time and 0.047409 second system time
The end