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-4249234-1500693962/watcher-4249234-1500693962 -o /tmp/evaluation-result-4249234-1500693962/solver-4249234-1500693962 -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 1851249212 HOME/instance-4249234-1500693962.xml
pid=6211
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: 14.67 15.19 14.10 11/270 6214
/proc/meminfo: memFree=31298992/32770624 swapFree=5880/293296
[pid=6214] ppid=6211 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6214/stat : 6214 (xcsp3-exec) S 6211 6214 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4663869 9740288 346 33554432000 4194304 5098028 140724099564208 140724099562312 140421666923132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28635136 140724099568782 140724099568992 140724099568992 140724099571691 0
/proc/6214/statm: 2378 346 289 221 0 87 0
[startup+0.100168 s]
/proc/loadavg: 14.67 15.19 14.10 11/270 6214
/proc/meminfo: memFree=31298992/32770624 swapFree=5880/293296
[pid=6214] ppid=6211 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6214/stat : 6214 (xcsp3-exec) S 6211 6214 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4663869 9740288 346 33554432000 4194304 5098028 140724099564208 140724099562312 140421666923132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28635136 140724099568782 140724099568992 140724099568992 140724099571691 0
/proc/6214/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20029 s]
/proc/loadavg: 14.67 15.19 14.10 11/270 6214
/proc/meminfo: memFree=31298992/32770624 swapFree=5880/293296
[pid=6214] ppid=6211 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6214/stat : 6214 (xcsp3-exec) S 6211 6214 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4663869 9740288 346 33554432000 4194304 5098028 140724099564208 140724099562312 140421666923132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28635136 140724099568782 140724099568992 140724099568992 140724099571691 0
/proc/6214/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300273 s]
/proc/loadavg: 14.67 15.19 14.10 11/270 6214
/proc/meminfo: memFree=31298992/32770624 swapFree=5880/293296
[pid=6214] ppid=6211 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6214/stat : 6214 (xcsp3-exec) S 6211 6214 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4663869 9740288 346 33554432000 4194304 5098028 140724099564208 140724099562312 140421666923132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28635136 140724099568782 140724099568992 140724099568992 140724099571691 0
/proc/6214/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700204 s]
/proc/loadavg: 14.67 15.19 14.10 11/270 6214
/proc/meminfo: memFree=31298992/32770624 swapFree=5880/293296
[pid=6214] ppid=6211 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6214/stat : 6214 (xcsp3-exec) S 6211 6214 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4663869 9740288 346 33554432000 4194304 5098028 140724099564208 140724099562312 140421666923132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28635136 140724099568782 140724099568992 140724099568992 140724099571691 0
/proc/6214/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50121 s]
/proc/loadavg: 14.46 15.14 14.09 21/299 6283
/proc/meminfo: memFree=31132112/32770624 swapFree=5880/293208
[pid=6214] ppid=6211 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6214/stat : 6214 (xcsp3-exec) S 6211 6214 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4663869 9740288 346 33554432000 4194304 5098028 140724099564208 140724099562312 140421666923132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28635136 140724099568782 140724099568992 140724099568992 140724099571691 0
/proc/6214/statm: 2378 346 289 221 0 87 0
[pid=6215] ppid=6214 vsize=13802796 CPUtime=7.35 cores=0,2,4,6,8,10,12,14
/proc/6215/stat : 6215 (java) S 6214 6214 7744 0 -1 1077944320 18958 0 0 0 721 14 0 0 20 0 28 0 4663869 14134063104 48574 33554432000 4194304 4196468 140727267581088 140727267563632 140351347035895 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
/proc/6215/statm: 3450699 48574 3239 1 0 3437932 0
[pid=6215/tid=6216] ppid=6214 vsize=13802796 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6216/stat : 6216 (java) S 6214 6214 7744 0 -1 1077944384 6819 0 0 0 76 3 0 0 20 0 28 0 4663869 14134063104 48574 33554432000 4194304 4196468 140727267581088 140351351276672 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6218] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6218/stat : 6218 (java) S 6214 6214 7744 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 48574 33554432000 4194304 4196468 140727267581088 140351279171856 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6219] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6219/stat : 6219 (java) S 6214 6214 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 48574 33554432000 4194304 4196468 140727267581088 140351278119312 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6220] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6220/stat : 6220 (java) S 6214 6214 7744 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350944414224 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6221] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6221/stat : 6221 (java) S 6214 6214 7744 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350943361680 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6222] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6222/stat : 6222 (java) S 6214 6214 7744 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350942309136 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6223] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6223/stat : 6223 (java) S 6214 6214 7744 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350941256592 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6224] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6224/stat : 6224 (java) S 6214 6214 7744 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350940204048 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6225] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6225/stat : 6225 (java) S 6214 6214 7744 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350939151504 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6226] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6226/stat : 6226 (java) S 6214 6214 7744 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4663873 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350876473328 140351347047042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6227] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6227/stat : 6227 (java) S 6214 6214 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4663874 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350875419552 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6228] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6228/stat : 6228 (java) S 6214 6214 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4663874 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350076740592 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6229] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6229/stat : 6229 (java) S 6214 6214 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4663878 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350075689168 140351347054491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6230] ppid=6214 vsize=13802796 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6230/stat : 6230 (java) R 6214 6214 7744 0 -1 4202560 3169 0 0 0 87 0 0 0 20 0 28 0 4663878 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350074622944 140351328553812 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6231] ppid=6214 vsize=13802796 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6231/stat : 6231 (java) R 6214 6214 7744 0 -1 4202560 1557 0 0 0 91 0 0 0 20 0 28 0 4663878 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350073570208 140351328558813 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6232] ppid=6214 vsize=13802796 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6232/stat : 6232 (java) R 6214 6214 7744 0 -1 4202560 2028 0 0 0 91 0 0 0 20 0 28 0 4663878 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350072518240 140351326728995 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6233] ppid=6214 vsize=13802796 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6233/stat : 6233 (java) S 6214 6214 7744 0 -1 1077944384 2549 0 0 0 63 1 0 0 20 0 28 0 4663878 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350071479152 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6234] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6234/stat : 6234 (java) S 6214 6214 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4663878 14134063104 48574 33554432000 4194304 4196468 140727267581088 140350070425824 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6235] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6235/stat : 6235 (java) S 6214 6214 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4663879 14134063104 48574 33554432000 4194304 4196468 140727267581088 140349464897968 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 13812308
[startup+3.10152 s]
/proc/loadavg: 14.46 15.14 14.09 20/299 6291
/proc/meminfo: memFree=31109140/32770624 swapFree=5880/293208
[pid=6214] ppid=6211 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6214/stat : 6214 (xcsp3-exec) S 6211 6214 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4663869 9740288 346 33554432000 4194304 5098028 140724099564208 140724099562312 140421666923132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28635136 140724099568782 140724099568992 140724099568992 140724099571691 0
/proc/6214/statm: 2378 346 289 221 0 87 0
[pid=6215] ppid=6214 vsize=13802796 CPUtime=20.11 cores=0,2,4,6,8,10,12,14
/proc/6215/stat : 6215 (java) S 6214 6214 7744 0 -1 1077944320 23204 0 0 0 1995 16 0 0 20 0 28 0 4663869 14134063104 51848 33554432000 4194304 4196468 140727267581088 140727267563632 140351347035895 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
/proc/6215/statm: 3450699 51848 3251 1 0 3437932 0
[pid=6215/tid=6216] ppid=6214 vsize=13802796 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6216/stat : 6216 (java) S 6214 6214 7744 0 -1 1077944384 6819 0 0 0 76 3 0 0 20 0 28 0 4663869 14134063104 51848 33554432000 4194304 4196468 140727267581088 140351351276672 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6218] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6218/stat : 6218 (java) S 6214 6214 7744 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 51848 33554432000 4194304 4196468 140727267581088 140351279171856 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6219] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6219/stat : 6219 (java) S 6214 6214 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 51848 33554432000 4194304 4196468 140727267581088 140351278119312 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6220] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6220/stat : 6220 (java) S 6214 6214 7744 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350944414224 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6221] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6221/stat : 6221 (java) S 6214 6214 7744 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350943361680 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6222] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6222/stat : 6222 (java) S 6214 6214 7744 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350942309136 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6223] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6223/stat : 6223 (java) S 6214 6214 7744 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350941256592 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6224] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6224/stat : 6224 (java) S 6214 6214 7744 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350940204048 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6225] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6225/stat : 6225 (java) S 6214 6214 7744 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350939151504 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6226] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6226/stat : 6226 (java) S 6214 6214 7744 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4663873 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350876473328 140351347047042 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6227] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6227/stat : 6227 (java) S 6214 6214 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4663874 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350875419552 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6228] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6228/stat : 6228 (java) S 6214 6214 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4663874 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350076740592 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6229] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6229/stat : 6229 (java) S 6214 6214 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4663878 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350075689168 140351347054491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6230] ppid=6214 vsize=13802796 CPUtime=2.14 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6230/stat : 6230 (java) R 6214 6214 7744 0 -1 4202560 3352 0 0 0 213 1 0 0 20 0 28 0 4663878 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350074623352 140351332160585 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6231] ppid=6214 vsize=13802796 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6231/stat : 6231 (java) R 6214 6214 7744 0 -1 4202560 4039 0 0 0 203 1 0 0 20 0 28 0 4663878 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350073570784 140351332143611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6232] ppid=6214 vsize=13802796 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6232/stat : 6232 (java) R 6214 6214 7744 0 -1 4202560 3265 0 0 0 196 1 0 0 20 0 28 0 4663878 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350072517920 140351331954920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6233] ppid=6214 vsize=13802796 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6233/stat : 6233 (java) S 6214 6214 7744 0 -1 1077944384 2778 0 0 0 73 1 0 0 20 0 28 0 4663878 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350071479152 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6234] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6234/stat : 6234 (java) S 6214 6214 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4663878 14134063104 51848 33554432000 4194304 4196468 140727267581088 140350070425824 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6235] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6235/stat : 6235 (java) S 6214 6214 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4663879 14134063104 51848 33554432000 4194304 4196468 140727267581088 140349464897968 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6284] ppid=6214 vsize=13802796 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6284/stat : 6284 (java) R 6214 6214 7744 0 -1 4202560 53 0 0 0 150 0 0 0 20 0 28 0 4663982 14134063104 51848 33554432000 4194304 4196468 140727267581088 140349455832056 140350962639132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6285] ppid=6214 vsize=13802796 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6285/stat : 6285 (java) R 6214 6214 7744 0 -1 4202560 37 0 0 0 157 0 0 0 20 0 28 0 4663982 14134063104 51848 33554432000 4194304 4196468 140727267581088 140349449517360 140350962639049 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6286] ppid=6214 vsize=13802796 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6286/stat : 6286 (java) R 6214 6214 7744 0 -1 4202560 37 0 0 0 127 0 0 0 20 0 28 0 4663982 14134063104 51848 33554432000 4194304 4196468 140727267581088 140349448462536 140350963250703 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6287] ppid=6214 vsize=13802796 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6287/stat : 6287 (java) R 6214 6214 7744 0 -1 4202560 55 0 0 0 140 0 0 0 20 0 28 0 4663982 14134063104 51848 33554432000 4194304 4196468 140727267581088 140349450567560 140350964709110 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6288] ppid=6214 vsize=13802796 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6288/stat : 6288 (java) R 6214 6214 7744 0 -1 4202560 38 0 0 0 125 0 0 0 20 0 28 0 4663982 14134063104 51848 33554432000 4194304 4196468 140727267581088 140349456883400 140350962639012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6289] ppid=6214 vsize=13802796 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6289/stat : 6289 (java) R 6214 6214 7744 0 -1 4202560 35 0 0 0 143 0 0 0 20 0 28 0 4663982 14134063104 51848 33554432000 4194304 4196468 140727267581088 140349452675912 140350964526774 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6290] ppid=6214 vsize=13802796 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6290/stat : 6290 (java) R 6214 6214 7744 0 -1 4202560 28 0 0 0 128 0 0 0 20 0 28 0 4663982 14134063104 51848 33554432000 4194304 4196468 140727267581088 140349454778296 140350958213741 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6291] ppid=6214 vsize=13802796 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6291/stat : 6291 (java) R 6214 6214 7744 0 -1 4202560 22 0 0 0 133 0 0 0 20 0 28 0 4663982 14134063104 51848 33554432000 4194304 4196468 140727267581088 140349453725064 140350963727509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (KiB) 13812308
[startup+6.30124 s]
/proc/loadavg: 14.46 15.14 14.09 17/299 6291
/proc/meminfo: memFree=31100920/32770624 swapFree=5880/293216
[pid=6214] ppid=6211 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6214/stat : 6214 (xcsp3-exec) S 6211 6214 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4663869 9740288 346 33554432000 4194304 5098028 140724099564208 140724099562312 140421666923132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28635136 140724099568782 140724099568992 140724099568992 140724099571691 0
/proc/6214/statm: 2378 346 289 221 0 87 0
[pid=6215] ppid=6214 vsize=13802796 CPUtime=45.38 cores=0,2,4,6,8,10,12,14
/proc/6215/stat : 6215 (java) S 6214 6214 7744 0 -1 1077944320 29431 0 0 0 4520 18 0 0 20 0 28 0 4663869 14134063104 53287 33554432000 4194304 4196468 140727267581088 140727267563632 140351347035895 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
/proc/6215/statm: 3450699 53287 3257 1 0 3437932 0
[pid=6215/tid=6216] ppid=6214 vsize=13802796 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6216/stat : 6216 (java) S 6214 6214 7744 0 -1 1077944384 6945 0 0 0 76 3 0 0 20 0 28 0 4663869 14134063104 53287 33554432000 4194304 4196468 140727267581088 140351351276672 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6218] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6218/stat : 6218 (java) S 6214 6214 7744 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 53287 33554432000 4194304 4196468 140727267581088 140351279171856 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6219] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6219/stat : 6219 (java) S 6214 6214 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 53287 33554432000 4194304 4196468 140727267581088 140351278119312 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6220] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6220/stat : 6220 (java) S 6214 6214 7744 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 53287 33554432000 4194304 4196468 140727267581088 140350944414224 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6221] ppid=6214 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6221/stat : 6221 (java) S 6214 6214 7744 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4663870 14134063104 53287 33554432000 4194304 4196468 140727267581088 140350943361680 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
################
# More data... #
################
[pid=6215/tid=6338] ppid=6214 vsize=13868332 CPUtime=193.26 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6338/stat : 6338 (java) R 6214 6214 7744 0 -1 4202560 849 0 0 0 19326 0 0 0 20 0 28 0 4666526 14201171968 85375 33554432000 4194304 4196468 140727267581088 140349455830808 140350963027374 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6339] ppid=6214 vsize=13868332 CPUtime=194.05 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6339/stat : 6339 (java) R 6214 6214 7744 0 -1 4202560 1082 0 0 0 19404 1 0 0 20 0 28 0 4666526 14201171968 85375 33554432000 4194304 4196468 140727267581088 140349456883496 140350963027280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
Current children cumulated CPU time (s) 1759.23
Current children cumulated vsize (KiB) 13877844
[startup+282.302 s]
/proc/loadavg: 15.99 15.66 14.59 17/300 6351
/proc/meminfo: memFree=30194560/32770624 swapFree=5880/293588
[pid=6214] ppid=6211 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6214/stat : 6214 (xcsp3-exec) S 6211 6214 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4663869 9740288 346 33554432000 4194304 5098028 140724099564208 140724099562312 140421666923132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28635136 140724099568782 140724099568992 140724099568992 140724099571691 0
/proc/6214/statm: 2378 346 289 221 0 87 0
[pid=6215] ppid=6214 vsize=13868332 CPUtime=2233.57 cores=0,2,4,6,8,10,12,14
/proc/6215/stat : 6215 (java) S 6214 6214 7744 0 -1 1077944320 81802 0 0 0 223166 191 0 0 20 0 28 0 4663869 14201171968 79732 33554432000 4194304 4196468 140727267581088 140727267563632 140351347035895 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
/proc/6215/statm: 3467083 79732 3282 1 0 3454316 0
[pid=6215/tid=6216] ppid=6214 vsize=13868332 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6216/stat : 6216 (java) S 6214 6214 7744 0 -1 1077944384 7216 0 0 0 76 3 0 0 20 0 28 0 4663869 14201171968 79732 33554432000 4194304 4196468 140727267581088 140351351276672 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6218] ppid=6214 vsize=13868332 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6218/stat : 6218 (java) S 6214 6214 7744 0 -1 1077944384 1889 0 0 0 50 14 0 0 20 0 28 0 4663870 14201171968 79732 33554432000 4194304 4196468 140727267581088 140351279171856 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6219] ppid=6214 vsize=13868332 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6219/stat : 6219 (java) S 6214 6214 7744 0 -1 1077944384 763 0 0 0 49 12 0 0 20 0 28 0 4663870 14201171968 79732 33554432000 4194304 4196468 140727267581088 140351278119312 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6220] ppid=6214 vsize=13868332 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6220/stat : 6220 (java) S 6214 6214 7744 0 -1 1077944384 1311 0 0 0 49 14 0 0 20 0 28 0 4663870 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350944414224 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6221] ppid=6214 vsize=13868332 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6221/stat : 6221 (java) S 6214 6214 7744 0 -1 1077944384 1103 0 0 0 49 14 0 0 20 0 28 0 4663870 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350943361680 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6222] ppid=6214 vsize=13868332 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6222/stat : 6222 (java) S 6214 6214 7744 0 -1 1077944384 981 0 0 0 49 14 0 0 20 0 28 0 4663870 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350942309136 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6223] ppid=6214 vsize=13868332 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6223/stat : 6223 (java) S 6214 6214 7744 0 -1 1077944384 1646 0 0 0 47 14 0 0 20 0 28 0 4663870 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350941256592 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6224] ppid=6214 vsize=13868332 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6224/stat : 6224 (java) S 6214 6214 7744 0 -1 1077944384 1611 0 0 0 52 13 0 0 20 0 28 0 4663870 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350940204048 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6225] ppid=6214 vsize=13868332 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6225/stat : 6225 (java) S 6214 6214 7744 0 -1 1077944384 2245 0 0 0 51 13 0 0 20 0 28 0 4663870 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350939151504 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6226] ppid=6214 vsize=13868332 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6226/stat : 6226 (java) S 6214 6214 7744 0 -1 1077944384 6284 0 0 0 41 51 0 0 20 0 28 0 4663873 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350876473328 140351347047042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6227] ppid=6214 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6227/stat : 6227 (java) S 6214 6214 7744 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4663874 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350875419616 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6228] ppid=6214 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6228/stat : 6228 (java) S 6214 6214 7744 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4663874 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350076740592 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6229] ppid=6214 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6229/stat : 6229 (java) S 6214 6214 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4663878 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350075689168 140351347054491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6230] ppid=6214 vsize=13868332 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6230/stat : 6230 (java) S 6214 6214 7744 0 -1 1077944384 8450 0 0 0 274 1 0 0 20 0 28 0 4663878 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350074636784 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6231] ppid=6214 vsize=13868332 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6231/stat : 6231 (java) S 6214 6214 7744 0 -1 1077944384 10638 0 0 0 277 1 0 0 20 0 28 0 4663878 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350073584240 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6232] ppid=6214 vsize=13868332 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6232/stat : 6232 (java) S 6214 6214 7744 0 -1 1077944384 9942 0 0 0 264 1 0 0 20 0 28 0 4663878 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350072531696 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6233] ppid=6214 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6233/stat : 6233 (java) S 6214 6214 7744 0 -1 1077944384 8064 0 0 0 87 2 0 0 20 0 28 0 4663878 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350071479152 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6234] ppid=6214 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6234/stat : 6234 (java) S 6214 6214 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4663878 14201171968 79732 33554432000 4194304 4196468 140727267581088 140350070425824 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6235] ppid=6214 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6235/stat : 6235 (java) S 6214 6214 7744 0 -1 1077944384 1275 0 0 0 6 4 0 0 20 0 28 0 4663879 14201171968 79732 33554432000 4194304 4196468 140727267581088 140349464897968 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6332] ppid=6214 vsize=13868332 CPUtime=252.34 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6332/stat : 6332 (java) R 6214 6214 7744 0 -1 4202560 1110 0 0 0 25234 0 0 0 20 0 28 0 4666526 14201171968 79732 33554432000 4194304 4196468 140727267581088 140349454776784 140350962638620 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6333] ppid=6214 vsize=13868332 CPUtime=252.58 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6333/stat : 6333 (java) R 6214 6214 7744 0 -1 4202560 931 0 0 0 25258 0 0 0 20 0 28 0 4666526 14201171968 79732 33554432000 4194304 4196468 140727267581088 140349450567848 140350964298608 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6334] ppid=6214 vsize=13868332 CPUtime=252.58 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6334/stat : 6334 (java) R 6214 6214 7744 0 -1 4202560 1530 0 0 0 25257 1 0 0 20 0 28 0 4666526 14201171968 79732 33554432000 4194304 4196468 140727267581088 140349452673304 140350960940014 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6335] ppid=6214 vsize=13868332 CPUtime=252.72 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6335/stat : 6335 (java) R 6214 6214 7744 0 -1 4202560 1664 0 0 0 25271 1 0 0 20 0 28 0 4666526 14201171968 79732 33554432000 4194304 4196468 140727267581088 140349451620616 140350962898272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6336] ppid=6214 vsize=13868332 CPUtime=252.86 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6336/stat : 6336 (java) R 6214 6214 7744 0 -1 4202560 1169 0 0 0 25285 1 0 0 20 0 28 0 4666526 14201171968 79732 33554432000 4194304 4196468 140727267581088 140349453726248 140350964301118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6337] ppid=6214 vsize=13868332 CPUtime=252.89 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6337/stat : 6337 (java) R 6214 6214 7744 0 -1 4202560 500 0 0 0 25288 1 0 0 20 0 28 0 4666526 14201171968 79732 33554432000 4194304 4196468 140727267581088 140349448465824 140350962956410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6338] ppid=6214 vsize=13868332 CPUtime=252.42 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6338/stat : 6338 (java) R 6214 6214 7744 0 -1 4202560 1361 0 0 0 25241 1 0 0 20 0 28 0 4666526 14201171968 79732 33554432000 4194304 4196468 140727267581088 140349455831336 140350962639118 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6339] ppid=6214 vsize=13868332 CPUtime=252.91 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6339/stat : 6339 (java) R 6214 6214 7744 0 -1 4202560 1397 0 0 0 25290 1 0 0 20 0 28 0 4666526 14201171968 79732 33554432000 4194304 4196468 140727267581088 140349456883896 140350966021423 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
Current children cumulated CPU time (s) 2233.57
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.402 s]
/proc/loadavg: 15.31 15.53 14.57 11/292 6446
/proc/meminfo: memFree=28413708/32770624 swapFree=5880/293452
[pid=6214] ppid=6211 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6214/stat : 6214 (xcsp3-exec) S 6211 6214 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4663869 9740288 346 33554432000 4194304 5098028 140724099564208 140724099562312 140421666923132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28635136 140724099568782 140724099568992 140724099568992 140724099571691 0
/proc/6214/statm: 2378 346 289 221 0 87 0
[pid=6215] ppid=6214 vsize=13868332 CPUtime=2400.59 cores=0,2,4,6,8,10,12,14
/proc/6215/stat : 6215 (java) S 6214 6214 7744 0 -1 1077944320 82000 0 0 0 239861 198 0 0 20 0 28 0 4663869 14201171968 79871 33554432000 4194304 4196468 140727267581088 140727267563632 140351347035895 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
/proc/6215/statm: 3467083 79871 3284 1 0 3454316 0
[pid=6215/tid=6216] ppid=6214 vsize=13868332 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6216/stat : 6216 (java) S 6214 6214 7744 0 -1 1077944384 7216 0 0 0 76 3 0 0 20 0 28 0 4663869 14201171968 79871 33554432000 4194304 4196468 140727267581088 140351351276672 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6218] ppid=6214 vsize=13868332 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6218/stat : 6218 (java) S 6214 6214 7744 0 -1 1077944384 1898 0 0 0 59 14 0 0 20 0 28 0 4663870 14201171968 79871 33554432000 4194304 4196468 140727267581088 140351279171856 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6219] ppid=6214 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6219/stat : 6219 (java) S 6214 6214 7744 0 -1 1077944384 772 0 0 0 58 13 0 0 20 0 28 0 4663870 14201171968 79871 33554432000 4194304 4196468 140727267581088 140351278119312 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6220] ppid=6214 vsize=13868332 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6220/stat : 6220 (java) S 6214 6214 7744 0 -1 1077944384 1322 0 0 0 57 15 0 0 20 0 28 0 4663870 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350944414224 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6221] ppid=6214 vsize=13868332 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6221/stat : 6221 (java) S 6214 6214 7744 0 -1 1077944384 1123 0 0 0 58 14 0 0 20 0 28 0 4663870 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350943361680 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6222] ppid=6214 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6222/stat : 6222 (java) S 6214 6214 7744 0 -1 1077944384 995 0 0 0 57 14 0 0 20 0 28 0 4663870 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350942309136 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6223] ppid=6214 vsize=13868332 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6223/stat : 6223 (java) S 6214 6214 7744 0 -1 1077944384 1654 0 0 0 55 14 0 0 20 0 28 0 4663870 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350941256592 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6224] ppid=6214 vsize=13868332 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6224/stat : 6224 (java) S 6214 6214 7744 0 -1 1077944384 1624 0 0 0 60 13 0 0 20 0 28 0 4663870 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350940204048 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6225] ppid=6214 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6225/stat : 6225 (java) S 6214 6214 7744 0 -1 1077944384 2261 0 0 0 58 13 0 0 20 0 28 0 4663870 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350939151504 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6226] ppid=6214 vsize=13868332 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6226/stat : 6226 (java) S 6214 6214 7744 0 -1 1077944384 6304 0 0 0 46 56 0 0 20 0 28 0 4663873 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350876473328 140351347047042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6227] ppid=6214 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6227/stat : 6227 (java) S 6214 6214 7744 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4663874 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350875419616 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6228] ppid=6214 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6228/stat : 6228 (java) S 6214 6214 7744 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4663874 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350076740592 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6229] ppid=6214 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6229/stat : 6229 (java) S 6214 6214 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4663878 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350075689168 140351347054491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6230] ppid=6214 vsize=13868332 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6230/stat : 6230 (java) S 6214 6214 7744 0 -1 1077944384 8450 0 0 0 274 1 0 0 20 0 28 0 4663878 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350074636784 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6231] ppid=6214 vsize=13868332 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6231/stat : 6231 (java) S 6214 6214 7744 0 -1 1077944384 10638 0 0 0 277 1 0 0 20 0 28 0 4663878 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350073584240 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6232] ppid=6214 vsize=13868332 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6232/stat : 6232 (java) S 6214 6214 7744 0 -1 1077944384 9942 0 0 0 264 1 0 0 20 0 28 0 4663878 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350072531696 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6233] ppid=6214 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6233/stat : 6233 (java) S 6214 6214 7744 0 -1 1077944384 8064 0 0 0 87 2 0 0 20 0 28 0 4663878 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350071479152 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6234] ppid=6214 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6234/stat : 6234 (java) S 6214 6214 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4663878 14201171968 79871 33554432000 4194304 4196468 140727267581088 140350070425824 140351347046101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6235] ppid=6214 vsize=13868332 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6235/stat : 6235 (java) S 6214 6214 7744 0 -1 1077944384 1275 0 0 0 6 5 0 0 20 0 28 0 4663879 14201171968 79871 33554432000 4194304 4196468 140727267581088 140349464897968 140351347047042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6332] ppid=6214 vsize=13868332 CPUtime=273.19 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6332/stat : 6332 (java) R 6214 6214 7744 0 -1 4202560 1117 0 0 0 27319 0 0 0 20 0 28 0 4666526 14201171968 79871 33554432000 4194304 4196468 140727267581088 140349454779968 140350963251187 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6333] ppid=6214 vsize=13868332 CPUtime=273.31 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6333/stat : 6333 (java) R 6214 6214 7744 0 -1 4202560 957 0 0 0 27330 1 0 0 20 0 28 0 4666526 14201171968 79871 33554432000 4194304 4196468 140727267581088 140349450568360 140350962898297 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6334] ppid=6214 vsize=13868332 CPUtime=273.36 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6334/stat : 6334 (java) R 6214 6214 7744 0 -1 4202560 1536 0 0 0 27335 1 0 0 20 0 28 0 4666526 14201171968 79871 33554432000 4194304 4196468 140727267581088 140349452672968 140350962639072 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6335] ppid=6214 vsize=13868332 CPUtime=273.47 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6335/stat : 6335 (java) R 6214 6214 7744 0 -1 4202560 1668 0 0 0 27346 1 0 0 20 0 28 0 4666526 14201171968 79871 33554432000 4194304 4196468 140727267581088 140349451620360 140350962639109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6336] ppid=6214 vsize=13868332 CPUtime=273.55 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6336/stat : 6336 (java) R 6214 6214 7744 0 -1 4202560 1178 0 0 0 27354 1 0 0 20 0 28 0 4666526 14201171968 79871 33554432000 4194304 4196468 140727267581088 140349453726232 140350964709885 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6337] ppid=6214 vsize=13868332 CPUtime=273.73 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6337/stat : 6337 (java) R 6214 6214 7744 0 -1 4202560 504 0 0 0 27372 1 0 0 20 0 28 0 4666526 14201171968 79871 33554432000 4194304 4196468 140727267581088 140349448462704 140350962639132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6338] ppid=6214 vsize=13868332 CPUtime=273.27 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6338/stat : 6338 (java) R 6214 6214 7744 0 -1 4202560 1373 0 0 0 27326 1 0 0 20 0 28 0 4666526 14201171968 79871 33554432000 4194304 4196468 140727267581088 140349455830808 140350962640308 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
[pid=6215/tid=6339] ppid=6214 vsize=13868332 CPUtime=273.66 cores=0,2,4,6,8,10,12,14
/proc/6215/task/6339/stat : 6339 (java) R 6214 6214 7744 0 -1 4202560 1407 0 0 0 27365 1 0 0 20 0 28 0 4666526 14201171968 79871 33554432000 4194304 4196468 140727267581088 140349456883464 140350964707935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140727267583164 140727267583340 140727267583340 140727267585999 0
Current children cumulated CPU time (s) 2400.59
Current children cumulated vsize (KiB) 13877844
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 6215 sig 9
??? kill 6214 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 6214 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2191
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1095
# CPU time returned by wait4() is 0.003286
# while last known CPU time is 2400.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.412
CPU time (s): 2400.59
CPU user time (s): 2398.61
CPU system time (s): 1.98
CPU usage (%): 791.197
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002191
system time used= 0.001095
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33641 second user time and 4.03042 second system time
The end