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-4246041-1500686470/watcher-4246041-1500686470 -o /tmp/evaluation-result-4246041-1500686470/solver-4246041-1500686470 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1720476886 HOME/instance-4246041-1500686470.xml
pid=31821
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.50 15.04 14.30 9/271 31824
/proc/meminfo: memFree=27884508/32770624 swapFree=5800/240912
[pid=31824] ppid=31821 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3914794 9740288 346 33554432000 4194304 5098028 140729515111008 140729515109112 140642633380476 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37216256 140729515119758 140729515119968 140729515119968 140729515122667 0
/proc/31824/statm: 2378 346 289 221 0 87 0
[startup+0.100125 s]
/proc/loadavg: 13.50 15.04 14.30 9/271 31824
/proc/meminfo: memFree=27884508/32770624 swapFree=5800/240912
[pid=31824] ppid=31821 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3914794 9740288 346 33554432000 4194304 5098028 140729515111008 140729515109112 140642633380476 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37216256 140729515119758 140729515119968 140729515119968 140729515122667 0
/proc/31824/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200272 s]
/proc/loadavg: 13.50 15.04 14.30 9/271 31824
/proc/meminfo: memFree=27884508/32770624 swapFree=5800/240912
[pid=31824] ppid=31821 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3914794 9740288 346 33554432000 4194304 5098028 140729515111008 140729515109112 140642633380476 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37216256 140729515119758 140729515119968 140729515119968 140729515122667 0
/proc/31824/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300264 s]
/proc/loadavg: 13.50 15.04 14.30 9/271 31824
/proc/meminfo: memFree=27884508/32770624 swapFree=5800/240912
[pid=31824] ppid=31821 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3914794 9740288 346 33554432000 4194304 5098028 140729515111008 140729515109112 140642633380476 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37216256 140729515119758 140729515119968 140729515119968 140729515122667 0
/proc/31824/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700305 s]
/proc/loadavg: 13.50 15.04 14.30 9/271 31824
/proc/meminfo: memFree=27884508/32770624 swapFree=5800/240912
[pid=31824] ppid=31821 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3914794 9740288 346 33554432000 4194304 5098028 140729515111008 140729515109112 140642633380476 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37216256 140729515119758 140729515119968 140729515119968 140729515122667 0
/proc/31824/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50125 s]
/proc/loadavg: 13.50 15.04 14.30 11/292 31845
/proc/meminfo: memFree=27626248/32770624 swapFree=5800/241068
[pid=31824] ppid=31821 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3914794 9740288 346 33554432000 4194304 5098028 140729515111008 140729515109112 140642633380476 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37216256 140729515119758 140729515119968 140729515119968 140729515122667 0
/proc/31824/statm: 2378 346 289 221 0 87 0
[pid=31825] ppid=31824 vsize=13267208 CPUtime=4.9 cores=1,3,5,7,9,11,13,15
/proc/31825/stat : 31825 (java) S 31824 31824 7621 0 -1 1077944320 15465 0 0 0 381 109 0 0 20 0 20 0 3914794 13585620992 92636 33554432000 4194304 4196468 140723863526464 140723863509008 139623203012343 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
/proc/31825/statm: 3316802 92636 3234 1 0 3304035 0
[pid=31825/tid=31826] ppid=31824 vsize=13267208 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31826/stat : 31826 (java) R 31824 31824 7621 0 -1 4202560 6491 0 0 0 120 5 0 0 20 0 20 0 3914794 13585620992 92636 33554432000 4194304 4196468 140723863526464 139623207246808 139622830553912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31828] ppid=31824 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31828/stat : 31828 (java) S 31824 31824 7621 0 -1 1077944384 104 0 0 0 9 12 0 0 20 0 20 0 3914795 13585620992 92636 33554432000 4194304 4196468 140723863526464 139623155633168 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31829] ppid=31824 vsize=13267208 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31829/stat : 31829 (java) S 31824 31824 7621 0 -1 1077944384 94 0 0 0 8 11 0 0 20 0 20 0 3914795 13585620992 92636 33554432000 4194304 4196468 140723863526464 139623154580624 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31830] ppid=31824 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31830/stat : 31830 (java) S 31824 31824 7621 0 -1 1077944384 109 0 0 0 9 12 0 0 20 0 20 0 3914795 13585620992 92636 33554432000 4194304 4196468 140723863526464 139623153527568 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31831] ppid=31824 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31831/stat : 31831 (java) S 31824 31824 7621 0 -1 1077944384 102 0 0 0 8 13 0 0 20 0 20 0 3914795 13585620992 92636 33554432000 4194304 4196468 140723863526464 139623152475024 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31832] ppid=31824 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31832/stat : 31832 (java) S 31824 31824 7621 0 -1 1077944384 98 0 0 0 9 12 0 0 20 0 20 0 3914795 13585620992 92636 33554432000 4194304 4196468 140723863526464 139623151421968 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31833] ppid=31824 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31833/stat : 31833 (java) S 31824 31824 7621 0 -1 1077944384 103 0 0 0 8 13 0 0 20 0 20 0 3914795 13585620992 92636 33554432000 4194304 4196468 140723863526464 139623150369424 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31834] ppid=31824 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31834/stat : 31834 (java) S 31824 31824 7621 0 -1 1077944384 124 0 0 0 8 13 0 0 20 0 20 0 3914795 13585620992 92636 33554432000 4194304 4196468 140723863526464 139623149316368 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31835] ppid=31824 vsize=13267208 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31835/stat : 31835 (java) S 31824 31824 7621 0 -1 1077944384 109 0 0 0 8 11 0 0 20 0 20 0 3914795 13585620992 92636 33554432000 4194304 4196468 140723863526464 139623148263824 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31836] ppid=31824 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31836/stat : 31836 (java) S 31824 31824 7621 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3914797 13585620992 92636 33554432000 4194304 4196468 140723863526464 139622396803824 139623203023490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31837] ppid=31824 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31837/stat : 31837 (java) S 31824 31824 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3914798 13585620992 92636 33554432000 4194304 4196468 140723863526464 139622395750112 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31838] ppid=31824 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31838/stat : 31838 (java) S 31824 31824 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3914798 13585620992 92636 33554432000 4194304 4196468 140723863526464 139622394696960 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31839] ppid=31824 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31839/stat : 31839 (java) S 31824 31824 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3914802 13585620992 92636 33554432000 4194304 4196468 140723863526464 139622393645520 139623203030939 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31840] ppid=31824 vsize=13267208 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31840/stat : 31840 (java) R 31824 31824 7621 0 -1 4202560 1813 0 0 0 43 0 0 0 20 0 20 0 3914802 13585620992 92636 33554432000 4194304 4196468 140723863526464 139622392591760 139623186498313 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31841] ppid=31824 vsize=13267208 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31841/stat : 31841 (java) R 31824 31824 7621 0 -1 4202560 1348 0 0 0 46 0 0 0 20 0 20 0 3914802 13585620992 92636 33554432000 4194304 4196468 140723863526464 139622391526648 139623184532452 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31842] ppid=31824 vsize=13267208 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31842/stat : 31842 (java) R 31824 31824 7621 0 -1 4202560 1958 0 0 0 61 0 0 0 20 0 20 0 3914802 13585620992 92701 33554432000 4194304 4196468 140723863526464 139622390468040 139623186506496 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31843] ppid=31824 vsize=13267208 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31843/stat : 31843 (java) R 31824 31824 7621 0 -1 1077944384 1632 0 0 0 37 1 0 0 20 0 20 0 3914802 13585620992 92701 33554432000 4194304 4196468 140723863526464 139622389434480 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31844] ppid=31824 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31844/stat : 31844 (java) S 31824 31824 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3914803 13585620992 92701 33554432000 4194304 4196468 140723863526464 139622388382688 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31845] ppid=31824 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31845/stat : 31845 (java) S 31824 31824 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3914803 13585620992 92701 33554432000 4194304 4196468 140723863526464 139622387330224 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 13276720
[startup+3.10079 s]
/proc/loadavg: 13.50 15.04 14.30 10/292 31845
/proc/meminfo: memFree=27219164/32770624 swapFree=5800/241068
[pid=31824] ppid=31821 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3914794 9740288 346 33554432000 4194304 5098028 140729515111008 140729515109112 140642633380476 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37216256 140729515119758 140729515119968 140729515119968 140729515122667 0
/proc/31824/statm: 2378 346 289 221 0 87 0
[pid=31825] ppid=31824 vsize=13269256 CPUtime=9.98 cores=1,3,5,7,9,11,13,15
/proc/31825/stat : 31825 (java) S 31824 31824 7621 0 -1 1077944320 20046 0 0 0 852 146 0 0 20 0 20 0 3914794 13587718144 198332 33554432000 4194304 4196468 140723863526464 140723863509008 139623203012343 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
/proc/31825/statm: 3317314 198332 3249 1 0 3304547 0
[pid=31825/tid=31826] ppid=31824 vsize=13269256 CPUtime=2.7 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31826/stat : 31826 (java) R 31824 31824 7621 0 -1 4202560 7305 0 0 0 260 10 0 0 20 0 20 0 3914794 13587718144 198332 33554432000 4194304 4196468 140723863526464 139623207246192 139622832882616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31828] ppid=31824 vsize=13269256 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31828/stat : 31828 (java) S 31824 31824 7621 0 -1 1077944384 145 0 0 0 17 15 0 0 20 0 20 0 3914795 13587718144 198332 33554432000 4194304 4196468 140723863526464 139623155633168 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31829] ppid=31824 vsize=13269256 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31829/stat : 31829 (java) S 31824 31824 7621 0 -1 1077944384 293 0 0 0 15 14 0 0 20 0 20 0 3914795 13587718144 198332 33554432000 4194304 4196468 140723863526464 139623154580624 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31830] ppid=31824 vsize=13269256 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31830/stat : 31830 (java) S 31824 31824 7621 0 -1 1077944384 151 0 0 0 16 15 0 0 20 0 20 0 3914795 13587718144 198332 33554432000 4194304 4196468 140723863526464 139623153527568 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31831] ppid=31824 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31831/stat : 31831 (java) S 31824 31824 7621 0 -1 1077944384 161 0 0 0 18 16 0 0 20 0 20 0 3914795 13587718144 198332 33554432000 4194304 4196468 140723863526464 139623152475024 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31832] ppid=31824 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31832/stat : 31832 (java) S 31824 31824 7621 0 -1 1077944384 136 0 0 0 18 16 0 0 20 0 20 0 3914795 13587718144 198332 33554432000 4194304 4196468 140723863526464 139623151421968 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31833] ppid=31824 vsize=13269256 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31833/stat : 31833 (java) S 31824 31824 7621 0 -1 1077944384 132 0 0 0 15 17 0 0 20 0 20 0 3914795 13587718144 198332 33554432000 4194304 4196468 140723863526464 139623150369424 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31834] ppid=31824 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31834/stat : 31834 (java) S 31824 31824 7621 0 -1 1077944384 168 0 0 0 17 17 0 0 20 0 20 0 3914795 13587718144 198332 33554432000 4194304 4196468 140723863526464 139623149316368 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31835] ppid=31824 vsize=13269256 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31835/stat : 31835 (java) S 31824 31824 7621 0 -1 1077944384 204 0 0 0 16 15 0 0 20 0 20 0 3914795 13587718144 198332 33554432000 4194304 4196468 140723863526464 139623148263824 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31836] ppid=31824 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31836/stat : 31836 (java) S 31824 31824 7621 0 -1 1077944384 550 0 0 0 0 0 0 0 20 0 20 0 3914797 13587718144 198332 33554432000 4194304 4196468 140723863526464 139622396803824 139623203023490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31837] ppid=31824 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31837/stat : 31837 (java) S 31824 31824 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3914798 13587718144 198332 33554432000 4194304 4196468 140723863526464 139622395750112 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31838] ppid=31824 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31838/stat : 31838 (java) S 31824 31824 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3914798 13587718144 198332 33554432000 4194304 4196468 140723863526464 139622394696960 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31839] ppid=31824 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31839/stat : 31839 (java) S 31824 31824 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3914802 13587718144 198332 33554432000 4194304 4196468 140723863526464 139622393645520 139623203030939 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31840] ppid=31824 vsize=13269256 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31840/stat : 31840 (java) R 31824 31824 7621 0 -1 4202560 2483 0 0 0 118 0 0 0 20 0 20 0 3914802 13587718144 198332 33554432000 4194304 4196468 140723863526464 139622392573520 139623182705439 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31841] ppid=31824 vsize=13269256 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31841/stat : 31841 (java) R 31824 31824 7621 0 -1 4202560 1798 0 0 0 124 0 0 0 20 0 20 0 3914802 13587718144 198332 33554432000 4194304 4196468 140723863526464 139622391521280 139623186508899 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31842] ppid=31824 vsize=13269256 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31842/stat : 31842 (java) R 31824 31824 7621 0 -1 4202560 3071 0 0 0 145 1 0 0 20 0 20 0 3914802 13587718144 198332 33554432000 4194304 4196468 140723863526464 139622390468496 139623188137722 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31843] ppid=31824 vsize=13269256 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31843/stat : 31843 (java) S 31824 31824 7621 0 -1 1077944384 2152 0 0 0 66 1 0 0 20 0 20 0 3914802 13587718144 198332 33554432000 4194304 4196468 140723863526464 139622389434480 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31844] ppid=31824 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31844/stat : 31844 (java) S 31824 31824 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3914803 13587718144 198332 33554432000 4194304 4196468 140723863526464 139622388382688 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31845] ppid=31824 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31845/stat : 31845 (java) S 31824 31824 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3914803 13587718144 198332 33554432000 4194304 4196468 140723863526464 139622387330224 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (KiB) 13278768
[startup+6.30114 s]
/proc/loadavg: 13.46 15.00 14.29 17/292 31845
/proc/meminfo: memFree=26378968/32770624 swapFree=5800/241068
[pid=31824] ppid=31821 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3914794 9740288 346 33554432000 4194304 5098028 140729515111008 140729515109112 140642633380476 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37216256 140729515119758 140729515119968 140729515119968 140729515122667 0
/proc/31824/statm: 2378 346 289 221 0 87 0
[pid=31825] ppid=31824 vsize=13269256 CPUtime=23.32 cores=1,3,5,7,9,11,13,15
/proc/31825/stat : 31825 (java) S 31824 31824 7621 0 -1 1077944320 48357 0 0 0 1934 398 0 0 20 0 20 0 3914794 13587718144 440763 33554432000 4194304 4196468 140723863526464 140723863509008 139623203012343 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
/proc/31825/statm: 3317314 440763 3271 1 0 3304547 0
[pid=31825/tid=31826] ppid=31824 vsize=13269256 CPUtime=4.56 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31826/stat : 31826 (java) S 31824 31824 7621 0 -1 1077944384 9289 0 0 0 438 18 0 0 20 0 20 0 3914794 13587718144 440763 33554432000 4194304 4196468 140723863526464 139623207251440 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31828] ppid=31824 vsize=13269256 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31828/stat : 31828 (java) R 31824 31824 7621 0 -1 4202560 2200 0 0 0 98 45 0 0 20 0 20 0 3914795 13587718144 440763 33554432000 4194304 4196468 140723863526464 139623155633368 139623187712990 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31829] ppid=31824 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31829/stat : 31829 (java) R 31824 31824 7621 0 -1 4202560 2491 0 0 0 96 44 0 0 20 0 20 0 3914795 13587718144 440763 33554432000 4194304 4196468 140723863526464 139623154580824 139623187713005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31830] ppid=31824 vsize=13269256 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31830/stat : 31830 (java) R 31824 31824 7621 0 -1 4202560 1783 0 0 0 96 45 0 0 20 0 20 0 3914795 13587718144 440763 33554432000 4194304 4196468 140723863526464 139623153527768 139623187712937 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31831] ppid=31824 vsize=13269256 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31831/stat : 31831 (java) R 31824 31824 7621 0 -1 4202560 1743 0 0 0 98 46 0 0 20 0 20 0 3914795 13587718144 440763 33554432000 4194304 4196468 140723863526464 139623152474912 139623187712990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31832] ppid=31824 vsize=13269256 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31832/stat : 31832 (java) R 31824 31824 7621 0 -1 4202560 1779 0 0 0 99 46 0 0 20 0 20 0 3914795 13587718144 440763 33554432000 4194304 4196468 140723863526464 139623151422168 139623187712987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31833] ppid=31824 vsize=13269256 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31833/stat : 31833 (java) R 31824 31824 7621 0 -1 4202560 2295 0 0 0 97 47 0 0 20 0 20 0 3914795 13587718144 440763 33554432000 4194304 4196468 140723863526464 139623150369624 139623188008821 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31834] ppid=31824 vsize=13269256 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31834/stat : 31834 (java) R 31824 31824 7621 0 -1 4202560 1907 0 0 0 98 48 0 0 20 0 20 0 3914795 13587718144 440763 33554432000 4194304 4196468 140723863526464 139623149316568 139623187713005 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31835] ppid=31824 vsize=13269256 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31835/stat : 31835 (java) R 31824 31824 7621 0 -1 4202560 2470 0 0 0 96 46 0 0 20 0 20 0 3914795 13587718144 440763 33554432000 4194304 4196468 140723863526464 139623148264024 139623188002005 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31836] ppid=31824 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31836/stat : 31836 (java) S 31824 31824 7621 0 -1 1077944384 1834 0 0 0 1 0 0 0 20 0 20 0 3914797 13587718144 440763 33554432000 4194304 4196468 140723863526464 139622396802368 139623203022549 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31837] ppid=31824 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31837/stat : 31837 (java) S 31824 31824 7621 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 3914798 13587718144 440763 33554432000 4194304 4196468 140723863526464 139622395750112 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31838] ppid=31824 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31838/stat : 31838 (java) S 31824 31824 7621 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 3914798 13587718144 440763 33554432000 4194304 4196468 140723863526464 139622394696960 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31839] ppid=31824 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31839/stat : 31839 (java) S 31824 31824 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3914802 13587718144 440763 33554432000 4194304 4196468 140723863526464 139622393645520 139623203030939 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
################
# More data... #
################
[pid=31825/tid=31853] ppid=31824 vsize=13801768 CPUtime=153.67 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31853/stat : 31853 (java) R 31824 31824 7621 0 -1 4202560 2872 0 0 0 15367 0 0 0 20 0 28 0 3920819 14133010432 1833844 33554432000 4194304 4196468 140723863526464 139622372999656 139622829029275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31854] ppid=31824 vsize=13801768 CPUtime=154.4 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31854/stat : 31854 (java) R 31824 31824 7621 0 -1 4202560 84056 0 0 0 15434 6 0 0 20 0 28 0 3920819 14133010432 1833844 33554432000 4194304 4196468 140723863526464 139622371947176 139622834426796 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
Current children cumulated CPU time (s) 1571.83
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.80 15.30 14.57 17/300 32135
/proc/meminfo: memFree=24067892/32770624 swapFree=5800/241472
[pid=31824] ppid=31821 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3914794 9740288 346 33554432000 4194304 5098028 140729515111008 140729515109112 140642633380476 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37216256 140729515119758 140729515119968 140729515119968 140729515122667 0
/proc/31824/statm: 2378 346 289 221 0 87 0
[pid=31825] ppid=31824 vsize=13801768 CPUtime=2049.22 cores=1,3,5,7,9,11,13,15
/proc/31825/stat : 31825 (java) S 31824 31824 7621 0 -1 1077944320 427495 0 0 0 202537 2385 0 0 20 0 28 0 3914794 14133010432 1824606 33554432000 4194304 4196468 140723863526464 140723863509008 139623203012343 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
/proc/31825/statm: 3450442 1824606 3313 1 0 3437675 0
[pid=31825/tid=31826] ppid=31824 vsize=13801768 CPUtime=24.09 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31826/stat : 31826 (java) S 31824 31824 7621 0 -1 1077944384 20919 0 0 0 2381 28 0 0 20 0 28 0 3914794 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139623207253120 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31828] ppid=31824 vsize=13801768 CPUtime=36.79 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31828/stat : 31828 (java) S 31824 31824 7621 0 -1 1077944384 18242 0 0 0 3390 289 0 0 20 0 28 0 3914795 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139623155633168 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31829] ppid=31824 vsize=13801768 CPUtime=36.58 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31829/stat : 31829 (java) S 31824 31824 7621 0 -1 1077944384 16793 0 0 0 3411 247 0 0 20 0 28 0 3914795 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139623154580624 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31830] ppid=31824 vsize=13801768 CPUtime=36.59 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31830/stat : 31830 (java) S 31824 31824 7621 0 -1 1077944384 15742 0 0 0 3359 300 0 0 20 0 28 0 3914795 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139623153527568 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31831] ppid=31824 vsize=13801768 CPUtime=36.6 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31831/stat : 31831 (java) S 31824 31824 7621 0 -1 1077944384 16423 0 0 0 3383 277 0 0 20 0 28 0 3914795 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139623152475024 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31832] ppid=31824 vsize=13801768 CPUtime=36.69 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31832/stat : 31832 (java) S 31824 31824 7621 0 -1 1077944384 25250 0 0 0 3376 293 0 0 20 0 28 0 3914795 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139623151421968 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31833] ppid=31824 vsize=13801768 CPUtime=36.35 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31833/stat : 31833 (java) S 31824 31824 7621 0 -1 1077944384 10414 0 0 0 3339 296 0 0 20 0 28 0 3914795 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139623150369424 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31834] ppid=31824 vsize=13801768 CPUtime=36.69 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31834/stat : 31834 (java) S 31824 31824 7621 0 -1 1077944384 15526 0 0 0 3369 300 0 0 20 0 28 0 3914795 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139623149316368 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31835] ppid=31824 vsize=13801768 CPUtime=36.18 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31835/stat : 31835 (java) S 31824 31824 7621 0 -1 1077944384 17618 0 0 0 3336 282 0 0 20 0 28 0 3914795 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139623148263824 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31836] ppid=31824 vsize=13801768 CPUtime=5.55 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31836/stat : 31836 (java) S 31824 31824 7621 0 -1 1077944384 20742 0 0 0 536 19 0 0 20 0 28 0 3914797 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622396803824 139623203023490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31837] ppid=31824 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31837/stat : 31837 (java) S 31824 31824 7621 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3914798 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622395750112 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31838] ppid=31824 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31838/stat : 31838 (java) S 31824 31824 7621 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 28 0 3914798 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622394696960 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31839] ppid=31824 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31839/stat : 31839 (java) S 31824 31824 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3914802 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622393645520 139623203030939 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31840] ppid=31824 vsize=13801768 CPUtime=6.57 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31840/stat : 31840 (java) S 31824 31824 7621 0 -1 1077944384 27199 0 0 0 652 5 0 0 20 0 28 0 3914802 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622392592624 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31841] ppid=31824 vsize=13801768 CPUtime=5.55 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31841/stat : 31841 (java) S 31824 31824 7621 0 -1 1077944384 20067 0 0 0 552 3 0 0 20 0 28 0 3914802 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622391540080 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 21 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31842] ppid=31824 vsize=13801768 CPUtime=5.78 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31842/stat : 31842 (java) S 31824 31824 7621 0 -1 1077944384 21389 0 0 0 575 3 0 0 20 0 28 0 3914802 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622390487024 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31843] ppid=31824 vsize=13801768 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31843/stat : 31843 (java) S 31824 31824 7621 0 -1 1077944384 16911 0 0 0 163 3 0 0 20 0 28 0 3914802 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622389434480 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31844] ppid=31824 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31844/stat : 31844 (java) S 31824 31824 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3914803 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622388382688 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31845] ppid=31824 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31845/stat : 31845 (java) S 31824 31824 7621 0 -1 1077944384 1867 0 0 0 9 10 0 0 20 0 28 0 3914803 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622387330224 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31846] ppid=31824 vsize=13801768 CPUtime=212.05 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31846/stat : 31846 (java) R 31824 31824 7621 0 -1 4202560 4370 0 0 0 21203 2 0 0 20 0 28 0 3919590 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622379314264 139622834446259 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31847] ppid=31824 vsize=13801768 CPUtime=212.98 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31847/stat : 31847 (java) R 31824 31824 7621 0 -1 4202560 4329 0 0 0 21297 1 0 0 20 0 28 0 3919590 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622378262184 139622832712407 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31848] ppid=31824 vsize=13801768 CPUtime=213.57 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31848/stat : 31848 (java) R 31824 31824 7621 0 -1 4202560 11082 0 0 0 21354 3 0 0 20 0 28 0 3919590 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622377209928 139622828991916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31849] ppid=31824 vsize=13801768 CPUtime=213.95 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31849/stat : 31849 (java) R 31824 31824 7621 0 -1 4202560 25013 0 0 0 21388 7 0 0 20 0 28 0 3919590 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622376157640 139622830398792 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31850] ppid=31824 vsize=13801768 CPUtime=214.14 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31850/stat : 31850 (java) R 31824 31824 7621 0 -1 4202560 3527 0 0 0 21413 1 0 0 20 0 28 0 3919590 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622375105528 139622834426437 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31851] ppid=31824 vsize=13801768 CPUtime=213.41 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31851/stat : 31851 (java) R 31824 31824 7621 0 -1 4202560 4131 0 0 0 21341 0 0 0 20 0 28 0 3919590 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622374051752 139622832712687 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31853] ppid=31824 vsize=13801768 CPUtime=213 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31853/stat : 31853 (java) R 31824 31824 7621 0 -1 4202560 3366 0 0 0 21299 1 0 0 20 0 28 0 3920819 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622372999408 139622829029275 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31854] ppid=31824 vsize=13801768 CPUtime=214.02 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31854/stat : 31854 (java) R 31824 31824 7621 0 -1 4202560 105110 0 0 0 21394 8 0 0 20 0 28 0 3920819 14133010432 1824606 33554432000 4194304 4196468 140723863526464 139622371947176 139622834426796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
Current children cumulated CPU time (s) 2049.22
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+326.402 s]
/proc/loadavg: 15.06 15.21 14.58 17/300 32144
/proc/meminfo: memFree=24162124/32770624 swapFree=5800/241556
[pid=31824] ppid=31821 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31824/stat : 31824 (xcsp3-exec) S 31821 31824 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3914794 9740288 346 33554432000 4194304 5098028 140729515111008 140729515109112 140642633380476 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37216256 140729515119758 140729515119968 140729515119968 140729515122667 0
/proc/31824/statm: 2378 346 289 221 0 87 0
[pid=31825] ppid=31824 vsize=13801768 CPUtime=2400.21 cores=1,3,5,7,9,11,13,15
/proc/31825/stat : 31825 (java) S 31824 31824 7621 0 -1 1077944320 449596 0 0 0 237627 2394 0 0 20 0 28 0 3914794 14133010432 1784849 33554432000 4194304 4196468 140723863526464 140723863509008 139623203012343 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
/proc/31825/statm: 3450442 1784849 3313 1 0 3437675 0
[pid=31825/tid=31826] ppid=31824 vsize=13801768 CPUtime=24.09 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31826/stat : 31826 (java) S 31824 31824 7621 0 -1 1077944384 20919 0 0 0 2381 28 0 0 20 0 28 0 3914794 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139623207253120 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31828] ppid=31824 vsize=13801768 CPUtime=36.87 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31828/stat : 31828 (java) S 31824 31824 7621 0 -1 1077944384 21049 0 0 0 3398 289 0 0 20 0 28 0 3914795 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139623155633168 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31829] ppid=31824 vsize=13801768 CPUtime=36.66 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31829/stat : 31829 (java) S 31824 31824 7621 0 -1 1077944384 16827 0 0 0 3419 247 0 0 20 0 28 0 3914795 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139623154580624 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31830] ppid=31824 vsize=13801768 CPUtime=36.67 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31830/stat : 31830 (java) S 31824 31824 7621 0 -1 1077944384 15765 0 0 0 3367 300 0 0 20 0 28 0 3914795 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139623153527568 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31831] ppid=31824 vsize=13801768 CPUtime=36.68 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31831/stat : 31831 (java) S 31824 31824 7621 0 -1 1077944384 16503 0 0 0 3391 277 0 0 20 0 28 0 3914795 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139623152475024 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31832] ppid=31824 vsize=13801768 CPUtime=36.78 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31832/stat : 31832 (java) S 31824 31824 7621 0 -1 1077944384 25338 0 0 0 3385 293 0 0 20 0 28 0 3914795 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139623151421968 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31833] ppid=31824 vsize=13801768 CPUtime=36.43 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31833/stat : 31833 (java) S 31824 31824 7621 0 -1 1077944384 10546 0 0 0 3347 296 0 0 20 0 28 0 3914795 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139623150369424 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31834] ppid=31824 vsize=13801768 CPUtime=36.76 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31834/stat : 31834 (java) S 31824 31824 7621 0 -1 1077944384 15574 0 0 0 3376 300 0 0 20 0 28 0 3914795 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139623149316368 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31835] ppid=31824 vsize=13801768 CPUtime=36.27 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31835/stat : 31835 (java) S 31824 31824 7621 0 -1 1077944384 17650 0 0 0 3345 282 0 0 20 0 28 0 3914795 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139623148263824 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31836] ppid=31824 vsize=13801768 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31836/stat : 31836 (java) S 31824 31824 7621 0 -1 1077944384 20964 0 0 0 537 20 0 0 20 0 28 0 3914797 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622396803824 139623203023490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31837] ppid=31824 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31837/stat : 31837 (java) S 31824 31824 7621 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3914798 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622395750112 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31838] ppid=31824 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31838/stat : 31838 (java) S 31824 31824 7621 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 28 0 3914798 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622394696960 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31839] ppid=31824 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31839/stat : 31839 (java) S 31824 31824 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3914802 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622393645520 139623203030939 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31840] ppid=31824 vsize=13801768 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31840/stat : 31840 (java) S 31824 31824 7621 0 -1 1077944384 27334 0 0 0 655 5 0 0 20 0 28 0 3914802 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622392592624 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31841] ppid=31824 vsize=13801768 CPUtime=5.55 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31841/stat : 31841 (java) S 31824 31824 7621 0 -1 1077944384 20085 0 0 0 552 3 0 0 20 0 28 0 3914802 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622391540080 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 21 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31842] ppid=31824 vsize=13801768 CPUtime=5.88 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31842/stat : 31842 (java) S 31824 31824 7621 0 -1 1077944384 23025 0 0 0 584 4 0 0 20 0 28 0 3914802 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622390487024 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31843] ppid=31824 vsize=13801768 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31843/stat : 31843 (java) S 31824 31824 7621 0 -1 1077944384 17350 0 0 0 164 3 0 0 20 0 28 0 3914802 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622389434480 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31844] ppid=31824 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31844/stat : 31844 (java) S 31824 31824 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3914803 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622388382688 139623203022549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31845] ppid=31824 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31845/stat : 31845 (java) S 31824 31824 7621 0 -1 1077944384 1894 0 0 0 11 12 0 0 20 0 28 0 3914803 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622387330224 139623203023490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31846] ppid=31824 vsize=13801768 CPUtime=255.95 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31846/stat : 31846 (java) R 31824 31824 7621 0 -1 4202560 4836 0 0 0 25593 2 0 0 20 0 28 0 3919590 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622379314392 139622835415911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31847] ppid=31824 vsize=13801768 CPUtime=256.83 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31847/stat : 31847 (java) R 31824 31824 7621 0 -1 4202560 4701 0 0 0 25681 2 0 0 20 0 28 0 3919590 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622378265112 139622831246722 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31848] ppid=31824 vsize=13801768 CPUtime=256.91 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31848/stat : 31848 (java) R 31824 31824 7621 0 -1 4202560 12548 0 0 0 25688 3 0 0 20 0 28 0 3919590 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622377211776 139622828991891 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31849] ppid=31824 vsize=13801768 CPUtime=257.9 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31849/stat : 31849 (java) R 31824 31824 7621 0 -1 4202560 27552 0 0 0 25782 8 0 0 20 0 28 0 3919590 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622376157128 139622830413819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31850] ppid=31824 vsize=13801768 CPUtime=258.06 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31850/stat : 31850 (java) R 31824 31824 7621 0 -1 4202560 3833 0 0 0 25805 1 0 0 20 0 28 0 3919590 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622375104200 139622837118694 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31851] ppid=31824 vsize=13801768 CPUtime=257.34 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31851/stat : 31851 (java) R 31824 31824 7621 0 -1 4202560 4502 0 0 0 25733 1 0 0 20 0 28 0 3919590 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622374051624 139622830688385 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31853] ppid=31824 vsize=13801768 CPUtime=256.62 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31853/stat : 31853 (java) R 31824 31824 7621 0 -1 4202560 3661 0 0 0 25661 1 0 0 20 0 28 0 3920819 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622372999720 139622829029254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
[pid=31825/tid=31854] ppid=31824 vsize=13801768 CPUtime=257.66 cores=1,3,5,7,9,11,13,15
/proc/31825/task/31854/stat : 31854 (java) R 31824 31824 7621 0 -1 4202560 115675 0 0 0 25756 10 0 0 20 0 28 0 3920819 14133010432 1784849 33554432000 4194304 4196468 140723863526464 139622371946928 139622834426796 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140723863528636 140723863528812 140723863528812 140723863531471 0
Current children cumulated CPU time (s) 2400.21
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31825 sig 9
??? kill 31824 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31824 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1298
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1298
# CPU time returned by wait4() is 0.002596
# while last known CPU time is 2400.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 326.412
CPU time (s): 2400.21
CPU user time (s): 2376.27
CPU system time (s): 23.94
CPU usage (%): 735.33
Max. virtual memory (cumulated for all children) (KiB): 13813228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001298
system time used= 0.001298
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9298 second user time and 4.70566 second system time
The end