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-4249293-1502051773/watcher-4249293-1502051773 -o /tmp/evaluation-result-4249293-1502051773/solver-4249293-1502051773 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 48287894 HOME/instance-4249293-1502051773.xml
pid=5642
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8.19 6.85 4.87 6/203 5645
/proc/meminfo: memFree=28428144/32770624 swapFree=0/322856
[pid=5645] ppid=5642 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (runsolver) D 5642 5645 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 52992543 24240128 106 18446744073709551615 4194304 4338465 140732331833104 140732331830744 140510715601623 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 10866688 140732331839576 140732331840073 140732331840073 140732331843530 0
/proc/5645/statm: 5918 106 53 36 0 2156 0
[startup+0.100094 s]
/proc/loadavg: 8.19 6.85 4.87 6/203 5645
/proc/meminfo: memFree=28428144/32770624 swapFree=0/322856
[pid=5645] ppid=5642 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (xcsp3-exec) S 5642 5645 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52992543 9740288 344 18446744073709551615 4194304 5098028 140735430540240 140735430538344 140255491261052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 20418560 140735430545818 140735430546026 140735430546026 140735430549483 0
/proc/5645/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200276 s]
/proc/loadavg: 8.19 6.85 4.87 6/203 5645
/proc/meminfo: memFree=28428144/32770624 swapFree=0/322856
[pid=5645] ppid=5642 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (xcsp3-exec) S 5642 5645 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52992543 9740288 344 18446744073709551615 4194304 5098028 140735430540240 140735430538344 140255491261052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 20418560 140735430545818 140735430546026 140735430546026 140735430549483 0
/proc/5645/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301772 s]
/proc/loadavg: 8.19 6.85 4.87 6/203 5645
/proc/meminfo: memFree=28428144/32770624 swapFree=0/322856
[pid=5645] ppid=5642 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (xcsp3-exec) S 5642 5645 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52992543 9740288 344 18446744073709551615 4194304 5098028 140735430540240 140735430538344 140255491261052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 20418560 140735430545818 140735430546026 140735430546026 140735430549483 0
/proc/5645/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.709176 s]
/proc/loadavg: 8.19 6.85 4.87 6/203 5645
/proc/meminfo: memFree=28428144/32770624 swapFree=0/322856
[pid=5645] ppid=5642 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (xcsp3-exec) S 5642 5645 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52992543 9740288 344 18446744073709551615 4194304 5098028 140735430540240 140735430538344 140255491261052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 20418560 140735430545818 140735430546026 140735430546026 140735430549483 0
/proc/5645/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50118 s]
/proc/loadavg: 8.18 6.87 4.89 9/219 5661
/proc/meminfo: memFree=28243676/32770624 swapFree=0/322880
[pid=5645] ppid=5642 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (xcsp3-exec) S 5642 5645 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52992543 9740288 344 18446744073709551615 4194304 5098028 140735430540240 140735430538344 140255491261052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 20418560 140735430545818 140735430546026 140735430546026 140735430549483 0
/proc/5645/statm: 2378 344 289 221 0 87 0
[pid=5647] ppid=5645 vsize=12919328 CPUtime=3.94 cores=1,3,5,7
/proc/5647/stat : 5647 (java) S 5645 5645 25100 0 -1 1077944320 16573 0 0 0 383 11 0 0 20 0 15 0 52992552 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140737454330768 140074189074167 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
/proc/5647/statm: 3229832 56998 3210 1 0 3218124 0
[pid=5647/tid=5648] ppid=5645 vsize=12919328 CPUtime=1.25 cores=1,3,5,7
/proc/5647/task/5648/stat : 5648 (java) R 5645 5645 25100 0 -1 4202560 8752 0 0 0 120 5 0 0 20 0 15 0 52992552 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140074193308112 140073803530748 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5649] ppid=5645 vsize=12919328 CPUtime=0.01 cores=1,3,5,7
/proc/5647/task/5649/stat : 5649 (java) S 5645 5645 25100 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 15 0 52992553 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140074125555984 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5650] ppid=5645 vsize=12919328 CPUtime=0.01 cores=1,3,5,7
/proc/5647/task/5650/stat : 5650 (java) S 5645 5645 25100 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 52992553 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140074124503440 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5651] ppid=5645 vsize=12919328 CPUtime=0.03 cores=1,3,5,7
/proc/5647/task/5651/stat : 5651 (java) S 5645 5645 25100 0 -1 1077944384 66 0 0 0 3 0 0 0 20 0 15 0 52992553 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140074123450896 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5652] ppid=5645 vsize=12919328 CPUtime=0.02 cores=1,3,5,7
/proc/5647/task/5652/stat : 5652 (java) S 5645 5645 25100 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 15 0 52992553 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140074122398352 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5653] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5653/stat : 5653 (java) S 5645 5645 25100 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 52992554 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140073143015920 140074189085314 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5654] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5654/stat : 5654 (java) S 5645 5645 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52992555 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140073141962208 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5655] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5655/stat : 5655 (java) S 5645 5645 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52992555 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140073140909568 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5656] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5656/stat : 5656 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52992557 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140073139858128 140074189092763 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5657] ppid=5645 vsize=12919328 CPUtime=1 cores=1,3,5,7
/proc/5647/task/5657/stat : 5657 (java) S 5645 5645 25100 0 -1 1077944384 2126 0 0 0 100 0 0 0 20 0 15 0 52992557 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140073138793152 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5658] ppid=5645 vsize=12919328 CPUtime=0.99 cores=1,3,5,7
/proc/5647/task/5658/stat : 5658 (java) R 5645 5645 25100 0 -1 4202560 1847 0 0 0 98 1 0 0 20 0 15 0 52992557 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140073137739408 140074170271808 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5659] ppid=5645 vsize=12919328 CPUtime=0.54 cores=1,3,5,7
/proc/5647/task/5659/stat : 5659 (java) R 5645 5645 25100 0 -1 4202560 2342 0 0 0 54 0 0 0 20 0 15 0 52992557 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140073136699632 140074189086102 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5660] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5660/stat : 5660 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52992558 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140073135647328 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5661] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5661/stat : 5661 (java) S 5645 5645 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52992567 13229391872 56998 18446744073709551615 4194304 4196468 140737454348224 140073134594864 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 12928840
[startup+3.10076 s]
/proc/loadavg: 8.18 6.87 4.89 8/219 5661
/proc/meminfo: memFree=28026848/32770624 swapFree=0/322880
[pid=5645] ppid=5642 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (xcsp3-exec) S 5642 5645 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52992543 9740288 344 18446744073709551615 4194304 5098028 140735430540240 140735430538344 140255491261052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 20418560 140735430545818 140735430546026 140735430546026 140735430549483 0
/proc/5645/statm: 2378 344 289 221 0 87 0
[pid=5647] ppid=5645 vsize=12919328 CPUtime=8.84 cores=1,3,5,7
/proc/5647/stat : 5647 (java) S 5645 5645 25100 0 -1 1077944320 21793 0 0 0 843 41 0 0 20 0 15 0 52992552 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140737454330768 140074189074167 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
/proc/5647/statm: 3229832 196612 3232 1 0 3218124 0
[pid=5647/tid=5648] ppid=5645 vsize=12919328 CPUtime=2.59 cores=1,3,5,7
/proc/5647/task/5648/stat : 5648 (java) R 5645 5645 25100 0 -1 4202560 9149 0 0 0 249 10 0 0 20 0 15 0 52992552 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140074193311952 140073806590700 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5649] ppid=5645 vsize=12919328 CPUtime=0.24 cores=1,3,5,7
/proc/5647/task/5649/stat : 5649 (java) S 5645 5645 25100 0 -1 1077944384 129 0 0 0 18 6 0 0 20 0 15 0 52992553 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140074125555984 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5650] ppid=5645 vsize=12919328 CPUtime=0.26 cores=1,3,5,7
/proc/5647/task/5650/stat : 5650 (java) S 5645 5645 25100 0 -1 1077944384 279 0 0 0 20 6 0 0 20 0 15 0 52992553 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140074124503440 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5651] ppid=5645 vsize=12919328 CPUtime=0.27 cores=1,3,5,7
/proc/5647/task/5651/stat : 5651 (java) S 5645 5645 25100 0 -1 1077944384 241 0 0 0 20 7 0 0 20 0 15 0 52992553 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140074123450896 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5652] ppid=5645 vsize=12919328 CPUtime=0.23 cores=1,3,5,7
/proc/5647/task/5652/stat : 5652 (java) S 5645 5645 25100 0 -1 1077944384 157 0 0 0 17 6 0 0 20 0 15 0 52992553 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140074122398352 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5653] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5653/stat : 5653 (java) S 5645 5645 25100 0 -1 1077944384 547 0 0 0 0 0 0 0 20 0 15 0 52992554 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140073143015920 140074189085314 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5654] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5654/stat : 5654 (java) S 5645 5645 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52992555 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140073141962208 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5655] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5655/stat : 5655 (java) S 5645 5645 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52992555 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140073140909568 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5656] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5656/stat : 5656 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52992557 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140073139858128 140074189092763 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5657] ppid=5645 vsize=12919328 CPUtime=2.24 cores=1,3,5,7
/proc/5647/task/5657/stat : 5657 (java) S 5645 5645 25100 0 -1 1077944384 3409 0 0 0 223 1 0 0 20 0 15 0 52992557 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140073138804720 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5658] ppid=5645 vsize=12919328 CPUtime=2.26 cores=1,3,5,7
/proc/5647/task/5658/stat : 5658 (java) S 5645 5645 25100 0 -1 1077944384 3713 0 0 0 225 1 0 0 20 0 15 0 52992557 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140073137752176 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5659] ppid=5645 vsize=12919328 CPUtime=0.68 cores=1,3,5,7
/proc/5647/task/5659/stat : 5659 (java) S 5645 5645 25100 0 -1 1077944384 2873 0 0 0 67 1 0 0 20 0 15 0 52992557 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140073136699632 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5660] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5660/stat : 5660 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52992558 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140073135647328 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5661] ppid=5645 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5661/stat : 5661 (java) S 5645 5645 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52992567 13229391872 196612 18446744073709551615 4194304 4196468 140737454348224 140073134594864 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
Current children cumulated CPU time (s) 8.84
Current children cumulated vsize (KiB) 12928840
[startup+6.30619 s]
/proc/loadavg: 8.18 6.87 4.89 10/224 5674
/proc/meminfo: memFree=27502616/32770624 swapFree=0/322884
[pid=5645] ppid=5642 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (xcsp3-exec) S 5642 5645 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52992543 9740288 344 18446744073709551615 4194304 5098028 140735430540240 140735430538344 140255491261052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 20418560 140735430545818 140735430546026 140735430546026 140735430549483 0
/proc/5645/statm: 2378 344 289 221 0 87 0
[pid=5647] ppid=5645 vsize=13385276 CPUtime=19.86 cores=1,3,5,7
/proc/5647/stat : 5647 (java) S 5645 5645 25100 0 -1 1077944320 25666 0 0 0 1927 59 0 0 20 0 19 0 52992552 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140737454330768 140074189074167 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
/proc/5647/statm: 3346319 267881 3264 1 0 3334611 0
[pid=5647/tid=5648] ppid=5645 vsize=13385276 CPUtime=3.34 cores=1,3,5,7
/proc/5647/task/5648/stat : 5648 (java) S 5645 5645 25100 0 -1 1077944384 9256 0 0 0 323 11 0 0 20 0 19 0 52992552 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140074193314944 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5649] ppid=5645 vsize=13385276 CPUtime=0.35 cores=1,3,5,7
/proc/5647/task/5649/stat : 5649 (java) S 5645 5645 25100 0 -1 1077944384 170 0 0 0 27 8 0 0 20 0 19 0 52992553 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140074125555984 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5650] ppid=5645 vsize=13385276 CPUtime=0.37 cores=1,3,5,7
/proc/5647/task/5650/stat : 5650 (java) S 5645 5645 25100 0 -1 1077944384 323 0 0 0 28 9 0 0 20 0 19 0 52992553 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140074124503440 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5651] ppid=5645 vsize=13385276 CPUtime=0.38 cores=1,3,5,7
/proc/5647/task/5651/stat : 5651 (java) S 5645 5645 25100 0 -1 1077944384 284 0 0 0 28 10 0 0 20 0 19 0 52992553 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140074123450896 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5652] ppid=5645 vsize=13385276 CPUtime=0.34 cores=1,3,5,7
/proc/5647/task/5652/stat : 5652 (java) S 5645 5645 25100 0 -1 1077944384 202 0 0 0 25 9 0 0 20 0 19 0 52992553 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140074122398352 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5653] ppid=5645 vsize=13385276 CPUtime=0.01 cores=1,3,5,7
/proc/5647/task/5653/stat : 5653 (java) S 5645 5645 25100 0 -1 1077944384 576 0 0 0 1 0 0 0 20 0 19 0 52992554 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073143015920 140074189085314 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5654] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5654/stat : 5654 (java) S 5645 5645 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 52992555 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073141962208 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5655] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5655/stat : 5655 (java) S 5645 5645 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52992555 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073140909568 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5656] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5656/stat : 5656 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52992557 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073139858128 140074189092763 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5657] ppid=5645 vsize=13385276 CPUtime=3.82 cores=1,3,5,7
/proc/5647/task/5657/stat : 5657 (java) S 5645 5645 25100 0 -1 1077944384 4633 0 0 0 381 1 0 0 20 0 19 0 52992557 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073138804720 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5658] ppid=5645 vsize=13385276 CPUtime=3.75 cores=1,3,5,7
/proc/5647/task/5658/stat : 5658 (java) S 5645 5645 25100 0 -1 1077944384 4847 0 0 0 373 2 0 0 20 0 19 0 52992557 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073137752176 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5659] ppid=5645 vsize=13385276 CPUtime=0.95 cores=1,3,5,7
/proc/5647/task/5659/stat : 5659 (java) S 5645 5645 25100 0 -1 1077944384 3397 0 0 0 94 1 0 0 20 0 19 0 52992557 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073136699632 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5660] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5660/stat : 5660 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52992558 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073135647328 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5661] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5661/stat : 5661 (java) S 5645 5645 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52992567 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073134594864 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5671] ppid=5645 vsize=13385276 CPUtime=0.94 cores=1,3,5,7
/proc/5647/task/5671/stat : 5671 (java) R 5645 5645 25100 0 -1 4202560 113 0 0 0 94 0 0 0 20 0 19 0 52993036 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073122867056 140073808473210 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5672] ppid=5645 vsize=13385276 CPUtime=1.11 cores=1,3,5,7
/proc/5647/task/5672/stat : 5672 (java) R 5645 5645 25100 0 -1 4202560 108 0 0 0 109 2 0 0 20 0 19 0 52993036 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073126027696 140073808601428 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5673] ppid=5645 vsize=13385276 CPUtime=0.98 cores=1,3,5,7
/proc/5647/task/5673/stat : 5673 (java) R 5645 5645 25100 0 -1 4202560 85 0 0 0 98 0 0 0 20 0 19 0 52993036 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073121816752 140073809658671 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5674] ppid=5645 vsize=13385276 CPUtime=1.12 cores=1,3,5,7
/proc/5647/task/5674/stat : 5674 (java) R 5645 5645 25100 0 -1 4202560 83 0 0 0 112 0 0 0 20 0 19 0 52993036 13706522624 267881 18446744073709551615 4194304 4196468 140737454348224 140073120763120 140073808670002 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (KiB) 13394788
[startup+12.7008 s]
/proc/loadavg: 8.53 6.99 4.95 9/224 5679
/proc/meminfo: memFree=26924464/32770624 swapFree=0/322888
[pid=5645] ppid=5642 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (xcsp3-exec) S 5642 5645 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52992543 9740288 344 18446744073709551615 4194304 5098028 140735430540240 140735430538344 140255491261052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 20418560 140735430545818 140735430546026 140735430546026 140735430549483 0
/proc/5645/statm: 2378 344 289 221 0 87 0
[pid=5647] ppid=5645 vsize=13385276 CPUtime=45.18 cores=1,3,5,7
################
# More data... #
################
/proc/5645/statm: 2378 344 289 221 0 87 0
[pid=5647] ppid=5645 vsize=13385276 CPUtime=2074.68 cores=1,3,5,7
/proc/5647/stat : 5647 (java) S 5645 5645 25100 0 -1 1077944320 141460 0 0 0 207267 201 0 0 20 0 19 0 52992552 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140737454330768 140074189074167 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
/proc/5647/statm: 3346319 960103 3285 1 0 3334611 0
[pid=5647/tid=5648] ppid=5645 vsize=13385276 CPUtime=3.34 cores=1,3,5,7
/proc/5647/task/5648/stat : 5648 (java) S 5645 5645 25100 0 -1 1077944384 9593 0 0 0 323 11 0 0 20 0 19 0 52992552 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140074193314944 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5649] ppid=5645 vsize=13385276 CPUtime=2.01 cores=1,3,5,7
/proc/5647/task/5649/stat : 5649 (java) S 5645 5645 25100 0 -1 1077944384 4402 0 0 0 171 30 0 0 20 0 19 0 52992553 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140074125555984 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5650] ppid=5645 vsize=13385276 CPUtime=2.04 cores=1,3,5,7
/proc/5647/task/5650/stat : 5650 (java) S 5645 5645 25100 0 -1 1077944384 5006 0 0 0 173 31 0 0 20 0 19 0 52992553 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140074124503440 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5651] ppid=5645 vsize=13385276 CPUtime=2.05 cores=1,3,5,7
/proc/5647/task/5651/stat : 5651 (java) S 5645 5645 25100 0 -1 1077944384 3751 0 0 0 174 31 0 0 20 0 19 0 52992553 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140074123450896 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5652] ppid=5645 vsize=13385276 CPUtime=2 cores=1,3,5,7
/proc/5647/task/5652/stat : 5652 (java) S 5645 5645 25100 0 -1 1077944384 4400 0 0 0 170 30 0 0 20 0 19 0 52992553 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140074122398352 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5653] ppid=5645 vsize=13385276 CPUtime=0.66 cores=1,3,5,7
/proc/5647/task/5653/stat : 5653 (java) S 5645 5645 25100 0 -1 1077944384 8451 0 0 0 65 1 0 0 20 0 19 0 52992554 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073143015920 140074189085314 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5654] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5654/stat : 5654 (java) S 5645 5645 25100 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 52992555 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073141962208 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5655] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5655/stat : 5655 (java) S 5645 5645 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 52992555 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073140909568 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5656] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5656/stat : 5656 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52992557 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073139858128 140074189092763 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5657] ppid=5645 vsize=13385276 CPUtime=5.56 cores=1,3,5,7
/proc/5647/task/5657/stat : 5657 (java) S 5645 5645 25100 0 -1 1077944384 23156 0 0 0 553 3 0 0 20 0 19 0 52992557 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073138804720 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5658] ppid=5645 vsize=13385276 CPUtime=5 cores=1,3,5,7
/proc/5647/task/5658/stat : 5658 (java) S 5645 5645 25100 0 -1 1077944384 19597 0 0 0 497 3 0 0 20 0 19 0 52992557 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073137752176 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5659] ppid=5645 vsize=13385276 CPUtime=1.04 cores=1,3,5,7
/proc/5647/task/5659/stat : 5659 (java) S 5645 5645 25100 0 -1 1077944384 11355 0 0 0 102 2 0 0 20 0 19 0 52992557 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073136699632 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5660] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5660/stat : 5660 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52992558 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073135647328 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5661] ppid=5645 vsize=13385276 CPUtime=0.37 cores=1,3,5,7
/proc/5647/task/5661/stat : 5661 (java) S 5645 5645 25100 0 -1 1077944384 662 0 0 0 0 37 0 0 20 0 19 0 52992567 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073134594864 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5680] ppid=5645 vsize=13385276 CPUtime=466.47 cores=1,3,5,7
/proc/5647/task/5680/stat : 5680 (java) R 5645 5645 25100 0 -1 4202560 3110 0 0 0 46646 1 0 0 20 0 19 0 52997948 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073120763224 140073808473273 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5681] ppid=5645 vsize=13385276 CPUtime=466.27 cores=1,3,5,7
/proc/5647/task/5681/stat : 5681 (java) R 5645 5645 25100 0 -1 4202560 22124 0 0 0 46614 13 0 0 20 0 19 0 52997948 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073122872576 140073808601523 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5682] ppid=5645 vsize=13385276 CPUtime=464.94 cores=1,3,5,7
/proc/5647/task/5682/stat : 5682 (java) R 5645 5645 25100 0 -1 4202560 4177 0 0 0 46493 1 0 0 20 0 19 0 52997948 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073121816936 140073809122163 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5683] ppid=5645 vsize=13385276 CPUtime=465.88 cores=1,3,5,7
/proc/5647/task/5683/stat : 5683 (java) R 5645 5645 25100 0 -1 4202560 8024 0 0 0 46581 7 0 0 20 0 19 0 52997948 13706522624 960103 18446744073709551615 4194304 4196468 140737454348224 140073126026816 140073808670503 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
Current children cumulated CPU time (s) 2074.68
Current children cumulated vsize (KiB) 13394788
[startup+582.301 s]
/proc/loadavg: 5.09 6.10 5.63 6/223 5810
/proc/meminfo: memFree=26009488/32770624 swapFree=0/323124
[pid=5645] ppid=5642 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (xcsp3-exec) S 5642 5645 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52992543 9740288 344 18446744073709551615 4194304 5098028 140735430540240 140735430538344 140255491261052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 20418560 140735430545818 140735430546026 140735430546026 140735430549483 0
/proc/5645/statm: 2378 344 289 221 0 87 0
[pid=5647] ppid=5645 vsize=13385276 CPUtime=2313.87 cores=1,3,5,7
/proc/5647/stat : 5647 (java) S 5645 5645 25100 0 -1 1077944320 146722 0 0 0 231182 205 0 0 20 0 19 0 52992552 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140737454330768 140074189074167 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
/proc/5647/statm: 3346319 964269 3286 1 0 3334611 0
[pid=5647/tid=5648] ppid=5645 vsize=13385276 CPUtime=3.34 cores=1,3,5,7
/proc/5647/task/5648/stat : 5648 (java) S 5645 5645 25100 0 -1 1077944384 9593 0 0 0 323 11 0 0 20 0 19 0 52992552 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140074193314944 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5649] ppid=5645 vsize=13385276 CPUtime=2.05 cores=1,3,5,7
/proc/5647/task/5649/stat : 5649 (java) S 5645 5645 25100 0 -1 1077944384 4734 0 0 0 174 31 0 0 20 0 19 0 52992553 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140074125555984 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5650] ppid=5645 vsize=13385276 CPUtime=2.08 cores=1,3,5,7
/proc/5647/task/5650/stat : 5650 (java) S 5645 5645 25100 0 -1 1077944384 5143 0 0 0 176 32 0 0 20 0 19 0 52992553 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140074124503440 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5651] ppid=5645 vsize=13385276 CPUtime=2.09 cores=1,3,5,7
/proc/5647/task/5651/stat : 5651 (java) S 5645 5645 25100 0 -1 1077944384 4197 0 0 0 177 32 0 0 20 0 19 0 52992553 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140074123450896 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5652] ppid=5645 vsize=13385276 CPUtime=2.04 cores=1,3,5,7
/proc/5647/task/5652/stat : 5652 (java) S 5645 5645 25100 0 -1 1077944384 4544 0 0 0 174 30 0 0 20 0 19 0 52992553 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140074122398352 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5653] ppid=5645 vsize=13385276 CPUtime=0.66 cores=1,3,5,7
/proc/5647/task/5653/stat : 5653 (java) S 5645 5645 25100 0 -1 1077944384 8728 0 0 0 65 1 0 0 20 0 19 0 52992554 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073143015920 140074189085314 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5654] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5654/stat : 5654 (java) S 5645 5645 25100 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 52992555 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073141962208 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5655] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5655/stat : 5655 (java) S 5645 5645 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 52992555 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073140909568 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5656] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5656/stat : 5656 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52992557 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073139858128 140074189092763 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5657] ppid=5645 vsize=13385276 CPUtime=5.56 cores=1,3,5,7
/proc/5647/task/5657/stat : 5657 (java) S 5645 5645 25100 0 -1 1077944384 23411 0 0 0 553 3 0 0 20 0 19 0 52992557 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073138804720 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5658] ppid=5645 vsize=13385276 CPUtime=5 cores=1,3,5,7
/proc/5647/task/5658/stat : 5658 (java) S 5645 5645 25100 0 -1 1077944384 19601 0 0 0 497 3 0 0 20 0 19 0 52992557 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073137752176 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5659] ppid=5645 vsize=13385276 CPUtime=1.04 cores=1,3,5,7
/proc/5647/task/5659/stat : 5659 (java) S 5645 5645 25100 0 -1 1077944384 11357 0 0 0 102 2 0 0 20 0 19 0 52992557 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073136699632 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5660] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5660/stat : 5660 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52992558 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073135647328 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5661] ppid=5645 vsize=13385276 CPUtime=0.43 cores=1,3,5,7
/proc/5647/task/5661/stat : 5661 (java) S 5645 5645 25100 0 -1 1077944384 686 0 0 0 0 43 0 0 20 0 19 0 52992567 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073134594864 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5680] ppid=5645 vsize=13385276 CPUtime=525.99 cores=1,3,5,7
/proc/5647/task/5680/stat : 5680 (java) R 5645 5645 25100 0 -1 4202560 3329 0 0 0 52598 1 0 0 20 0 19 0 52997948 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073120762984 140073808403760 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5681] ppid=5645 vsize=13385276 CPUtime=525.95 cores=1,3,5,7
/proc/5647/task/5681/stat : 5681 (java) R 5645 5645 25100 0 -1 4202560 24354 0 0 0 52581 14 0 0 20 0 19 0 52997948 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073122872048 140073801223285 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5682] ppid=5645 vsize=13385276 CPUtime=524.89 cores=1,3,5,7
/proc/5647/task/5682/stat : 5682 (java) R 5645 5645 25100 0 -1 4202560 4677 0 0 0 52488 1 0 0 20 0 19 0 52997948 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073121816936 140073809600656 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5683] ppid=5645 vsize=13385276 CPUtime=525.69 cores=1,3,5,7
/proc/5647/task/5683/stat : 5683 (java) R 5645 5645 25100 0 -1 4202560 8716 0 0 0 52562 7 0 0 20 0 19 0 52997948 13706522624 964269 18446744073709551615 4194304 4196468 140737454348224 140073126026816 140073808670127 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
Current children cumulated CPU time (s) 2313.87
Current children cumulated vsize (KiB) 13394788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.008 s]
/proc/loadavg: 5.07 6.03 5.62 6/223 5810
/proc/meminfo: memFree=26001212/32770624 swapFree=0/323128
[pid=5645] ppid=5642 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5645/stat : 5645 (xcsp3-exec) S 5642 5645 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52992543 9740288 344 18446744073709551615 4194304 5098028 140735430540240 140735430538344 140255491261052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 20418560 140735430545818 140735430546026 140735430546026 140735430549483 0
/proc/5645/statm: 2378 344 289 221 0 87 0
[pid=5647] ppid=5645 vsize=13385276 CPUtime=2400.39 cores=1,3,5,7
/proc/5647/stat : 5647 (java) S 5645 5645 25100 0 -1 1077944320 147902 0 0 0 239833 206 0 0 20 0 19 0 52992552 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140737454330768 140074189074167 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
/proc/5647/statm: 3346319 966360 3286 1 0 3334611 0
[pid=5647/tid=5648] ppid=5645 vsize=13385276 CPUtime=3.34 cores=1,3,5,7
/proc/5647/task/5648/stat : 5648 (java) S 5645 5645 25100 0 -1 1077944384 9593 0 0 0 323 11 0 0 20 0 19 0 52992552 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140074193314944 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5649] ppid=5645 vsize=13385276 CPUtime=2.08 cores=1,3,5,7
/proc/5647/task/5649/stat : 5649 (java) S 5645 5645 25100 0 -1 1077944384 4800 0 0 0 177 31 0 0 20 0 19 0 52992553 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140074125555984 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5650] ppid=5645 vsize=13385276 CPUtime=2.1 cores=1,3,5,7
/proc/5647/task/5650/stat : 5650 (java) S 5645 5645 25100 0 -1 1077944384 5210 0 0 0 178 32 0 0 20 0 19 0 52992553 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140074124503440 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5651] ppid=5645 vsize=13385276 CPUtime=2.11 cores=1,3,5,7
/proc/5647/task/5651/stat : 5651 (java) S 5645 5645 25100 0 -1 1077944384 4306 0 0 0 179 32 0 0 20 0 19 0 52992553 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140074123450896 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5652] ppid=5645 vsize=13385276 CPUtime=2.07 cores=1,3,5,7
/proc/5647/task/5652/stat : 5652 (java) S 5645 5645 25100 0 -1 1077944384 4563 0 0 0 176 31 0 0 20 0 19 0 52992553 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140074122398352 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5653] ppid=5645 vsize=13385276 CPUtime=0.67 cores=1,3,5,7
/proc/5647/task/5653/stat : 5653 (java) S 5645 5645 25100 0 -1 1077944384 8739 0 0 0 66 1 0 0 20 0 19 0 52992554 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073143015920 140074189085314 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5654] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5654/stat : 5654 (java) S 5645 5645 25100 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 52992555 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073141962208 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5655] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5655/stat : 5655 (java) S 5645 5645 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 52992555 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073140909568 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5656] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5656/stat : 5656 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52992557 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073139858128 140074189092763 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5657] ppid=5645 vsize=13385276 CPUtime=5.56 cores=1,3,5,7
/proc/5647/task/5657/stat : 5657 (java) S 5645 5645 25100 0 -1 1077944384 23411 0 0 0 553 3 0 0 20 0 19 0 52992557 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073138804720 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5658] ppid=5645 vsize=13385276 CPUtime=5 cores=1,3,5,7
/proc/5647/task/5658/stat : 5658 (java) S 5645 5645 25100 0 -1 1077944384 19601 0 0 0 497 3 0 0 20 0 19 0 52992557 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073137752176 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5659] ppid=5645 vsize=13385276 CPUtime=1.04 cores=1,3,5,7
/proc/5647/task/5659/stat : 5659 (java) S 5645 5645 25100 0 -1 1077944384 11357 0 0 0 102 2 0 0 20 0 19 0 52992557 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073136699632 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5660] ppid=5645 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/5647/task/5660/stat : 5660 (java) S 5645 5645 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52992558 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073135647328 140074189084373 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5661] ppid=5645 vsize=13385276 CPUtime=0.45 cores=1,3,5,7
/proc/5647/task/5661/stat : 5661 (java) S 5645 5645 25100 0 -1 1077944384 686 0 0 0 0 45 0 0 20 0 19 0 52992567 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073134594864 140074189085314 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5680] ppid=5645 vsize=13385276 CPUtime=547.52 cores=1,3,5,7
/proc/5647/task/5680/stat : 5680 (java) R 5645 5645 25100 0 -1 4202560 3366 0 0 0 54751 1 0 0 20 0 19 0 52997948 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073120762864 140073809600834 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5681] ppid=5645 vsize=13385276 CPUtime=547.63 cores=1,3,5,7
/proc/5647/task/5681/stat : 5681 (java) R 5645 5645 25100 0 -1 4202560 25000 0 0 0 54749 14 0 0 20 0 19 0 52997948 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073122872576 140073808601607 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5682] ppid=5645 vsize=13385276 CPUtime=546.54 cores=1,3,5,7
/proc/5647/task/5682/stat : 5682 (java) R 5645 5645 25100 0 -1 4202560 4736 0 0 0 54653 1 0 0 20 0 19 0 52997948 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073121817576 140073808473294 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
[pid=5647/tid=5683] ppid=5645 vsize=13385276 CPUtime=547.22 cores=1,3,5,7
/proc/5647/task/5683/stat : 5683 (java) R 5645 5645 25100 0 -1 4202560 8882 0 0 0 54715 7 0 0 20 0 19 0 52997948 13706522624 966360 18446744073709551615 4194304 4196468 140737454348224 140073126027064 140073808670524 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24395776 140737454354902 140737454355078 140737454355078 140737454358479 0
Current children cumulated CPU time (s) 2400.39
Current children cumulated vsize (KiB) 13394788
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 5647 sig 9
??? kill 5645 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 5645 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=919
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=919
# CPU time returned by wait4() is 0.001838
# while last known CPU time is 2400.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 604.031
CPU time (s): 2400.39
CPU user time (s): 2398.33
CPU system time (s): 2.06
CPU usage (%): 397.395
Max. virtual memory (cumulated for all children) (KiB): 13394788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000919
system time used= 0.000919
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
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 3.23925 second user time and 4.79442 second system time
The end