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-4254342-1501612489/watcher-4254342-1501612489 -o /tmp/evaluation-result-4254342-1501612489/solver-4254342-1501612489 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5184 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2086261201 HOME/instance-4254342-1501612489.xml
pid=5562
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.92 1.56 0.82 3/196 5565
/proc/meminfo: memFree=31771540/32770624 swapFree=0/179308
[pid=5565] ppid=5562 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (runsolver) D 5562 5565 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9865822 24240128 108 18446744073709551615 4194304 4338465 140722392579760 140722392577400 140453314794199 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 28213248 140722392588381 140722392588870 140722392588870 140722392592330 0
/proc/5565/statm: 5918 108 54 36 0 2156 0
[startup+0.100158 s]
/proc/loadavg: 1.92 1.56 0.82 3/196 5565
/proc/meminfo: memFree=31771540/32770624 swapFree=0/179308
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200283 s]
/proc/loadavg: 1.92 1.56 0.82 3/196 5565
/proc/meminfo: memFree=31771540/32770624 swapFree=0/179308
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300269 s]
/proc/loadavg: 1.92 1.56 0.82 3/196 5565
/proc/meminfo: memFree=31771540/32770624 swapFree=0/179308
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700263 s]
/proc/loadavg: 1.92 1.56 0.82 3/196 5565
/proc/meminfo: memFree=31771540/32770624 swapFree=0/179308
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.92 1.56 0.82 5/212 5581
/proc/meminfo: memFree=31702160/32770624 swapFree=0/179320
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
[pid=5567] ppid=5565 vsize=13980732 CPUtime=3.47 cores=1,3,5,7
/proc/5567/stat : 5567 (java) S 5565 5565 5123 0 -1 1077944320 22680 0 0 0 341 6 0 0 20 0 15 0 9865832 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140723518263456 140388321517303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
/proc/5567/statm: 3495183 24155 3175 1 0 3483484 0
[pid=5567/tid=5568] ppid=5565 vsize=13980732 CPUtime=1.28 cores=1,3,5,7
/proc/5567/task/5568/stat : 5568 (java) R 5565 5565 5123 0 -1 4202560 9872 0 0 0 125 3 0 0 20 0 15 0 9865832 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140388325754360 140387940134775 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5569] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5569/stat : 5569 (java) S 5565 5565 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140388255951120 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5570] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5570/stat : 5570 (java) S 5565 5565 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140388254898576 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5571] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5571/stat : 5571 (java) S 5565 5565 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387920034320 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5572] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5572/stat : 5572 (java) S 5565 5565 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387918981776 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5573] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5573/stat : 5573 (java) S 5565 5565 5123 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 9865834 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387867265520 140388321528450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5574] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5574/stat : 5574 (java) S 5565 5565 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387866211744 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5575] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5575/stat : 5575 (java) S 5565 5565 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387865159152 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5576] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5576/stat : 5576 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387864107728 140388321535899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5577] ppid=5565 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/5567/task/5577/stat : 5577 (java) R 5565 5565 5123 0 -1 4202560 4343 0 0 0 83 0 0 0 20 0 15 0 9865837 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387863034664 140388305423541 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5578] ppid=5565 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/5567/task/5578/stat : 5578 (java) R 5565 5565 5123 0 -1 4202560 4125 0 0 0 82 1 0 0 20 0 15 0 9865837 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387861994264 140388304904525 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5579] ppid=5565 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/5567/task/5579/stat : 5579 (java) S 5565 5565 5123 0 -1 1077944384 3004 0 0 0 50 0 0 0 20 0 15 0 9865837 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387860949232 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5580] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5580/stat : 5580 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387859896928 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5581] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5581/stat : 5581 (java) S 5565 5565 5123 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9865848 14316269568 24155 18446744073709551615 4194304 4196468 140723518280912 140387858844464 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 13990244
[startup+3.10066 s]
/proc/loadavg: 2.08 1.60 0.84 5/212 5581
/proc/meminfo: memFree=31647260/32770624 swapFree=0/179312
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
[pid=5567] ppid=5565 vsize=13980732 CPUtime=6.89 cores=1,3,5,7
/proc/5567/stat : 5567 (java) S 5565 5565 5123 0 -1 1077944320 30088 0 0 0 681 8 0 0 20 0 15 0 9865832 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140723518263456 140388321517303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
/proc/5567/statm: 3495183 37044 3185 1 0 3483484 0
[pid=5567/tid=5568] ppid=5565 vsize=13980732 CPUtime=2.88 cores=1,3,5,7
/proc/5567/task/5568/stat : 5568 (java) R 5565 5565 5123 0 -1 4202560 9978 0 0 0 285 3 0 0 20 0 15 0 9865832 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140388325758144 140387940148254 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5569] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5569/stat : 5569 (java) S 5565 5565 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140388255951120 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5570] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5570/stat : 5570 (java) S 5565 5565 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140388254898576 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5571] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5571/stat : 5571 (java) S 5565 5565 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387920034320 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5572] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5572/stat : 5572 (java) S 5565 5565 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387918981776 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5573] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5573/stat : 5573 (java) S 5565 5565 5123 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9865834 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387867265520 140388321528450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5574] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5574/stat : 5574 (java) S 5565 5565 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387866211744 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5575] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5575/stat : 5575 (java) S 5565 5565 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387865159152 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5576] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5576/stat : 5576 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387864107728 140388321535899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5577] ppid=5565 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/5567/task/5577/stat : 5577 (java) S 5565 5565 5123 0 -1 1077944384 6875 0 0 0 169 1 0 0 20 0 15 0 9865837 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387863054320 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5578] ppid=5565 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/5567/task/5578/stat : 5578 (java) S 5565 5565 5123 0 -1 1077944384 8608 0 0 0 169 1 0 0 20 0 15 0 9865837 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387862001776 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5579] ppid=5565 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/5567/task/5579/stat : 5579 (java) S 5565 5565 5123 0 -1 1077944384 3275 0 0 0 56 1 0 0 20 0 15 0 9865837 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387860949232 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5580] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5580/stat : 5580 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387859896928 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5581] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5581/stat : 5581 (java) S 5565 5565 5123 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9865848 14316269568 37044 18446744073709551615 4194304 4196468 140723518280912 140387858844464 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 13990244
[startup+6.30063 s]
/proc/loadavg: 2.08 1.60 0.84 3/212 5581
/proc/meminfo: memFree=31593036/32770624 swapFree=0/179320
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
[pid=5567] ppid=5565 vsize=13980732 CPUtime=10.21 cores=1,3,5,7
/proc/5567/stat : 5567 (java) S 5565 5565 5123 0 -1 1077944320 34526 0 0 0 1013 8 0 0 20 0 15 0 9865832 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140723518263456 140388321517303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
/proc/5567/statm: 3495183 51473 3192 1 0 3483484 0
[pid=5567/tid=5568] ppid=5565 vsize=13980732 CPUtime=6.08 cores=1,3,5,7
/proc/5567/task/5568/stat : 5568 (java) R 5565 5565 5123 0 -1 4202560 10667 0 0 0 604 4 0 0 20 0 15 0 9865832 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140388325754144 140387940148159 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5569] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5569/stat : 5569 (java) S 5565 5565 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140388255951120 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5570] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5570/stat : 5570 (java) S 5565 5565 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140388254898576 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5571] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5571/stat : 5571 (java) S 5565 5565 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387920034320 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5572] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5572/stat : 5572 (java) S 5565 5565 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387918981776 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5573] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5573/stat : 5573 (java) S 5565 5565 5123 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 9865834 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387867265520 140388321528450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5574] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5574/stat : 5574 (java) S 5565 5565 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387866211744 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5575] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5575/stat : 5575 (java) S 5565 5565 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387865159152 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5576] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5576/stat : 5576 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387864107728 140388321535899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5577] ppid=5565 vsize=13980732 CPUtime=1.75 cores=1,3,5,7
/proc/5567/task/5577/stat : 5577 (java) S 5565 5565 5123 0 -1 1077944384 8177 0 0 0 174 1 0 0 20 0 15 0 9865837 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387863054320 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5578] ppid=5565 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/5567/task/5578/stat : 5578 (java) S 5565 5565 5123 0 -1 1077944384 9623 0 0 0 177 1 0 0 20 0 15 0 9865837 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387862001776 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5579] ppid=5565 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/5567/task/5579/stat : 5579 (java) S 5565 5565 5123 0 -1 1077944384 3627 0 0 0 57 1 0 0 20 0 15 0 9865837 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387860949232 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5580] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5580/stat : 5580 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387859896928 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5581] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5581/stat : 5581 (java) S 5565 5565 5123 0 -1 1077944384 819 0 0 0 0 0 0 0 20 0 15 0 9865848 14316269568 51473 18446744073709551615 4194304 4196468 140723518280912 140387858844464 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
Current children cumulated CPU time (s) 10.21
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.23 1.64 0.86 4/212 5581
/proc/meminfo: memFree=31559152/32770624 swapFree=0/179328
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
[pid=5567] ppid=5565 vsize=13980732 CPUtime=17.26 cores=1,3,5,7
/proc/5567/stat : 5567 (java) S 5565 5565 5123 0 -1 1077944320 38763 0 0 0 1716 10 0 0 20 0 15 0 9865832 14316269568 55720 18446744073709551615 4194304 4196468 140723518280912 140723518263456 140388321517303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
/proc/5567/statm: 3495183 55720 3213 1 0 3483484 0
[pid=5567/tid=5568] ppid=5565 vsize=13980732 CPUtime=12.47 cores=1,3,5,7
/proc/5567/task/5568/stat : 5568 (java) R 5565 5565 5123 0 -1 4202560 10772 0 0 0 1243 4 0 0 20 0 15 0 9865832 14316269568 55720 18446744073709551615 4194304 4196468 140723518280912 140388325753696 140387940777533 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5569] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5569/stat : 5569 (java) S 5565 5565 5123 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 55720 18446744073709551615 4194304 4196468 140723518280912 140388255951120 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5570] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5570/stat : 5570 (java) S 5565 5565 5123 0 -1 1077944384 726 0 0 0 0 0 0 0 20 0 15 0 9865833 14316269568 55720 18446744073709551615 4194304 4196468 140723518280912 140388254898576 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
################
# More data... #
################
[pid=5567/tid=5574] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5574/stat : 5574 (java) S 5565 5565 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 50720 18446744073709551615 4194304 4196468 140723518280912 140387866211744 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5575] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5575/stat : 5575 (java) S 5565 5565 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 50720 18446744073709551615 4194304 4196468 140723518280912 140387865159152 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5576] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5576/stat : 5576 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 50720 18446744073709551615 4194304 4196468 140723518280912 140387864107728 140388321535899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5577] ppid=5565 vsize=13980732 CPUtime=2.17 cores=1,3,5,7
/proc/5567/task/5577/stat : 5577 (java) S 5565 5565 5123 0 -1 1077944384 12298 0 0 0 216 1 0 0 20 0 15 0 9865837 14316269568 50720 18446744073709551615 4194304 4196468 140723518280912 140387863054320 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5578] ppid=5565 vsize=13980732 CPUtime=2.27 cores=1,3,5,7
/proc/5567/task/5578/stat : 5578 (java) S 5565 5565 5123 0 -1 1077944384 13478 0 0 0 225 2 0 0 20 0 15 0 9865837 14316269568 50720 18446744073709551615 4194304 4196468 140723518280912 140387862001776 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5579] ppid=5565 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/5567/task/5579/stat : 5579 (java) S 5565 5565 5123 0 -1 1077944384 6905 0 0 0 62 1 0 0 20 0 15 0 9865837 14316269568 50720 18446744073709551615 4194304 4196468 140723518280912 140387860949232 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5580] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5580/stat : 5580 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 50720 18446744073709551615 4194304 4196468 140723518280912 140387859896928 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5581] ppid=5565 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5567/task/5581/stat : 5581 (java) S 5565 5565 5123 0 -1 1077944384 1177 0 0 0 0 1 0 0 20 0 15 0 9865848 14316269568 50720 18446744073709551615 4194304 4196468 140723518280912 140387858844464 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
Current children cumulated CPU time (s) 107.32
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.00 1.77 1.03 3/212 5586
/proc/meminfo: memFree=31630168/32770624 swapFree=0/179400
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
[pid=5567] ppid=5565 vsize=13980732 CPUtime=167.42 cores=1,3,5,7
/proc/5567/stat : 5567 (java) S 5565 5565 5123 0 -1 1077944320 59528 0 0 0 16725 17 0 0 20 0 15 0 9865832 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140723518263456 140388321517303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
/proc/5567/statm: 3495183 40731 3227 1 0 3483484 0
[pid=5567/tid=5568] ppid=5565 vsize=13980732 CPUtime=161.99 cores=1,3,5,7
/proc/5567/task/5568/stat : 5568 (java) R 5565 5565 5123 0 -1 4202560 14467 0 0 0 16194 5 0 0 20 0 15 0 9865832 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140388325756112 140387940148586 0 4 1 16800974 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5569] ppid=5565 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/5567/task/5569/stat : 5569 (java) S 5565 5565 5123 0 -1 1077944384 473 0 0 0 4 1 0 0 20 0 15 0 9865833 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140388255951120 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5570] ppid=5565 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5567/task/5570/stat : 5570 (java) S 5565 5565 5123 0 -1 1077944384 1987 0 0 0 3 1 0 0 20 0 15 0 9865833 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140388254898576 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5571] ppid=5565 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/5567/task/5571/stat : 5571 (java) S 5565 5565 5123 0 -1 1077944384 1759 0 0 0 4 1 0 0 20 0 15 0 9865833 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387920034320 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5572] ppid=5565 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5567/task/5572/stat : 5572 (java) S 5565 5565 5123 0 -1 1077944384 1158 0 0 0 3 1 0 0 20 0 15 0 9865833 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387918981776 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5573] ppid=5565 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5567/task/5573/stat : 5573 (java) S 5565 5565 5123 0 -1 1077944384 1581 0 0 0 3 1 0 0 20 0 15 0 9865834 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387867265520 140388321528450 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5574] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5574/stat : 5574 (java) S 5565 5565 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387866211744 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5575] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5575/stat : 5575 (java) S 5565 5565 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387865159152 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5576] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5576/stat : 5576 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387864107728 140388321535899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5577] ppid=5565 vsize=13980732 CPUtime=2.19 cores=1,3,5,7
/proc/5567/task/5577/stat : 5577 (java) S 5565 5565 5123 0 -1 1077944384 13460 0 0 0 218 1 0 0 20 0 15 0 9865837 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387863054320 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5578] ppid=5565 vsize=13980732 CPUtime=2.28 cores=1,3,5,7
/proc/5567/task/5578/stat : 5578 (java) S 5565 5565 5123 0 -1 1077944384 14211 0 0 0 226 2 0 0 20 0 15 0 9865837 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387862001776 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5579] ppid=5565 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/5567/task/5579/stat : 5579 (java) S 5565 5565 5123 0 -1 1077944384 7859 0 0 0 62 2 0 0 20 0 15 0 9865837 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387860949232 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5580] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5580/stat : 5580 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387859896928 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5581] ppid=5565 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/5567/task/5581/stat : 5581 (java) S 5565 5565 5123 0 -1 1077944384 1208 0 0 0 1 2 0 0 20 0 15 0 9865848 14316269568 40731 18446744073709551615 4194304 4196468 140723518280912 140387858844464 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
Current children cumulated CPU time (s) 167.42
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.73 1.75 1.07 3/212 5669
/proc/meminfo: memFree=31652928/32770624 swapFree=0/179300
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
[pid=5567] ppid=5565 vsize=13980732 CPUtime=227.56 cores=1,3,5,7
/proc/5567/stat : 5567 (java) S 5565 5565 5123 0 -1 1077944320 63844 0 0 0 22738 18 0 0 20 0 15 0 9865832 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140723518263456 140388321517303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
/proc/5567/statm: 3495183 39731 3227 1 0 3483484 0
[pid=5567/tid=5568] ppid=5565 vsize=13980732 CPUtime=221.96 cores=1,3,5,7
/proc/5567/task/5568/stat : 5568 (java) R 5565 5565 5123 0 -1 4202560 15354 0 0 0 22191 5 0 0 20 0 15 0 9865832 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140388325756112 140387938182172 0 4 1 16800974 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5569] ppid=5565 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/5567/task/5569/stat : 5569 (java) S 5565 5565 5123 0 -1 1077944384 880 0 0 0 5 1 0 0 20 0 15 0 9865833 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140388255951120 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5570] ppid=5565 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/5567/task/5570/stat : 5570 (java) S 5565 5565 5123 0 -1 1077944384 1998 0 0 0 4 1 0 0 20 0 15 0 9865833 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140388254898576 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5571] ppid=5565 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/5567/task/5571/stat : 5571 (java) S 5565 5565 5123 0 -1 1077944384 1785 0 0 0 5 1 0 0 20 0 15 0 9865833 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387920034320 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5572] ppid=5565 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/5567/task/5572/stat : 5572 (java) S 5565 5565 5123 0 -1 1077944384 1254 0 0 0 5 1 0 0 20 0 15 0 9865833 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387918981776 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5573] ppid=5565 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/5567/task/5573/stat : 5573 (java) S 5565 5565 5123 0 -1 1077944384 1826 0 0 0 5 1 0 0 20 0 15 0 9865834 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387867265520 140388321528450 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5574] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5574/stat : 5574 (java) S 5565 5565 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387866211744 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5575] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5575/stat : 5575 (java) S 5565 5565 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387865159152 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5576] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5576/stat : 5576 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387864107728 140388321535899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5577] ppid=5565 vsize=13980732 CPUtime=2.23 cores=1,3,5,7
/proc/5567/task/5577/stat : 5577 (java) S 5565 5565 5123 0 -1 1077944384 14483 0 0 0 222 1 0 0 20 0 15 0 9865837 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387863054320 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5578] ppid=5565 vsize=13980732 CPUtime=2.31 cores=1,3,5,7
/proc/5567/task/5578/stat : 5578 (java) S 5565 5565 5123 0 -1 1077944384 15134 0 0 0 229 2 0 0 20 0 15 0 9865837 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387862001776 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5579] ppid=5565 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/5567/task/5579/stat : 5579 (java) S 5565 5565 5123 0 -1 1077944384 8537 0 0 0 63 2 0 0 20 0 15 0 9865837 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387860949232 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5580] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5580/stat : 5580 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387859896928 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5581] ppid=5565 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5567/task/5581/stat : 5581 (java) S 5565 5565 5123 0 -1 1077944384 1228 0 0 0 2 2 0 0 20 0 15 0 9865848 14316269568 39731 18446744073709551615 4194304 4196468 140723518280912 140387858844464 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
Current children cumulated CPU time (s) 227.56
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.64 1.73 1.07 3/212 5669
/proc/meminfo: memFree=31646592/32770624 swapFree=0/179312
[pid=5565] ppid=5562 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5565/stat : 5565 (xcsp3-exec) S 5562 5565 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9865822 9740288 345 18446744073709551615 4194304 5098028 140727493757632 140727493755736 139997305541244 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34308096 140727493763483 140727493763687 140727493763687 140727493767147 0
/proc/5565/statm: 2378 345 289 221 0 87 0
[pid=5567] ppid=5565 vsize=13980732 CPUtime=245.3 cores=1,3,5,7
/proc/5567/stat : 5567 (java) S 5565 5565 5123 0 -1 1077944320 64079 0 0 0 24511 19 0 0 20 0 15 0 9865832 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140723518263456 140388321517303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
/proc/5567/statm: 3495183 40243 3227 1 0 3483484 0
[pid=5567/tid=5568] ppid=5565 vsize=13980732 CPUtime=239.62 cores=1,3,5,7
/proc/5567/task/5568/stat : 5568 (java) R 5565 5565 5123 0 -1 4202560 15377 0 0 0 23957 5 0 0 20 0 15 0 9865832 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140388325756112 140387940756542 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5569] ppid=5565 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/5567/task/5569/stat : 5569 (java) S 5565 5565 5123 0 -1 1077944384 884 0 0 0 6 1 0 0 20 0 15 0 9865833 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140388255951120 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5570] ppid=5565 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/5567/task/5570/stat : 5570 (java) S 5565 5565 5123 0 -1 1077944384 2010 0 0 0 5 2 0 0 20 0 15 0 9865833 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140388254898576 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5571] ppid=5565 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/5567/task/5571/stat : 5571 (java) S 5565 5565 5123 0 -1 1077944384 1794 0 0 0 6 1 0 0 20 0 15 0 9865833 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387920034320 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5572] ppid=5565 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/5567/task/5572/stat : 5572 (java) S 5565 5565 5123 0 -1 1077944384 1258 0 0 0 6 1 0 0 20 0 15 0 9865833 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387918981776 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5573] ppid=5565 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/5567/task/5573/stat : 5573 (java) S 5565 5565 5123 0 -1 1077944384 1827 0 0 0 6 1 0 0 20 0 15 0 9865834 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387867265520 140388321528450 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5574] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5574/stat : 5574 (java) S 5565 5565 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387866211744 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5575] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5575/stat : 5575 (java) S 5565 5565 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9865835 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387865159152 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5576] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5576/stat : 5576 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387864107728 140388321535899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5577] ppid=5565 vsize=13980732 CPUtime=2.23 cores=1,3,5,7
/proc/5567/task/5577/stat : 5577 (java) S 5565 5565 5123 0 -1 1077944384 14483 0 0 0 222 1 0 0 20 0 15 0 9865837 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387863054320 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5578] ppid=5565 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/5567/task/5578/stat : 5578 (java) S 5565 5565 5123 0 -1 1077944384 15231 0 0 0 230 2 0 0 20 0 15 0 9865837 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387862001776 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5579] ppid=5565 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/5567/task/5579/stat : 5579 (java) S 5565 5565 5123 0 -1 1077944384 8621 0 0 0 63 2 0 0 20 0 15 0 9865837 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387860949232 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5580] ppid=5565 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5567/task/5580/stat : 5580 (java) S 5565 5565 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9865837 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387859896928 140388321527509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
[pid=5567/tid=5581] ppid=5565 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5567/task/5581/stat : 5581 (java) S 5565 5565 5123 0 -1 1077944384 1229 0 0 0 2 2 0 0 20 0 15 0 9865848 14316269568 40243 18446744073709551615 4194304 4196468 140723518280912 140387858844464 140388321528450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37302272 140723518288340 140723518288515 140723518288515 140723518291919 0
Current children cumulated CPU time (s) 245.3
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 5567 sig 9
??? kill 5565 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 5565 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1880
# CPU time returned by wait4() is 0.00188
# while last known CPU time is 245.3
#
# 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): 245.3
CPU user time (s): 245.11
CPU system time (s): 0.19
CPU usage (%): 102.204
Max. virtual memory (cumulated for all children) (KiB): 13992328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.00188
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.03073 second user time and 1.35458 second system time
The end