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-4248378-1500691707/watcher-4248378-1500691707 -o /tmp/evaluation-result-4248378-1500691707/solver-4248378-1500691707 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1217778493 HOME/instance-4248378-1500691707.xml
pid=5086
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.20 14.62 13.39 10/270 5089
/proc/meminfo: memFree=28802572/32770624 swapFree=5892/123864
[pid=5089] ppid=5086 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5089/stat : 5089 (xcsp3-exec) S 5086 5089 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4440425 9740288 346 33554432000 4194304 5098028 140732341891280 140732341889384 140337529516668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24842240 140732341896334 140732341896544 140732341896544 140732341899243 0
/proc/5089/statm: 2378 346 289 221 0 87 0
[startup+0.100168 s]
/proc/loadavg: 14.20 14.62 13.39 10/270 5089
/proc/meminfo: memFree=28802572/32770624 swapFree=5892/123864
[pid=5089] ppid=5086 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5089/stat : 5089 (xcsp3-exec) S 5086 5089 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4440425 9740288 346 33554432000 4194304 5098028 140732341891280 140732341889384 140337529516668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24842240 140732341896334 140732341896544 140732341896544 140732341899243 0
/proc/5089/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20035 s]
/proc/loadavg: 14.20 14.62 13.39 10/270 5089
/proc/meminfo: memFree=28802572/32770624 swapFree=5892/123864
[pid=5089] ppid=5086 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5089/stat : 5089 (xcsp3-exec) S 5086 5089 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4440425 9740288 346 33554432000 4194304 5098028 140732341891280 140732341889384 140337529516668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24842240 140732341896334 140732341896544 140732341896544 140732341899243 0
/proc/5089/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300224 s]
/proc/loadavg: 14.20 14.62 13.39 10/270 5089
/proc/meminfo: memFree=28802572/32770624 swapFree=5892/123864
[pid=5089] ppid=5086 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5089/stat : 5089 (xcsp3-exec) S 5086 5089 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4440425 9740288 346 33554432000 4194304 5098028 140732341891280 140732341889384 140337529516668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24842240 140732341896334 140732341896544 140732341896544 140732341899243 0
/proc/5089/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70021 s]
/proc/loadavg: 14.20 14.62 13.39 10/270 5089
/proc/meminfo: memFree=28802572/32770624 swapFree=5892/123864
[pid=5089] ppid=5086 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5089/stat : 5089 (xcsp3-exec) S 5086 5089 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4440425 9740288 346 33554432000 4194304 5098028 140732341891280 140732341889384 140337529516668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24842240 140732341896334 140732341896544 140732341896544 140732341899243 0
/proc/5089/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5012 s]
/proc/loadavg: 14.20 14.62 13.39 20/299 5358
/proc/meminfo: memFree=28605312/32770624 swapFree=5892/123896
[pid=5089] ppid=5086 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5089/stat : 5089 (xcsp3-exec) S 5086 5089 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4440425 9740288 346 33554432000 4194304 5098028 140732341891280 140732341889384 140337529516668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24842240 140732341896334 140732341896544 140732341896544 140732341899243 0
/proc/5089/statm: 2378 346 289 221 0 87 0
[pid=5090] ppid=5089 vsize=13871108 CPUtime=6.81 cores=0,2,4,6,8,10,12,14
/proc/5090/stat : 5090 (java) S 5089 5089 15667 0 -1 1077944320 26981 0 0 0 664 17 0 0 20 0 28 0 4440425 14204014592 56566 33554432000 4194304 4196468 140731937430768 140731937413312 140050523733751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
/proc/5090/statm: 3467777 56566 3231 1 0 3455010 0
[pid=5090/tid=5091] ppid=5089 vsize=13871108 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5091/stat : 5091 (java) S 5089 5089 15667 0 -1 1077944384 6332 0 0 0 48 4 0 0 20 0 28 0 4440426 14204014592 56566 33554432000 4194304 4196468 140731937430768 140050527974528 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5093] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5093/stat : 5093 (java) S 5089 5089 15667 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4440427 14204014592 56566 33554432000 4194304 4196468 140731937430768 140050122779536 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5094] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5094/stat : 5094 (java) S 5089 5089 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4440427 14204014592 56566 33554432000 4194304 4196468 140731937430768 140050121726736 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5095] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5095/stat : 5095 (java) S 5089 5089 15667 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4440427 14204014592 56566 33554432000 4194304 4196468 140731937430768 140050120674448 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5096] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5096/stat : 5096 (java) S 5089 5089 15667 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4440427 14204014592 56566 33554432000 4194304 4196468 140731937430768 140050119621648 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5097] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5097/stat : 5097 (java) S 5089 5089 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4440427 14204014592 56566 33554432000 4194304 4196468 140731937430768 140050118568336 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5098] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5098/stat : 5098 (java) S 5089 5089 15667 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4440427 14204014592 56566 33554432000 4194304 4196468 140731937430768 140050117515536 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5099] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5099/stat : 5099 (java) S 5089 5089 15667 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4440427 14204014592 56566 33554432000 4194304 4196468 140731937430768 140050116463248 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5100] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5100/stat : 5100 (java) S 5089 5089 15667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4440427 14204014592 56566 33554432000 4194304 4196468 140731937430768 140050115410448 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5101] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5101/stat : 5101 (java) S 5089 5089 15667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4440429 14204014592 56566 33554432000 4194304 4196468 140731937430768 140049985993328 140050523744898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5102] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5102/stat : 5102 (java) S 5089 5089 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4440430 14204014592 56566 33554432000 4194304 4196468 140731937430768 140049984939360 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5103] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5103/stat : 5103 (java) S 5089 5089 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4440430 14204014592 56566 33554432000 4194304 4196468 140731937430768 140049983886960 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5104] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5104/stat : 5104 (java) S 5089 5089 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440434 14204014592 56566 33554432000 4194304 4196468 140731937430768 140049982835280 140050523752347 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5105] ppid=5089 vsize=13871108 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5105/stat : 5105 (java) R 5089 5089 15667 0 -1 4202560 3745 0 0 0 55 1 0 0 20 0 28 0 4440434 14204014592 56566 33554432000 4194304 4196468 140731937430768 140049981767864 140050508857712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5106] ppid=5089 vsize=13871108 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5106/stat : 5106 (java) R 5089 5089 15667 0 -1 4202560 3226 0 0 0 60 0 0 0 20 0 28 0 4440434 14204014592 56566 33554432000 4194304 4196468 140731937430768 140049980715208 140050502990326 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5107] ppid=5089 vsize=13871108 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5107/stat : 5107 (java) R 5089 5089 15667 0 -1 4202560 3235 0 0 0 62 0 0 0 20 0 28 0 4440434 14204014592 56566 33554432000 4194304 4196468 140731937430768 140049979663584 140050505279041 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5108] ppid=5089 vsize=13871108 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5108/stat : 5108 (java) S 5089 5089 15667 0 -1 1077944384 3983 0 0 0 46 1 0 0 20 0 28 0 4440434 14204014592 56566 33554432000 4194304 4196468 140731937430768 140049978624240 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5109] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5109/stat : 5109 (java) S 5089 5089 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4440434 14204014592 56566 33554432000 4194304 4196468 140731937430768 140049977572192 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5110] ppid=5089 vsize=13871108 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5110/stat : 5110 (java) S 5089 5089 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440451 14204014592 56566 33554432000 4194304 4196468 140731937430768 140049976519472 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 13880620
[startup+3.10119 s]
/proc/loadavg: 14.20 14.62 13.39 20/299 5438
/proc/meminfo: memFree=28577364/32770624 swapFree=5892/123896
[pid=5089] ppid=5086 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5089/stat : 5089 (xcsp3-exec) S 5086 5089 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4440425 9740288 346 33554432000 4194304 5098028 140732341891280 140732341889384 140337529516668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24842240 140732341896334 140732341896544 140732341896544 140732341899243 0
/proc/5089/statm: 2378 346 289 221 0 87 0
[pid=5090] ppid=5089 vsize=13869360 CPUtime=19.31 cores=0,2,4,6,8,10,12,14
/proc/5090/stat : 5090 (java) S 5089 5089 15667 0 -1 1077944320 33528 0 0 0 1908 23 0 0 20 0 28 0 4440425 14202224640 61159 33554432000 4194304 4196468 140731937430768 140731937413312 140050523733751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
/proc/5090/statm: 3467340 61159 3250 1 0 3454573 0
[pid=5090/tid=5091] ppid=5089 vsize=13869360 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5091/stat : 5091 (java) S 5089 5089 15667 0 -1 1077944384 6333 0 0 0 49 4 0 0 20 0 28 0 4440426 14202224640 61159 33554432000 4194304 4196468 140731937430768 140050527974528 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5093] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5093/stat : 5093 (java) S 5089 5089 15667 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4440427 14202224640 61159 33554432000 4194304 4196468 140731937430768 140050122779536 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5094] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5094/stat : 5094 (java) S 5089 5089 15667 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4440427 14202224640 61159 33554432000 4194304 4196468 140731937430768 140050121726736 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5095] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5095/stat : 5095 (java) S 5089 5089 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4440427 14202224640 61159 33554432000 4194304 4196468 140731937430768 140050120674448 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5096] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5096/stat : 5096 (java) S 5089 5089 15667 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4440427 14202224640 61159 33554432000 4194304 4196468 140731937430768 140050119621648 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5097] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5097/stat : 5097 (java) S 5089 5089 15667 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4440427 14202224640 61159 33554432000 4194304 4196468 140731937430768 140050118568336 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5098] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5098/stat : 5098 (java) S 5089 5089 15667 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4440427 14202224640 61159 33554432000 4194304 4196468 140731937430768 140050117515536 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5099] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5099/stat : 5099 (java) S 5089 5089 15667 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4440427 14202224640 61159 33554432000 4194304 4196468 140731937430768 140050116463248 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5100] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5100/stat : 5100 (java) S 5089 5089 15667 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4440427 14202224640 61159 33554432000 4194304 4196468 140731937430768 140050115410448 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5101] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5101/stat : 5101 (java) S 5089 5089 15667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4440429 14202224640 61159 33554432000 4194304 4196468 140731937430768 140049985993328 140050523744898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5102] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5102/stat : 5102 (java) S 5089 5089 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4440430 14202224640 61159 33554432000 4194304 4196468 140731937430768 140049984939360 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5103] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5103/stat : 5103 (java) S 5089 5089 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4440430 14202224640 61159 33554432000 4194304 4196468 140731937430768 140049983886960 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5104] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5104/stat : 5104 (java) S 5089 5089 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440434 14202224640 61159 33554432000 4194304 4196468 140731937430768 140049982835280 140050523752347 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5105] ppid=5089 vsize=13869360 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5105/stat : 5105 (java) R 5089 5089 15667 0 -1 4202560 5872 0 0 0 168 2 0 0 20 0 28 0 4440434 14202224640 61159 33554432000 4194304 4196468 140731937430768 140049981775320 140050508133446 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5106] ppid=5089 vsize=13869360 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5106/stat : 5106 (java) R 5089 5089 15667 0 -1 4202560 4835 0 0 0 166 1 0 0 20 0 28 0 4440434 14202224640 61159 33554432000 4194304 4196468 140731937430768 140049980729624 140050507288976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5107] ppid=5089 vsize=13869360 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5107/stat : 5107 (java) R 5089 5089 15667 0 -1 4202560 4167 0 0 0 172 0 0 0 20 0 28 0 4440434 14202224640 61159 33554432000 4194304 4196468 140731937430768 140049979677040 140050503005672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5108] ppid=5089 vsize=13869360 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5108/stat : 5108 (java) S 5089 5089 15667 0 -1 1077944384 4244 0 0 0 52 2 0 0 20 0 28 0 4440434 14202224640 61159 33554432000 4194304 4196468 140731937430768 140049978624240 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5109] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5109/stat : 5109 (java) S 5089 5089 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4440434 14202224640 61159 33554432000 4194304 4196468 140731937430768 140049977572192 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5110] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5110/stat : 5110 (java) S 5089 5089 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440451 14202224640 61159 33554432000 4194304 4196468 140731937430768 140049976519472 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
Current children cumulated CPU time (s) 19.31
Current children cumulated vsize (KiB) 13878872
[startup+6.30106 s]
/proc/loadavg: 14.27 14.62 13.40 17/299 5486
/proc/meminfo: memFree=28213124/32770624 swapFree=5892/123908
[pid=5089] ppid=5086 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5089/stat : 5089 (xcsp3-exec) S 5086 5089 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4440425 9740288 346 33554432000 4194304 5098028 140732341891280 140732341889384 140337529516668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24842240 140732341896334 140732341896544 140732341896544 140732341899243 0
/proc/5089/statm: 2378 346 289 221 0 87 0
[pid=5090] ppid=5089 vsize=13869360 CPUtime=44.66 cores=0,2,4,6,8,10,12,14
/proc/5090/stat : 5090 (java) S 5089 5089 15667 0 -1 1077944320 38317 0 0 0 4428 38 0 0 20 0 28 0 4440425 14202224640 156118 33554432000 4194304 4196468 140731937430768 140731937413312 140050523733751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
/proc/5090/statm: 3467340 156118 3261 1 0 3454573 0
[pid=5090/tid=5091] ppid=5089 vsize=13869360 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5091/stat : 5091 (java) S 5089 5089 15667 0 -1 1077944384 6334 0 0 0 49 4 0 0 20 0 28 0 4440426 14202224640 156118 33554432000 4194304 4196468 140731937430768 140050527974528 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5093] ppid=5089 vsize=13869360 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5093/stat : 5093 (java) S 5089 5089 15667 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 28 0 4440427 14202224640 156118 33554432000 4194304 4196468 140731937430768 140050122779536 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5094] ppid=5089 vsize=13869360 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5094/stat : 5094 (java) S 5089 5089 15667 0 -1 1077944384 74 0 0 0 1 1 0 0 20 0 28 0 4440427 14202224640 156118 33554432000 4194304 4196468 140731937430768 140050121726736 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5095] ppid=5089 vsize=13869360 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5095/stat : 5095 (java) S 5089 5089 15667 0 -1 1077944384 357 0 0 0 1 1 0 0 20 0 28 0 4440427 14202224640 156118 33554432000 4194304 4196468 140731937430768 140050120674448 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5096] ppid=5089 vsize=13869360 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5096/stat : 5096 (java) S 5089 5089 15667 0 -1 1077944384 52 0 0 0 0 1 0 0 20 0 28 0 4440427 14202224640 156118 33554432000 4194304 4196468 140731937430768 140050119621648 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5097] ppid=5089 vsize=13869360 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5097/stat : 5097 (java) S 5089 5089 15667 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 4440427 14202224640 156118 33554432000 4194304 4196468 140731937430768 140050118568336 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5098] ppid=5089 vsize=13869360 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5098/stat : 5098 (java) S 5089 5089 15667 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 4440427 14202224640 156118 33554432000 4194304 4196468 140731937430768 140050117515536 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5099] ppid=5089 vsize=13869360 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5099/stat : 5099 (java) S 5089 5089 15667 0 -1 1077944384 89 0 0 0 1 1 0 0 20 0 28 0 4440427 14202224640 156118 33554432000 4194304 4196468 140731937430768 140050116463248 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5100] ppid=5089 vsize=13869360 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5100/stat : 5100 (java) S 5089 5089 15667 0 -1 1077944384 73 0 0 0 1 1 0 0 20 0 28 0 4440427 14202224640 156118 33554432000 4194304 4196468 140731937430768 140050115410448 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5101] ppid=5089 vsize=13869360 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5101/stat : 5101 (java) S 5089 5089 15667 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 28 0 4440429 14202224640 156118 33554432000 4194304 4196468 140731937430768 140049985993328 140050523744898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5102] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5102/stat : 5102 (java) S 5089 5089 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4440430 14202224640 156118 33554432000 4194304 4196468 140731937430768 140049984939360 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5103] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5103/stat : 5103 (java) S 5089 5089 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4440430 14202224640 156118 33554432000 4194304 4196468 140731937430768 140049983886960 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5104] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5104/stat : 5104 (java) S 5089 5089 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440434 14202224640 156118 33554432000 4194304 4196468 140731937430768 140049982835280 140050523752347 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
################
# More data... #
################
/proc/5090/task/5102/stat : 5102 (java) S 5089 5089 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4440430 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049984939360 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5103] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5103/stat : 5103 (java) S 5089 5089 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4440430 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049983886960 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5104] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5104/stat : 5104 (java) S 5089 5089 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049982835280 140050523752347 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5105] ppid=5089 vsize=13869360 CPUtime=2.18 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5105/stat : 5105 (java) S 5089 5089 15667 0 -1 1077944384 9711 0 0 0 216 2 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049981782128 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5106] ppid=5089 vsize=13869360 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5106/stat : 5106 (java) S 5089 5089 15667 0 -1 1077944384 9331 0 0 0 187 2 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049980729328 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5107] ppid=5089 vsize=13869360 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5107/stat : 5107 (java) S 5089 5089 15667 0 -1 1077944384 8262 0 0 0 209 0 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049979677040 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5108] ppid=5089 vsize=13869360 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5108/stat : 5108 (java) S 5089 5089 15667 0 -1 1077944384 6084 0 0 0 59 2 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049978624240 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5109] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5109/stat : 5109 (java) S 5089 5089 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049977572192 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5110] ppid=5089 vsize=13869360 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5110/stat : 5110 (java) S 5089 5089 15667 0 -1 1077944384 231 0 0 0 5 7 0 0 20 0 28 0 4440451 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049976519472 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5479] ppid=5089 vsize=13869360 CPUtime=199.7 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5479/stat : 5479 (java) R 5089 5089 15667 0 -1 4202560 3626 0 0 0 19960 10 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049967452488 140050509801876 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5480] ppid=5089 vsize=13869360 CPUtime=199.93 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5480/stat : 5480 (java) R 5089 5089 15667 0 -1 4202560 2747 0 0 0 19979 14 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049960084696 140050166041208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5481] ppid=5089 vsize=13869360 CPUtime=198.92 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5481/stat : 5481 (java) R 5089 5089 15667 0 -1 4202560 2933 0 0 0 19883 9 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049689596504 140050165798118 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5482] ppid=5089 vsize=13869360 CPUtime=198.75 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5482/stat : 5482 (java) R 5089 5089 15667 0 -1 4202560 2882 0 0 0 19868 7 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049962188464 140050165134178 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5483] ppid=5089 vsize=13869360 CPUtime=199.56 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5483/stat : 5483 (java) R 5089 5089 15667 0 -1 4202560 700 0 0 0 19953 3 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049965347672 140050166617478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5484] ppid=5089 vsize=13869360 CPUtime=199.13 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5484/stat : 5484 (java) R 5089 5089 15667 0 -1 4202560 2726 0 0 0 19908 5 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049968504920 140050165188107 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5485] ppid=5089 vsize=13869360 CPUtime=199.72 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5485/stat : 5485 (java) R 5089 5089 15667 0 -1 4202560 8025 0 0 0 19944 28 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049961139248 140050509801876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5486] ppid=5089 vsize=13869360 CPUtime=199.79 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5486/stat : 5486 (java) R 5089 5089 15667 0 -1 4202560 2502 0 0 0 19968 11 0 0 20 0 28 0 4440866 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049966400120 140050165132780 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
Current children cumulated CPU time (s) 1641.58
Current children cumulated vsize (KiB) 13878872
[startup+208.404 s]
/proc/loadavg: 15.84 15.10 13.81 17/301 5943
/proc/meminfo: memFree=24145728/32770624 swapFree=5892/124136
[pid=5089] ppid=5086 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5089/stat : 5089 (xcsp3-exec) S 5086 5089 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4440425 9740288 346 33554432000 4194304 5098028 140732341891280 140732341889384 140337529516668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24842240 140732341896334 140732341896544 140732341896544 140732341899243 0
/proc/5089/statm: 2378 346 289 221 0 87 0
[pid=5090] ppid=5089 vsize=13869360 CPUtime=1644.4 cores=0,2,4,6,8,10,12,14
/proc/5090/stat : 5090 (java) S 5089 5089 15667 0 -1 1077944320 99370 0 0 0 164122 318 0 0 20 0 28 0 4440425 14202224640 971490 33554432000 4194304 4196468 140731937430768 140731937413312 140050523733751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
/proc/5090/statm: 3467340 971490 3283 1 0 3454573 0
[pid=5090/tid=5091] ppid=5089 vsize=13869360 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5091/stat : 5091 (java) S 5089 5089 15667 0 -1 1077944384 6334 0 0 0 49 4 0 0 20 0 28 0 4440426 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050527974528 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5093] ppid=5089 vsize=13869360 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5093/stat : 5093 (java) R 5089 5089 15667 0 -1 4202560 1277 0 0 0 162 21 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050122779536 140050508181966 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5094] ppid=5089 vsize=13869360 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5094/stat : 5094 (java) R 5089 5089 15667 0 -1 4202560 1478 0 0 0 167 21 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050121726736 140050508181966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5095] ppid=5089 vsize=13869360 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5095/stat : 5095 (java) R 5089 5089 15667 0 -1 1077944384 2115 0 0 0 163 20 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050120674448 140050523743957 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5096] ppid=5089 vsize=13869360 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5096/stat : 5096 (java) R 5089 5089 15667 0 -1 4202560 1158 0 0 0 167 22 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050119621648 140050508181966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5097] ppid=5089 vsize=13869360 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5097/stat : 5097 (java) R 5089 5089 15667 0 -1 4202560 862 0 0 0 165 22 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050118568336 140050508760886 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5098] ppid=5089 vsize=13869360 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5098/stat : 5098 (java) R 5089 5089 15667 0 -1 4202560 2513 0 0 0 166 21 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050117515536 140050508181935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5099] ppid=5089 vsize=13869360 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5099/stat : 5099 (java) R 5089 5089 15667 0 -1 4202560 1638 0 0 0 165 22 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050116463248 140050508182043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5100] ppid=5089 vsize=13869360 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5100/stat : 5100 (java) R 5089 5089 15667 0 -1 4202560 1375 0 0 0 167 21 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050115410448 140050508182043 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5101] ppid=5089 vsize=13869360 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5101/stat : 5101 (java) S 5089 5089 15667 0 -1 1077944384 12658 0 0 0 36 27 0 0 20 0 28 0 4440429 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049985991840 140050523743957 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5102] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5102/stat : 5102 (java) S 5089 5089 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4440430 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049984939360 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5103] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5103/stat : 5103 (java) S 5089 5089 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4440430 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049983886960 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5104] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5104/stat : 5104 (java) S 5089 5089 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049982835280 140050523752347 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5105] ppid=5089 vsize=13869360 CPUtime=2.18 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5105/stat : 5105 (java) S 5089 5089 15667 0 -1 1077944384 9711 0 0 0 216 2 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049981782128 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5106] ppid=5089 vsize=13869360 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5106/stat : 5106 (java) S 5089 5089 15667 0 -1 1077944384 9331 0 0 0 187 2 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049980729328 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5107] ppid=5089 vsize=13869360 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5107/stat : 5107 (java) S 5089 5089 15667 0 -1 1077944384 8262 0 0 0 209 0 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049979677040 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5108] ppid=5089 vsize=13869360 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5108/stat : 5108 (java) S 5089 5089 15667 0 -1 1077944384 6084 0 0 0 59 2 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049978624240 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5109] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5109/stat : 5109 (java) S 5089 5089 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049977572192 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5110] ppid=5089 vsize=13869360 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5110/stat : 5110 (java) S 5089 5089 15667 0 -1 1077944384 231 0 0 0 5 7 0 0 20 0 28 0 4440451 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049976519472 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5479] ppid=5089 vsize=13869360 CPUtime=200.05 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5479/stat : 5479 (java) S 5089 5089 15667 0 -1 1077944384 3626 0 0 0 19995 10 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049967455232 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5480] ppid=5089 vsize=13869360 CPUtime=200.28 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5480/stat : 5480 (java) S 5089 5089 15667 0 -1 1077944384 2747 0 0 0 20014 14 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049960086832 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5481] ppid=5089 vsize=13869360 CPUtime=199.25 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5481/stat : 5481 (java) S 5089 5089 15667 0 -1 1077944384 2951 0 0 0 19916 9 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049689595728 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5482] ppid=5089 vsize=13869360 CPUtime=199.09 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5482/stat : 5482 (java) S 5089 5089 15667 0 -1 1077944384 2890 0 0 0 19902 7 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049962188176 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5483] ppid=5089 vsize=13869360 CPUtime=199.91 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5483/stat : 5483 (java) S 5089 5089 15667 0 -1 1077944384 700 0 0 0 19988 3 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049965347536 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5484] ppid=5089 vsize=13869360 CPUtime=199.48 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5484/stat : 5484 (java) S 5089 5089 15667 0 -1 1077944384 2726 0 0 0 19943 5 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049968504784 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5485] ppid=5089 vsize=13869360 CPUtime=200.07 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5485/stat : 5485 (java) S 5089 5089 15667 0 -1 1077944384 8026 0 0 0 19979 28 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049961140000 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5486] ppid=5089 vsize=13869360 CPUtime=200.14 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5486/stat : 5486 (java) S 5089 5089 15667 0 -1 1077944384 2502 0 0 0 20003 11 0 0 20 0 28 0 4440866 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049966399568 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
Current children cumulated CPU time (s) 1644.4
Current children cumulated vsize (KiB) 13878872
[startup+208.804 s]
/proc/loadavg: 15.84 15.10 13.81 17/301 5943
/proc/meminfo: memFree=24145728/32770624 swapFree=5892/124136
[pid=5089] ppid=5086 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5089/stat : 5089 (xcsp3-exec) S 5086 5089 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4440425 9740288 346 33554432000 4194304 5098028 140732341891280 140732341889384 140337529516668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24842240 140732341896334 140732341896544 140732341896544 140732341899243 0
/proc/5089/statm: 2378 346 289 221 0 87 0
[pid=5090] ppid=5089 vsize=13869360 CPUtime=1647.58 cores=0,2,4,6,8,10,12,14
/proc/5090/stat : 5090 (java) S 5089 5089 15667 0 -1 1077944320 99382 0 0 0 164440 318 0 0 20 0 28 0 4440425 14202224640 971490 33554432000 4194304 4196468 140731937430768 140731937413312 140050523733751 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
/proc/5090/statm: 3467340 971490 3283 1 0 3454573 0
[pid=5090/tid=5091] ppid=5089 vsize=13869360 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5091/stat : 5091 (java) S 5089 5089 15667 0 -1 1077944384 6334 0 0 0 49 4 0 0 20 0 28 0 4440426 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050527974528 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5093] ppid=5089 vsize=13869360 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5093/stat : 5093 (java) S 5089 5089 15667 0 -1 1077944384 1277 0 0 0 164 21 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050122779536 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5094] ppid=5089 vsize=13869360 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5094/stat : 5094 (java) S 5089 5089 15667 0 -1 1077944384 1478 0 0 0 169 21 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050121726736 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5095] ppid=5089 vsize=13869360 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5095/stat : 5095 (java) S 5089 5089 15667 0 -1 1077944384 2115 0 0 0 164 20 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050120674448 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5096] ppid=5089 vsize=13869360 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5096/stat : 5096 (java) S 5089 5089 15667 0 -1 1077944384 1158 0 0 0 169 22 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050119621648 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5097] ppid=5089 vsize=13869360 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5097/stat : 5097 (java) S 5089 5089 15667 0 -1 1077944384 863 0 0 0 167 22 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050118568336 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5098] ppid=5089 vsize=13869360 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5098/stat : 5098 (java) S 5089 5089 15667 0 -1 1077944384 2514 0 0 0 168 21 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050117515536 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5099] ppid=5089 vsize=13869360 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5099/stat : 5099 (java) S 5089 5089 15667 0 -1 1077944384 1638 0 0 0 167 22 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050116463248 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5100] ppid=5089 vsize=13869360 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5100/stat : 5100 (java) S 5089 5089 15667 0 -1 1077944384 1375 0 0 0 169 21 0 0 20 0 28 0 4440427 14202224640 971490 33554432000 4194304 4196468 140731937430768 140050115410448 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5101] ppid=5089 vsize=13869360 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5101/stat : 5101 (java) S 5089 5089 15667 0 -1 1077944384 12658 0 0 0 36 27 0 0 20 0 28 0 4440429 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049985993328 140050523744898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5102] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5102/stat : 5102 (java) S 5089 5089 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4440430 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049984939360 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5103] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5103/stat : 5103 (java) S 5089 5089 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4440430 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049983886960 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5104] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5104/stat : 5104 (java) S 5089 5089 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049982835280 140050523752347 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5105] ppid=5089 vsize=13869360 CPUtime=2.18 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5105/stat : 5105 (java) S 5089 5089 15667 0 -1 1077944384 9711 0 0 0 216 2 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049981782128 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5106] ppid=5089 vsize=13869360 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5106/stat : 5106 (java) S 5089 5089 15667 0 -1 1077944384 9331 0 0 0 187 2 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049980729328 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5107] ppid=5089 vsize=13869360 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5107/stat : 5107 (java) S 5089 5089 15667 0 -1 1077944384 8262 0 0 0 209 0 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049979677040 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5108] ppid=5089 vsize=13869360 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5108/stat : 5108 (java) S 5089 5089 15667 0 -1 1077944384 6084 0 0 0 59 2 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049978624240 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5109] ppid=5089 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5109/stat : 5109 (java) S 5089 5089 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4440434 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049977572192 140050523743957 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5110] ppid=5089 vsize=13869360 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5110/stat : 5110 (java) S 5089 5089 15667 0 -1 1077944384 231 0 0 0 5 7 0 0 20 0 28 0 4440451 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049976519472 140050523744898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5479] ppid=5089 vsize=13869360 CPUtime=200.44 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5479/stat : 5479 (java) R 5089 5089 15667 0 -1 4202560 3626 0 0 0 20034 10 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049967455368 140050509801876 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5480] ppid=5089 vsize=13869360 CPUtime=200.66 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5480/stat : 5480 (java) R 5089 5089 15667 0 -1 4202560 2747 0 0 0 20052 14 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049960086720 140050509801856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5481] ppid=5089 vsize=13869360 CPUtime=199.62 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5481/stat : 5481 (java) R 5089 5089 15667 0 -1 4202560 2951 0 0 0 19953 9 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049689595864 140050165133300 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5482] ppid=5089 vsize=13869360 CPUtime=199.48 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5482/stat : 5482 (java) R 5089 5089 15667 0 -1 4202560 2892 0 0 0 19941 7 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049962188312 140050165134109 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5483] ppid=5089 vsize=13869360 CPUtime=200.29 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5483/stat : 5483 (java) R 5089 5089 15667 0 -1 4202560 700 0 0 0 20026 3 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049965347672 140050166617423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5484] ppid=5089 vsize=13869360 CPUtime=199.86 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5484/stat : 5484 (java) R 5089 5089 15667 0 -1 4202560 2726 0 0 0 19981 5 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049968504920 140050166617396 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5485] ppid=5089 vsize=13869360 CPUtime=200.45 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5485/stat : 5485 (java) R 5089 5089 15667 0 -1 4202560 8026 0 0 0 20017 28 0 0 20 0 28 0 4440865 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049961140136 140050509801876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
[pid=5090/tid=5486] ppid=5089 vsize=13869360 CPUtime=200.52 cores=0,2,4,6,8,10,12,14
/proc/5090/task/5486/stat : 5486 (java) R 5089 5089 15667 0 -1 4202560 2504 0 0 0 20041 11 0 0 20 0 28 0 4440866 14202224640 971490 33554432000 4194304 4196468 140731937430768 140049966399456 140050166158106 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8921088 140731937432764 140731937432940 140731937432940 140731937435599 0
Current children cumulated CPU time (s) 1647.58
Current children cumulated vsize (KiB) 13878872
Child status: 0
Real time (s): 208.889
CPU time (s): 1648.07
CPU user time (s): 1644.86
CPU system time (s): 3.20473
CPU usage (%): 788.965
Max. virtual memory (cumulated for all children) (KiB): 13881156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1644.86
system time used= 3.20473
maximum resident set size= 3885960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26327
involuntary context switches= 114500
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.04385 second user time and 3.72191 second system time
The end