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-4246856-1500688537/watcher-4246856-1500688537 -o /tmp/evaluation-result-4246856-1500688537/solver-4246856-1500688537 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 597560963 HOME/instance-4246856-1500688537.xml
pid=29586
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: 15.40 15.22 14.80 10/270 29589
/proc/meminfo: memFree=30807368/32770624 swapFree=5808/102288
[pid=29589] ppid=29586 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29589/stat : 29589 (xcsp3-exec) S 29586 29589 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4118831 9740288 346 33554432000 4194304 5098028 140727698687232 140727698685336 139639994307196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7303168 140727698695311 140727698695520 140727698695520 140727698698219 0
/proc/29589/statm: 2378 346 289 221 0 87 0
[startup+0.100072 s]
/proc/loadavg: 15.40 15.22 14.80 10/270 29589
/proc/meminfo: memFree=30807368/32770624 swapFree=5808/102288
[pid=29589] ppid=29586 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29589/stat : 29589 (xcsp3-exec) S 29586 29589 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4118831 9740288 346 33554432000 4194304 5098028 140727698687232 140727698685336 139639994307196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7303168 140727698695311 140727698695520 140727698695520 140727698698219 0
/proc/29589/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200334 s]
/proc/loadavg: 15.40 15.22 14.80 10/270 29589
/proc/meminfo: memFree=30807368/32770624 swapFree=5808/102288
[pid=29589] ppid=29586 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29589/stat : 29589 (xcsp3-exec) S 29586 29589 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4118831 9740288 346 33554432000 4194304 5098028 140727698687232 140727698685336 139639994307196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7303168 140727698695311 140727698695520 140727698695520 140727698698219 0
/proc/29589/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300371 s]
/proc/loadavg: 15.40 15.22 14.80 10/270 29589
/proc/meminfo: memFree=30807368/32770624 swapFree=5808/102288
[pid=29589] ppid=29586 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29589/stat : 29589 (xcsp3-exec) S 29586 29589 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4118831 9740288 346 33554432000 4194304 5098028 140727698687232 140727698685336 139639994307196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7303168 140727698695311 140727698695520 140727698695520 140727698698219 0
/proc/29589/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700275 s]
/proc/loadavg: 15.40 15.22 14.80 10/270 29589
/proc/meminfo: memFree=30807368/32770624 swapFree=5808/102288
[pid=29589] ppid=29586 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29589/stat : 29589 (xcsp3-exec) S 29586 29589 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4118831 9740288 346 33554432000 4194304 5098028 140727698687232 140727698685336 139639994307196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7303168 140727698695311 140727698695520 140727698695520 140727698698219 0
/proc/29589/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50196 s]
/proc/loadavg: 15.40 15.22 14.80 14/291 29610
/proc/meminfo: memFree=30617656/32770624 swapFree=5808/102324
[pid=29589] ppid=29586 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29589/stat : 29589 (xcsp3-exec) S 29586 29589 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4118831 9740288 346 33554432000 4194304 5098028 140727698687232 140727698685336 139639994307196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7303168 140727698695311 140727698695520 140727698695520 140727698698219 0
/proc/29589/statm: 2378 346 289 221 0 87 0
[pid=29590] ppid=29589 vsize=13269256 CPUtime=5.65 cores=1,3,5,7,9,11,13,15
/proc/29590/stat : 29590 (java) S 29589 29589 15196 0 -1 1077944320 15854 0 0 0 521 44 0 0 20 0 20 0 4118831 13587718144 65203 33554432000 4194304 4196468 140731274093760 140731274076304 140610189803255 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
/proc/29590/statm: 3317314 65203 3245 1 0 3304547 0
[pid=29590/tid=29591] ppid=29589 vsize=13269256 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29591/stat : 29591 (java) R 29589 29589 15196 0 -1 4202560 6851 0 0 0 133 4 0 0 20 0 20 0 4118832 13587718144 65203 33554432000 4194304 4196468 140731274093760 140610194038488 140609802141333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29593] ppid=29589 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29593/stat : 29593 (java) S 29589 29589 15196 0 -1 1077944384 39 0 0 0 3 4 0 0 20 0 20 0 4118832 13587718144 65203 33554432000 4194304 4196468 140731274093760 140610121939344 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29594] ppid=29589 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29594/stat : 29594 (java) S 29589 29589 15196 0 -1 1077944384 61 0 0 0 4 4 0 0 20 0 20 0 4118832 13587718144 65203 33554432000 4194304 4196468 140731274093760 140610120886544 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29595] ppid=29589 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29595/stat : 29595 (java) S 29589 29589 15196 0 -1 1077944384 38 0 0 0 3 4 0 0 20 0 20 0 4118832 13587718144 65203 33554432000 4194304 4196468 140731274093760 140610119834256 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29596] ppid=29589 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29596/stat : 29596 (java) S 29589 29589 15196 0 -1 1077944384 34 0 0 0 3 4 0 0 20 0 20 0 4118832 13587718144 65203 33554432000 4194304 4196468 140731274093760 140610118781456 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29597] ppid=29589 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29597/stat : 29597 (java) S 29589 29589 15196 0 -1 1077944384 44 0 0 0 4 4 0 0 20 0 20 0 4118833 13587718144 65203 33554432000 4194304 4196468 140731274093760 140610117729168 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29598] ppid=29589 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29598/stat : 29598 (java) S 29589 29589 15196 0 -1 1077944384 61 0 0 0 3 4 0 0 20 0 20 0 4118833 13587718144 65203 33554432000 4194304 4196468 140731274093760 140609783302928 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29599] ppid=29589 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29599/stat : 29599 (java) S 29589 29589 15196 0 -1 1077944384 37 0 0 0 3 4 0 0 20 0 20 0 4118833 13587718144 65203 33554432000 4194304 4196468 140731274093760 140609782250640 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29600] ppid=29589 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29600/stat : 29600 (java) S 29589 29589 15196 0 -1 1077944384 35 0 0 0 3 4 0 0 20 0 20 0 4118833 13587718144 65203 33554432000 4194304 4196468 140731274093760 140609781197840 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29601] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29601/stat : 29601 (java) S 29589 29589 15196 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 4118834 13587718144 65203 33554432000 4194304 4196468 140731274093760 140609719216240 140610189814402 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29602] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29602/stat : 29602 (java) S 29589 29589 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4118835 13587718144 65203 33554432000 4194304 4196468 140731274093760 140609718162208 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29603] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29603/stat : 29603 (java) S 29589 29589 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4118835 13587718144 65203 33554432000 4194304 4196468 140731274093760 140609717109872 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29604] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29604/stat : 29604 (java) S 29589 29589 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4118838 13587718144 65203 33554432000 4194304 4196468 140731274093760 140609716058192 140610189821851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29605] ppid=29589 vsize=13269256 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29605/stat : 29605 (java) R 29589 29589 15196 0 -1 4202560 2375 0 0 0 97 0 0 0 20 0 20 0 4118838 13587718144 65203 33554432000 4194304 4196468 140731274093760 140609714994672 140610170979144 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29606] ppid=29589 vsize=13269256 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29606/stat : 29606 (java) R 29589 29589 15196 0 -1 4202560 1289 0 0 0 98 0 0 0 20 0 20 0 4118838 13587718144 65203 33554432000 4194304 4196468 140731274093760 140608915621576 140610174197131 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29607] ppid=29589 vsize=13269256 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29607/stat : 29607 (java) S 29589 29589 15196 0 -1 1077944384 1552 0 0 0 97 0 0 0 20 0 20 0 4118838 13587718144 65203 33554432000 4194304 4196468 140731274093760 140608914578288 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29608] ppid=29589 vsize=13269256 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29608/stat : 29608 (java) S 29589 29589 15196 0 -1 1077944384 2061 0 0 0 63 1 0 0 20 0 20 0 4118838 13587718144 65203 33554432000 4194304 4196468 140731274093760 140608913525488 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29609] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29609/stat : 29609 (java) S 29589 29589 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4118839 13587718144 65203 33554432000 4194304 4196468 140731274093760 140608912472416 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29610] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29610/stat : 29610 (java) S 29589 29589 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4118839 13587718144 65203 33554432000 4194304 4196468 140731274093760 140608911419696 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 13278768
[startup+3.10143 s]
/proc/loadavg: 15.40 15.22 14.80 13/291 29610
/proc/meminfo: memFree=30350604/32770624 swapFree=5808/102324
[pid=29589] ppid=29586 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29589/stat : 29589 (xcsp3-exec) S 29586 29589 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4118831 9740288 346 33554432000 4194304 5098028 140727698687232 140727698685336 139639994307196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7303168 140727698695311 140727698695520 140727698695520 140727698698219 0
/proc/29589/statm: 2378 346 289 221 0 87 0
[pid=29590] ppid=29589 vsize=13269256 CPUtime=12.8 cores=1,3,5,7,9,11,13,15
/proc/29590/stat : 29590 (java) S 29589 29589 15196 0 -1 1077944320 20449 0 0 0 1035 245 0 0 20 0 20 0 4118831 13587718144 245693 33554432000 4194304 4196468 140731274093760 140731274076304 140610189803255 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
/proc/29590/statm: 3317314 245693 3262 1 0 3304547 0
[pid=29590/tid=29591] ppid=29589 vsize=13269256 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29591/stat : 29591 (java) S 29589 29589 15196 0 -1 1077944384 7161 0 0 0 235 10 0 0 20 0 20 0 4118832 13587718144 245693 33554432000 4194304 4196468 140731274093760 140610194041968 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29593] ppid=29589 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29593/stat : 29593 (java) R 29589 29589 15196 0 -1 4202560 222 0 0 0 28 29 0 0 20 0 20 0 4118832 13587718144 245693 33554432000 4194304 4196468 140731274093760 140610121939232 140610174501030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29594] ppid=29589 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29594/stat : 29594 (java) R 29589 29589 15196 0 -1 4202560 395 0 0 0 29 29 0 0 20 0 20 0 4118832 13587718144 245693 33554432000 4194304 4196468 140731274093760 140610120886744 140610171450346 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29595] ppid=29589 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29595/stat : 29595 (java) R 29589 29589 15196 0 -1 4202560 236 0 0 0 29 29 0 0 20 0 20 0 4118832 13587718144 245693 33554432000 4194304 4196468 140731274093760 140610119834456 140610171399664 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29596] ppid=29589 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29596/stat : 29596 (java) R 29589 29589 15196 0 -1 4202560 236 0 0 0 27 28 0 0 20 0 20 0 4118832 13587718144 245693 33554432000 4194304 4196468 140731274093760 140610118781656 140610174501030 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29597] ppid=29589 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29597/stat : 29597 (java) R 29589 29589 15196 0 -1 4202560 276 0 0 0 30 28 0 0 20 0 20 0 4118833 13587718144 245693 33554432000 4194304 4196468 140731274093760 140610117729368 140610171399873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29598] ppid=29589 vsize=13269256 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29598/stat : 29598 (java) R 29589 29589 15196 0 -1 4202560 284 0 0 0 32 27 0 0 20 0 20 0 4118833 13587718144 245693 33554432000 4194304 4196468 140731274093760 140609783303128 140610171399790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29599] ppid=29589 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29599/stat : 29599 (java) R 29589 29589 15196 0 -1 4202560 232 0 0 0 28 26 0 0 20 0 20 0 4118833 13587718144 245693 33554432000 4194304 4196468 140731274093760 140609782250840 140610171400275 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29600] ppid=29589 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29600/stat : 29600 (java) R 29589 29589 15196 0 -1 4202560 223 0 0 0 29 29 0 0 20 0 20 0 4118833 13587718144 245693 33554432000 4194304 4196468 140731274093760 140609781198040 140610174753958 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29601] ppid=29589 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29601/stat : 29601 (java) S 29589 29589 15196 0 -1 1077944384 634 0 0 0 1 0 0 0 20 0 20 0 4118834 13587718144 245693 33554432000 4194304 4196468 140731274093760 140609719214560 140610189813461 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29602] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29602/stat : 29602 (java) S 29589 29589 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4118835 13587718144 245693 33554432000 4194304 4196468 140731274093760 140609718162272 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29603] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29603/stat : 29603 (java) S 29589 29589 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4118835 13587718144 245693 33554432000 4194304 4196468 140731274093760 140609717109888 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29604] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29604/stat : 29604 (java) S 29589 29589 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4118838 13587718144 245693 33554432000 4194304 4196468 140731274093760 140609716058192 140610189821851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29605] ppid=29589 vsize=13269256 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29605/stat : 29605 (java) S 29589 29589 15196 0 -1 1077944384 2490 0 0 0 163 0 0 0 20 0 20 0 4118838 13587718144 245693 33554432000 4194304 4196468 140731274093760 140609715006064 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29606] ppid=29589 vsize=13269256 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29606/stat : 29606 (java) S 29589 29589 15196 0 -1 1077944384 2146 0 0 0 159 1 0 0 20 0 20 0 4118838 13587718144 245693 33554432000 4194304 4196468 140731274093760 140608915630576 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29607] ppid=29589 vsize=13269256 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29607/stat : 29607 (java) S 29589 29589 15196 0 -1 1077944384 2308 0 0 0 161 0 0 0 20 0 20 0 4118838 13587718144 245693 33554432000 4194304 4196468 140731274093760 140608914578288 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29608] ppid=29589 vsize=13269256 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29608/stat : 29608 (java) S 29589 29589 15196 0 -1 1077944384 2311 0 0 0 79 1 0 0 20 0 20 0 4118838 13587718144 245693 33554432000 4194304 4196468 140731274093760 140608913525488 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29609] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29609/stat : 29609 (java) S 29589 29589 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4118839 13587718144 245693 33554432000 4194304 4196468 140731274093760 140608912472416 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29610] ppid=29589 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29610/stat : 29610 (java) S 29589 29589 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4118839 13587718144 245693 33554432000 4194304 4196468 140731274093760 140608911419696 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 13278768
[startup+6.30119 s]
/proc/loadavg: 14.89 15.12 14.77 17/291 29610
/proc/meminfo: memFree=29269520/32770624 swapFree=5808/102336
[pid=29589] ppid=29586 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29589/stat : 29589 (xcsp3-exec) S 29586 29589 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4118831 9740288 346 33554432000 4194304 5098028 140727698687232 140727698685336 139639994307196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7303168 140727698695311 140727698695520 140727698695520 140727698698219 0
/proc/29589/statm: 2378 346 289 221 0 87 0
[pid=29590] ppid=29589 vsize=13801768 CPUtime=29.08 cores=1,3,5,7,9,11,13,15
/proc/29590/stat : 29590 (java) S 29589 29589 15196 0 -1 1077944320 31263 0 0 0 2399 509 0 0 20 0 28 0 4118831 14133010432 407940 33554432000 4194304 4196468 140731274093760 140731274076304 140610189803255 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
/proc/29590/statm: 3450442 407940 3280 1 0 3437675 0
[pid=29590/tid=29591] ppid=29589 vsize=13801768 CPUtime=3.69 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29591/stat : 29591 (java) S 29589 29589 15196 0 -1 1077944384 9344 0 0 0 356 13 0 0 20 0 28 0 4118832 14133010432 407940 33554432000 4194304 4196468 140731274093760 140610194044032 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29593] ppid=29589 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29593/stat : 29593 (java) S 29589 29589 15196 0 -1 1077944384 514 0 0 0 136 62 0 0 20 0 28 0 4118832 14133010432 407940 33554432000 4194304 4196468 140731274093760 140610121939344 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29594] ppid=29589 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29594/stat : 29594 (java) S 29589 29589 15196 0 -1 1077944384 658 0 0 0 139 60 0 0 20 0 28 0 4118832 14133010432 407940 33554432000 4194304 4196468 140731274093760 140610120886544 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29595] ppid=29589 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29595/stat : 29595 (java) S 29589 29589 15196 0 -1 1077944384 517 0 0 0 137 62 0 0 20 0 28 0 4118832 14133010432 407940 33554432000 4194304 4196468 140731274093760 140610119834256 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29596] ppid=29589 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29596/stat : 29596 (java) S 29589 29589 15196 0 -1 1077944384 496 0 0 0 136 60 0 0 20 0 28 0 4118832 14133010432 407940 33554432000 4194304 4196468 140731274093760 140610118781456 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29597] ppid=29589 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29597/stat : 29597 (java) S 29589 29589 15196 0 -1 1077944384 790 0 0 0 138 60 0 0 20 0 28 0 4118833 14133010432 407940 33554432000 4194304 4196468 140731274093760 140610117729168 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29598] ppid=29589 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29598/stat : 29598 (java) S 29589 29589 15196 0 -1 1077944384 532 0 0 0 139 60 0 0 20 0 28 0 4118833 14133010432 407940 33554432000 4194304 4196468 140731274093760 140609783302928 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29599] ppid=29589 vsize=13801768 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29599/stat : 29599 (java) S 29589 29589 15196 0 -1 1077944384 551 0 0 0 137 58 0 0 20 0 28 0 4118833 14133010432 407940 33554432000 4194304 4196468 140731274093760 140609782250640 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29600] ppid=29589 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29600/stat : 29600 (java) S 29589 29589 15196 0 -1 1077944384 498 0 0 0 135 59 0 0 20 0 28 0 4118833 14133010432 407940 33554432000 4194304 4196468 140731274093760 140609781197840 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29601] ppid=29589 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29601/stat : 29601 (java) S 29589 29589 15196 0 -1 1077944384 2006 0 0 0 10 1 0 0 20 0 28 0 4118834 14133010432 407940 33554432000 4194304 4196468 140731274093760 140609719216240 140610189814402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29602] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29602/stat : 29602 (java) S 29589 29589 15196 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4118835 14133010432 407940 33554432000 4194304 4196468 140731274093760 140609718162272 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29603] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29603/stat : 29603 (java) S 29589 29589 15196 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4118835 14133010432 407940 33554432000 4194304 4196468 140731274093760 140609717109888 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29604] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29604/stat : 29604 (java) S 29589 29589 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4118838 14133010432 407940 33554432000 4194304 4196468 140731274093760 140609716058192 140610189821851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
################
# More data... #
################
[pid=29590/tid=29746] ppid=29589 vsize=13801768 CPUtime=194.96 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29746/stat : 29746 (java) R 29589 29589 15196 0 -1 4202560 12257 0 0 0 19493 3 0 0 20 0 28 0 4132642 14133010432 1464470 33554432000 4194304 4196468 140731274093760 140608157906736 140609800721207 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29747] ppid=29589 vsize=13801768 CPUtime=191.16 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29747/stat : 29747 (java) S 29589 29589 15196 0 -1 1077944384 1362 0 0 0 19116 0 0 0 20 0 28 0 4132642 14133010432 1464470 33554432000 4194304 4196468 140731274093760 140608161067728 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
Current children cumulated CPU time (s) 2293.26
Current children cumulated vsize (KiB) 13811280
[startup+402.301 s]
/proc/loadavg: 11.17 13.73 14.27 15/294 30059
/proc/meminfo: memFree=25711880/32770624 swapFree=5808/103048
[pid=29589] ppid=29586 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29589/stat : 29589 (xcsp3-exec) S 29586 29589 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4118831 9740288 346 33554432000 4194304 5098028 140727698687232 140727698685336 139639994307196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7303168 140727698695311 140727698695520 140727698695520 140727698698219 0
/proc/29589/statm: 2378 346 289 221 0 87 0
[pid=29590] ppid=29589 vsize=13801768 CPUtime=2354.11 cores=1,3,5,7,9,11,13,15
/proc/29590/stat : 29590 (java) S 29589 29589 15196 0 -1 1077944320 798509 0 0 0 234247 1164 0 0 20 0 28 0 4118831 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140731274076304 140610189803255 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
/proc/29590/statm: 3450442 1464529 3310 1 0 3437675 0
[pid=29590/tid=29591] ppid=29589 vsize=13801768 CPUtime=3.7 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29591/stat : 29591 (java) S 29589 29589 15196 0 -1 1077944384 10555 0 0 0 357 13 0 0 20 0 28 0 4118832 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140610194044032 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29593] ppid=29589 vsize=13801768 CPUtime=11.55 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29593/stat : 29593 (java) S 29589 29589 15196 0 -1 1077944384 32773 0 0 0 1024 131 0 0 20 0 28 0 4118832 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140610121939344 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29594] ppid=29589 vsize=13801768 CPUtime=11.63 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29594/stat : 29594 (java) S 29589 29589 15196 0 -1 1077944384 35667 0 0 0 1031 132 0 0 20 0 28 0 4118832 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140610120886544 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29595] ppid=29589 vsize=13801768 CPUtime=11.58 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29595/stat : 29595 (java) S 29589 29589 15196 0 -1 1077944384 28340 0 0 0 1017 141 0 0 20 0 28 0 4118832 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140610119834256 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29596] ppid=29589 vsize=13801768 CPUtime=11.69 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29596/stat : 29596 (java) S 29589 29589 15196 0 -1 1077944384 38618 0 0 0 1038 131 0 0 20 0 28 0 4118832 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140610118781456 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29597] ppid=29589 vsize=13801768 CPUtime=11.6 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29597/stat : 29597 (java) S 29589 29589 15196 0 -1 1077944384 26876 0 0 0 1027 133 0 0 20 0 28 0 4118833 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140610117729168 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29598] ppid=29589 vsize=13801768 CPUtime=11.57 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29598/stat : 29598 (java) S 29589 29589 15196 0 -1 1077944384 23396 0 0 0 1027 130 0 0 20 0 28 0 4118833 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140609783302928 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29599] ppid=29589 vsize=13801768 CPUtime=11.57 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29599/stat : 29599 (java) S 29589 29589 15196 0 -1 1077944384 26150 0 0 0 1037 120 0 0 20 0 28 0 4118833 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140609782250640 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29600] ppid=29589 vsize=13801768 CPUtime=11.47 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29600/stat : 29600 (java) S 29589 29589 15196 0 -1 1077944384 26094 0 0 0 1021 126 0 0 20 0 28 0 4118833 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140609781197840 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29601] ppid=29589 vsize=13801768 CPUtime=4.22 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29601/stat : 29601 (java) S 29589 29589 15196 0 -1 1077944384 18413 0 0 0 410 12 0 0 20 0 28 0 4118834 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140609719216240 140610189814402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29602] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29602/stat : 29602 (java) S 29589 29589 15196 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4118835 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140609718162272 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29603] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29603/stat : 29603 (java) S 29589 29589 15196 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 4118835 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140609717109888 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29604] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29604/stat : 29604 (java) S 29589 29589 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4118838 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140609716058192 140610189821851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29605] ppid=29589 vsize=13801768 CPUtime=4.48 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29605/stat : 29605 (java) S 29589 29589 15196 0 -1 1077944384 18068 0 0 0 445 3 0 0 20 0 28 0 4118838 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140609715006064 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29606] ppid=29589 vsize=13801768 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29606/stat : 29606 (java) S 29589 29589 15196 0 -1 1077944384 19144 0 0 0 437 3 0 0 20 0 28 0 4118838 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608915630576 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29607] ppid=29589 vsize=13801768 CPUtime=5.62 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29607/stat : 29607 (java) S 29589 29589 15196 0 -1 1077944384 29467 0 0 0 557 5 0 0 20 0 28 0 4118838 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608914578288 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29608] ppid=29589 vsize=13801768 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29608/stat : 29608 (java) S 29589 29589 15196 0 -1 1077944384 23483 0 0 0 145 4 0 0 20 0 28 0 4118838 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608913525488 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 5 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29609] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29609/stat : 29609 (java) S 29589 29589 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4118839 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608912472416 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29610] ppid=29589 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29610/stat : 29610 (java) S 29589 29589 15196 0 -1 1077944384 1954 0 0 0 11 15 0 0 20 0 28 0 4118839 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608911419696 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29740] ppid=29589 vsize=13801768 CPUtime=192.65 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29740/stat : 29740 (java) S 29589 29589 15196 0 -1 1077944384 2155 0 0 0 19265 0 0 0 20 0 28 0 4132642 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608165277472 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29741] ppid=29589 vsize=13801768 CPUtime=191.89 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29741/stat : 29741 (java) S 29589 29589 15196 0 -1 1077944384 6738 0 0 0 19187 2 0 0 20 0 28 0 4132642 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608162120656 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29742] ppid=29589 vsize=13801768 CPUtime=191.98 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29742/stat : 29742 (java) S 29589 29589 15196 0 -1 1077944384 3226 0 0 0 19198 0 0 0 20 0 28 0 4132642 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608160015696 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29743] ppid=29589 vsize=13801768 CPUtime=192.15 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29743/stat : 29743 (java) S 29589 29589 15196 0 -1 1077944384 89673 0 0 0 19207 8 0 0 20 0 28 0 4132642 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608158962896 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29744] ppid=29589 vsize=13801768 CPUtime=192 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29744/stat : 29744 (java) S 29589 29589 15196 0 -1 1077944384 3063 0 0 0 19200 0 0 0 20 0 28 0 4132642 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608163173968 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29745] ppid=29589 vsize=13801768 CPUtime=191.91 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29745/stat : 29745 (java) S 29589 29589 15196 0 -1 1077944384 9173 0 0 0 19189 2 0 0 20 0 28 0 4132642 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608164226512 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29746] ppid=29589 vsize=13801768 CPUtime=254.8 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29746/stat : 29746 (java) R 29589 29589 15196 0 -1 4202560 14711 0 0 0 25477 3 0 0 20 0 28 0 4132642 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608157906736 140609798100812 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29747] ppid=29589 vsize=13801768 CPUtime=191.16 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29747/stat : 29747 (java) S 29589 29589 15196 0 -1 1077944384 1362 0 0 0 19116 0 0 0 20 0 28 0 4132642 14133010432 1464529 33554432000 4194304 4196468 140731274093760 140608161067728 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
Current children cumulated CPU time (s) 2354.11
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+447.601 s]
/proc/loadavg: 9.76 12.96 13.98 10/302 30067
/proc/meminfo: memFree=22562496/32770624 swapFree=5808/103088
[pid=29589] ppid=29586 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29589/stat : 29589 (xcsp3-exec) S 29586 29589 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4118831 9740288 346 33554432000 4194304 5098028 140727698687232 140727698685336 139639994307196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7303168 140727698695311 140727698695520 140727698695520 140727698698219 0
/proc/29589/statm: 2378 346 289 221 0 87 0
[pid=29590] ppid=29589 vsize=13801768 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/29590/stat : 29590 (java) S 29589 29589 15196 0 -1 1077944320 810551 0 0 0 238835 1167 0 0 20 0 28 0 4118831 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140731274076304 140610189803255 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
/proc/29590/statm: 3450442 1442273 3310 1 0 3437675 0
[pid=29590/tid=29591] ppid=29589 vsize=13801768 CPUtime=3.7 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29591/stat : 29591 (java) S 29589 29589 15196 0 -1 1077944384 10555 0 0 0 357 13 0 0 20 0 28 0 4118832 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140610194044032 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29593] ppid=29589 vsize=13801768 CPUtime=11.63 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29593/stat : 29593 (java) S 29589 29589 15196 0 -1 1077944384 35272 0 0 0 1032 131 0 0 20 0 28 0 4118832 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140610121939344 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29594] ppid=29589 vsize=13801768 CPUtime=11.72 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29594/stat : 29594 (java) S 29589 29589 15196 0 -1 1077944384 37420 0 0 0 1040 132 0 0 20 0 28 0 4118832 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140610120886544 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29595] ppid=29589 vsize=13801768 CPUtime=11.68 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29595/stat : 29595 (java) S 29589 29589 15196 0 -1 1077944384 29586 0 0 0 1027 141 0 0 20 0 28 0 4118832 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140610119834256 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29596] ppid=29589 vsize=13801768 CPUtime=11.78 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29596/stat : 29596 (java) S 29589 29589 15196 0 -1 1077944384 38943 0 0 0 1047 131 0 0 20 0 28 0 4118832 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140610118781456 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29597] ppid=29589 vsize=13801768 CPUtime=11.69 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29597/stat : 29597 (java) S 29589 29589 15196 0 -1 1077944384 27154 0 0 0 1036 133 0 0 20 0 28 0 4118833 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140610117729168 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29598] ppid=29589 vsize=13801768 CPUtime=11.67 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29598/stat : 29598 (java) S 29589 29589 15196 0 -1 1077944384 24827 0 0 0 1037 130 0 0 20 0 28 0 4118833 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140609783302928 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29599] ppid=29589 vsize=13801768 CPUtime=11.66 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29599/stat : 29599 (java) S 29589 29589 15196 0 -1 1077944384 26905 0 0 0 1045 121 0 0 20 0 28 0 4118833 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140609782250640 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29600] ppid=29589 vsize=13801768 CPUtime=11.55 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29600/stat : 29600 (java) S 29589 29589 15196 0 -1 1077944384 27051 0 0 0 1029 126 0 0 20 0 28 0 4118833 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140609781197840 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29601] ppid=29589 vsize=13801768 CPUtime=4.22 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29601/stat : 29601 (java) S 29589 29589 15196 0 -1 1077944384 18708 0 0 0 410 12 0 0 20 0 28 0 4118834 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140609719216240 140610189814402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29602] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29602/stat : 29602 (java) S 29589 29589 15196 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4118835 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140609718162272 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29603] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29603/stat : 29603 (java) S 29589 29589 15196 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 4118835 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140609717109888 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29604] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29604/stat : 29604 (java) S 29589 29589 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4118838 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140609716058192 140610189821851 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29605] ppid=29589 vsize=13801768 CPUtime=4.48 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29605/stat : 29605 (java) S 29589 29589 15196 0 -1 1077944384 18073 0 0 0 445 3 0 0 20 0 28 0 4118838 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140609715006064 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29606] ppid=29589 vsize=13801768 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29606/stat : 29606 (java) S 29589 29589 15196 0 -1 1077944384 19151 0 0 0 437 3 0 0 20 0 28 0 4118838 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608915630576 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29607] ppid=29589 vsize=13801768 CPUtime=5.62 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29607/stat : 29607 (java) S 29589 29589 15196 0 -1 1077944384 29470 0 0 0 557 5 0 0 20 0 28 0 4118838 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608914578288 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29608] ppid=29589 vsize=13801768 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29608/stat : 29608 (java) S 29589 29589 15196 0 -1 1077944384 23491 0 0 0 145 4 0 0 20 0 28 0 4118838 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608913525488 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 5 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29609] ppid=29589 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29609/stat : 29609 (java) S 29589 29589 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4118839 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608912472416 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29610] ppid=29589 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29610/stat : 29610 (java) S 29589 29589 15196 0 -1 1077944384 1980 0 0 0 12 17 0 0 20 0 28 0 4118839 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608911419696 140610189814402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29740] ppid=29589 vsize=13801768 CPUtime=192.65 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29740/stat : 29740 (java) S 29589 29589 15196 0 -1 1077944384 2155 0 0 0 19265 0 0 0 20 0 28 0 4132642 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608165277472 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29741] ppid=29589 vsize=13801768 CPUtime=191.89 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29741/stat : 29741 (java) S 29589 29589 15196 0 -1 1077944384 6738 0 0 0 19187 2 0 0 20 0 28 0 4132642 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608162120656 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29742] ppid=29589 vsize=13801768 CPUtime=191.98 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29742/stat : 29742 (java) S 29589 29589 15196 0 -1 1077944384 3226 0 0 0 19198 0 0 0 20 0 28 0 4132642 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608160015696 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29743] ppid=29589 vsize=13801768 CPUtime=192.15 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29743/stat : 29743 (java) S 29589 29589 15196 0 -1 1077944384 89673 0 0 0 19207 8 0 0 20 0 28 0 4132642 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608158962896 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29744] ppid=29589 vsize=13801768 CPUtime=192 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29744/stat : 29744 (java) S 29589 29589 15196 0 -1 1077944384 3063 0 0 0 19200 0 0 0 20 0 28 0 4132642 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608163173968 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29745] ppid=29589 vsize=13801768 CPUtime=191.91 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29745/stat : 29745 (java) S 29589 29589 15196 0 -1 1077944384 9173 0 0 0 19189 2 0 0 20 0 28 0 4132642 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608164226512 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29746] ppid=29589 vsize=13801768 CPUtime=299.98 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29746/stat : 29746 (java) R 29589 29589 15196 0 -1 4202560 17165 0 0 0 29994 4 0 0 20 0 28 0 4132642 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608157906736 140609804080783 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
[pid=29590/tid=29747] ppid=29589 vsize=13801768 CPUtime=191.16 cores=1,3,5,7,9,11,13,15
/proc/29590/task/29747/stat : 29747 (java) S 29589 29589 15196 0 -1 1077944384 1362 0 0 0 19116 0 0 0 20 0 28 0 4132642 14133010432 1442273 33554432000 4194304 4196468 140731274093760 140608161067728 140610189813461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140731274101948 140731274102124 140731274102124 140731274104783 0
Current children cumulated CPU time (s) 2400.02
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 29590 sig 9
??? kill 29589 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 29589 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1230
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1230
# CPU time returned by wait4() is 0.00246
# while last known CPU time is 2400.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 447.611
CPU time (s): 2400.02
CPU user time (s): 2388.35
CPU system time (s): 11.67
CPU usage (%): 536.184
Max. virtual memory (cumulated for all children) (KiB): 13813168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00123
system time used= 0.00123
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 5.02756 second user time and 5.7239 second system time
The end