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-4245210-1500685640/watcher-4245210-1500685640 -o /tmp/evaluation-result-4245210-1500685640/solver-4245210-1500685640 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1857055205 HOME/instance-4245210-1500685640.xml
pid=28921
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.78 15.11 14.55 10/271 28924
/proc/meminfo: memFree=28485036/32770624 swapFree=5972/219804
[pid=28924] ppid=28921 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28924/stat : 28924 (xcsp3-exec) S 28921 28924 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3833510 9740288 346 33554432000 4194304 5098028 140720334269488 140720334267592 139649704321660 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20615168 140720334275726 140720334275936 140720334275936 140720334278635 0
/proc/28924/statm: 2378 346 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 15.78 15.11 14.55 10/271 28924
/proc/meminfo: memFree=28485036/32770624 swapFree=5972/219804
[pid=28924] ppid=28921 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28924/stat : 28924 (xcsp3-exec) S 28921 28924 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3833510 9740288 346 33554432000 4194304 5098028 140720334269488 140720334267592 139649704321660 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20615168 140720334275726 140720334275936 140720334275936 140720334278635 0
/proc/28924/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200275 s]
/proc/loadavg: 15.78 15.11 14.55 10/271 28924
/proc/meminfo: memFree=28485036/32770624 swapFree=5972/219804
[pid=28924] ppid=28921 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28924/stat : 28924 (xcsp3-exec) S 28921 28924 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3833510 9740288 346 33554432000 4194304 5098028 140720334269488 140720334267592 139649704321660 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20615168 140720334275726 140720334275936 140720334275936 140720334278635 0
/proc/28924/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300342 s]
/proc/loadavg: 15.78 15.11 14.55 10/271 28924
/proc/meminfo: memFree=28485036/32770624 swapFree=5972/219804
[pid=28924] ppid=28921 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28924/stat : 28924 (xcsp3-exec) S 28921 28924 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3833510 9740288 346 33554432000 4194304 5098028 140720334269488 140720334267592 139649704321660 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20615168 140720334275726 140720334275936 140720334275936 140720334278635 0
/proc/28924/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700238 s]
/proc/loadavg: 15.78 15.11 14.55 10/271 28924
/proc/meminfo: memFree=28485036/32770624 swapFree=5972/219804
[pid=28924] ppid=28921 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28924/stat : 28924 (xcsp3-exec) S 28921 28924 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3833510 9740288 346 33554432000 4194304 5098028 140720334269488 140720334267592 139649704321660 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20615168 140720334275726 140720334275936 140720334275936 140720334278635 0
/proc/28924/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50145 s]
/proc/loadavg: 15.78 15.11 14.55 19/300 28953
/proc/meminfo: memFree=28357588/32770624 swapFree=5972/219860
[pid=28924] ppid=28921 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28924/stat : 28924 (xcsp3-exec) S 28921 28924 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3833510 9740288 346 33554432000 4194304 5098028 140720334269488 140720334267592 139649704321660 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20615168 140720334275726 140720334275936 140720334275936 140720334278635 0
/proc/28924/statm: 2378 346 289 221 0 87 0
[pid=28925] ppid=28924 vsize=13801768 CPUtime=6.49 cores=0,2,4,6,8,10,12,14
/proc/28925/stat : 28925 (java) S 28924 28924 14626 0 -1 1077944320 17394 0 0 0 642 7 0 0 20 0 28 0 3833510 14133010432 40275 33554432000 4194304 4196468 140729266389104 140729266371648 140278558105335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
/proc/28925/statm: 3450442 40275 3223 1 0 3437675 0
[pid=28925/tid=28926] ppid=28924 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28926/stat : 28926 (java) S 28924 28924 14626 0 -1 1077944384 6514 0 0 0 95 3 0 0 20 0 28 0 3833510 14133010432 40275 33554432000 4194304 4196468 140729266389104 140278562346112 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28928] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28928/stat : 28928 (java) S 28924 28924 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 40275 33554432000 4194304 4196468 140729266389104 140278476585488 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28929] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28929/stat : 28929 (java) S 28924 28924 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 40275 33554432000 4194304 4196468 140729266389104 140278475532944 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28930] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28930/stat : 28930 (java) S 28924 28924 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 40275 33554432000 4194304 4196468 140729266389104 140278474479888 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28931] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28931/stat : 28931 (java) S 28924 28924 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 40275 33554432000 4194304 4196468 140729266389104 140278473427344 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28932] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28932/stat : 28932 (java) S 28924 28924 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 40275 33554432000 4194304 4196468 140729266389104 140278472375312 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28933] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28933/stat : 28933 (java) S 28924 28924 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 40275 33554432000 4194304 4196468 140729266389104 140278471322768 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28934] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28934/stat : 28934 (java) S 28924 28924 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 40275 33554432000 4194304 4196468 140729266389104 140278470269712 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28935] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28935/stat : 28935 (java) S 28924 28924 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 40275 33554432000 4194304 4196468 140729266389104 140278469217168 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28936] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28936/stat : 28936 (java) S 28924 28924 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3833514 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277751879920 140278558116482 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28937] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28937/stat : 28937 (java) S 28924 28924 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3833514 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277750826144 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28938] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28938/stat : 28938 (java) S 28924 28924 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3833515 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277749773040 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28939] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28939/stat : 28939 (java) S 28924 28924 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833519 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277748721616 140278558123931 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28940] ppid=28924 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28940/stat : 28940 (java) R 28924 28924 14626 0 -1 4202560 2114 0 0 0 61 0 0 0 20 0 28 0 3833519 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277747656288 140278539426382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28941] ppid=28924 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28941/stat : 28941 (java) R 28924 28924 14626 0 -1 4202560 1747 0 0 0 68 0 0 0 20 0 28 0 3833519 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277746608464 140278542789795 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28942] ppid=28924 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28942/stat : 28942 (java) R 28924 28924 14626 0 -1 4202560 2171 0 0 0 61 0 0 0 20 0 28 0 3833519 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277745550024 140278543220607 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28943] ppid=28924 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28943/stat : 28943 (java) R 28924 28924 14626 0 -1 4202560 3112 0 0 0 79 0 0 0 20 0 28 0 3833519 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277744511600 140278558126682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28944] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28944/stat : 28944 (java) S 28924 28924 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833519 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277743458784 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28945] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28945/stat : 28945 (java) S 28924 28924 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833520 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277742406320 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28946] ppid=28924 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28946/stat : 28946 (java) R 28924 28924 14626 0 -1 4202560 54 0 0 0 34 0 0 0 20 0 28 0 3833611 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277734390168 140278151314540 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28947] ppid=28924 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28947/stat : 28947 (java) R 28924 28924 14626 0 -1 4202560 47 0 0 0 33 0 0 0 20 0 28 0 3833611 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277733338744 140278151436676 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28948] ppid=28924 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28948/stat : 28948 (java) R 28924 28924 14626 0 -1 4202560 36 0 0 0 30 0 0 0 20 0 28 0 3833611 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277732286048 140278151241919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28949] ppid=28924 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28949/stat : 28949 (java) R 28924 28924 14626 0 -1 4202560 92 0 0 0 30 0 0 0 20 0 28 0 3833611 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277731233872 140278149733973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28950] ppid=28924 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28950/stat : 28950 (java) R 28924 28924 14626 0 -1 4202560 30 0 0 0 35 0 0 0 20 0 28 0 3833611 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277730183416 140278543372288 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28951] ppid=28924 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28951/stat : 28951 (java) R 28924 28924 14626 0 -1 4202560 80 0 0 0 38 0 0 0 20 0 28 0 3833611 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277729129160 140278151193481 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28952] ppid=28924 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28952/stat : 28952 (java) R 28924 28924 14626 0 -1 4202560 44 0 0 0 35 0 0 0 20 0 28 0 3833611 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277728075864 140278151454372 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28953] ppid=28924 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28953/stat : 28953 (java) R 28924 28924 14626 0 -1 4202560 40 0 0 0 37 0 0 0 20 0 28 0 3833611 14133010432 40275 33554432000 4194304 4196468 140729266389104 140277727023096 140278151436620 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 13811280
[startup+3.10147 s]
/proc/loadavg: 15.78 15.11 14.55 15/300 28953
/proc/meminfo: memFree=28252868/32770624 swapFree=5972/219860
[pid=28924] ppid=28921 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28924/stat : 28924 (xcsp3-exec) S 28921 28924 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3833510 9740288 346 33554432000 4194304 5098028 140720334269488 140720334267592 139649704321660 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20615168 140720334275726 140720334275936 140720334275936 140720334278635 0
/proc/28924/statm: 2378 346 289 221 0 87 0
[pid=28925] ppid=28924 vsize=13801768 CPUtime=18.6 cores=0,2,4,6,8,10,12,14
/proc/28925/stat : 28925 (java) S 28924 28924 14626 0 -1 1077944320 39659 0 0 0 1847 13 0 0 20 0 28 0 3833510 14133010432 63925 33554432000 4194304 4196468 140729266389104 140729266371648 140278558105335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
/proc/28925/statm: 3450442 63925 3257 1 0 3437675 0
[pid=28925/tid=28926] ppid=28924 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28926/stat : 28926 (java) S 28924 28924 14626 0 -1 1077944384 6514 0 0 0 95 3 0 0 20 0 28 0 3833510 14133010432 63925 33554432000 4194304 4196468 140729266389104 140278562346112 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28928] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28928/stat : 28928 (java) S 28924 28924 14626 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 63925 33554432000 4194304 4196468 140729266389104 140278476585488 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28929] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28929/stat : 28929 (java) S 28924 28924 14626 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 63925 33554432000 4194304 4196468 140729266389104 140278475532944 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28930] ppid=28924 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28930/stat : 28930 (java) S 28924 28924 14626 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 3833511 14133010432 63925 33554432000 4194304 4196468 140729266389104 140278474479888 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28931] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28931/stat : 28931 (java) S 28924 28924 14626 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 63925 33554432000 4194304 4196468 140729266389104 140278473427344 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28932] ppid=28924 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28932/stat : 28932 (java) S 28924 28924 14626 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 28 0 3833511 14133010432 63925 33554432000 4194304 4196468 140729266389104 140278472375312 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28933] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28933/stat : 28933 (java) S 28924 28924 14626 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 63925 33554432000 4194304 4196468 140729266389104 140278471322768 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28934] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28934/stat : 28934 (java) S 28924 28924 14626 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 63925 33554432000 4194304 4196468 140729266389104 140278470269712 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28935] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28935/stat : 28935 (java) S 28924 28924 14626 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3833511 14133010432 63925 33554432000 4194304 4196468 140729266389104 140278469217168 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28936] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28936/stat : 28936 (java) S 28924 28924 14626 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 3833514 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277751879920 140278558116482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28937] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28937/stat : 28937 (java) S 28924 28924 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3833514 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277750826144 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28938] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28938/stat : 28938 (java) S 28924 28924 14626 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3833515 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277749773040 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28939] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28939/stat : 28939 (java) S 28924 28924 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833519 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277748721616 140278558123931 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28940] ppid=28924 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28940/stat : 28940 (java) R 28924 28924 14626 0 -1 4202560 10382 0 0 0 153 1 0 0 20 0 28 0 3833519 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277747655768 140278539627044 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28941] ppid=28924 vsize=13801768 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28941/stat : 28941 (java) R 28924 28924 14626 0 -1 4202560 7302 0 0 0 157 0 0 0 20 0 28 0 3833519 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277746598304 140278537793500 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28942] ppid=28924 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28942/stat : 28942 (java) R 28924 28924 14626 0 -1 4202560 8281 0 0 0 168 1 0 0 20 0 28 0 3833519 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277745556632 140278541516150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28943] ppid=28924 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28943/stat : 28943 (java) S 28924 28924 14626 0 -1 1077944384 4043 0 0 0 86 0 0 0 20 0 28 0 3833519 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277744511600 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28944] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28944/stat : 28944 (java) S 28924 28924 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833519 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277743458784 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28945] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28945/stat : 28945 (java) S 28924 28924 14626 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3833520 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277742406320 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28946] ppid=28924 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28946/stat : 28946 (java) R 28924 28924 14626 0 -1 4202560 100 0 0 0 148 0 0 0 20 0 28 0 3833611 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277734390328 140278151209815 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28947] ppid=28924 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28947/stat : 28947 (java) R 28924 28924 14626 0 -1 4202560 90 0 0 0 138 0 0 0 20 0 28 0 3833611 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277733339200 140278145083382 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28948] ppid=28924 vsize=13801768 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28948/stat : 28948 (java) R 28924 28924 14626 0 -1 4202560 102 0 0 0 122 0 0 0 20 0 28 0 3833611 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277732288680 140278152570507 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28949] ppid=28924 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28949/stat : 28949 (java) R 28924 28924 14626 0 -1 4202560 245 0 0 0 150 0 0 0 20 0 28 0 3833611 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277731234856 140278151252375 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28950] ppid=28924 vsize=13801768 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28950/stat : 28950 (java) R 28924 28924 14626 0 -1 4202560 90 0 0 0 156 0 0 0 20 0 28 0 3833611 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277730181240 140278152570579 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28951] ppid=28924 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28951/stat : 28951 (java) R 28924 28924 14626 0 -1 4202560 144 0 0 0 161 0 0 0 20 0 28 0 3833611 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277729128904 140278148537760 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28952] ppid=28924 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28952/stat : 28952 (java) R 28924 28924 14626 0 -1 4202560 175 0 0 0 146 0 0 0 20 0 28 0 3833611 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277728076536 140278151063047 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28953] ppid=28924 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28953/stat : 28953 (java) R 28924 28924 14626 0 -1 4202560 95 0 0 0 154 0 0 0 20 0 28 0 3833611 14133010432 63925 33554432000 4194304 4196468 140729266389104 140277727025224 140278151271474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
Current children cumulated CPU time (s) 18.6
Current children cumulated vsize (KiB) 13811280
[startup+6.30152 s]
/proc/loadavg: 16.20 15.21 14.58 20/300 28953
/proc/meminfo: memFree=28087424/32770624 swapFree=5972/219860
################
# More data... #
################
[pid=28925/tid=28952] ppid=28924 vsize=13801768 CPUtime=217.52 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28952/stat : 28952 (java) R 28924 28924 14626 0 -1 4202560 2356 0 0 0 21748 4 0 0 20 0 28 0 3833611 14133010432 585294 33554432000 4194304 4196468 140729266389104 140277728075720 140278152570484 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28953] ppid=28924 vsize=13801768 CPUtime=218.27 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28953/stat : 28953 (java) R 28924 28924 14626 0 -1 4202560 941 0 0 0 21826 1 0 0 20 0 28 0 3833611 14133010432 585294 33554432000 4194304 4196468 140729266389104 140277727023240 140278152570605 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 15.89 15.64 14.93 17/301 29058
/proc/meminfo: memFree=28176180/32770624 swapFree=5972/221052
[pid=28924] ppid=28921 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28924/stat : 28924 (xcsp3-exec) S 28921 28924 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3833510 9740288 346 33554432000 4194304 5098028 140720334269488 140720334267592 139649704321660 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20615168 140720334275726 140720334275936 140720334275936 140720334278635 0
/proc/28924/statm: 2378 346 289 221 0 87 0
[pid=28925] ppid=28924 vsize=13801768 CPUtime=2241.83 cores=0,2,4,6,8,10,12,14
/proc/28925/stat : 28925 (java) S 28924 28924 14626 0 -1 1077944320 84718 0 0 0 223943 240 0 0 20 0 28 0 3833510 14133010432 595433 33554432000 4194304 4196468 140729266389104 140729266371648 140278558105335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
/proc/28925/statm: 3450442 595433 3281 1 0 3437675 0
[pid=28925/tid=28926] ppid=28924 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28926/stat : 28926 (java) S 28924 28924 14626 0 -1 1077944384 6514 0 0 0 95 3 0 0 20 0 28 0 3833510 14133010432 595433 33554432000 4194304 4196468 140729266389104 140278562346112 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28928] ppid=28924 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28928/stat : 28928 (java) S 28924 28924 14626 0 -1 1077944384 436 0 0 0 23 18 0 0 20 0 28 0 3833511 14133010432 595433 33554432000 4194304 4196468 140729266389104 140278476585488 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28929] ppid=28924 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28929/stat : 28929 (java) S 28924 28924 14626 0 -1 1077944384 1144 0 0 0 24 20 0 0 20 0 28 0 3833511 14133010432 595433 33554432000 4194304 4196468 140729266389104 140278475532944 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28930] ppid=28924 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28930/stat : 28930 (java) S 28924 28924 14626 0 -1 1077944384 1079 0 0 0 26 21 0 0 20 0 28 0 3833511 14133010432 595433 33554432000 4194304 4196468 140729266389104 140278474479888 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28931] ppid=28924 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28931/stat : 28931 (java) S 28924 28924 14626 0 -1 1077944384 858 0 0 0 23 19 0 0 20 0 28 0 3833511 14133010432 595433 33554432000 4194304 4196468 140729266389104 140278473427344 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28932] ppid=28924 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28932/stat : 28932 (java) S 28924 28924 14626 0 -1 1077944384 874 0 0 0 28 21 0 0 20 0 28 0 3833511 14133010432 595433 33554432000 4194304 4196468 140729266389104 140278472375312 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28933] ppid=28924 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28933/stat : 28933 (java) S 28924 28924 14626 0 -1 1077944384 1265 0 0 0 25 23 0 0 20 0 28 0 3833511 14133010432 595433 33554432000 4194304 4196468 140729266389104 140278471322768 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28934] ppid=28924 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28934/stat : 28934 (java) S 28924 28924 14626 0 -1 1077944384 921 0 0 0 23 21 0 0 20 0 28 0 3833511 14133010432 595433 33554432000 4194304 4196468 140729266389104 140278470269712 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28935] ppid=28924 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28935/stat : 28935 (java) S 28924 28924 14626 0 -1 1077944384 1943 0 0 0 24 19 0 0 20 0 28 0 3833511 14133010432 595433 33554432000 4194304 4196468 140729266389104 140278469217168 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28936] ppid=28924 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28936/stat : 28936 (java) S 28924 28924 14626 0 -1 1077944384 3487 0 0 0 11 15 0 0 20 0 28 0 3833514 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277751879920 140278558116482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28937] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28937/stat : 28937 (java) S 28924 28924 14626 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3833514 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277750826208 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28938] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28938/stat : 28938 (java) S 28924 28924 14626 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 3833515 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277749773056 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28939] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28939/stat : 28939 (java) S 28924 28924 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833519 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277748721616 140278558123931 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28940] ppid=28924 vsize=13801768 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28940/stat : 28940 (java) S 28924 28924 14626 0 -1 1077944384 14235 0 0 0 417 2 0 0 20 0 28 0 3833519 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277747669744 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28941] ppid=28924 vsize=13801768 CPUtime=4.32 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28941/stat : 28941 (java) S 28924 28924 14626 0 -1 1077944384 16174 0 0 0 430 2 0 0 20 0 28 0 3833519 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277746617200 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28942] ppid=28924 vsize=13801768 CPUtime=4.15 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28942/stat : 28942 (java) S 28924 28924 14626 0 -1 1077944384 11682 0 0 0 414 1 0 0 20 0 28 0 3833519 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277745564144 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28943] ppid=28924 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28943/stat : 28943 (java) S 28924 28924 14626 0 -1 1077944384 6441 0 0 0 108 1 0 0 20 0 28 0 3833519 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277744511600 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28944] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28944/stat : 28944 (java) S 28924 28924 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833519 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277743458784 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28945] ppid=28924 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28945/stat : 28945 (java) S 28924 28924 14626 0 -1 1077944384 238 0 0 0 5 6 0 0 20 0 28 0 3833520 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277742406320 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28946] ppid=28924 vsize=13801768 CPUtime=277 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28946/stat : 28946 (java) R 28924 28924 14626 0 -1 4202560 1107 0 0 0 27699 1 0 0 20 0 28 0 3833611 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277734390136 140278154747633 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28947] ppid=28924 vsize=13801768 CPUtime=277.77 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28947/stat : 28947 (java) R 28924 28924 14626 0 -1 4202560 3233 0 0 0 27773 4 0 0 20 0 28 0 3833611 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277733339016 140278152570484 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28948] ppid=28924 vsize=13801768 CPUtime=277.95 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28948/stat : 28948 (java) R 28924 28924 14626 0 -1 4202560 1641 0 0 0 27792 3 0 0 20 0 28 0 3833611 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277732286736 140278152570491 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28949] ppid=28924 vsize=13801768 CPUtime=278.41 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28949/stat : 28949 (java) R 28924 28924 14626 0 -1 4202560 3466 0 0 0 27819 22 0 0 20 0 28 0 3833611 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277731234440 140278152570484 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28950] ppid=28924 vsize=13801768 CPUtime=278.77 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28950/stat : 28950 (java) R 28924 28924 14626 0 -1 4202560 1086 0 0 0 27876 1 0 0 20 0 28 0 3833611 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277730181384 140278152570504 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28951] ppid=28924 vsize=13801768 CPUtime=278.34 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28951/stat : 28951 (java) R 28924 28924 14626 0 -1 4202560 1598 0 0 0 27833 1 0 0 20 0 28 0 3833611 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277729129432 140278154747923 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28952] ppid=28924 vsize=13801768 CPUtime=277.08 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28952/stat : 28952 (java) R 28924 28924 14626 0 -1 4202560 2847 0 0 0 27703 5 0 0 20 0 28 0 3833611 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277728078512 140278151210251 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28953] ppid=28924 vsize=13801768 CPUtime=277.61 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28953/stat : 28953 (java) R 28924 28924 14626 0 -1 4202560 1086 0 0 0 27760 1 0 0 20 0 28 0 3833611 14133010432 595433 33554432000 4194304 4196468 140729266389104 140277727023240 140278152570071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
Current children cumulated CPU time (s) 2241.83
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.201 s]
/proc/loadavg: 16.06 15.70 14.96 17/301 29059
/proc/meminfo: memFree=27665512/32770624 swapFree=5972/221100
[pid=28924] ppid=28921 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28924/stat : 28924 (xcsp3-exec) S 28921 28924 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3833510 9740288 346 33554432000 4194304 5098028 140720334269488 140720334267592 139649704321660 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20615168 140720334275726 140720334275936 140720334275936 140720334278635 0
/proc/28924/statm: 2378 346 289 221 0 87 0
[pid=28925] ppid=28924 vsize=13801768 CPUtime=2400.37 cores=0,2,4,6,8,10,12,14
/proc/28925/stat : 28925 (java) S 28924 28924 14626 0 -1 1077944320 85636 0 0 0 239789 248 0 0 20 0 28 0 3833510 14133010432 596618 33554432000 4194304 4196468 140729266389104 140729266371648 140278558105335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
/proc/28925/statm: 3450442 596618 3281 1 0 3437675 0
[pid=28925/tid=28926] ppid=28924 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28926/stat : 28926 (java) S 28924 28924 14626 0 -1 1077944384 6514 0 0 0 95 3 0 0 20 0 28 0 3833510 14133010432 596618 33554432000 4194304 4196468 140729266389104 140278562346112 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28928] ppid=28924 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28928/stat : 28928 (java) S 28924 28924 14626 0 -1 1077944384 463 0 0 0 24 19 0 0 20 0 28 0 3833511 14133010432 596618 33554432000 4194304 4196468 140729266389104 140278476585488 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28929] ppid=28924 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28929/stat : 28929 (java) S 28924 28924 14626 0 -1 1077944384 1183 0 0 0 25 21 0 0 20 0 28 0 3833511 14133010432 596618 33554432000 4194304 4196468 140729266389104 140278475532944 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28930] ppid=28924 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28930/stat : 28930 (java) S 28924 28924 14626 0 -1 1077944384 1096 0 0 0 26 22 0 0 20 0 28 0 3833511 14133010432 596618 33554432000 4194304 4196468 140729266389104 140278474479888 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28931] ppid=28924 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28931/stat : 28931 (java) S 28924 28924 14626 0 -1 1077944384 906 0 0 0 24 20 0 0 20 0 28 0 3833511 14133010432 596618 33554432000 4194304 4196468 140729266389104 140278473427344 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28932] ppid=28924 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28932/stat : 28932 (java) S 28924 28924 14626 0 -1 1077944384 906 0 0 0 29 21 0 0 20 0 28 0 3833511 14133010432 596618 33554432000 4194304 4196468 140729266389104 140278472375312 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28933] ppid=28924 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28933/stat : 28933 (java) S 28924 28924 14626 0 -1 1077944384 1268 0 0 0 26 23 0 0 20 0 28 0 3833511 14133010432 596618 33554432000 4194304 4196468 140729266389104 140278471322768 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28934] ppid=28924 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28934/stat : 28934 (java) S 28924 28924 14626 0 -1 1077944384 945 0 0 0 24 22 0 0 20 0 28 0 3833511 14133010432 596618 33554432000 4194304 4196468 140729266389104 140278470269712 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28935] ppid=28924 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28935/stat : 28935 (java) S 28924 28924 14626 0 -1 1077944384 1960 0 0 0 25 20 0 0 20 0 28 0 3833511 14133010432 596618 33554432000 4194304 4196468 140729266389104 140278469217168 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28936] ppid=28924 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28936/stat : 28936 (java) S 28924 28924 14626 0 -1 1077944384 3493 0 0 0 11 16 0 0 20 0 28 0 3833514 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277751879920 140278558116482 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28937] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28937/stat : 28937 (java) S 28924 28924 14626 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3833514 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277750826208 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28938] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28938/stat : 28938 (java) S 28924 28924 14626 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 3833515 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277749773056 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28939] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28939/stat : 28939 (java) S 28924 28924 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833519 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277748721616 140278558123931 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28940] ppid=28924 vsize=13801768 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28940/stat : 28940 (java) S 28924 28924 14626 0 -1 1077944384 14235 0 0 0 417 2 0 0 20 0 28 0 3833519 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277747669744 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28941] ppid=28924 vsize=13801768 CPUtime=4.32 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28941/stat : 28941 (java) S 28924 28924 14626 0 -1 1077944384 16174 0 0 0 430 2 0 0 20 0 28 0 3833519 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277746617200 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28942] ppid=28924 vsize=13801768 CPUtime=4.15 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28942/stat : 28942 (java) S 28924 28924 14626 0 -1 1077944384 11682 0 0 0 414 1 0 0 20 0 28 0 3833519 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277745564144 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28943] ppid=28924 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28943/stat : 28943 (java) S 28924 28924 14626 0 -1 1077944384 6441 0 0 0 108 1 0 0 20 0 28 0 3833519 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277744511600 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28944] ppid=28924 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28944/stat : 28944 (java) S 28924 28924 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833519 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277743458784 140278558115541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28945] ppid=28924 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28945/stat : 28945 (java) S 28924 28924 14626 0 -1 1077944384 238 0 0 0 6 6 0 0 20 0 28 0 3833520 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277742406320 140278558116482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28946] ppid=28924 vsize=13801768 CPUtime=296.57 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28946/stat : 28946 (java) R 28924 28924 14626 0 -1 4202560 1131 0 0 0 29656 1 0 0 20 0 28 0 3833611 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277734390488 140278154230322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28947] ppid=28924 vsize=13801768 CPUtime=297.63 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28947/stat : 28947 (java) R 28924 28924 14626 0 -1 4202560 3373 0 0 0 29758 5 0 0 20 0 28 0 3833611 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277733338808 140278147147781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28948] ppid=28924 vsize=13801768 CPUtime=297.74 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28948/stat : 28948 (java) R 28924 28924 14626 0 -1 4202560 1938 0 0 0 29771 3 0 0 20 0 28 0 3833611 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277732286920 140278152570464 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28949] ppid=28924 vsize=13801768 CPUtime=298.16 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28949/stat : 28949 (java) R 28924 28924 14626 0 -1 4202560 3508 0 0 0 29794 22 0 0 20 0 28 0 3833611 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277731234440 140278152570474 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28950] ppid=28924 vsize=13801768 CPUtime=298.63 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28950/stat : 28950 (java) R 28924 28924 14626 0 -1 4202560 1129 0 0 0 29862 1 0 0 20 0 28 0 3833611 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277730181136 140278152570498 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28951] ppid=28924 vsize=13801768 CPUtime=298.19 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28951/stat : 28951 (java) R 28924 28924 14626 0 -1 4202560 1612 0 0 0 29818 1 0 0 20 0 28 0 3833611 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277729129432 140278154597351 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28952] ppid=28924 vsize=13801768 CPUtime=296.92 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28952/stat : 28952 (java) R 28924 28924 14626 0 -1 4202560 2970 0 0 0 29687 5 0 0 20 0 28 0 3833611 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277728075784 140278152570655 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
[pid=28925/tid=28953] ppid=28924 vsize=13801768 CPUtime=297.46 cores=0,2,4,6,8,10,12,14
/proc/28925/task/28953/stat : 28953 (java) R 28924 28924 14626 0 -1 4202560 1108 0 0 0 29745 1 0 0 20 0 28 0 3833611 14133010432 596618 33554432000 4194304 4196468 140729266389104 140277727025968 140278152570132 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16076800 140729266390204 140729266390380 140729266390380 140729266393039 0
Current children cumulated CPU time (s) 2400.37
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 28925 sig 9
??? kill 28924 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 28924 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2970
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=780
# CPU time returned by wait4() is 0.00375
# while last known CPU time is 2400.37
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.212
CPU time (s): 2400.37
CPU user time (s): 2397.89
CPU system time (s): 2.48
CPU usage (%): 794.268
Max. virtual memory (cumulated for all children) (KiB): 13813176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00297
system time used= 0.00078
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.71516 second user time and 3.86747 second system time
The end