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-4245214-1500685368/watcher-4245214-1500685368 -o /tmp/evaluation-result-4245214-1500685368/solver-4245214-1500685368 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1284236910 HOME/instance-4245214-1500685368.xml
pid=22679
running on 8 cores: 0,2,4,6,8,10,12,14
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: 15.12 15.47 12.19 10/272 22682
/proc/meminfo: memFree=31413548/32770624 swapFree=5892/66056
[pid=22682] ppid=22679 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22682/stat : 22682 (xcsp3-exec) S 22679 22682 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3806513 9740288 346 33554432000 4194304 5098028 140730480415168 140730480413272 140331688919676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32215040 140730480424078 140730480424288 140730480424288 140730480426987 0
/proc/22682/statm: 2378 346 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 15.12 15.47 12.19 10/272 22682
/proc/meminfo: memFree=31413548/32770624 swapFree=5892/66056
[pid=22682] ppid=22679 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22682/stat : 22682 (xcsp3-exec) S 22679 22682 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3806513 9740288 346 33554432000 4194304 5098028 140730480415168 140730480413272 140331688919676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32215040 140730480424078 140730480424288 140730480424288 140730480426987 0
/proc/22682/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200252 s]
/proc/loadavg: 15.12 15.47 12.19 10/272 22682
/proc/meminfo: memFree=31413548/32770624 swapFree=5892/66056
[pid=22682] ppid=22679 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22682/stat : 22682 (xcsp3-exec) S 22679 22682 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3806513 9740288 346 33554432000 4194304 5098028 140730480415168 140730480413272 140331688919676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32215040 140730480424078 140730480424288 140730480424288 140730480426987 0
/proc/22682/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300249 s]
/proc/loadavg: 15.12 15.47 12.19 10/272 22682
/proc/meminfo: memFree=31413548/32770624 swapFree=5892/66056
[pid=22682] ppid=22679 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22682/stat : 22682 (xcsp3-exec) S 22679 22682 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3806513 9740288 346 33554432000 4194304 5098028 140730480415168 140730480413272 140331688919676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32215040 140730480424078 140730480424288 140730480424288 140730480426987 0
/proc/22682/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700205 s]
/proc/loadavg: 15.12 15.47 12.19 10/272 22682
/proc/meminfo: memFree=31413548/32770624 swapFree=5892/66056
[pid=22682] ppid=22679 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22682/stat : 22682 (xcsp3-exec) S 22679 22682 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3806513 9740288 346 33554432000 4194304 5098028 140730480415168 140730480413272 140331688919676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32215040 140730480424078 140730480424288 140730480424288 140730480426987 0
/proc/22682/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 15.12 15.47 12.19 10/293 22703
/proc/meminfo: memFree=31318604/32770624 swapFree=5892/66056
[pid=22682] ppid=22679 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22682/stat : 22682 (xcsp3-exec) S 22679 22682 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3806513 9740288 346 33554432000 4194304 5098028 140730480415168 140730480413272 140331688919676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32215040 140730480424078 140730480424288 140730480424288 140730480426987 0
/proc/22682/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22682 vsize=13269256 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/22683/stat : 22683 (java) S 22682 22682 15667 0 -1 1077944320 17098 0 0 0 238 5 0 0 20 0 20 0 3806513 13587718144 20695 33554432000 4194304 4196468 140727652979952 140727652962496 140666474688247 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
/proc/22683/statm: 3317314 20695 3198 1 0 3304547 0
[pid=22683/tid=22684] ppid=22682 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22684/stat : 22684 (java) R 22682 22682 15667 0 -1 4202560 7189 0 0 0 144 3 0 0 20 0 20 0 3806514 13587718144 20695 33554432000 4194304 4196468 140727652979952 140666478923960 140666103884352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22686] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22686/stat : 22686 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 20695 33554432000 4194304 4196468 140727652979952 140666427308816 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22687] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22687/stat : 22687 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 20695 33554432000 4194304 4196468 140727652979952 140666426256272 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22688] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22688/stat : 22688 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 20695 33554432000 4194304 4196468 140727652979952 140666425203728 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22689] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22689/stat : 22689 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 20695 33554432000 4194304 4196468 140727652979952 140666424151184 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22690] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22690/stat : 22690 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 20695 33554432000 4194304 4196468 140727652979952 140666423097616 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22691] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22691/stat : 22691 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 20695 33554432000 4194304 4196468 140727652979952 140666422045072 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22692] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22692/stat : 22692 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 20695 33554432000 4194304 4196468 140727652979952 140666067155472 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22693] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22693/stat : 22693 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 20695 33554432000 4194304 4196468 140727652979952 140666066102928 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22694] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22694/stat : 22694 (java) S 22682 22682 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3806517 13587718144 20695 33554432000 4194304 4196468 140727652979952 140665802398192 140666474699394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22695] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22695/stat : 22695 (java) S 22682 22682 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3806518 13587718144 20695 33554432000 4194304 4196468 140727652979952 140665801344416 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22696] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22696/stat : 22696 (java) S 22682 22682 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3806518 13587718144 20695 33554432000 4194304 4196468 140727652979952 140665800291824 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22697] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22697/stat : 22697 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3806522 13587718144 20695 33554432000 4194304 4196468 140727652979952 140665799240400 140666474706843 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22698] ppid=22682 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22698/stat : 22698 (java) S 22682 22682 15667 0 -1 1077944384 2697 0 0 0 22 0 0 0 20 0 20 0 3806522 13587718144 20695 33554432000 4194304 4196468 140727652979952 140665798186992 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22699] ppid=22682 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22699/stat : 22699 (java) S 22682 22682 15667 0 -1 1077944384 2200 0 0 0 22 0 0 0 20 0 20 0 3806522 13587718144 20695 33554432000 4194304 4196468 140727652979952 140665797134448 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22700] ppid=22682 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22700/stat : 22700 (java) S 22682 22682 15667 0 -1 1077944384 2492 0 0 0 27 0 0 0 20 0 20 0 3806522 13587718144 20695 33554432000 4194304 4196468 140727652979952 140665796081904 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22701] ppid=22682 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22701/stat : 22701 (java) S 22682 22682 15667 0 -1 1077944384 1204 0 0 0 20 0 0 0 20 0 20 0 3806522 13587718144 20695 33554432000 4194304 4196468 140727652979952 140665795029360 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22702] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22702/stat : 22702 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3806522 13587718144 20695 33554432000 4194304 4196468 140727652979952 140665793977056 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22703] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22703/stat : 22703 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3806523 13587718144 20695 33554432000 4194304 4196468 140727652979952 140665792924592 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13278768
[startup+3.10077 s]
/proc/loadavg: 15.12 15.47 12.19 10/293 22703
/proc/meminfo: memFree=31309144/32770624 swapFree=5892/66064
[pid=22682] ppid=22679 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22682/stat : 22682 (xcsp3-exec) S 22679 22682 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3806513 9740288 346 33554432000 4194304 5098028 140730480415168 140730480413272 140331688919676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32215040 140730480424078 140730480424288 140730480424288 140730480426987 0
/proc/22682/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22682 vsize=13269256 CPUtime=4.11 cores=0,2,4,6,8,10,12,14
/proc/22683/stat : 22683 (java) S 22682 22682 15667 0 -1 1077944320 20332 0 0 0 405 6 0 0 20 0 20 0 3806513 13587718144 24064 33554432000 4194304 4196468 140727652979952 140727652962496 140666474688247 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
/proc/22683/statm: 3317314 24064 3201 1 0 3304547 0
[pid=22683/tid=22684] ppid=22682 vsize=13269256 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22684/stat : 22684 (java) R 22682 22682 15667 0 -1 4202560 8435 0 0 0 304 3 0 0 20 0 20 0 3806514 13587718144 24064 33554432000 4194304 4196468 140727652979952 140666478922488 140666104152272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22686] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22686/stat : 22686 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 24064 33554432000 4194304 4196468 140727652979952 140666427308816 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22687] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22687/stat : 22687 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 24064 33554432000 4194304 4196468 140727652979952 140666426256272 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22688] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22688/stat : 22688 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 24064 33554432000 4194304 4196468 140727652979952 140666425203728 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22689] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22689/stat : 22689 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 24064 33554432000 4194304 4196468 140727652979952 140666424151184 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22690] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22690/stat : 22690 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 24064 33554432000 4194304 4196468 140727652979952 140666423097616 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22691] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22691/stat : 22691 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 24064 33554432000 4194304 4196468 140727652979952 140666422045072 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22692] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22692/stat : 22692 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 24064 33554432000 4194304 4196468 140727652979952 140666067155472 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22693] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22693/stat : 22693 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 24064 33554432000 4194304 4196468 140727652979952 140666066102928 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22694] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22694/stat : 22694 (java) S 22682 22682 15667 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 3806517 13587718144 24064 33554432000 4194304 4196468 140727652979952 140665802398192 140666474699394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22695] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22695/stat : 22695 (java) S 22682 22682 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3806518 13587718144 24064 33554432000 4194304 4196468 140727652979952 140665801344416 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22696] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22696/stat : 22696 (java) S 22682 22682 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3806518 13587718144 24064 33554432000 4194304 4196468 140727652979952 140665800291824 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22697] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22697/stat : 22697 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3806522 13587718144 24064 33554432000 4194304 4196468 140727652979952 140665799240400 140666474706843 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22698] ppid=22682 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22698/stat : 22698 (java) S 22682 22682 15667 0 -1 1077944384 2874 0 0 0 23 0 0 0 20 0 20 0 3806522 13587718144 24064 33554432000 4194304 4196468 140727652979952 140665798186992 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22699] ppid=22682 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22699/stat : 22699 (java) S 22682 22682 15667 0 -1 1077944384 2275 0 0 0 23 0 0 0 20 0 20 0 3806522 13587718144 24064 33554432000 4194304 4196468 140727652979952 140665797134448 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22700] ppid=22682 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22700/stat : 22700 (java) S 22682 22682 15667 0 -1 1077944384 2520 0 0 0 28 0 0 0 20 0 20 0 3806522 13587718144 24064 33554432000 4194304 4196468 140727652979952 140665796081904 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22701] ppid=22682 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22701/stat : 22701 (java) S 22682 22682 15667 0 -1 1077944384 2869 0 0 0 25 0 0 0 20 0 20 0 3806522 13587718144 24064 33554432000 4194304 4196468 140727652979952 140665795029360 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22702] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22702/stat : 22702 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3806522 13587718144 24064 33554432000 4194304 4196468 140727652979952 140665793977056 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22703] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22703/stat : 22703 (java) S 22682 22682 15667 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 3806523 13587718144 24064 33554432000 4194304 4196468 140727652979952 140665792924592 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 13278768
[startup+6.30073 s]
/proc/loadavg: 14.63 15.36 12.17 10/293 22703
/proc/meminfo: memFree=30783976/32770624 swapFree=5892/66096
[pid=22682] ppid=22679 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22682/stat : 22682 (xcsp3-exec) S 22679 22682 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3806513 9740288 346 33554432000 4194304 5098028 140730480415168 140730480413272 140331688919676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32215040 140730480424078 140730480424288 140730480424288 140730480426987 0
/proc/22682/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22682 vsize=13269256 CPUtime=7.4 cores=0,2,4,6,8,10,12,14
/proc/22683/stat : 22683 (java) S 22682 22682 15667 0 -1 1077944320 24520 0 0 0 733 7 0 0 20 0 20 0 3806513 13587718144 28216 33554432000 4194304 4196468 140727652979952 140727652962496 140666474688247 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
/proc/22683/statm: 3317314 28216 3206 1 0 3304547 0
[pid=22683/tid=22684] ppid=22682 vsize=13269256 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22684/stat : 22684 (java) R 22682 22682 15667 0 -1 4202560 10017 0 0 0 623 4 0 0 20 0 20 0 3806514 13587718144 28216 33554432000 4194304 4196468 140727652979952 140666478924440 140666103892489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22686] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22686/stat : 22686 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 28216 33554432000 4194304 4196468 140727652979952 140666427308816 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22687] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22687/stat : 22687 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 28216 33554432000 4194304 4196468 140727652979952 140666426256272 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22688] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22688/stat : 22688 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 28216 33554432000 4194304 4196468 140727652979952 140666425203728 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22689] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22689/stat : 22689 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 28216 33554432000 4194304 4196468 140727652979952 140666424151184 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22690] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22690/stat : 22690 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 28216 33554432000 4194304 4196468 140727652979952 140666423097616 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22691] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22691/stat : 22691 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 28216 33554432000 4194304 4196468 140727652979952 140666422045072 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22692] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22692/stat : 22692 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 28216 33554432000 4194304 4196468 140727652979952 140666067155472 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22693] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22693/stat : 22693 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3806515 13587718144 28216 33554432000 4194304 4196468 140727652979952 140666066102928 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22694] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22694/stat : 22694 (java) S 22682 22682 15667 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 3806517 13587718144 28216 33554432000 4194304 4196468 140727652979952 140665802398192 140666474699394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22695] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22695/stat : 22695 (java) S 22682 22682 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3806518 13587718144 28216 33554432000 4194304 4196468 140727652979952 140665801344416 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22696] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22696/stat : 22696 (java) S 22682 22682 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3806518 13587718144 28216 33554432000 4194304 4196468 140727652979952 140665800291824 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22697] ppid=22682 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22697/stat : 22697 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3806522 13587718144 28216 33554432000 4194304 4196468 140727652979952 140665799240400 140666474706843 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
################
# More data... #
################
/proc/22683/task/22695/stat : 22695 (java) S 22682 22682 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3806518 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665801344416 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22696] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22696/stat : 22696 (java) S 22682 22682 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3806518 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665800291824 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22697] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22697/stat : 22697 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3806522 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665799240400 140666474706843 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22698] ppid=22682 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22698/stat : 22698 (java) S 22682 22682 15667 0 -1 1077944384 3925 0 0 0 72 0 0 0 20 0 28 0 3806522 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665798186992 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22699] ppid=22682 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22699/stat : 22699 (java) R 22682 22682 15667 0 -1 4202560 4014 0 0 0 79 0 0 0 20 0 28 0 3806522 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665797124128 140666458977262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22700] ppid=22682 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22700/stat : 22700 (java) S 22682 22682 15667 0 -1 1077944384 3508 0 0 0 66 0 0 0 20 0 28 0 3806522 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665796081904 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22701] ppid=22682 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22701/stat : 22701 (java) S 22682 22682 15667 0 -1 1077944384 5858 0 0 0 54 1 0 0 20 0 28 0 3806522 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665795029360 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22702] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22702/stat : 22702 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3806522 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665793977056 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22703] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22703/stat : 22703 (java) S 22682 22682 15667 0 -1 1077944384 649 0 0 0 0 0 0 0 20 0 28 0 3806523 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665792924592 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22704] ppid=22682 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22704/stat : 22704 (java) R 22682 22682 15667 0 -1 4202560 67 0 0 0 89 0 0 0 20 0 28 0 3807696 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665784911224 140666106252505 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22705] ppid=22682 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22705/stat : 22705 (java) R 22682 22682 15667 0 -1 4202560 56 0 0 0 76 0 0 0 20 0 28 0 3807696 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665783859688 140666106252824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22706] ppid=22682 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22706/stat : 22706 (java) R 22682 22682 15667 0 -1 4202560 53 0 0 0 70 0 0 0 20 0 28 0 3807696 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665782805088 140666106252505 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22707] ppid=22682 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22707/stat : 22707 (java) R 22682 22682 15667 0 -1 4202560 50 0 0 0 82 0 0 0 20 0 28 0 3807697 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665781753976 140666106252505 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22708] ppid=22682 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22708/stat : 22708 (java) R 22682 22682 15667 0 -1 4202560 44 0 0 0 68 0 0 0 20 0 28 0 3807697 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665780701208 140666106302497 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22709] ppid=22682 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22709/stat : 22709 (java) R 22682 22682 15667 0 -1 4202560 144 0 0 0 75 0 0 0 20 0 28 0 3807697 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665779646984 140666105950296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22710] ppid=22682 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22710/stat : 22710 (java) R 22682 22682 15667 0 -1 4202560 56 0 0 0 84 0 0 0 20 0 28 0 3807697 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665778596376 140666106252700 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22711] ppid=22682 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22711/stat : 22711 (java) R 22682 22682 15667 0 -1 4202560 58 0 0 0 62 0 0 0 20 0 28 0 3807697 14133010432 43339 33554432000 4194304 4196468 140727652979952 140665777542312 140666106302961 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 13811280
[startup+13.2016 s]
/proc/loadavg: 14.40 15.28 12.18 20/301 22711
/proc/meminfo: memFree=30246272/32770624 swapFree=5892/66108
[pid=22682] ppid=22679 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22682/stat : 22682 (xcsp3-exec) S 22679 22682 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3806513 9740288 346 33554432000 4194304 5098028 140730480415168 140730480413272 140331688919676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32215040 140730480424078 140730480424288 140730480424288 140730480426987 0
/proc/22682/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22682 vsize=13801768 CPUtime=23.97 cores=0,2,4,6,8,10,12,14
/proc/22683/stat : 22683 (java) S 22682 22682 15667 0 -1 1077944320 32839 0 0 0 2387 10 0 0 20 0 28 0 3806513 14133010432 43940 33554432000 4194304 4196468 140727652979952 140727652962496 140666474688247 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
/proc/22683/statm: 3450442 43940 3218 1 0 3437675 0
[pid=22683/tid=22684] ppid=22682 vsize=13801768 CPUtime=11.8 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22684/stat : 22684 (java) S 22682 22682 15667 0 -1 1077944384 12598 0 0 0 1176 4 0 0 20 0 28 0 3806514 14133010432 43940 33554432000 4194304 4196468 140727652979952 140666478929024 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22686] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22686/stat : 22686 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 43940 33554432000 4194304 4196468 140727652979952 140666427308816 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22687] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22687/stat : 22687 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 43940 33554432000 4194304 4196468 140727652979952 140666426256272 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22688] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22688/stat : 22688 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 43940 33554432000 4194304 4196468 140727652979952 140666425203728 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22689] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22689/stat : 22689 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 43940 33554432000 4194304 4196468 140727652979952 140666424151184 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22690] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22690/stat : 22690 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 43940 33554432000 4194304 4196468 140727652979952 140666423097616 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22691] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22691/stat : 22691 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 43940 33554432000 4194304 4196468 140727652979952 140666422045072 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22692] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22692/stat : 22692 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 43940 33554432000 4194304 4196468 140727652979952 140666067155472 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22693] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22693/stat : 22693 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 43940 33554432000 4194304 4196468 140727652979952 140666066102928 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22694] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22694/stat : 22694 (java) S 22682 22682 15667 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 28 0 3806517 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665802398192 140666474699394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22695] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22695/stat : 22695 (java) S 22682 22682 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3806518 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665801344416 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22696] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22696/stat : 22696 (java) S 22682 22682 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3806518 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665800291824 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22697] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22697/stat : 22697 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3806522 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665799240400 140666474706843 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22698] ppid=22682 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22698/stat : 22698 (java) S 22682 22682 15667 0 -1 1077944384 3952 0 0 0 84 0 0 0 20 0 28 0 3806522 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665798186992 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22699] ppid=22682 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22699/stat : 22699 (java) S 22682 22682 15667 0 -1 1077944384 4044 0 0 0 92 0 0 0 20 0 28 0 3806522 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665797134448 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22700] ppid=22682 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22700/stat : 22700 (java) R 22682 22682 15667 0 -1 1077944384 3524 0 0 0 76 0 0 0 20 0 28 0 3806522 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665796081904 140666474699394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22701] ppid=22682 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22701/stat : 22701 (java) R 22682 22682 15667 0 -1 4202560 5886 0 0 0 58 1 0 0 20 0 28 0 3806522 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665795029360 140666467405399 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22702] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22702/stat : 22702 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3806522 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665793977056 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22703] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22703/stat : 22703 (java) S 22682 22682 15667 0 -1 1077944384 649 0 0 0 0 0 0 0 20 0 28 0 3806523 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665792924592 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22704] ppid=22682 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22704/stat : 22704 (java) R 22682 22682 15667 0 -1 4202560 69 0 0 0 130 0 0 0 20 0 28 0 3807696 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665784908904 140666101414830 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22705] ppid=22682 vsize=13801768 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22705/stat : 22705 (java) R 22682 22682 15667 0 -1 4202560 61 0 0 0 117 0 0 0 20 0 28 0 3807696 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665783857656 140666106252505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22706] ppid=22682 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22706/stat : 22706 (java) R 22682 22682 15667 0 -1 4202560 53 0 0 0 106 0 0 0 20 0 28 0 3807696 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665782804056 140666106252260 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22707] ppid=22682 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22707/stat : 22707 (java) R 22682 22682 15667 0 -1 4202560 50 0 0 0 113 0 0 0 20 0 28 0 3807697 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665781752200 140666106252505 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22708] ppid=22682 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22708/stat : 22708 (java) R 22682 22682 15667 0 -1 4202560 44 0 0 0 100 0 0 0 20 0 28 0 3807697 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665780699304 140666105950806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22709] ppid=22682 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22709/stat : 22709 (java) R 22682 22682 15667 0 -1 4202560 144 0 0 0 112 0 0 0 20 0 28 0 3807697 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665779646992 140666105950207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22710] ppid=22682 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22710/stat : 22710 (java) R 22682 22682 15667 0 -1 4202560 56 0 0 0 123 0 0 0 20 0 28 0 3807697 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665778593752 140666106252824 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22711] ppid=22682 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22711/stat : 22711 (java) R 22682 22682 15667 0 -1 4202560 58 0 0 0 94 0 0 0 20 0 28 0 3807697 14133010432 43940 33554432000 4194304 4196468 140727652979952 140665777541448 140666106252749 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
Current children cumulated CPU time (s) 23.97
Current children cumulated vsize (KiB) 13811280
[startup+13.4015 s]
/proc/loadavg: 14.40 15.28 12.18 20/301 22711
/proc/meminfo: memFree=30246272/32770624 swapFree=5892/66108
[pid=22682] ppid=22679 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22682/stat : 22682 (xcsp3-exec) S 22679 22682 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3806513 9740288 346 33554432000 4194304 5098028 140730480415168 140730480413272 140331688919676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32215040 140730480424078 140730480424288 140730480424288 140730480426987 0
/proc/22682/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22682 vsize=13801768 CPUtime=25.45 cores=0,2,4,6,8,10,12,14
/proc/22683/stat : 22683 (java) S 22682 22682 15667 0 -1 1077944320 32885 0 0 0 2535 10 0 0 20 0 28 0 3806513 14133010432 44981 33554432000 4194304 4196468 140727652979952 140727652962496 140666474688247 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
/proc/22683/statm: 3450442 44981 3221 1 0 3437675 0
[pid=22683/tid=22684] ppid=22682 vsize=13801768 CPUtime=11.8 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22684/stat : 22684 (java) S 22682 22682 15667 0 -1 1077944384 12598 0 0 0 1176 4 0 0 20 0 28 0 3806514 14133010432 44981 33554432000 4194304 4196468 140727652979952 140666478929024 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22686] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22686/stat : 22686 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 44981 33554432000 4194304 4196468 140727652979952 140666427308816 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22687] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22687/stat : 22687 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 44981 33554432000 4194304 4196468 140727652979952 140666426256272 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22688] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22688/stat : 22688 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 44981 33554432000 4194304 4196468 140727652979952 140666425203728 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22689] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22689/stat : 22689 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 44981 33554432000 4194304 4196468 140727652979952 140666424151184 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22690] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22690/stat : 22690 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 44981 33554432000 4194304 4196468 140727652979952 140666423097616 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22691] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22691/stat : 22691 (java) S 22682 22682 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 44981 33554432000 4194304 4196468 140727652979952 140666422045072 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22692] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22692/stat : 22692 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 44981 33554432000 4194304 4196468 140727652979952 140666067155472 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22693] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22693/stat : 22693 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3806515 14133010432 44981 33554432000 4194304 4196468 140727652979952 140666066102928 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22694] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22694/stat : 22694 (java) S 22682 22682 15667 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 28 0 3806517 14133010432 44981 33554432000 4194304 4196468 140727652979952 140665802398192 140666474699394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22695] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22695/stat : 22695 (java) S 22682 22682 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3806518 14133010432 44981 33554432000 4194304 4196468 140727652979952 140665801344416 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22696] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22696/stat : 22696 (java) S 22682 22682 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3806518 14133010432 44981 33554432000 4194304 4196468 140727652979952 140665800291824 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22697] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22697/stat : 22697 (java) S 22682 22682 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3806522 14133010432 44981 33554432000 4194304 4196468 140727652979952 140665799240400 140666474706843 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22698] ppid=22682 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22698/stat : 22698 (java) S 22682 22682 15667 0 -1 1077944384 3964 0 0 0 88 1 0 0 20 0 28 0 3806522 14133010432 44981 33554432000 4194304 4196468 140727652979952 140665798186992 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22699] ppid=22682 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22699/stat : 22699 (java) R 22682 22682 15667 0 -1 4202560 4046 0 0 0 99 0 0 0 20 0 28 0 3806522 14133010432 44981 33554432000 4194304 4196468 140727652979952 140665797134744 140666456209638 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22700] ppid=22682 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22700/stat : 22700 (java) R 22682 22682 15667 0 -1 4202560 3552 0 0 0 85 0 0 0 20 0 28 0 3806522 14133010432 44981 33554432000 4194304 4196468 140727652979952 140665796064272 140666459803501 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22701] ppid=22682 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22701/stat : 22701 (java) S 22682 22682 15667 0 -1 1077944384 5887 0 0 0 58 1 0 0 20 0 28 0 3806522 14133010432 44981 33554432000 4194304 4196468 140727652979952 140665795029360 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22702] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22702/stat : 22702 (java) S 22682 22682 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3806522 14133010432 45007 33554432000 4194304 4196468 140727652979952 140665793977056 140666474698453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22703] ppid=22682 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22703/stat : 22703 (java) S 22682 22682 15667 0 -1 1077944384 649 0 0 0 0 0 0 0 20 0 28 0 3806523 14133010432 45007 33554432000 4194304 4196468 140727652979952 140665792924592 140666474699394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22704] ppid=22682 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22704/stat : 22704 (java) R 22682 22682 15667 0 -1 4202560 72 0 0 0 148 0 0 0 20 0 28 0 3807696 14133010432 45007 33554432000 4194304 4196468 140727652979952 140665784909416 140666107071493 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22705] ppid=22682 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22705/stat : 22705 (java) R 22682 22682 15667 0 -1 4202560 61 0 0 0 136 0 0 0 20 0 28 0 3807696 14133010432 45007 33554432000 4194304 4196468 140727652979952 140665783857856 140666107070955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22706] ppid=22682 vsize=13801768 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22706/stat : 22706 (java) R 22682 22682 15667 0 -1 4202560 53 0 0 0 122 0 0 0 20 0 28 0 3807696 14133010432 45007 33554432000 4194304 4196468 140727652979952 140665782803656 140666106252675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22707] ppid=22682 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22707/stat : 22707 (java) R 22682 22682 15667 0 -1 4202560 50 0 0 0 124 0 0 0 20 0 28 0 3807697 14133010432 45007 33554432000 4194304 4196468 140727652979952 140665781751304 140666107071289 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22708] ppid=22682 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22708/stat : 22708 (java) R 22682 22682 15667 0 -1 4202560 44 0 0 0 118 0 0 0 20 0 28 0 3807697 14133010432 45007 33554432000 4194304 4196468 140727652979952 140665780698760 140666106252404 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22709] ppid=22682 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22709/stat : 22709 (java) R 22682 22682 15667 0 -1 4202560 144 0 0 0 128 0 0 0 20 0 28 0 3807697 14133010432 45007 33554432000 4194304 4196468 140727652979952 140665779646992 140666107064908 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22710] ppid=22682 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22710/stat : 22710 (java) R 22682 22682 15667 0 -1 4202560 56 0 0 0 141 0 0 0 20 0 28 0 3807697 14133010432 45007 33554432000 4194304 4196468 140727652979952 140665778594360 140666107069779 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
[pid=22683/tid=22711] ppid=22682 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/22683/task/22711/stat : 22711 (java) R 22682 22682 15667 0 -1 4202560 58 0 0 0 106 0 0 0 20 0 28 0 3807697 14133010432 45007 33554432000 4194304 4196468 140727652979952 140665777540936 140666106302497 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140727652983996 140727652984172 140727652984172 140727652986831 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 13.4278
CPU time (s): 25.5393
CPU user time (s): 25.4263
CPU system time (s): 0.113008
CPU usage (%): 190.197
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4263
system time used= 0.113008
maximum resident set size= 180840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33605
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4229
involuntary context switches= 2169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090884 second user time and 0.127238 second system time
The end