runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254037-1501614452/watcher-4254037-1501614452 -o /tmp/evaluation-result-4254037-1501614452/solver-4254037-1501614452 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 198787309 HOME/instance-4254037-1501614452.xml
pid=7585
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.97 1.79 3/196 7588
/proc/meminfo: memFree=31765808/32770624 swapFree=0/183292
[pid=7588] ppid=7585 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (runsolver) D 7585 7588 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10068273 24240128 108 18446744073709551615 4194304 4338465 140724993859600 140724993857240 139949870162647 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 16969728 140724993867870 140724993868358 140724993868358 140724993871818 0
/proc/7588/statm: 5918 108 54 36 0 2156 0
[startup+0.100203 s]
/proc/loadavg: 1.99 1.97 1.79 3/196 7588
/proc/meminfo: memFree=31765808/32770624 swapFree=0/183292
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200307 s]
/proc/loadavg: 1.99 1.97 1.79 3/196 7588
/proc/meminfo: memFree=31765808/32770624 swapFree=0/183292
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300807 s]
/proc/loadavg: 1.99 1.97 1.79 3/196 7588
/proc/meminfo: memFree=31765808/32770624 swapFree=0/183292
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.7011 s]
/proc/loadavg: 1.99 1.97 1.79 3/196 7588
/proc/meminfo: memFree=31765808/32770624 swapFree=0/183292
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50076 s]
/proc/loadavg: 1.99 1.97 1.79 5/212 7604
/proc/meminfo: memFree=31581896/32770624 swapFree=0/183268
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
[pid=7590] ppid=7588 vsize=13980732 CPUtime=3.96 cores=1,3,5,7
/proc/7590/stat : 7590 (java) S 7588 7588 5091 0 -1 1077944320 15528 0 0 0 381 15 0 0 20 0 15 0 10068280 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 140731311758416 139699146538743 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
/proc/7590/statm: 3495183 63192 3219 1 0 3483484 0
[pid=7590/tid=7591] ppid=7588 vsize=13980732 CPUtime=1.3 cores=1,3,5,7
/proc/7590/task/7591/stat : 7591 (java) R 7588 7588 5091 0 -1 4202560 8574 0 0 0 125 5 0 0 20 0 15 0 10068280 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139699150775744 139698792558228 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7592] ppid=7588 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7590/task/7592/stat : 7592 (java) S 7588 7588 5091 0 -1 1077944384 81 0 0 0 4 2 0 0 20 0 15 0 10068281 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139699114097040 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7593] ppid=7588 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/7590/task/7593/stat : 7593 (java) S 7588 7588 5091 0 -1 1077944384 92 0 0 0 4 1 0 0 20 0 15 0 10068281 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698745985296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7594] ppid=7588 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7590/task/7594/stat : 7594 (java) S 7588 7588 5091 0 -1 1077944384 71 0 0 0 4 2 0 0 20 0 15 0 10068281 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698744933008 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7595] ppid=7588 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7590/task/7595/stat : 7595 (java) S 7588 7588 5091 0 -1 1077944384 95 0 0 0 4 2 0 0 20 0 15 0 10068281 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698743880208 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7596] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7596/stat : 7596 (java) S 7588 7588 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 10068282 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698625137264 139699146549890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7597] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7597/stat : 7597 (java) S 7588 7588 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698624083232 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7598] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7598/stat : 7598 (java) S 7588 7588 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698623030896 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7599] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7599/stat : 7599 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698621979216 139699146557339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7600] ppid=7588 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/7590/task/7600/stat : 7600 (java) R 7588 7588 5091 0 -1 4202560 1915 0 0 0 93 0 0 0 20 0 15 0 10068285 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698620911056 139699126202360 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7601] ppid=7588 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/7590/task/7601/stat : 7601 (java) R 7588 7588 5091 0 -1 4202560 1410 0 0 0 93 0 0 0 20 0 15 0 10068285 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698619856224 139699128060824 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7602] ppid=7588 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/7590/task/7602/stat : 7602 (java) S 7588 7588 5091 0 -1 1077944384 1909 0 0 0 49 0 0 0 20 0 15 0 10068285 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698618820976 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7603] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7603/stat : 7603 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698617768416 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7604] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7604/stat : 7604 (java) S 7588 7588 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10068290 14316269568 63192 18446744073709551615 4194304 4196468 140731311775872 139698616716208 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 13990244
[startup+3.10111 s]
/proc/loadavg: 1.99 1.97 1.79 3/212 7604
/proc/meminfo: memFree=31523264/32770624 swapFree=0/183276
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
[pid=7590] ppid=7588 vsize=13980732 CPUtime=7.66 cores=1,3,5,7
/proc/7590/stat : 7590 (java) S 7588 7588 5091 0 -1 1077944320 20925 0 0 0 749 17 0 0 20 0 15 0 10068280 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 140731311758416 139699146538743 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
/proc/7590/statm: 3495183 71481 3230 1 0 3483484 0
[pid=7590/tid=7591] ppid=7588 vsize=13980732 CPUtime=2.89 cores=1,3,5,7
/proc/7590/task/7591/stat : 7591 (java) R 7588 7588 5091 0 -1 4202560 8862 0 0 0 284 5 0 0 20 0 15 0 10068280 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139699150775992 139698794745124 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7592] ppid=7588 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7590/task/7592/stat : 7592 (java) S 7588 7588 5091 0 -1 1077944384 81 0 0 0 4 2 0 0 20 0 15 0 10068281 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139699114097040 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7593] ppid=7588 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/7590/task/7593/stat : 7593 (java) S 7588 7588 5091 0 -1 1077944384 92 0 0 0 4 1 0 0 20 0 15 0 10068281 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698745985296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7594] ppid=7588 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7590/task/7594/stat : 7594 (java) S 7588 7588 5091 0 -1 1077944384 71 0 0 0 4 2 0 0 20 0 15 0 10068281 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698744933008 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7595] ppid=7588 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7590/task/7595/stat : 7595 (java) S 7588 7588 5091 0 -1 1077944384 95 0 0 0 4 2 0 0 20 0 15 0 10068281 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698743880208 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7596] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7596/stat : 7596 (java) S 7588 7588 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 10068282 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698625137264 139699146549890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7597] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7597/stat : 7597 (java) S 7588 7588 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698624083232 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7598] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7598/stat : 7598 (java) S 7588 7588 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698623030896 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7599] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7599/stat : 7599 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698621979216 139699146557339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7600] ppid=7588 vsize=13980732 CPUtime=2.02 cores=1,3,5,7
/proc/7590/task/7600/stat : 7600 (java) R 7588 7588 5091 0 -1 4202560 5869 0 0 0 202 0 0 0 20 0 15 0 10068285 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698620926064 139699131460716 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7601] ppid=7588 vsize=13980732 CPUtime=1.83 cores=1,3,5,7
/proc/7590/task/7601/stat : 7601 (java) R 7588 7588 5091 0 -1 4202560 2404 0 0 0 183 0 0 0 20 0 15 0 10068285 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698619861856 139699130039112 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7602] ppid=7588 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/7590/task/7602/stat : 7602 (java) S 7588 7588 5091 0 -1 1077944384 2070 0 0 0 59 1 0 0 20 0 15 0 10068285 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698618820976 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7603] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7603/stat : 7603 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698617768416 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7604] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7604/stat : 7604 (java) S 7588 7588 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10068290 14316269568 71481 18446744073709551615 4194304 4196468 140731311775872 139698616716208 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
Current children cumulated CPU time (s) 7.66
Current children cumulated vsize (KiB) 13990244
[startup+6.30111 s]
/proc/loadavg: 2.07 1.99 1.80 3/212 7604
/proc/meminfo: memFree=31451172/32770624 swapFree=0/183280
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
[pid=7590] ppid=7588 vsize=13980732 CPUtime=11.23 cores=1,3,5,7
/proc/7590/stat : 7590 (java) S 7588 7588 5091 0 -1 1077944320 25236 0 0 0 1104 19 0 0 20 0 15 0 10068280 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 140731311758416 139699146538743 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
/proc/7590/statm: 3495183 89665 3232 1 0 3483484 0
[pid=7590/tid=7591] ppid=7588 vsize=13980732 CPUtime=6.09 cores=1,3,5,7
/proc/7590/task/7591/stat : 7591 (java) R 7588 7588 5091 0 -1 4202560 9394 0 0 0 603 6 0 0 20 0 15 0 10068280 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139699150778040 139698795321191 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7592] ppid=7588 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7590/task/7592/stat : 7592 (java) S 7588 7588 5091 0 -1 1077944384 81 0 0 0 4 2 0 0 20 0 15 0 10068281 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139699114097040 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7593] ppid=7588 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/7590/task/7593/stat : 7593 (java) S 7588 7588 5091 0 -1 1077944384 92 0 0 0 4 1 0 0 20 0 15 0 10068281 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698745985296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7594] ppid=7588 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7590/task/7594/stat : 7594 (java) S 7588 7588 5091 0 -1 1077944384 71 0 0 0 4 2 0 0 20 0 15 0 10068281 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698744933008 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7595] ppid=7588 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7590/task/7595/stat : 7595 (java) S 7588 7588 5091 0 -1 1077944384 95 0 0 0 4 2 0 0 20 0 15 0 10068281 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698743880208 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7596] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7596/stat : 7596 (java) S 7588 7588 5091 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 10068282 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698625137264 139699146549890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7597] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7597/stat : 7597 (java) S 7588 7588 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698624083232 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7598] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7598/stat : 7598 (java) S 7588 7588 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698623030896 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7599] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7599/stat : 7599 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698621979216 139699146557339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7600] ppid=7588 vsize=13980732 CPUtime=2.14 cores=1,3,5,7
/proc/7590/task/7600/stat : 7600 (java) S 7588 7588 5091 0 -1 1077944384 6872 0 0 0 214 0 0 0 20 0 15 0 10068285 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698620926064 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7601] ppid=7588 vsize=13980732 CPUtime=2.05 cores=1,3,5,7
/proc/7590/task/7601/stat : 7601 (java) R 7588 7588 5091 0 -1 4202560 4137 0 0 0 205 0 0 0 20 0 15 0 10068285 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698619873560 139699124388929 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7602] ppid=7588 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/7590/task/7602/stat : 7602 (java) S 7588 7588 5091 0 -1 1077944384 2364 0 0 0 61 1 0 0 20 0 15 0 10068285 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698618820976 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7603] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7603/stat : 7603 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698617768416 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7604] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7604/stat : 7604 (java) S 7588 7588 5091 0 -1 1077944384 498 0 0 0 0 0 0 0 20 0 15 0 10068290 14316269568 89665 18446744073709551615 4194304 4196468 140731311775872 139698616716208 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.07 1.99 1.80 3/212 7604
/proc/meminfo: memFree=31280124/32770624 swapFree=0/183284
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
[pid=7590] ppid=7588 vsize=13980732 CPUtime=17.96 cores=1,3,5,7
/proc/7590/stat : 7590 (java) S 7588 7588 5091 0 -1 1077944320 27013 0 0 0 1769 27 0 0 20 0 15 0 10068280 14316269568 123874 18446744073709551615 4194304 4196468 140731311775872 140731311758416 139699146538743 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
/proc/7590/statm: 3495183 123874 3232 1 0 3483484 0
[pid=7590/tid=7591] ppid=7588 vsize=13980732 CPUtime=12.39 cores=1,3,5,7
/proc/7590/task/7591/stat : 7591 (java) R 7588 7588 5091 0 -1 4202560 9617 0 0 0 1233 6 0 0 20 0 15 0 10068280 14316269568 123874 18446744073709551615 4194304 4196468 140731311775872 139699150777448 139698795448838 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7592] ppid=7588 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/7590/task/7592/stat : 7592 (java) S 7588 7588 5091 0 -1 1077944384 135 0 0 0 12 4 0 0 20 0 15 0 10068281 14316269568 123874 18446744073709551615 4194304 4196468 140731311775872 139699114097040 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7593] ppid=7588 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/7590/task/7593/stat : 7593 (java) S 7588 7588 5091 0 -1 1077944384 946 0 0 0 12 3 0 0 20 0 15 0 10068281 14316269568 123874 18446744073709551615 4194304 4196468 140731311775872 139698745985296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
################
# More data... #
################
[pid=7590/tid=7597] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7597/stat : 7597 (java) S 7588 7588 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 184317 18446744073709551615 4194304 4196468 140731311775872 139698624083296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7598] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7598/stat : 7598 (java) S 7588 7588 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 184317 18446744073709551615 4194304 4196468 140731311775872 139698623030896 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7599] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7599/stat : 7599 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 184317 18446744073709551615 4194304 4196468 140731311775872 139698621979216 139699146557339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7600] ppid=7588 vsize=13980732 CPUtime=2.23 cores=1,3,5,7
/proc/7590/task/7600/stat : 7600 (java) S 7588 7588 5091 0 -1 1077944384 9044 0 0 0 222 1 0 0 20 0 15 0 10068285 14316269568 184317 18446744073709551615 4194304 4196468 140731311775872 139698620926064 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7601] ppid=7588 vsize=13980732 CPUtime=2.13 cores=1,3,5,7
/proc/7590/task/7601/stat : 7601 (java) S 7588 7588 5091 0 -1 1077944384 5734 0 0 0 213 0 0 0 20 0 15 0 10068285 14316269568 184317 18446744073709551615 4194304 4196468 140731311775872 139698619873264 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7602] ppid=7588 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/7590/task/7602/stat : 7602 (java) S 7588 7588 5091 0 -1 1077944384 6402 0 0 0 67 1 0 0 20 0 15 0 10068285 14316269568 184317 18446744073709551615 4194304 4196468 140731311775872 139698618820976 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7603] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7603/stat : 7603 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 184317 18446744073709551615 4194304 4196468 140731311775872 139698617768416 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7604] ppid=7588 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7590/task/7604/stat : 7604 (java) S 7588 7588 5091 0 -1 1077944384 733 0 0 0 1 5 0 0 20 0 15 0 10068290 14316269568 184317 18446744073709551615 4194304 4196468 140731311775872 139698616716208 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
Current children cumulated CPU time (s) 108.97
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.02 2.01 1.83 3/211 7688
/proc/meminfo: memFree=31056500/32770624 swapFree=0/183436
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
[pid=7590] ppid=7588 vsize=13980732 CPUtime=169.06 cores=1,3,5,7
/proc/7590/stat : 7590 (java) S 7588 7588 5091 0 -1 1077944320 45581 0 0 0 16863 43 0 0 20 0 15 0 10068280 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 140731311758416 139699146538743 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
/proc/7590/statm: 3495183 184332 3245 1 0 3483484 0
[pid=7590/tid=7591] ppid=7588 vsize=13980732 CPUtime=160.5 cores=1,3,5,7
/proc/7590/task/7591/stat : 7591 (java) R 7588 7588 5091 0 -1 4202560 12944 0 0 0 16043 7 0 0 20 0 15 0 10068280 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139699150774400 139698794830764 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7592] ppid=7588 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7590/task/7592/stat : 7592 (java) S 7588 7588 5091 0 -1 1077944384 327 0 0 0 48 6 0 0 20 0 15 0 10068281 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139699114097040 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7593] ppid=7588 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7590/task/7593/stat : 7593 (java) S 7588 7588 5091 0 -1 1077944384 1691 0 0 0 49 5 0 0 20 0 15 0 10068281 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698745985296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7594] ppid=7588 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/7590/task/7594/stat : 7594 (java) S 7588 7588 5091 0 -1 1077944384 490 0 0 0 49 6 0 0 20 0 15 0 10068281 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698744933008 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7595] ppid=7588 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7590/task/7595/stat : 7595 (java) S 7588 7588 5091 0 -1 1077944384 618 0 0 0 49 5 0 0 20 0 15 0 10068281 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698743880208 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7596] ppid=7588 vsize=13980732 CPUtime=1.12 cores=1,3,5,7
/proc/7590/task/7596/stat : 7596 (java) S 7588 7588 5091 0 -1 1077944384 3583 0 0 0 111 1 0 0 20 0 15 0 10068282 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698625137264 139699146549890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7597] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7597/stat : 7597 (java) S 7588 7588 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698624083296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7598] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7598/stat : 7598 (java) S 7588 7588 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698623030896 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7599] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7599/stat : 7599 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698621979216 139699146557339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7600] ppid=7588 vsize=13980732 CPUtime=2.24 cores=1,3,5,7
/proc/7590/task/7600/stat : 7600 (java) S 7588 7588 5091 0 -1 1077944384 9389 0 0 0 223 1 0 0 20 0 15 0 10068285 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698620926064 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7601] ppid=7588 vsize=13980732 CPUtime=2.15 cores=1,3,5,7
/proc/7590/task/7601/stat : 7601 (java) S 7588 7588 5091 0 -1 1077944384 6185 0 0 0 214 1 0 0 20 0 15 0 10068285 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698619873264 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7602] ppid=7588 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/7590/task/7602/stat : 7602 (java) S 7588 7588 5091 0 -1 1077944384 8254 0 0 0 68 1 0 0 20 0 15 0 10068285 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698618820976 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7603] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7603/stat : 7603 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698617768416 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7604] ppid=7588 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/7590/task/7604/stat : 7604 (java) S 7588 7588 5091 0 -1 1077944384 770 0 0 0 2 7 0 0 20 0 15 0 10068290 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698616716208 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
Current children cumulated CPU time (s) 169.06
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.01 2.01 1.85 3/211 7690
/proc/meminfo: memFree=31054228/32770624 swapFree=0/183448
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
[pid=7590] ppid=7588 vsize=13980732 CPUtime=229.1 cores=1,3,5,7
/proc/7590/stat : 7590 (java) S 7588 7588 5091 0 -1 1077944320 46087 0 0 0 22865 45 0 0 20 0 15 0 10068280 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 140731311758416 139699146538743 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
/proc/7590/statm: 3495183 184332 3245 1 0 3483484 0
[pid=7590/tid=7591] ppid=7588 vsize=13980732 CPUtime=220.51 cores=1,3,5,7
/proc/7590/task/7591/stat : 7591 (java) R 7588 7588 5091 0 -1 4202560 13017 0 0 0 22044 7 0 0 20 0 15 0 10068280 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139699150775336 139698794326697 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7592] ppid=7588 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7590/task/7592/stat : 7592 (java) S 7588 7588 5091 0 -1 1077944384 327 0 0 0 48 6 0 0 20 0 15 0 10068281 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139699114097040 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7593] ppid=7588 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7590/task/7593/stat : 7593 (java) S 7588 7588 5091 0 -1 1077944384 1691 0 0 0 49 5 0 0 20 0 15 0 10068281 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698745985296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7594] ppid=7588 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/7590/task/7594/stat : 7594 (java) S 7588 7588 5091 0 -1 1077944384 490 0 0 0 49 6 0 0 20 0 15 0 10068281 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698744933008 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7595] ppid=7588 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7590/task/7595/stat : 7595 (java) S 7588 7588 5091 0 -1 1077944384 618 0 0 0 49 5 0 0 20 0 15 0 10068281 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698743880208 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7596] ppid=7588 vsize=13980732 CPUtime=1.12 cores=1,3,5,7
/proc/7590/task/7596/stat : 7596 (java) S 7588 7588 5091 0 -1 1077944384 3583 0 0 0 111 1 0 0 20 0 15 0 10068282 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698625137264 139699146549890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7597] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7597/stat : 7597 (java) S 7588 7588 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698624083296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7598] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7598/stat : 7598 (java) S 7588 7588 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698623030896 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7599] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7599/stat : 7599 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698621979216 139699146557339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7600] ppid=7588 vsize=13980732 CPUtime=2.25 cores=1,3,5,7
/proc/7590/task/7600/stat : 7600 (java) S 7588 7588 5091 0 -1 1077944384 9561 0 0 0 224 1 0 0 20 0 15 0 10068285 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698620926064 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7601] ppid=7588 vsize=13980732 CPUtime=2.15 cores=1,3,5,7
/proc/7590/task/7601/stat : 7601 (java) S 7588 7588 5091 0 -1 1077944384 6333 0 0 0 214 1 0 0 20 0 15 0 10068285 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698619873264 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7602] ppid=7588 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/7590/task/7602/stat : 7602 (java) S 7588 7588 5091 0 -1 1077944384 8364 0 0 0 68 1 0 0 20 0 15 0 10068285 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698618820976 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7603] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7603/stat : 7603 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698617768416 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7604] ppid=7588 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/7590/task/7604/stat : 7604 (java) S 7588 7588 5091 0 -1 1077944384 773 0 0 0 4 10 0 0 20 0 15 0 10068290 14316269568 184332 18446744073709551615 4194304 4196468 140731311775872 139698616716208 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
Current children cumulated CPU time (s) 229.1
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.00 2.01 1.85 3/211 7690
/proc/meminfo: memFree=31034536/32770624 swapFree=0/183476
[pid=7588] ppid=7585 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (xcsp3-exec) S 7585 7588 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10068273 9740288 345 18446744073709551615 4194304 5098028 140724054213120 140724054211224 139749204603516 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15732736 140724054221212 140724054221415 140724054221415 140724054224875 0
/proc/7588/statm: 2378 345 289 221 0 87 0
[pid=7590] ppid=7588 vsize=13980732 CPUtime=246.81 cores=1,3,5,7
/proc/7590/stat : 7590 (java) S 7588 7588 5091 0 -1 1077944320 46763 0 0 0 24635 46 0 0 20 0 15 0 10068280 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 140731311758416 139699146538743 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
/proc/7590/statm: 3495183 188814 3245 1 0 3483484 0
[pid=7590/tid=7591] ppid=7588 vsize=13980732 CPUtime=238.2 cores=1,3,5,7
/proc/7590/task/7591/stat : 7591 (java) R 7588 7588 5091 0 -1 4202560 13693 0 0 0 23813 7 0 0 20 0 15 0 10068280 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139699150775336 139698795322581 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7592] ppid=7588 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7590/task/7592/stat : 7592 (java) S 7588 7588 5091 0 -1 1077944384 327 0 0 0 48 6 0 0 20 0 15 0 10068281 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139699114097040 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7593] ppid=7588 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7590/task/7593/stat : 7593 (java) S 7588 7588 5091 0 -1 1077944384 1691 0 0 0 49 5 0 0 20 0 15 0 10068281 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698745985296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7594] ppid=7588 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/7590/task/7594/stat : 7594 (java) S 7588 7588 5091 0 -1 1077944384 490 0 0 0 49 6 0 0 20 0 15 0 10068281 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698744933008 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7595] ppid=7588 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7590/task/7595/stat : 7595 (java) S 7588 7588 5091 0 -1 1077944384 618 0 0 0 49 5 0 0 20 0 15 0 10068281 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698743880208 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7596] ppid=7588 vsize=13980732 CPUtime=1.12 cores=1,3,5,7
/proc/7590/task/7596/stat : 7596 (java) S 7588 7588 5091 0 -1 1077944384 3583 0 0 0 111 1 0 0 20 0 15 0 10068282 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698625137264 139699146549890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7597] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7597/stat : 7597 (java) S 7588 7588 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698624083296 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7598] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7598/stat : 7598 (java) S 7588 7588 5091 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10068283 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698623030896 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7599] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7599/stat : 7599 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698621979216 139699146557339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7600] ppid=7588 vsize=13980732 CPUtime=2.25 cores=1,3,5,7
/proc/7590/task/7600/stat : 7600 (java) S 7588 7588 5091 0 -1 1077944384 9561 0 0 0 224 1 0 0 20 0 15 0 10068285 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698620926064 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7601] ppid=7588 vsize=13980732 CPUtime=2.15 cores=1,3,5,7
/proc/7590/task/7601/stat : 7601 (java) S 7588 7588 5091 0 -1 1077944384 6333 0 0 0 214 1 0 0 20 0 15 0 10068285 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698619873264 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7602] ppid=7588 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/7590/task/7602/stat : 7602 (java) S 7588 7588 5091 0 -1 1077944384 8364 0 0 0 68 1 0 0 20 0 15 0 10068285 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698618820976 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7603] ppid=7588 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7590/task/7603/stat : 7603 (java) S 7588 7588 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10068285 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698617768416 139699146548949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
[pid=7590/tid=7604] ppid=7588 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/7590/task/7604/stat : 7604 (java) S 7588 7588 5091 0 -1 1077944384 773 0 0 0 4 10 0 0 20 0 15 0 10068290 14316269568 188814 18446744073709551615 4194304 4196468 140731311775872 139698616716208 139699146549890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140731311784404 140731311784579 140731311784579 140731311787983 0
Current children cumulated CPU time (s) 246.81
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7590 sig 9
??? kill 7588 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7588 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=920
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=920
# CPU time returned by wait4() is 0.00184
# while last known CPU time is 246.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 246.81
CPU user time (s): 246.35
CPU system time (s): 0.46
CPU usage (%): 102.833
Max. virtual memory (cumulated for all children) (KiB): 13992092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00092
system time used= 0.00092
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14716 second user time and 1.57744 second system time
The end