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-4248010-1500691514/watcher-4248010-1500691514 -o /tmp/evaluation-result-4248010-1500691514/solver-4248010-1500691514 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1231676033 HOME/instance-4248010-1500691514.xml
pid=26741
running on 8 cores: 1,3,5,7,9,11,13,15
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: 13.76 15.20 14.58 4/263 26744
/proc/meminfo: memFree=30883436/32770624 swapFree=5860/282688
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
[startup+0.100147 s]
/proc/loadavg: 13.76 15.20 14.58 4/263 26744
/proc/meminfo: memFree=30883436/32770624 swapFree=5860/282688
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200339 s]
/proc/loadavg: 13.76 15.20 14.58 4/263 26744
/proc/meminfo: memFree=30883436/32770624 swapFree=5860/282688
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300296 s]
/proc/loadavg: 13.76 15.20 14.58 4/263 26744
/proc/meminfo: memFree=30883436/32770624 swapFree=5860/282688
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700263 s]
/proc/loadavg: 13.76 15.20 14.58 4/263 26744
/proc/meminfo: memFree=30883436/32770624 swapFree=5860/282688
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 13.06 15.03 14.52 3/284 26765
/proc/meminfo: memFree=30798904/32770624 swapFree=5860/282780
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
[pid=26745] ppid=26744 vsize=13269256 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/26745/stat : 26745 (java) S 26744 26744 7411 0 -1 1077944320 21921 0 0 0 294 6 0 0 20 0 20 0 4418805 13587718144 25268 33554432000 4194304 4196468 140736892167696 140736892150240 140035107413751 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
/proc/26745/statm: 3317314 25268 3207 1 0 3304547 0
[pid=26745/tid=26746] ppid=26744 vsize=13269256 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26746/stat : 26746 (java) R 26744 26744 7411 0 -1 4202560 6924 0 0 0 144 2 0 0 20 0 20 0 4418805 13587718144 25268 33554432000 4194304 4196468 140736892167696 140035111647800 140034744545372 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26748] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26748/stat : 26748 (java) S 26744 26744 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 25268 33554432000 4194304 4196468 140736892167696 140034706963472 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26749] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26749/stat : 26749 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 25268 33554432000 4194304 4196468 140736892167696 140034705910928 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26750] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26750/stat : 26750 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 25268 33554432000 4194304 4196468 140736892167696 140034704857872 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26751] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26751/stat : 26751 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 25268 33554432000 4194304 4196468 140736892167696 140034703805328 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26752] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26752/stat : 26752 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 25268 33554432000 4194304 4196468 140736892167696 140034702752272 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26753] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26753/stat : 26753 (java) S 26744 26744 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 25268 33554432000 4194304 4196468 140736892167696 140034701699728 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26754] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26754/stat : 26754 (java) S 26744 26744 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 25268 33554432000 4194304 4196468 140736892167696 140034700646672 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26755] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26755/stat : 26755 (java) S 26744 26744 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 25268 33554432000 4194304 4196468 140736892167696 140034699594128 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26756] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26756/stat : 26756 (java) S 26744 26744 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4418809 13587718144 25268 33554432000 4194304 4196468 140736892167696 140033772260080 140035107424898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26757] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26757/stat : 26757 (java) S 26744 26744 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4418809 13587718144 25268 33554432000 4194304 4196468 140736892167696 140033771206304 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26758] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26758/stat : 26758 (java) S 26744 26744 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4418810 13587718144 25268 33554432000 4194304 4196468 140736892167696 140033770153200 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26759] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26759/stat : 26759 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418814 13587718144 25268 33554432000 4194304 4196468 140736892167696 140033769101776 140035107432347 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26760] ppid=26744 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26760/stat : 26760 (java) S 26744 26744 7411 0 -1 1077944384 6184 0 0 0 53 1 0 0 20 0 20 0 4418814 13587718144 25268 33554432000 4194304 4196468 140736892167696 140033768048880 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26761] ppid=26744 vsize=13269256 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26761/stat : 26761 (java) S 26744 26744 7411 0 -1 1077944384 3198 0 0 0 29 0 0 0 20 0 20 0 4418814 13587718144 25268 33554432000 4194304 4196468 140736892167696 140033766996336 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26762] ppid=26744 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26762/stat : 26762 (java) S 26744 26744 7411 0 -1 1077944384 2321 0 0 0 34 0 0 0 20 0 20 0 4418814 13587718144 25268 33554432000 4194304 4196468 140736892167696 140033765943280 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26763] ppid=26744 vsize=13269256 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26763/stat : 26763 (java) S 26744 26744 7411 0 -1 1077944384 1980 0 0 0 31 0 0 0 20 0 20 0 4418814 13587718144 25268 33554432000 4194304 4196468 140736892167696 140033764890736 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26764] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26764/stat : 26764 (java) S 26744 26744 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4418814 13587718144 25268 33554432000 4194304 4196468 140736892167696 140033763838944 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26765] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26765/stat : 26765 (java) S 26744 26744 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4418814 13587718144 25268 33554432000 4194304 4196468 140736892167696 140033762786480 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 13278768
[startup+3.10076 s]
/proc/loadavg: 13.06 15.03 14.52 3/284 26765
/proc/meminfo: memFree=30789084/32770624 swapFree=5860/282780
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
[pid=26745] ppid=26744 vsize=13269256 CPUtime=4.67 cores=1,3,5,7,9,11,13,15
/proc/26745/stat : 26745 (java) S 26744 26744 7411 0 -1 1077944320 24119 0 0 0 460 7 0 0 20 0 20 0 4418805 13587718144 28507 33554432000 4194304 4196468 140736892167696 140736892150240 140035107413751 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
/proc/26745/statm: 3317314 28507 3207 1 0 3304547 0
[pid=26745/tid=26746] ppid=26744 vsize=13269256 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26746/stat : 26746 (java) R 26744 26744 7411 0 -1 4202560 7591 0 0 0 304 2 0 0 20 0 20 0 4418805 13587718144 28507 33554432000 4194304 4196468 140736892167696 140035111645224 140034744516608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26748] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26748/stat : 26748 (java) S 26744 26744 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 28507 33554432000 4194304 4196468 140736892167696 140034706963472 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26749] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26749/stat : 26749 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 28507 33554432000 4194304 4196468 140736892167696 140034705910928 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26750] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26750/stat : 26750 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 28507 33554432000 4194304 4196468 140736892167696 140034704857872 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26751] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26751/stat : 26751 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 28507 33554432000 4194304 4196468 140736892167696 140034703805328 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26752] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26752/stat : 26752 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 28507 33554432000 4194304 4196468 140736892167696 140034702752272 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26753] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26753/stat : 26753 (java) S 26744 26744 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 28507 33554432000 4194304 4196468 140736892167696 140034701699728 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26754] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26754/stat : 26754 (java) S 26744 26744 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 28507 33554432000 4194304 4196468 140736892167696 140034700646672 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26755] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26755/stat : 26755 (java) S 26744 26744 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 28507 33554432000 4194304 4196468 140736892167696 140034699594128 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26756] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26756/stat : 26756 (java) S 26744 26744 7411 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4418809 13587718144 28507 33554432000 4194304 4196468 140736892167696 140033772260080 140035107424898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26757] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26757/stat : 26757 (java) S 26744 26744 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4418809 13587718144 28507 33554432000 4194304 4196468 140736892167696 140033771206304 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26758] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26758/stat : 26758 (java) S 26744 26744 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4418810 13587718144 28507 33554432000 4194304 4196468 140736892167696 140033770153200 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26759] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26759/stat : 26759 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418814 13587718144 28507 33554432000 4194304 4196468 140736892167696 140033769101776 140035107432347 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26760] ppid=26744 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26760/stat : 26760 (java) S 26744 26744 7411 0 -1 1077944384 6221 0 0 0 54 1 0 0 20 0 20 0 4418814 13587718144 28507 33554432000 4194304 4196468 140736892167696 140033768048880 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26761] ppid=26744 vsize=13269256 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26761/stat : 26761 (java) S 26744 26744 7411 0 -1 1077944384 3419 0 0 0 30 1 0 0 20 0 20 0 4418814 13587718144 28507 33554432000 4194304 4196468 140736892167696 140033766996336 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26762] ppid=26744 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26762/stat : 26762 (java) S 26744 26744 7411 0 -1 1077944384 2365 0 0 0 34 0 0 0 20 0 20 0 4418814 13587718144 28507 33554432000 4194304 4196468 140736892167696 140033765943280 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26763] ppid=26744 vsize=13269256 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26763/stat : 26763 (java) S 26744 26744 7411 0 -1 1077944384 3167 0 0 0 35 0 0 0 20 0 20 0 4418814 13587718144 28507 33554432000 4194304 4196468 140736892167696 140033764890736 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26764] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26764/stat : 26764 (java) S 26744 26744 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4418814 13587718144 28507 33554432000 4194304 4196468 140736892167696 140033763838944 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26765] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26765/stat : 26765 (java) S 26744 26744 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4418814 13587718144 28507 33554432000 4194304 4196468 140736892167696 140033762786480 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 13278768
[startup+6.30076 s]
/proc/loadavg: 13.06 15.03 14.52 3/284 26765
/proc/meminfo: memFree=30764200/32770624 swapFree=5860/282724
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
[pid=26745] ppid=26744 vsize=13269256 CPUtime=7.98 cores=1,3,5,7,9,11,13,15
/proc/26745/stat : 26745 (java) S 26744 26744 7411 0 -1 1077944320 28169 0 0 0 790 8 0 0 20 0 20 0 4418805 13587718144 33545 33554432000 4194304 4196468 140736892167696 140736892150240 140035107413751 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
/proc/26745/statm: 3317314 33545 3211 1 0 3304547 0
[pid=26745/tid=26746] ppid=26744 vsize=13269256 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26746/stat : 26746 (java) R 26744 26744 7411 0 -1 4202560 8452 0 0 0 624 3 0 0 20 0 20 0 4418805 13587718144 33545 33554432000 4194304 4196468 140736892167696 140035111648960 140034744653423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26748] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26748/stat : 26748 (java) S 26744 26744 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 33545 33554432000 4194304 4196468 140736892167696 140034706963472 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26749] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26749/stat : 26749 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 33545 33554432000 4194304 4196468 140736892167696 140034705910928 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26750] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26750/stat : 26750 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 33545 33554432000 4194304 4196468 140736892167696 140034704857872 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26751] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26751/stat : 26751 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 33545 33554432000 4194304 4196468 140736892167696 140034703805328 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26752] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26752/stat : 26752 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 33545 33554432000 4194304 4196468 140736892167696 140034702752272 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26753] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26753/stat : 26753 (java) S 26744 26744 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 33545 33554432000 4194304 4196468 140736892167696 140034701699728 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26754] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26754/stat : 26754 (java) S 26744 26744 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 33545 33554432000 4194304 4196468 140736892167696 140034700646672 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26755] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26755/stat : 26755 (java) S 26744 26744 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4418806 13587718144 33545 33554432000 4194304 4196468 140736892167696 140034699594128 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26756] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26756/stat : 26756 (java) S 26744 26744 7411 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 4418809 13587718144 33545 33554432000 4194304 4196468 140736892167696 140033772260080 140035107424898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26757] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26757/stat : 26757 (java) S 26744 26744 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4418809 13587718144 33545 33554432000 4194304 4196468 140736892167696 140033771206304 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26758] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26758/stat : 26758 (java) S 26744 26744 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4418810 13587718144 33545 33554432000 4194304 4196468 140736892167696 140033770153200 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26759] ppid=26744 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26759/stat : 26759 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4418814 13587718144 33545 33554432000 4194304 4196468 140736892167696 140033769101776 140035107432347 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
################
# More data... #
################
/proc/26745/task/26762/stat : 26762 (java) S 26744 26744 7411 0 -1 1077944384 6878 0 0 0 84 1 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033765943280 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26763] ppid=26744 vsize=13335820 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26763/stat : 26763 (java) S 26744 26744 7411 0 -1 1077944384 9338 0 0 0 57 1 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033764890736 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26764] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26764/stat : 26764 (java) S 26744 26744 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033763838944 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26765] ppid=26744 vsize=13335820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26765/stat : 26765 (java) S 26744 26744 7411 0 -1 1077944384 1059 0 0 0 4 5 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033762786480 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 7 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26778] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26778/stat : 26778 (java) S 26744 26744 7411 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4447248 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033754775104 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
Current children cumulated CPU time (s) 575.76
Current children cumulated vsize (KiB) 13345332
[startup+288.401 s]
/proc/loadavg: 10.38 10.06 12.33 17/294 26786
/proc/meminfo: memFree=15658300/32770624 swapFree=5860/283044
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
[pid=26745] ppid=26744 vsize=13335820 CPUtime=578.12 cores=1,3,5,7,9,11,13,15
/proc/26745/stat : 26745 (java) S 26744 26744 7411 0 -1 1077944320 166999 0 0 0 54091 3721 0 0 20 0 21 0 4418805 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140736892150240 140035107413751 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
/proc/26745/statm: 3333955 2447014 3280 1 0 3321188 0
[pid=26745/tid=26746] ppid=26744 vsize=13335820 CPUtime=237.63 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26746/stat : 26746 (java) S 26744 26744 7411 0 -1 1077944384 16808 0 0 0 23757 6 0 0 20 0 21 0 4418805 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140035111654432 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26748] ppid=26744 vsize=13335820 CPUtime=40.85 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26748/stat : 26748 (java) S 26744 26744 7411 0 -1 1077944384 8372 0 0 0 3666 419 0 0 20 0 21 0 4418806 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140034706963472 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26749] ppid=26744 vsize=13335820 CPUtime=41.08 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26749/stat : 26749 (java) S 26744 26744 7411 0 -1 1077944384 9184 0 0 0 3652 456 0 0 20 0 21 0 4418806 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140034705910928 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26750] ppid=26744 vsize=13335820 CPUtime=40.99 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26750/stat : 26750 (java) S 26744 26744 7411 0 -1 1077944384 9983 0 0 0 3643 456 0 0 20 0 21 0 4418806 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140034704857872 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26751] ppid=26744 vsize=13335820 CPUtime=40.81 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26751/stat : 26751 (java) S 26744 26744 7411 0 -1 1077944384 9557 0 0 0 3604 477 0 0 20 0 21 0 4418806 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140034703805328 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26752] ppid=26744 vsize=13335820 CPUtime=40.87 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26752/stat : 26752 (java) S 26744 26744 7411 0 -1 1077944384 8018 0 0 0 3657 430 0 0 20 0 21 0 4418806 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140034702752272 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26753] ppid=26744 vsize=13335820 CPUtime=40.9 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26753/stat : 26753 (java) S 26744 26744 7411 0 -1 1077944384 8968 0 0 0 3625 465 0 0 20 0 21 0 4418806 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140034701699728 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26754] ppid=26744 vsize=13335820 CPUtime=40.97 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26754/stat : 26754 (java) S 26744 26744 7411 0 -1 1077944384 7936 0 0 0 3585 512 0 0 20 0 21 0 4418806 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140034700646672 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26755] ppid=26744 vsize=13335820 CPUtime=41.09 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26755/stat : 26755 (java) S 26744 26744 7411 0 -1 1077944384 9930 0 0 0 3632 477 0 0 20 0 21 0 4418806 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140034699594128 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26756] ppid=26744 vsize=13335820 CPUtime=8.96 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26756/stat : 26756 (java) R 26744 26744 7411 0 -1 4202560 37481 0 0 0 893 3 0 0 20 0 21 0 4418809 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033772258512 140035092416759 0 0 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26757] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26757/stat : 26757 (java) S 26744 26744 7411 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 21 0 4418809 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033771206368 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26758] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26758/stat : 26758 (java) S 26744 26744 7411 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 21 0 4418810 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033770153216 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26759] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26759/stat : 26759 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033769101776 140035107432347 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26760] ppid=26744 vsize=13335820 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26760/stat : 26760 (java) S 26744 26744 7411 0 -1 1077944384 11807 0 0 0 110 1 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033768048880 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26761] ppid=26744 vsize=13335820 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26761/stat : 26761 (java) S 26744 26744 7411 0 -1 1077944384 10176 0 0 0 114 2 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033766996336 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26762] ppid=26744 vsize=13335820 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26762/stat : 26762 (java) S 26744 26744 7411 0 -1 1077944384 6878 0 0 0 84 1 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033765943280 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26763] ppid=26744 vsize=13335820 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26763/stat : 26763 (java) S 26744 26744 7411 0 -1 1077944384 9338 0 0 0 57 1 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033764890736 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26764] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26764/stat : 26764 (java) S 26744 26744 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033763838944 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26765] ppid=26744 vsize=13335820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26765/stat : 26765 (java) S 26744 26744 7411 0 -1 1077944384 1059 0 0 0 4 5 0 0 20 0 21 0 4418814 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033762786480 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 7 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26778] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26778/stat : 26778 (java) S 26744 26744 7411 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4447248 13655879680 2447014 33554432000 4194304 4196468 140736892167696 140033754775104 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
Current children cumulated CPU time (s) 578.12
Current children cumulated vsize (KiB) 13345332
[startup+288.601 s]
/proc/loadavg: 10.38 10.06 12.33 17/294 26786
/proc/meminfo: memFree=15658300/32770624 swapFree=5860/283044
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
[pid=26745] ppid=26744 vsize=13335820 CPUtime=578.32 cores=1,3,5,7,9,11,13,15
/proc/26745/stat : 26745 (java) S 26744 26744 7411 0 -1 1077944320 167116 0 0 0 54111 3721 0 0 20 0 21 0 4418805 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140736892150240 140035107413751 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
/proc/26745/statm: 3333955 2447015 3280 1 0 3321188 0
[pid=26745/tid=26746] ppid=26744 vsize=13335820 CPUtime=237.63 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26746/stat : 26746 (java) S 26744 26744 7411 0 -1 1077944384 16808 0 0 0 23757 6 0 0 20 0 21 0 4418805 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140035111654432 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26748] ppid=26744 vsize=13335820 CPUtime=40.85 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26748/stat : 26748 (java) S 26744 26744 7411 0 -1 1077944384 8372 0 0 0 3666 419 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034706963472 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26749] ppid=26744 vsize=13335820 CPUtime=41.08 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26749/stat : 26749 (java) S 26744 26744 7411 0 -1 1077944384 9184 0 0 0 3652 456 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034705910928 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26750] ppid=26744 vsize=13335820 CPUtime=40.99 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26750/stat : 26750 (java) S 26744 26744 7411 0 -1 1077944384 9983 0 0 0 3643 456 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034704857872 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26751] ppid=26744 vsize=13335820 CPUtime=40.81 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26751/stat : 26751 (java) S 26744 26744 7411 0 -1 1077944384 9557 0 0 0 3604 477 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034703805328 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26752] ppid=26744 vsize=13335820 CPUtime=40.87 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26752/stat : 26752 (java) S 26744 26744 7411 0 -1 1077944384 8018 0 0 0 3657 430 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034702752272 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26753] ppid=26744 vsize=13335820 CPUtime=40.9 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26753/stat : 26753 (java) S 26744 26744 7411 0 -1 1077944384 8968 0 0 0 3625 465 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034701699728 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26754] ppid=26744 vsize=13335820 CPUtime=40.97 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26754/stat : 26754 (java) S 26744 26744 7411 0 -1 1077944384 7936 0 0 0 3585 512 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034700646672 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26755] ppid=26744 vsize=13335820 CPUtime=41.09 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26755/stat : 26755 (java) S 26744 26744 7411 0 -1 1077944384 9930 0 0 0 3632 477 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034699594128 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26756] ppid=26744 vsize=13335820 CPUtime=9.16 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26756/stat : 26756 (java) R 26744 26744 7411 0 -1 4202560 37598 0 0 0 913 3 0 0 20 0 21 0 4418809 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033772258512 140035091871371 0 0 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26757] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26757/stat : 26757 (java) S 26744 26744 7411 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 21 0 4418809 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033771206368 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26758] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26758/stat : 26758 (java) S 26744 26744 7411 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 21 0 4418810 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033770153216 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26759] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26759/stat : 26759 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033769101776 140035107432347 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26760] ppid=26744 vsize=13335820 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26760/stat : 26760 (java) S 26744 26744 7411 0 -1 1077944384 11807 0 0 0 110 1 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033768048880 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26761] ppid=26744 vsize=13335820 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26761/stat : 26761 (java) S 26744 26744 7411 0 -1 1077944384 10176 0 0 0 114 2 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033766996336 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26762] ppid=26744 vsize=13335820 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26762/stat : 26762 (java) S 26744 26744 7411 0 -1 1077944384 6878 0 0 0 84 1 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033765943280 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26763] ppid=26744 vsize=13335820 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26763/stat : 26763 (java) S 26744 26744 7411 0 -1 1077944384 9338 0 0 0 57 1 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033764890736 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26764] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26764/stat : 26764 (java) S 26744 26744 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033763838944 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26765] ppid=26744 vsize=13335820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26765/stat : 26765 (java) S 26744 26744 7411 0 -1 1077944384 1059 0 0 0 4 5 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033762786480 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 7 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26778] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26778/stat : 26778 (java) S 26744 26744 7411 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4447248 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033754775104 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
Current children cumulated CPU time (s) 578.32
Current children cumulated vsize (KiB) 13345332
[startup+288.701 s]
/proc/loadavg: 10.38 10.06 12.33 17/294 26786
/proc/meminfo: memFree=15658300/32770624 swapFree=5860/283044
[pid=26744] ppid=26741 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26744/stat : 26744 (xcsp3-exec) S 26741 26744 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4418805 9740288 346 33554432000 4194304 5098028 140733099308128 140733099306232 139876065305212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19779584 140733099316366 140733099316576 140733099316576 140733099319275 0
/proc/26744/statm: 2378 346 289 221 0 87 0
[pid=26745] ppid=26744 vsize=13335820 CPUtime=578.42 cores=1,3,5,7,9,11,13,15
/proc/26745/stat : 26745 (java) S 26744 26744 7411 0 -1 1077944320 167116 0 0 0 54121 3721 0 0 20 0 21 0 4418805 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140736892150240 140035107413751 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
/proc/26745/statm: 3333955 2447015 3280 1 0 3321188 0
[pid=26745/tid=26746] ppid=26744 vsize=13335820 CPUtime=237.63 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26746/stat : 26746 (java) S 26744 26744 7411 0 -1 1077944384 16808 0 0 0 23757 6 0 0 20 0 21 0 4418805 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140035111654432 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26748] ppid=26744 vsize=13335820 CPUtime=40.85 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26748/stat : 26748 (java) S 26744 26744 7411 0 -1 1077944384 8372 0 0 0 3666 419 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034706963472 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26749] ppid=26744 vsize=13335820 CPUtime=41.08 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26749/stat : 26749 (java) S 26744 26744 7411 0 -1 1077944384 9184 0 0 0 3652 456 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034705910928 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26750] ppid=26744 vsize=13335820 CPUtime=40.99 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26750/stat : 26750 (java) S 26744 26744 7411 0 -1 1077944384 9983 0 0 0 3643 456 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034704857872 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26751] ppid=26744 vsize=13335820 CPUtime=40.81 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26751/stat : 26751 (java) S 26744 26744 7411 0 -1 1077944384 9557 0 0 0 3604 477 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034703805328 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26752] ppid=26744 vsize=13335820 CPUtime=40.87 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26752/stat : 26752 (java) S 26744 26744 7411 0 -1 1077944384 8018 0 0 0 3657 430 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034702752272 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26753] ppid=26744 vsize=13335820 CPUtime=40.9 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26753/stat : 26753 (java) S 26744 26744 7411 0 -1 1077944384 8968 0 0 0 3625 465 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034701699728 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26754] ppid=26744 vsize=13335820 CPUtime=40.97 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26754/stat : 26754 (java) S 26744 26744 7411 0 -1 1077944384 7936 0 0 0 3585 512 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034700646672 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26755] ppid=26744 vsize=13335820 CPUtime=41.09 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26755/stat : 26755 (java) S 26744 26744 7411 0 -1 1077944384 9930 0 0 0 3632 477 0 0 20 0 21 0 4418806 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140034699594128 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26756] ppid=26744 vsize=13335820 CPUtime=9.26 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26756/stat : 26756 (java) R 26744 26744 7411 0 -1 4202560 37598 0 0 0 923 3 0 0 20 0 21 0 4418809 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033772258512 140035085783931 0 0 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26757] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26757/stat : 26757 (java) S 26744 26744 7411 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 21 0 4418809 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033771206368 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26758] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26758/stat : 26758 (java) S 26744 26744 7411 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 21 0 4418810 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033770153216 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26759] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26759/stat : 26759 (java) S 26744 26744 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033769101776 140035107432347 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26760] ppid=26744 vsize=13335820 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26760/stat : 26760 (java) S 26744 26744 7411 0 -1 1077944384 11807 0 0 0 110 1 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033768048880 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26761] ppid=26744 vsize=13335820 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26761/stat : 26761 (java) S 26744 26744 7411 0 -1 1077944384 10176 0 0 0 114 2 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033766996336 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26762] ppid=26744 vsize=13335820 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26762/stat : 26762 (java) S 26744 26744 7411 0 -1 1077944384 6878 0 0 0 84 1 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033765943280 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26763] ppid=26744 vsize=13335820 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26763/stat : 26763 (java) S 26744 26744 7411 0 -1 1077944384 9338 0 0 0 57 1 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033764890736 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26764] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26764/stat : 26764 (java) S 26744 26744 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033763838944 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26765] ppid=26744 vsize=13335820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26765/stat : 26765 (java) S 26744 26744 7411 0 -1 1077944384 1059 0 0 0 4 5 0 0 20 0 21 0 4418814 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033762786480 140035107424898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 7 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
[pid=26745/tid=26778] ppid=26744 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26745/task/26778/stat : 26778 (java) S 26744 26744 7411 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4447248 13655879680 2447015 33554432000 4194304 4196468 140736892167696 140033754775104 140035107423957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30547968 140736892175548 140736892175724 140736892175724 140736892178383 0
Current children cumulated CPU time (s) 578.42
Current children cumulated vsize (KiB) 13345332
Child status: 1
Real time (s): 288.77
CPU time (s): 578.479
CPU user time (s): 541.217
CPU system time (s): 37.2613
CPU usage (%): 200.325
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 541.217
system time used= 37.2613
maximum resident set size= 9788216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14299
involuntary context switches= 42847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.10308 second user time and 2.65841 second system time
The end