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-4246841-1500688267/watcher-4246841-1500688267 -o /tmp/evaluation-result-4246841-1500688267/solver-4246841-1500688267 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 968322192 HOME/instance-4246841-1500688267.xml
pid=27824
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.20 14.71 14.31 10/271 27827
/proc/meminfo: memFree=21133572/32770624 swapFree=5880/281108
[pid=27827] ppid=27824 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27827/stat : 27827 (xcsp3-exec) S 27824 27827 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4094381 9740288 346 33554432000 4194304 5098028 140729257154672 140729257152776 140122850005628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17616896 140729257161871 140729257162080 140729257162080 140729257164779 0
/proc/27827/statm: 2378 346 289 221 0 87 0
[startup+0.100066 s]
/proc/loadavg: 15.20 14.71 14.31 10/271 27827
/proc/meminfo: memFree=21133572/32770624 swapFree=5880/281108
[pid=27827] ppid=27824 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27827/stat : 27827 (xcsp3-exec) S 27824 27827 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4094381 9740288 346 33554432000 4194304 5098028 140729257154672 140729257152776 140122850005628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17616896 140729257161871 140729257162080 140729257162080 140729257164779 0
/proc/27827/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200323 s]
/proc/loadavg: 15.20 14.71 14.31 10/271 27827
/proc/meminfo: memFree=21133572/32770624 swapFree=5880/281108
[pid=27827] ppid=27824 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27827/stat : 27827 (xcsp3-exec) S 27824 27827 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4094381 9740288 346 33554432000 4194304 5098028 140729257154672 140729257152776 140122850005628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17616896 140729257161871 140729257162080 140729257162080 140729257164779 0
/proc/27827/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300376 s]
/proc/loadavg: 15.20 14.71 14.31 10/271 27827
/proc/meminfo: memFree=21133572/32770624 swapFree=5880/281108
[pid=27827] ppid=27824 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27827/stat : 27827 (xcsp3-exec) S 27824 27827 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4094381 9740288 346 33554432000 4194304 5098028 140729257154672 140729257152776 140122850005628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17616896 140729257161871 140729257162080 140729257162080 140729257164779 0
/proc/27827/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700195 s]
/proc/loadavg: 15.20 14.71 14.31 10/271 27827
/proc/meminfo: memFree=21133572/32770624 swapFree=5880/281108
[pid=27827] ppid=27824 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27827/stat : 27827 (xcsp3-exec) S 27824 27827 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4094381 9740288 346 33554432000 4194304 5098028 140729257154672 140729257152776 140122850005628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17616896 140729257161871 140729257162080 140729257162080 140729257164779 0
/proc/27827/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50114 s]
/proc/loadavg: 15.20 14.71 14.31 14/292 27848
/proc/meminfo: memFree=20946252/32770624 swapFree=5880/281104
[pid=27827] ppid=27824 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27827/stat : 27827 (xcsp3-exec) S 27824 27827 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4094381 9740288 346 33554432000 4194304 5098028 140729257154672 140729257152776 140122850005628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17616896 140729257161871 140729257162080 140729257162080 140729257164779 0
/proc/27827/statm: 2378 346 289 221 0 87 0
[pid=27828] ppid=27827 vsize=13269256 CPUtime=5.28 cores=0,2,4,6,8,10,12,14
/proc/27828/stat : 27828 (java) S 27827 27827 7744 0 -1 1077944320 15357 0 0 0 494 34 0 0 20 0 20 0 4094381 13587718144 63249 33554432000 4194304 4196468 140732675649552 140732675632096 139923515670263 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
/proc/27828/statm: 3317314 63249 3237 1 0 3304547 0
[pid=27828/tid=27829] ppid=27827 vsize=13269256 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27829/stat : 27829 (java) R 27827 27827 7744 0 -1 4202560 6834 0 0 0 135 4 0 0 20 0 20 0 4094381 13587718144 63249 33554432000 4194304 4196468 140732675649552 139923519905368 139923144724625 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27831] ppid=27827 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27831/stat : 27831 (java) S 27827 27827 7744 0 -1 1077944384 34 0 0 0 2 2 0 0 20 0 20 0 4094382 13587718144 63249 33554432000 4194304 4196468 140732675649552 139923468290704 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27832] ppid=27827 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27832/stat : 27832 (java) S 27827 27827 7744 0 -1 1077944384 28 0 0 0 3 3 0 0 20 0 20 0 4094382 13587718144 63249 33554432000 4194304 4196468 140732675649552 139923467237904 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27833] ppid=27827 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27833/stat : 27833 (java) S 27827 27827 7744 0 -1 1077944384 38 0 0 0 3 3 0 0 20 0 20 0 4094382 13587718144 63249 33554432000 4194304 4196468 140732675649552 139923466185104 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27834] ppid=27827 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27834/stat : 27834 (java) S 27827 27827 7744 0 -1 1077944384 37 0 0 0 3 3 0 0 20 0 20 0 4094382 13587718144 63249 33554432000 4194304 4196468 140732675649552 139923465132304 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27835] ppid=27827 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27835/stat : 27835 (java) S 27827 27827 7744 0 -1 1077944384 86 0 0 0 3 3 0 0 20 0 20 0 4094382 13587718144 63249 33554432000 4194304 4196468 140732675649552 139923464080528 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27836] ppid=27827 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27836/stat : 27836 (java) S 27827 27827 7744 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 20 0 4094382 13587718144 63249 33554432000 4194304 4196468 140732675649552 139923463027728 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27837] ppid=27827 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27837/stat : 27837 (java) S 27827 27827 7744 0 -1 1077944384 30 0 0 0 2 3 0 0 20 0 20 0 4094382 13587718144 63249 33554432000 4194304 4196468 140732675649552 139923461974928 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27838] ppid=27827 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27838/stat : 27838 (java) S 27827 27827 7744 0 -1 1077944384 32 0 0 0 3 3 0 0 20 0 20 0 4094382 13587718144 63249 33554432000 4194304 4196468 140732675649552 139923460922128 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27839] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27839/stat : 27839 (java) S 27827 27827 7744 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4094385 13587718144 63249 33554432000 4194304 4196468 140732675649552 139922977540464 139923515681410 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27840] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27840/stat : 27840 (java) S 27827 27827 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4094386 13587718144 63249 33554432000 4194304 4196468 140732675649552 139922976486496 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27841] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27841/stat : 27841 (java) S 27827 27827 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4094386 13587718144 63249 33554432000 4194304 4196468 140732675649552 139922975433600 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27842] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27842/stat : 27842 (java) S 27827 27827 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4094390 13587718144 63249 33554432000 4194304 4196468 140732675649552 139922974381904 139923515688859 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27843] ppid=27827 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27843/stat : 27843 (java) R 27827 27827 7744 0 -1 4202560 1919 0 0 0 90 1 0 0 20 0 20 0 4094390 13587718144 63249 33554432000 4194304 4196468 140732675649552 139922973329424 139923494887541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27844] ppid=27827 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27844/stat : 27844 (java) R 27827 27827 7744 0 -1 4202560 1545 0 0 0 91 0 0 0 20 0 20 0 4094390 13587718144 63249 33554432000 4194304 4196468 140732675649552 139922972268832 139923497191654 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27845] ppid=27827 vsize=13269256 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27845/stat : 27845 (java) R 27827 27827 7744 0 -1 4202560 1378 0 0 0 92 0 0 0 20 0 20 0 4094390 13587718144 63249 33554432000 4194304 4196468 140732675649552 139922971211504 139923501734240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27846] ppid=27827 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27846/stat : 27846 (java) S 27827 27827 7744 0 -1 1077944384 1981 0 0 0 60 0 0 0 20 0 20 0 4094390 13587718144 63249 33554432000 4194304 4196468 140732675649552 139922970171888 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27847] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27847/stat : 27847 (java) S 27827 27827 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4094391 13587718144 63249 33554432000 4194304 4196468 140732675649552 139922969119328 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27848] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27848/stat : 27848 (java) S 27827 27827 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4094391 13587718144 63249 33554432000 4194304 4196468 140732675649552 139922968066608 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 13278768
[startup+3.10153 s]
/proc/loadavg: 15.20 14.71 14.31 13/292 27848
/proc/meminfo: memFree=20638664/32770624 swapFree=5880/281104
[pid=27827] ppid=27824 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27827/stat : 27827 (xcsp3-exec) S 27824 27827 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4094381 9740288 346 33554432000 4194304 5098028 140729257154672 140729257152776 140122850005628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17616896 140729257161871 140729257162080 140729257162080 140729257164779 0
/proc/27827/statm: 2378 346 289 221 0 87 0
[pid=27828] ppid=27827 vsize=13269256 CPUtime=12.47 cores=0,2,4,6,8,10,12,14
/proc/27828/stat : 27828 (java) S 27827 27827 7744 0 -1 1077944320 22460 0 0 0 1062 185 0 0 20 0 20 0 4094381 13587718144 218195 33554432000 4194304 4196468 140732675649552 140732675632096 139923515670263 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
/proc/27828/statm: 3317314 218195 3257 1 0 3304547 0
[pid=27828/tid=27829] ppid=27827 vsize=13269256 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27829/stat : 27829 (java) S 27827 27827 7744 0 -1 1077944384 7196 0 0 0 250 10 0 0 20 0 20 0 4094381 13587718144 218195 33554432000 4194304 4196468 140732675649552 139923519907904 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27831] ppid=27827 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27831/stat : 27831 (java) R 27827 27827 7744 0 -1 4202560 195 0 0 0 21 21 0 0 20 0 20 0 4094382 13587718144 218195 33554432000 4194304 4196468 140732675649552 139923468290904 139923500698137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27832] ppid=27827 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27832/stat : 27832 (java) R 27827 27827 7744 0 -1 4202560 173 0 0 0 21 21 0 0 20 0 20 0 4094382 13587718144 218195 33554432000 4194304 4196468 140732675649552 139923467238104 139923500698128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27833] ppid=27827 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27833/stat : 27833 (java) R 27827 27827 7744 0 -1 4202560 204 0 0 0 22 21 0 0 20 0 20 0 4094382 13587718144 218195 33554432000 4194304 4196468 140732675649552 139923466185304 139923508766964 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27834] ppid=27827 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27834/stat : 27834 (java) R 27827 27827 7744 0 -1 4202560 210 0 0 0 22 21 0 0 20 0 20 0 4094382 13587718144 218195 33554432000 4194304 4196468 140732675649552 139923465132504 139923508774931 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27835] ppid=27827 vsize=13269256 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27835/stat : 27835 (java) R 27827 27827 7744 0 -1 4202560 235 0 0 0 23 21 0 0 20 0 20 0 4094382 13587718144 218195 33554432000 4194304 4196468 140732675649552 139923464080728 139923500697386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27836] ppid=27827 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27836/stat : 27836 (java) R 27827 27827 7744 0 -1 4202560 285 0 0 0 19 18 0 0 20 0 20 0 4094382 13587718144 218195 33554432000 4194304 4196468 140732675649552 139923463027928 139923500697682 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27837] ppid=27827 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27837/stat : 27837 (java) R 27827 27827 7744 0 -1 4202560 165 0 0 0 22 21 0 0 20 0 20 0 4094382 13587718144 218195 33554432000 4194304 4196468 140732675649552 139923461974816 139923500118478 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27838] ppid=27827 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27838/stat : 27838 (java) R 27827 27827 7744 0 -1 4202560 173 0 0 0 22 21 0 0 20 0 20 0 4094382 13587718144 218195 33554432000 4194304 4196468 140732675649552 139923460922328 139923500697095 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27839] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27839/stat : 27839 (java) S 27827 27827 7744 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 20 0 4094385 13587718144 218195 33554432000 4194304 4196468 140732675649552 139922977538976 139923515680469 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27840] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27840/stat : 27840 (java) S 27827 27827 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4094386 13587718144 218195 33554432000 4194304 4196468 140732675649552 139922976486496 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27841] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27841/stat : 27841 (java) S 27827 27827 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4094386 13587718144 218195 33554432000 4194304 4196468 140732675649552 139922975433600 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27842] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27842/stat : 27842 (java) S 27827 27827 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4094390 13587718144 218195 33554432000 4194304 4196468 140732675649552 139922974381904 139923515688859 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27843] ppid=27827 vsize=13269256 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27843/stat : 27843 (java) S 27827 27827 7744 0 -1 1077944384 3125 0 0 0 183 1 0 0 20 0 20 0 4094390 13587718144 218195 33554432000 4194304 4196468 140732675649552 139922973315280 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27844] ppid=27827 vsize=13269256 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27844/stat : 27844 (java) S 27827 27827 7744 0 -1 1077944384 3018 0 0 0 181 0 0 0 20 0 20 0 4094390 13587718144 218195 33554432000 4194304 4196468 140732675649552 139922972277488 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27845] ppid=27827 vsize=13269256 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27845/stat : 27845 (java) S 27827 27827 7744 0 -1 1077944384 3709 0 0 0 195 1 0 0 20 0 20 0 4094390 13587718144 218195 33554432000 4194304 4196468 140732675649552 139922971224688 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27846] ppid=27827 vsize=13269256 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27846/stat : 27846 (java) S 27827 27827 7744 0 -1 1077944384 2266 0 0 0 75 1 0 0 20 0 20 0 4094390 13587718144 218195 33554432000 4194304 4196468 140732675649552 139922970171888 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27847] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27847/stat : 27847 (java) S 27827 27827 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4094391 13587718144 218195 33554432000 4194304 4196468 140732675649552 139922969119328 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27848] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27848/stat : 27848 (java) S 27827 27827 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4094391 13587718144 218195 33554432000 4194304 4196468 140732675649552 139922968066608 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 13278768
[startup+6.30106 s]
/proc/loadavg: 14.70 14.62 14.28 17/292 27848
/proc/meminfo: memFree=19618192/32770624 swapFree=5880/281116
[pid=27827] ppid=27824 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27827/stat : 27827 (xcsp3-exec) S 27824 27827 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4094381 9740288 346 33554432000 4194304 5098028 140729257154672 140729257152776 140122850005628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17616896 140729257161871 140729257162080 140729257162080 140729257164779 0
/proc/27827/statm: 2378 346 289 221 0 87 0
[pid=27828] ppid=27827 vsize=13269256 CPUtime=30.23 cores=0,2,4,6,8,10,12,14
/proc/27828/stat : 27828 (java) S 27827 27827 7744 0 -1 1077944320 42145 0 0 0 2427 596 0 0 20 0 20 0 4094381 13587718144 466942 33554432000 4194304 4196468 140732675649552 140732675632096 139923515670263 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
/proc/27828/statm: 3317314 466942 3273 1 0 3304547 0
[pid=27828/tid=27829] ppid=27827 vsize=13269256 CPUtime=3.58 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27829/stat : 27829 (java) S 27827 27827 7744 0 -1 1077944384 7562 0 0 0 345 13 0 0 20 0 20 0 4094381 13587718144 466942 33554432000 4194304 4196468 140732675649552 139923519908720 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27831] ppid=27827 vsize=13269256 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27831/stat : 27831 (java) R 27827 27827 7744 0 -1 4202560 1564 0 0 0 175 71 0 0 20 0 20 0 4094382 13587718144 466942 33554432000 4194304 4196468 140732675649552 139923468290904 139923500659752 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27832] ppid=27827 vsize=13269256 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27832/stat : 27832 (java) R 27827 27827 7744 0 -1 4202560 1579 0 0 0 173 73 0 0 20 0 20 0 4094382 13587718144 467454 33554432000 4194304 4196468 140732675649552 139923467238104 139923500666689 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27833] ppid=27827 vsize=13269256 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27833/stat : 27833 (java) R 27827 27827 7744 0 -1 4202560 1390 0 0 0 174 72 0 0 20 0 20 0 4094382 13587718144 467454 33554432000 4194304 4196468 140732675649552 139923466184992 139923500370867 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27834] ppid=27827 vsize=13269256 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27834/stat : 27834 (java) R 27827 27827 7744 0 -1 4202560 1625 0 0 0 175 72 0 0 20 0 20 0 4094382 13587718144 467454 33554432000 4194304 4196468 140732675649552 139923465132504 139923500370896 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27835] ppid=27827 vsize=13269256 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27835/stat : 27835 (java) R 27827 27827 7744 0 -1 4202560 1305 0 0 0 176 70 0 0 20 0 20 0 4094382 13587718144 467454 33554432000 4194304 4196468 140732675649552 139923464080728 139923500370944 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27836] ppid=27827 vsize=13269256 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27836/stat : 27836 (java) R 27827 27827 7744 0 -1 4202560 1459 0 0 0 172 69 0 0 20 0 20 0 4094382 13587718144 467454 33554432000 4194304 4196468 140732675649552 139923463027928 139923500666363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27837] ppid=27827 vsize=13269256 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27837/stat : 27837 (java) R 27827 27827 7744 0 -1 4202560 1159 0 0 0 176 72 0 0 20 0 20 0 4094382 13587718144 467454 33554432000 4194304 4196468 140732675649552 139923461975128 139923500666241 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27838] ppid=27827 vsize=13269256 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27838/stat : 27838 (java) R 27827 27827 7744 0 -1 4202560 1537 0 0 0 175 72 0 0 20 0 20 0 4094382 13587718144 467454 33554432000 4194304 4196468 140732675649552 139923460922328 139923508774966 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27839] ppid=27827 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27839/stat : 27839 (java) S 27827 27827 7744 0 -1 1077944384 5051 0 0 0 15 0 0 0 20 0 20 0 4094385 13587718144 467454 33554432000 4194304 4196468 140732675649552 139922977539008 139923515680469 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27840] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27840/stat : 27840 (java) S 27827 27827 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4094386 13587718144 467454 33554432000 4194304 4196468 140732675649552 139922976486496 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27841] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27841/stat : 27841 (java) S 27827 27827 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4094386 13587718144 467454 33554432000 4194304 4196468 140732675649552 139922975433600 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27842] ppid=27827 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27842/stat : 27842 (java) S 27827 27827 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4094390 13587718144 467454 33554432000 4194304 4196468 140732675649552 139922974381904 139923515688859 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
################
# More data... #
################
[pid=27828/tid=28110] ppid=27827 vsize=13801768 CPUtime=10.3 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28110/stat : 28110 (java) R 27827 27827 7744 0 -1 4202560 2256 0 0 0 1030 0 0 0 20 0 28 0 4121579 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922957393864 139923142427230 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28111] ppid=27827 vsize=13801768 CPUtime=10.14 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28111/stat : 28111 (java) R 27827 27827 7744 0 -1 4202560 511 0 0 0 1014 0 0 0 20 0 28 0 4121579 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922955290616 139923142426544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
Current children cumulated CPU time (s) 1779.78
Current children cumulated vsize (KiB) 13811280
[startup+342.302 s]
/proc/loadavg: 8.77 10.68 12.64 10/291 28112
/proc/meminfo: memFree=18205028/32770624 swapFree=5880/282020
[pid=27827] ppid=27824 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27827/stat : 27827 (xcsp3-exec) S 27824 27827 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4094381 9740288 346 33554432000 4194304 5098028 140729257154672 140729257152776 140122850005628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17616896 140729257161871 140729257162080 140729257162080 140729257164779 0
/proc/27827/statm: 2378 346 289 221 0 87 0
[pid=27828] ppid=27827 vsize=13801768 CPUtime=2257.5 cores=0,2,4,6,8,10,12,14
/proc/27828/stat : 27828 (java) S 27827 27827 7744 0 -1 1077944320 329156 0 0 0 224317 1433 0 0 20 0 28 0 4094381 14133010432 1921366 33554432000 4194304 4196468 140732675649552 140732675632096 139923515670263 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
/proc/27828/statm: 3450442 1921366 3298 1 0 3437675 0
[pid=27828/tid=27829] ppid=27827 vsize=13801768 CPUtime=5.16 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27829/stat : 27829 (java) S 27827 27827 7744 0 -1 1077944384 10284 0 0 0 500 16 0 0 20 0 28 0 4094381 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139923519911040 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27831] ppid=27827 vsize=13801768 CPUtime=25.25 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27831/stat : 27831 (java) S 27827 27827 7744 0 -1 1077944384 6728 0 0 0 2358 167 0 0 20 0 28 0 4094382 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139923468290704 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27832] ppid=27827 vsize=13801768 CPUtime=25.33 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27832/stat : 27832 (java) S 27827 27827 7744 0 -1 1077944384 6726 0 0 0 2355 178 0 0 20 0 28 0 4094382 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139923467237904 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27833] ppid=27827 vsize=13801768 CPUtime=25.46 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27833/stat : 27833 (java) S 27827 27827 7744 0 -1 1077944384 7510 0 0 0 2379 167 0 0 20 0 28 0 4094382 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139923466185104 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27834] ppid=27827 vsize=13801768 CPUtime=25.21 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27834/stat : 27834 (java) S 27827 27827 7744 0 -1 1077944384 7873 0 0 0 2350 171 0 0 20 0 28 0 4094382 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139923465132304 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27835] ppid=27827 vsize=13801768 CPUtime=25.23 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27835/stat : 27835 (java) S 27827 27827 7744 0 -1 1077944384 5382 0 0 0 2356 167 0 0 20 0 28 0 4094382 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139923464080528 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27836] ppid=27827 vsize=13801768 CPUtime=25.05 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27836/stat : 27836 (java) S 27827 27827 7744 0 -1 1077944384 7017 0 0 0 2345 160 0 0 20 0 28 0 4094382 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139923463027728 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27837] ppid=27827 vsize=13801768 CPUtime=25.14 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27837/stat : 27837 (java) S 27827 27827 7744 0 -1 1077944384 6305 0 0 0 2351 163 0 0 20 0 28 0 4094382 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139923461974928 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27838] ppid=27827 vsize=13801768 CPUtime=25.43 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27838/stat : 27838 (java) S 27827 27827 7744 0 -1 1077944384 5475 0 0 0 2379 164 0 0 20 0 28 0 4094382 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139923460922128 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27839] ppid=27827 vsize=13801768 CPUtime=4.4 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27839/stat : 27839 (java) S 27827 27827 7744 0 -1 1077944384 23581 0 0 0 431 9 0 0 20 0 28 0 4094385 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922977540464 139923515681410 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27840] ppid=27827 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27840/stat : 27840 (java) S 27827 27827 7744 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4094386 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922976486496 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27841] ppid=27827 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27841/stat : 27841 (java) S 27827 27827 7744 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4094386 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922975433600 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27842] ppid=27827 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27842/stat : 27842 (java) S 27827 27827 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4094390 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922974381904 139923515688859 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27843] ppid=27827 vsize=13801768 CPUtime=4.81 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27843/stat : 27843 (java) S 27827 27827 7744 0 -1 1077944384 22512 0 0 0 475 6 0 0 20 0 28 0 4094390 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922973330288 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27844] ppid=27827 vsize=13801768 CPUtime=4.47 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27844/stat : 27844 (java) S 27827 27827 7744 0 -1 1077944384 16974 0 0 0 445 2 0 0 20 0 28 0 4094390 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922972277488 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27845] ppid=27827 vsize=13801768 CPUtime=5.18 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27845/stat : 27845 (java) S 27827 27827 7744 0 -1 1077944384 22211 0 0 0 514 4 0 0 20 0 28 0 4094390 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922971224688 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27846] ppid=27827 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27846/stat : 27846 (java) S 27827 27827 7744 0 -1 1077944384 21900 0 0 0 132 4 0 0 20 0 28 0 4094390 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922970171888 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27847] ppid=27827 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27847/stat : 27847 (java) S 27827 27827 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4094391 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922969119328 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27848] ppid=27827 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27848/stat : 27848 (java) S 27827 27827 7744 0 -1 1077944384 1672 0 0 0 12 14 0 0 20 0 28 0 4094391 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922968066608 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28104] ppid=27827 vsize=13801768 CPUtime=68.75 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28104/stat : 28104 (java) R 27827 27827 7744 0 -1 4202560 2056 0 0 0 6874 1 0 0 20 0 28 0 4121579 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922958447264 139923142449228 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28105] ppid=27827 vsize=13801768 CPUtime=69.93 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28105/stat : 28105 (java) R 27827 27827 7744 0 -1 4202560 889 0 0 0 6993 0 0 0 20 0 28 0 4121579 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922960551416 139923146005451 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28106] ppid=27827 vsize=13801768 CPUtime=70.18 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28106/stat : 28106 (java) R 27827 27827 7744 0 -1 4202560 2174 0 0 0 7018 0 0 0 20 0 28 0 4121579 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922956341624 139923143817349 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28107] ppid=27827 vsize=13801768 CPUtime=70.21 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28107/stat : 28107 (java) R 27827 27827 7744 0 -1 4202560 1226 0 0 0 7021 0 0 0 20 0 28 0 4121579 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922959499432 139923146005553 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28108] ppid=27827 vsize=13801768 CPUtime=70.16 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28108/stat : 28108 (java) R 27827 27827 7744 0 -1 4202560 10595 0 0 0 7015 1 0 0 20 0 28 0 4121579 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922954236600 139923143818178 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28109] ppid=27827 vsize=13801768 CPUtime=70.18 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28109/stat : 28109 (java) R 27827 27827 7744 0 -1 4202560 1731 0 0 0 7018 0 0 0 20 0 28 0 4121579 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922953183224 139923146004254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28110] ppid=27827 vsize=13801768 CPUtime=70.06 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28110/stat : 28110 (java) R 27827 27827 7744 0 -1 4202560 5596 0 0 0 7006 0 0 0 20 0 28 0 4121579 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922957394048 139923142426362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28111] ppid=27827 vsize=13801768 CPUtime=69.28 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28111/stat : 28111 (java) R 27827 27827 7744 0 -1 4202560 1393 0 0 0 6928 0 0 0 20 0 28 0 4121579 14133010432 1921366 33554432000 4194304 4196468 140732675649552 139922955287600 139923143538254 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
Current children cumulated CPU time (s) 2257.5
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+360.202 s]
/proc/loadavg: 8.76 10.56 12.55 10/291 28112
/proc/meminfo: memFree=17079988/32770624 swapFree=5880/282032
[pid=27827] ppid=27824 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27827/stat : 27827 (xcsp3-exec) S 27824 27827 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4094381 9740288 346 33554432000 4194304 5098028 140729257154672 140729257152776 140122850005628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17616896 140729257161871 140729257162080 140729257162080 140729257164779 0
/proc/27827/statm: 2378 346 289 221 0 87 0
[pid=27828] ppid=27827 vsize=13801768 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/27828/stat : 27828 (java) S 27827 27827 7744 0 -1 1077944320 334443 0 0 0 238563 1437 0 0 20 0 28 0 4094381 14133010432 1921367 33554432000 4194304 4196468 140732675649552 140732675632096 139923515670263 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
/proc/27828/statm: 3450442 1921367 3298 1 0 3437675 0
[pid=27828/tid=27829] ppid=27827 vsize=13801768 CPUtime=5.16 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27829/stat : 27829 (java) S 27827 27827 7744 0 -1 1077944384 10284 0 0 0 500 16 0 0 20 0 28 0 4094381 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139923519911040 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27831] ppid=27827 vsize=13801768 CPUtime=25.25 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27831/stat : 27831 (java) S 27827 27827 7744 0 -1 1077944384 6728 0 0 0 2358 167 0 0 20 0 28 0 4094382 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139923468290704 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27832] ppid=27827 vsize=13801768 CPUtime=25.33 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27832/stat : 27832 (java) S 27827 27827 7744 0 -1 1077944384 6726 0 0 0 2355 178 0 0 20 0 28 0 4094382 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139923467237904 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27833] ppid=27827 vsize=13801768 CPUtime=25.46 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27833/stat : 27833 (java) S 27827 27827 7744 0 -1 1077944384 7510 0 0 0 2379 167 0 0 20 0 28 0 4094382 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139923466185104 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27834] ppid=27827 vsize=13801768 CPUtime=25.21 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27834/stat : 27834 (java) S 27827 27827 7744 0 -1 1077944384 7873 0 0 0 2350 171 0 0 20 0 28 0 4094382 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139923465132304 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27835] ppid=27827 vsize=13801768 CPUtime=25.23 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27835/stat : 27835 (java) S 27827 27827 7744 0 -1 1077944384 5382 0 0 0 2356 167 0 0 20 0 28 0 4094382 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139923464080528 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27836] ppid=27827 vsize=13801768 CPUtime=25.05 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27836/stat : 27836 (java) S 27827 27827 7744 0 -1 1077944384 7017 0 0 0 2345 160 0 0 20 0 28 0 4094382 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139923463027728 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27837] ppid=27827 vsize=13801768 CPUtime=25.14 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27837/stat : 27837 (java) S 27827 27827 7744 0 -1 1077944384 6305 0 0 0 2351 163 0 0 20 0 28 0 4094382 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139923461974928 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27838] ppid=27827 vsize=13801768 CPUtime=25.43 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27838/stat : 27838 (java) S 27827 27827 7744 0 -1 1077944384 5475 0 0 0 2379 164 0 0 20 0 28 0 4094382 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139923460922128 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27839] ppid=27827 vsize=13801768 CPUtime=4.41 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27839/stat : 27839 (java) S 27827 27827 7744 0 -1 1077944384 23636 0 0 0 431 10 0 0 20 0 28 0 4094385 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922977540464 139923515681410 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27840] ppid=27827 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27840/stat : 27840 (java) S 27827 27827 7744 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4094386 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922976486496 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27841] ppid=27827 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27841/stat : 27841 (java) S 27827 27827 7744 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4094386 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922975433600 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27842] ppid=27827 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27842/stat : 27842 (java) S 27827 27827 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4094390 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922974381904 139923515688859 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27843] ppid=27827 vsize=13801768 CPUtime=4.91 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27843/stat : 27843 (java) S 27827 27827 7744 0 -1 1077944384 23443 0 0 0 485 6 0 0 20 0 28 0 4094390 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922973330288 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27844] ppid=27827 vsize=13801768 CPUtime=4.5 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27844/stat : 27844 (java) S 27827 27827 7744 0 -1 1077944384 17288 0 0 0 448 2 0 0 20 0 28 0 4094390 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922972277488 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27845] ppid=27827 vsize=13801768 CPUtime=5.27 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27845/stat : 27845 (java) S 27827 27827 7744 0 -1 1077944384 23814 0 0 0 523 4 0 0 20 0 28 0 4094390 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922971224688 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27846] ppid=27827 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27846/stat : 27846 (java) S 27827 27827 7744 0 -1 1077944384 22300 0 0 0 133 4 0 0 20 0 28 0 4094390 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922970171888 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27847] ppid=27827 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27847/stat : 27847 (java) S 27827 27827 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4094391 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922969119328 139923515680469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=27848] ppid=27827 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/27828/task/27848/stat : 27848 (java) S 27827 27827 7744 0 -1 1077944384 1679 0 0 0 13 15 0 0 20 0 28 0 4094391 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922968066608 139923515681410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28104] ppid=27827 vsize=13801768 CPUtime=86.32 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28104/stat : 28104 (java) R 27827 27827 7744 0 -1 4202560 2318 0 0 0 8631 1 0 0 20 0 28 0 4121579 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922958447000 139923141539155 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28105] ppid=27827 vsize=13801768 CPUtime=87.72 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28105/stat : 28105 (java) R 27827 27827 7744 0 -1 4202560 1009 0 0 0 8772 0 0 0 20 0 28 0 4121579 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922960551640 139923146005018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28106] ppid=27827 vsize=13801768 CPUtime=88.05 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28106/stat : 28106 (java) R 27827 27827 7744 0 -1 4202560 2571 0 0 0 8805 0 0 0 20 0 28 0 4121579 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922956341848 139923142604159 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28107] ppid=27827 vsize=13801768 CPUtime=88.06 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28107/stat : 28107 (java) R 27827 27827 7744 0 -1 4202560 1376 0 0 0 8806 0 0 0 20 0 28 0 4121579 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922959499928 139923141538025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28108] ppid=27827 vsize=13801768 CPUtime=88.03 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28108/stat : 28108 (java) R 27827 27827 7744 0 -1 4202560 10667 0 0 0 8802 1 0 0 20 0 28 0 4121579 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922954236024 139923146004192 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28109] ppid=27827 vsize=13801768 CPUtime=87.76 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28109/stat : 28109 (java) R 27827 27827 7744 0 -1 4202560 2073 0 0 0 8776 0 0 0 20 0 28 0 4121579 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922953183312 139923142427017 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28110] ppid=27827 vsize=13801768 CPUtime=87.93 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28110/stat : 28110 (java) R 27827 27827 7744 0 -1 4202560 6042 0 0 0 8792 1 0 0 20 0 28 0 4121579 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922957393864 139923142427160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
[pid=27828/tid=28111] ppid=27827 vsize=13801768 CPUtime=87.14 cores=0,2,4,6,8,10,12,14
/proc/27828/task/28111/stat : 28111 (java) R 27827 27827 7744 0 -1 4202560 1581 0 0 0 8714 0 0 0 20 0 28 0 4121579 14133010432 1921367 33554432000 4194304 4196468 140732675649552 139922955288312 139923143538305 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24657920 140732675650748 140732675650924 140732675650924 140732675653583 0
Current children cumulated CPU time (s) 2400
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 27828 sig 9
??? kill 27827 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 27827 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1568
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1568
# CPU time returned by wait4() is 0.003136
# while last known CPU time is 2400
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 360.213
CPU time (s): 2400
CPU user time (s): 2385.63
CPU system time (s): 14.37
CPU usage (%): 666.273
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001568
system time used= 0.001568
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 4.30726 second user time and 5.38756 second system time
The end