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-4249672-1500695662/watcher-4249672-1500695662 -o /tmp/evaluation-result-4249672-1500695662/solver-4249672-1500695662 -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 753622985 HOME/instance-4249672-1500695662.xml
pid=31346
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: 16.15 14.68 13.95 10/272 31349
/proc/meminfo: memFree=31479652/32770624 swapFree=5860/291492
[pid=31349] ppid=31346 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31349/stat : 31349 (xcsp3-exec) S 31346 31349 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4833660 9740288 346 33554432000 4194304 5098028 140728411147488 140728411145592 139978782425724 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20488192 140728411153551 140728411153760 140728411153760 140728411156459 0
/proc/31349/statm: 2378 346 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 16.15 14.68 13.95 10/272 31349
/proc/meminfo: memFree=31479652/32770624 swapFree=5860/291492
[pid=31349] ppid=31346 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31349/stat : 31349 (xcsp3-exec) S 31346 31349 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4833660 9740288 346 33554432000 4194304 5098028 140728411147488 140728411145592 139978782425724 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20488192 140728411153551 140728411153760 140728411153760 140728411156459 0
/proc/31349/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200313 s]
/proc/loadavg: 16.15 14.68 13.95 10/272 31349
/proc/meminfo: memFree=31479652/32770624 swapFree=5860/291492
[pid=31349] ppid=31346 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31349/stat : 31349 (xcsp3-exec) S 31346 31349 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4833660 9740288 346 33554432000 4194304 5098028 140728411147488 140728411145592 139978782425724 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20488192 140728411153551 140728411153760 140728411153760 140728411156459 0
/proc/31349/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300242 s]
/proc/loadavg: 16.15 14.68 13.95 10/272 31349
/proc/meminfo: memFree=31479652/32770624 swapFree=5860/291492
[pid=31349] ppid=31346 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31349/stat : 31349 (xcsp3-exec) S 31346 31349 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4833660 9740288 346 33554432000 4194304 5098028 140728411147488 140728411145592 139978782425724 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20488192 140728411153551 140728411153760 140728411153760 140728411156459 0
/proc/31349/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700253 s]
/proc/loadavg: 16.15 14.68 13.95 10/272 31349
/proc/meminfo: memFree=31479652/32770624 swapFree=5860/291492
[pid=31349] ppid=31346 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31349/stat : 31349 (xcsp3-exec) S 31346 31349 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4833660 9740288 346 33554432000 4194304 5098028 140728411147488 140728411145592 139978782425724 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20488192 140728411153551 140728411153760 140728411153760 140728411156459 0
/proc/31349/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50078 s]
/proc/loadavg: 16.15 14.68 13.95 13/293 31370
/proc/meminfo: memFree=31298504/32770624 swapFree=5860/291572
[pid=31349] ppid=31346 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31349/stat : 31349 (xcsp3-exec) S 31346 31349 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4833660 9740288 346 33554432000 4194304 5098028 140728411147488 140728411145592 139978782425724 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20488192 140728411153551 140728411153760 140728411153760 140728411156459 0
/proc/31349/statm: 2378 346 289 221 0 87 0
[pid=31350] ppid=31349 vsize=13269256 CPUtime=4.07 cores=1,3,5,7,9,11,13,15
/proc/31350/stat : 31350 (java) S 31349 31349 7411 0 -1 1077944320 18313 0 0 0 386 21 0 0 20 0 20 0 4833660 13587718144 59355 33554432000 4194304 4196468 140724627006288 140724626988832 140107493261047 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
/proc/31350/statm: 3317314 59355 3227 1 0 3304547 0
[pid=31350/tid=31351] ppid=31349 vsize=13269256 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31351/stat : 31351 (java) R 31349 31349 7411 0 -1 4202560 6265 0 0 0 137 5 0 0 20 0 20 0 4833660 13587718144 59355 33554432000 4194304 4196468 140724627006288 140107497497912 140107088177128 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31353] ppid=31349 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31353/stat : 31353 (java) S 31349 31349 7411 0 -1 1077944384 38 0 0 0 2 1 0 0 20 0 20 0 4833661 13587718144 59355 33554432000 4194304 4196468 140724627006288 140107411741072 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31354] ppid=31349 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31354/stat : 31354 (java) S 31349 31349 7411 0 -1 1077944384 18 0 0 0 2 1 0 0 20 0 20 0 4833661 13587718144 59355 33554432000 4194304 4196468 140724627006288 140107410688272 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31355] ppid=31349 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31355/stat : 31355 (java) S 31349 31349 7411 0 -1 1077944384 16 0 0 0 2 1 0 0 20 0 20 0 4833661 13587718144 59355 33554432000 4194304 4196468 140724627006288 140107409635984 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31356] ppid=31349 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31356/stat : 31356 (java) S 31349 31349 7411 0 -1 1077944384 102 0 0 0 2 2 0 0 20 0 20 0 4833661 13587718144 59355 33554432000 4194304 4196468 140724627006288 140107408583184 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31357] ppid=31349 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31357/stat : 31357 (java) S 31349 31349 7411 0 -1 1077944384 17 0 0 0 2 1 0 0 20 0 20 0 4833661 13587718144 59355 33554432000 4194304 4196468 140724627006288 140107407530896 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31358] ppid=31349 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31358/stat : 31358 (java) S 31349 31349 7411 0 -1 1077944384 273 0 0 0 2 2 0 0 20 0 20 0 4833661 13587718144 59355 33554432000 4194304 4196468 140724627006288 140107406478096 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31359] ppid=31349 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31359/stat : 31359 (java) S 31349 31349 7411 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 20 0 4833661 13587718144 59355 33554432000 4194304 4196468 140724627006288 140107405425808 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31360] ppid=31349 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31360/stat : 31360 (java) S 31349 31349 7411 0 -1 1077944384 93 0 0 0 2 1 0 0 20 0 20 0 4833661 13587718144 59355 33554432000 4194304 4196468 140724627006288 140107404373008 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31361] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31361/stat : 31361 (java) S 31349 31349 7411 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 20 0 4833664 13587718144 59355 33554432000 4194304 4196468 140724627006288 140106225141872 140107493272194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31362] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31362/stat : 31362 (java) S 31349 31349 7411 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4833664 13587718144 59355 33554432000 4194304 4196468 140724627006288 140106224087840 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31363] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31363/stat : 31363 (java) S 31349 31349 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4833665 13587718144 59355 33554432000 4194304 4196468 140724627006288 140106223035504 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31364] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31364/stat : 31364 (java) S 31349 31349 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4833668 13587718144 59355 33554432000 4194304 4196468 140724627006288 140106221983824 140107493279643 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31365] ppid=31349 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31365/stat : 31365 (java) R 31349 31349 7411 0 -1 4202560 2430 0 0 0 58 0 0 0 20 0 20 0 4833668 13587718144 59355 33554432000 4194304 4196468 140724627006288 140106220917720 140107474782492 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31366] ppid=31349 vsize=13269256 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31366/stat : 31366 (java) R 31349 31349 7411 0 -1 4202560 2255 0 0 0 59 0 0 0 20 0 20 0 4833668 13587718144 59355 33554432000 4194304 4196468 140724627006288 140106219857816 140107472510840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31367] ppid=31349 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31367/stat : 31367 (java) R 31349 31349 7411 0 -1 4202560 3077 0 0 0 75 0 0 0 20 0 20 0 4833668 13587718144 59355 33554432000 4194304 4196468 140724627006288 140106218812632 140107474805487 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31368] ppid=31349 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31368/stat : 31368 (java) S 31349 31349 7411 0 -1 1077944384 2204 0 0 0 34 0 0 0 20 0 20 0 4833668 13587718144 59355 33554432000 4194304 4196468 140724627006288 140106217773808 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31369] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31369/stat : 31369 (java) S 31349 31349 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4833669 13587718144 59355 33554432000 4194304 4196468 140724627006288 140106216720736 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31370] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31370/stat : 31370 (java) S 31349 31349 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4833669 13587718144 59355 33554432000 4194304 4196468 140724627006288 140106215668016 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 13278768
[startup+3.10081 s]
/proc/loadavg: 16.15 14.68 13.95 10/293 31370
/proc/meminfo: memFree=31164720/32770624 swapFree=5860/291568
[pid=31349] ppid=31346 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31349/stat : 31349 (xcsp3-exec) S 31346 31349 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4833660 9740288 346 33554432000 4194304 5098028 140728411147488 140728411145592 139978782425724 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20488192 140728411153551 140728411153760 140728411153760 140728411156459 0
/proc/31349/statm: 2378 346 289 221 0 87 0
[pid=31350] ppid=31349 vsize=13269256 CPUtime=7.37 cores=1,3,5,7,9,11,13,15
/proc/31350/stat : 31350 (java) S 31349 31349 7411 0 -1 1077944320 22904 0 0 0 688 49 0 0 20 0 20 0 4833660 13587718144 115063 33554432000 4194304 4196468 140724627006288 140724626988832 140107493261047 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
/proc/31350/statm: 3317314 115063 3240 1 0 3304547 0
[pid=31350/tid=31351] ppid=31349 vsize=13269256 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31351/stat : 31351 (java) R 31349 31349 7411 0 -1 4202560 7697 0 0 0 288 7 0 0 20 0 20 0 4833660 13587718144 115063 33554432000 4194304 4196468 140724627006288 140107497497080 140107493272982 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31353] ppid=31349 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31353/stat : 31353 (java) S 31349 31349 7411 0 -1 1077944384 83 0 0 0 4 5 0 0 20 0 20 0 4833661 13587718144 115063 33554432000 4194304 4196468 140724627006288 140107411741072 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31354] ppid=31349 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31354/stat : 31354 (java) S 31349 31349 7411 0 -1 1077944384 60 0 0 0 5 5 0 0 20 0 20 0 4833661 13587718144 115063 33554432000 4194304 4196468 140724627006288 140107410688272 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31355] ppid=31349 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31355/stat : 31355 (java) S 31349 31349 7411 0 -1 1077944384 122 0 0 0 5 3 0 0 20 0 20 0 4833661 13587718144 115063 33554432000 4194304 4196468 140724627006288 140107409635984 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31356] ppid=31349 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31356/stat : 31356 (java) S 31349 31349 7411 0 -1 1077944384 128 0 0 0 5 4 0 0 20 0 20 0 4833661 13587718144 115063 33554432000 4194304 4196468 140724627006288 140107408583184 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31357] ppid=31349 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31357/stat : 31357 (java) S 31349 31349 7411 0 -1 1077944384 55 0 0 0 4 4 0 0 20 0 20 0 4833661 13587718144 115063 33554432000 4194304 4196468 140724627006288 140107407530896 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31358] ppid=31349 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31358/stat : 31358 (java) S 31349 31349 7411 0 -1 1077944384 522 0 0 0 5 4 0 0 20 0 20 0 4833661 13587718144 115063 33554432000 4194304 4196468 140724627006288 140107406478096 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31359] ppid=31349 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31359/stat : 31359 (java) S 31349 31349 7411 0 -1 1077944384 109 0 0 0 3 5 0 0 20 0 20 0 4833661 13587718144 115063 33554432000 4194304 4196468 140724627006288 140107405425808 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31360] ppid=31349 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31360/stat : 31360 (java) S 31349 31349 7411 0 -1 1077944384 152 0 0 0 5 5 0 0 20 0 20 0 4833661 13587718144 115063 33554432000 4194304 4196468 140724627006288 140107404373008 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31361] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31361/stat : 31361 (java) S 31349 31349 7411 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 20 0 4833664 13587718144 115063 33554432000 4194304 4196468 140724627006288 140106225141872 140107493272194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31362] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31362/stat : 31362 (java) S 31349 31349 7411 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4833664 13587718144 115063 33554432000 4194304 4196468 140724627006288 140106224087904 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31363] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31363/stat : 31363 (java) S 31349 31349 7411 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4833665 13587718144 115063 33554432000 4194304 4196468 140724627006288 140106223035520 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31364] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31364/stat : 31364 (java) S 31349 31349 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4833668 13587718144 115063 33554432000 4194304 4196468 140724627006288 140106221983824 140107493279643 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31365] ppid=31349 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31365/stat : 31365 (java) R 31349 31349 7411 0 -1 1077944384 3347 0 0 0 103 0 0 0 20 0 20 0 4833668 13587718144 115063 33554432000 4194304 4196468 140724627006288 140106220931696 140107493272194 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31366] ppid=31349 vsize=13269256 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31366/stat : 31366 (java) S 31349 31349 7411 0 -1 1077944384 3005 0 0 0 97 0 0 0 20 0 20 0 4833668 13587718144 115063 33554432000 4194304 4196468 140724627006288 140106219878896 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31367] ppid=31349 vsize=13269256 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31367/stat : 31367 (java) S 31349 31349 7411 0 -1 1077944384 3229 0 0 0 112 0 0 0 20 0 20 0 4833668 13587718144 115063 33554432000 4194304 4196468 140724627006288 140106218826608 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31368] ppid=31349 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31368/stat : 31368 (java) S 31349 31349 7411 0 -1 1077944384 2587 0 0 0 43 1 0 0 20 0 20 0 4833668 13587718144 115063 33554432000 4194304 4196468 140724627006288 140106217773808 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31369] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31369/stat : 31369 (java) S 31349 31349 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4833669 13587718144 115063 33554432000 4194304 4196468 140724627006288 140106216720736 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31370] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31370/stat : 31370 (java) S 31349 31349 7411 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4833669 13587718144 115063 33554432000 4194304 4196468 140724627006288 140106215668016 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 13278768
[startup+6.30085 s]
/proc/loadavg: 15.58 14.59 13.92 10/293 31370
/proc/meminfo: memFree=30659164/32770624 swapFree=5860/291568
[pid=31349] ppid=31346 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31349/stat : 31349 (xcsp3-exec) S 31346 31349 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4833660 9740288 346 33554432000 4194304 5098028 140728411147488 140728411145592 139978782425724 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20488192 140728411153551 140728411153760 140728411153760 140728411156459 0
/proc/31349/statm: 2378 346 289 221 0 87 0
[pid=31350] ppid=31349 vsize=13269256 CPUtime=11.36 cores=1,3,5,7,9,11,13,15
/proc/31350/stat : 31350 (java) S 31349 31349 7411 0 -1 1077944320 24252 0 0 0 1043 93 0 0 20 0 20 0 4833660 13587718144 209748 33554432000 4194304 4196468 140724627006288 140724626988832 140107493261047 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
/proc/31350/statm: 3317314 209748 3241 1 0 3304547 0
[pid=31350/tid=31351] ppid=31349 vsize=13269256 CPUtime=6.05 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31351/stat : 31351 (java) R 31349 31349 7411 0 -1 4202560 7939 0 0 0 595 10 0 0 20 0 20 0 4833660 13587718144 209748 33554432000 4194304 4196468 140724627006288 140107497497736 140107089183773 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31353] ppid=31349 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31353/stat : 31353 (java) S 31349 31349 7411 0 -1 1077944384 136 0 0 0 8 10 0 0 20 0 20 0 4833661 13587718144 209748 33554432000 4194304 4196468 140724627006288 140107411741072 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31354] ppid=31349 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31354/stat : 31354 (java) S 31349 31349 7411 0 -1 1077944384 102 0 0 0 10 9 0 0 20 0 20 0 4833661 13587718144 209748 33554432000 4194304 4196468 140724627006288 140107410688272 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31355] ppid=31349 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31355/stat : 31355 (java) S 31349 31349 7411 0 -1 1077944384 155 0 0 0 11 7 0 0 20 0 20 0 4833661 13587718144 209748 33554432000 4194304 4196468 140724627006288 140107409635984 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31356] ppid=31349 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31356/stat : 31356 (java) S 31349 31349 7411 0 -1 1077944384 172 0 0 0 9 10 0 0 20 0 20 0 4833661 13587718144 209748 33554432000 4194304 4196468 140724627006288 140107408583184 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31357] ppid=31349 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31357/stat : 31357 (java) S 31349 31349 7411 0 -1 1077944384 128 0 0 0 9 9 0 0 20 0 20 0 4833661 13587718144 209748 33554432000 4194304 4196468 140724627006288 140107407530896 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31358] ppid=31349 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31358/stat : 31358 (java) S 31349 31349 7411 0 -1 1077944384 574 0 0 0 9 9 0 0 20 0 20 0 4833661 13587718144 209748 33554432000 4194304 4196468 140724627006288 140107406478096 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31359] ppid=31349 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31359/stat : 31359 (java) S 31349 31349 7411 0 -1 1077944384 154 0 0 0 7 11 0 0 20 0 20 0 4833661 13587718144 209748 33554432000 4194304 4196468 140724627006288 140107405425808 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31360] ppid=31349 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31360/stat : 31360 (java) S 31349 31349 7411 0 -1 1077944384 200 0 0 0 9 10 0 0 20 0 20 0 4833661 13587718144 209748 33554432000 4194304 4196468 140724627006288 140107404373008 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31361] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31361/stat : 31361 (java) S 31349 31349 7411 0 -1 1077944384 790 0 0 0 0 0 0 0 20 0 20 0 4833664 13587718144 209748 33554432000 4194304 4196468 140724627006288 140106225141872 140107493272194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31362] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31362/stat : 31362 (java) S 31349 31349 7411 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4833664 13587718144 209748 33554432000 4194304 4196468 140724627006288 140106224087904 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31363] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31363/stat : 31363 (java) S 31349 31349 7411 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4833665 13587718144 209748 33554432000 4194304 4196468 140724627006288 140106223035520 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31364] ppid=31349 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31364/stat : 31364 (java) S 31349 31349 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4833668 13587718144 209748 33554432000 4194304 4196468 140724627006288 140106221983824 140107493279643 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
################
# More data... #
################
[pid=31350/tid=31377] ppid=31349 vsize=13801768 CPUtime=212.71 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31377/stat : 31377 (java) R 31349 31349 7411 0 -1 4202560 2345 0 0 0 21269 2 0 0 20 0 28 0 4834366 14133010432 825649 33554432000 4194304 4196468 140724627006288 140106201337040 140107090864553 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31378] ppid=31349 vsize=13801768 CPUtime=212.39 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31378/stat : 31378 (java) R 31349 31349 7411 0 -1 4202560 1405 0 0 0 21237 2 0 0 20 0 28 0 4834366 14133010432 825649 33554432000 4194304 4196468 140724627006288 140106200284312 140107090863002 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
Current children cumulated CPU time (s) 1725.39
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.08 15.42 14.44 17/299 31479
/proc/meminfo: memFree=24782136/32770624 swapFree=5860/291964
[pid=31349] ppid=31346 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31349/stat : 31349 (xcsp3-exec) S 31346 31349 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4833660 9740288 346 33554432000 4194304 5098028 140728411147488 140728411145592 139978782425724 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20488192 140728411153551 140728411153760 140728411153760 140728411156459 0
/proc/31349/statm: 2378 346 289 221 0 87 0
[pid=31350] ppid=31349 vsize=13801768 CPUtime=2203.22 cores=1,3,5,7,9,11,13,15
/proc/31350/stat : 31350 (java) S 31349 31349 7411 0 -1 1077944320 93915 0 0 0 219994 328 0 0 20 0 28 0 4833660 14133010432 827197 33554432000 4194304 4196468 140724627006288 140724626988832 140107493261047 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
/proc/31350/statm: 3450442 827197 3290 1 0 3437675 0
[pid=31350/tid=31351] ppid=31349 vsize=13801768 CPUtime=6.81 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31351/stat : 31351 (java) S 31349 31349 7411 0 -1 1077944384 8267 0 0 0 669 12 0 0 20 0 28 0 4833660 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107497501824 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31353] ppid=31349 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31353/stat : 31353 (java) S 31349 31349 7411 0 -1 1077944384 767 0 0 0 60 35 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107411741072 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31354] ppid=31349 vsize=13801768 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31354/stat : 31354 (java) S 31349 31349 7411 0 -1 1077944384 1283 0 0 0 64 32 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107410688272 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31355] ppid=31349 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31355/stat : 31355 (java) S 31349 31349 7411 0 -1 1077944384 602 0 0 0 59 27 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107409635984 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31356] ppid=31349 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31356/stat : 31356 (java) S 31349 31349 7411 0 -1 1077944384 1193 0 0 0 57 34 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107408583184 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31357] ppid=31349 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31357/stat : 31357 (java) S 31349 31349 7411 0 -1 1077944384 670 0 0 0 56 30 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107407530896 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31358] ppid=31349 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31358/stat : 31358 (java) S 31349 31349 7411 0 -1 1077944384 1160 0 0 0 57 32 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107406478096 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31359] ppid=31349 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31359/stat : 31359 (java) S 31349 31349 7411 0 -1 1077944384 1232 0 0 0 56 36 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107405425808 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31360] ppid=31349 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31360/stat : 31360 (java) S 31349 31349 7411 0 -1 1077944384 750 0 0 0 58 36 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107404373008 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31361] ppid=31349 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31361/stat : 31361 (java) S 31349 31349 7411 0 -1 1077944384 6792 0 0 0 6 5 0 0 20 0 28 0 4833664 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106225141872 140107493272194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31362] ppid=31349 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31362/stat : 31362 (java) S 31349 31349 7411 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 4833664 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106224087904 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31363] ppid=31349 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31363/stat : 31363 (java) S 31349 31349 7411 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 4833665 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106223035520 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31364] ppid=31349 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31364/stat : 31364 (java) S 31349 31349 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4833668 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106221983824 140107493279643 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31365] ppid=31349 vsize=13801768 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31365/stat : 31365 (java) S 31349 31349 7411 0 -1 1077944384 15287 0 0 0 341 2 0 0 20 0 28 0 4833668 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106220931696 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31366] ppid=31349 vsize=13801768 CPUtime=3.24 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31366/stat : 31366 (java) S 31349 31349 7411 0 -1 1077944384 13462 0 0 0 322 2 0 0 20 0 28 0 4833668 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106219878896 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31367] ppid=31349 vsize=13801768 CPUtime=3.55 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31367/stat : 31367 (java) S 31349 31349 7411 0 -1 1077944384 12371 0 0 0 353 2 0 0 20 0 28 0 4833668 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106218826608 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31368] ppid=31349 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31368/stat : 31368 (java) S 31349 31349 7411 0 -1 1077944384 8267 0 0 0 85 2 0 0 20 0 28 0 4833668 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106217773808 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31369] ppid=31349 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31369/stat : 31369 (java) S 31349 31349 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4833669 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106216720736 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31370] ppid=31349 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31370/stat : 31370 (java) S 31349 31349 7411 0 -1 1077944384 762 0 0 0 7 7 0 0 20 0 28 0 4833669 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106215668016 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31371] ppid=31349 vsize=13801768 CPUtime=273.58 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31371/stat : 31371 (java) R 31349 31349 7411 0 -1 4202560 2502 0 0 0 27356 2 0 0 20 0 28 0 4834365 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106207652456 140107090863010 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31372] ppid=31349 vsize=13801768 CPUtime=271.12 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31372/stat : 31372 (java) R 31349 31349 7411 0 -1 4202560 2081 0 0 0 27109 3 0 0 20 0 28 0 4834365 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106206600776 140107090863259 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31373] ppid=31349 vsize=13801768 CPUtime=271.96 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31373/stat : 31373 (java) R 31349 31349 7411 0 -1 4202560 3675 0 0 0 27190 6 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106205548328 140107090863935 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31374] ppid=31349 vsize=13801768 CPUtime=272.54 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31374/stat : 31374 (java) R 31349 31349 7411 0 -1 4202560 3098 0 0 0 27250 4 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106204495848 140107090863027 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31375] ppid=31349 vsize=13801768 CPUtime=271.65 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31375/stat : 31375 (java) R 31349 31349 7411 0 -1 4202560 2202 0 0 0 27160 5 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106203443240 140107090864015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31376] ppid=31349 vsize=13801768 CPUtime=272.81 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31376/stat : 31376 (java) R 31349 31349 7411 0 -1 4202560 1790 0 0 0 27280 1 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106202390440 140107090862780 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31377] ppid=31349 vsize=13801768 CPUtime=272.52 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31377/stat : 31377 (java) R 31349 31349 7411 0 -1 4202560 2523 0 0 0 27250 2 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106201337040 140107090864051 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31378] ppid=31349 vsize=13801768 CPUtime=271.41 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31378/stat : 31378 (java) R 31349 31349 7411 0 -1 4202560 1823 0 0 0 27139 2 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106200284360 140107090862997 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
Current children cumulated CPU time (s) 2203.22
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+307.014 s]
/proc/loadavg: 16.13 15.49 14.48 17/299 31480
/proc/meminfo: memFree=24781732/32770624 swapFree=5860/291996
[pid=31349] ppid=31346 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31349/stat : 31349 (xcsp3-exec) S 31346 31349 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4833660 9740288 346 33554432000 4194304 5098028 140728411147488 140728411145592 139978782425724 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20488192 140728411153551 140728411153760 140728411153760 140728411156459 0
/proc/31349/statm: 2378 346 289 221 0 87 0
[pid=31350] ppid=31349 vsize=13801768 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/31350/stat : 31350 (java) S 31349 31349 7411 0 -1 1077944320 94754 0 0 0 239677 329 0 0 20 0 28 0 4833660 14133010432 827197 33554432000 4194304 4196468 140724627006288 140724626988832 140107493261047 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
/proc/31350/statm: 3450442 827197 3290 1 0 3437675 0
[pid=31350/tid=31351] ppid=31349 vsize=13801768 CPUtime=6.81 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31351/stat : 31351 (java) S 31349 31349 7411 0 -1 1077944384 8267 0 0 0 669 12 0 0 20 0 28 0 4833660 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107497501824 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31353] ppid=31349 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31353/stat : 31353 (java) S 31349 31349 7411 0 -1 1077944384 767 0 0 0 60 35 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107411741072 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31354] ppid=31349 vsize=13801768 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31354/stat : 31354 (java) S 31349 31349 7411 0 -1 1077944384 1283 0 0 0 64 32 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107410688272 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31355] ppid=31349 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31355/stat : 31355 (java) S 31349 31349 7411 0 -1 1077944384 602 0 0 0 59 27 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107409635984 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31356] ppid=31349 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31356/stat : 31356 (java) S 31349 31349 7411 0 -1 1077944384 1193 0 0 0 57 34 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107408583184 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31357] ppid=31349 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31357/stat : 31357 (java) S 31349 31349 7411 0 -1 1077944384 670 0 0 0 56 30 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107407530896 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31358] ppid=31349 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31358/stat : 31358 (java) S 31349 31349 7411 0 -1 1077944384 1160 0 0 0 57 32 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107406478096 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31359] ppid=31349 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31359/stat : 31359 (java) S 31349 31349 7411 0 -1 1077944384 1232 0 0 0 56 36 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107405425808 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31360] ppid=31349 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31360/stat : 31360 (java) S 31349 31349 7411 0 -1 1077944384 750 0 0 0 58 36 0 0 20 0 28 0 4833661 14133010432 827197 33554432000 4194304 4196468 140724627006288 140107404373008 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31361] ppid=31349 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31361/stat : 31361 (java) S 31349 31349 7411 0 -1 1077944384 6792 0 0 0 6 5 0 0 20 0 28 0 4833664 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106225141872 140107493272194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31362] ppid=31349 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31362/stat : 31362 (java) S 31349 31349 7411 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 4833664 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106224087904 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31363] ppid=31349 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31363/stat : 31363 (java) S 31349 31349 7411 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 4833665 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106223035520 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31364] ppid=31349 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31364/stat : 31364 (java) S 31349 31349 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4833668 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106221983824 140107493279643 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31365] ppid=31349 vsize=13801768 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31365/stat : 31365 (java) S 31349 31349 7411 0 -1 1077944384 15287 0 0 0 341 2 0 0 20 0 28 0 4833668 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106220931696 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31366] ppid=31349 vsize=13801768 CPUtime=3.24 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31366/stat : 31366 (java) S 31349 31349 7411 0 -1 1077944384 13462 0 0 0 322 2 0 0 20 0 28 0 4833668 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106219878896 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31367] ppid=31349 vsize=13801768 CPUtime=3.55 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31367/stat : 31367 (java) S 31349 31349 7411 0 -1 1077944384 12371 0 0 0 353 2 0 0 20 0 28 0 4833668 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106218826608 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31368] ppid=31349 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31368/stat : 31368 (java) S 31349 31349 7411 0 -1 1077944384 8267 0 0 0 85 2 0 0 20 0 28 0 4833668 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106217773808 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31369] ppid=31349 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31369/stat : 31369 (java) S 31349 31349 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4833669 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106216720736 140107493271253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31370] ppid=31349 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31370/stat : 31370 (java) S 31349 31349 7411 0 -1 1077944384 762 0 0 0 7 7 0 0 20 0 28 0 4833669 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106215668016 140107493272194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31371] ppid=31349 vsize=13801768 CPUtime=298.24 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31371/stat : 31371 (java) R 31349 31349 7411 0 -1 4202560 2603 0 0 0 29822 2 0 0 20 0 28 0 4834365 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106207652456 140107090862951 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31372] ppid=31349 vsize=13801768 CPUtime=295.5 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31372/stat : 31372 (java) R 31349 31349 7411 0 -1 4202560 2168 0 0 0 29547 3 0 0 20 0 28 0 4834365 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106206600776 140107090862961 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31373] ppid=31349 vsize=13801768 CPUtime=296.65 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31373/stat : 31373 (java) R 31349 31349 7411 0 -1 4202560 3954 0 0 0 29659 6 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106205548328 140107092061136 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31374] ppid=31349 vsize=13801768 CPUtime=297.21 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31374/stat : 31374 (java) R 31349 31349 7411 0 -1 4202560 3221 0 0 0 29717 4 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106204495848 140107090862780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31375] ppid=31349 vsize=13801768 CPUtime=296.32 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31375/stat : 31375 (java) R 31349 31349 7411 0 -1 4202560 2274 0 0 0 29627 5 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106203443240 140107090863885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31376] ppid=31349 vsize=13801768 CPUtime=297.5 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31376/stat : 31376 (java) R 31349 31349 7411 0 -1 4202560 1820 0 0 0 29749 1 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106202390440 140107090863380 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31377] ppid=31349 vsize=13801768 CPUtime=297.2 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31377/stat : 31377 (java) R 31349 31349 7411 0 -1 4202560 2589 0 0 0 29718 2 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106201337040 140107090863963 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
[pid=31350/tid=31378] ppid=31349 vsize=13801768 CPUtime=295.78 cores=1,3,5,7,9,11,13,15
/proc/31350/task/31378/stat : 31378 (java) R 31349 31349 7411 0 -1 4202560 1904 0 0 0 29576 2 0 0 20 0 28 0 4834366 14133010432 827197 33554432000 4194304 4196468 140724627006288 140106200284360 140107090862260 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140724627014844 140724627015020 140724627015020 140724627017679 0
Current children cumulated CPU time (s) 2400.06
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 31350 sig 9
??? kill 31349 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 31349 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3084
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.003084
# while last known CPU time is 2400.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 307.025
CPU time (s): 2400.06
CPU user time (s): 2396.77
CPU system time (s): 3.29
CPU usage (%): 781.715
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003084
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.69149 second user time and 4.1145 second system time
The end