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-4249538-1500694916/watcher-4249538-1500694916 -o /tmp/evaluation-result-4249538-1500694916/solver-4249538-1500694916 -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 672087757 HOME/instance-4249538-1500694916.xml
pid=7222
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: 16.07 15.54 14.91 10/272 7225
/proc/meminfo: memFree=31274536/32770624 swapFree=5880/294608
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
[startup+0.100064 s]
/proc/loadavg: 16.07 15.54 14.91 10/272 7225
/proc/meminfo: memFree=31274536/32770624 swapFree=5880/294608
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200303 s]
/proc/loadavg: 16.07 15.54 14.91 10/272 7225
/proc/meminfo: memFree=31274536/32770624 swapFree=5880/294608
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300346 s]
/proc/loadavg: 16.07 15.54 14.91 10/272 7225
/proc/meminfo: memFree=31274536/32770624 swapFree=5880/294608
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700194 s]
/proc/loadavg: 16.07 15.54 14.91 10/272 7225
/proc/meminfo: memFree=31274536/32770624 swapFree=5880/294608
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5009 s]
/proc/loadavg: 16.07 15.54 14.91 10/293 7246
/proc/meminfo: memFree=31080356/32770624 swapFree=5880/294372
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
[pid=7226] ppid=7225 vsize=13267208 CPUtime=2.74 cores=0,2,4,6,8,10,12,14
/proc/7226/stat : 7226 (java) S 7225 7225 7744 0 -1 1077944320 13067 0 0 0 263 11 0 0 20 0 20 0 4759254 13585620992 52036 33554432000 4194304 4196468 140736459429920 140736459412464 140351823875831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
/proc/7226/statm: 3316802 52036 3208 1 0 3304035 0
[pid=7226/tid=7227] ppid=7225 vsize=13267208 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7227/stat : 7227 (java) R 7225 7225 7744 0 -1 4202560 6522 0 0 0 141 4 0 0 20 0 20 0 4759254 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351828114664 140351806338732 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7229] ppid=7225 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7229/stat : 7229 (java) S 7225 7225 7744 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 20 0 4759255 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351756012432 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7230] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7230/stat : 7230 (java) S 7225 7225 7744 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351754959632 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7231] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7231/stat : 7231 (java) S 7225 7225 7744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351753907344 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7232] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7232/stat : 7232 (java) S 7225 7225 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351752854544 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7233] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7233/stat : 7233 (java) S 7225 7225 7744 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351751801232 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7234] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7234/stat : 7234 (java) S 7225 7225 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351750748432 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7235] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7235/stat : 7235 (java) S 7225 7225 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351749696144 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7236] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7236/stat : 7236 (java) S 7225 7225 7744 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351748643344 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7237] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7237/stat : 7237 (java) S 7225 7225 7744 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4759257 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351286114928 140351823886978 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7238] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7238/stat : 7238 (java) S 7225 7225 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4759258 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351285060896 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7239] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7239/stat : 7239 (java) S 7225 7225 7744 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 4759259 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351284008560 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7240] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7240/stat : 7240 (java) S 7225 7225 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4759263 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351282956880 140351823894427 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7241] ppid=7225 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7241/stat : 7241 (java) S 7225 7225 7744 0 -1 1077944384 1474 0 0 0 28 0 0 0 20 0 20 0 4759263 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351281903728 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7242] ppid=7225 vsize=13267208 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7242/stat : 7242 (java) S 7225 7225 7744 0 -1 1077944384 1053 0 0 0 26 0 0 0 20 0 20 0 4759263 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351280850928 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7243] ppid=7225 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7243/stat : 7243 (java) S 7225 7225 7744 0 -1 1077944384 1161 0 0 0 30 0 0 0 20 0 20 0 4759263 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351279798640 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7244] ppid=7225 vsize=13267208 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7244/stat : 7244 (java) S 7225 7225 7744 0 -1 1077944384 1391 0 0 0 29 0 0 0 20 0 20 0 4759263 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351278745840 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7245] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7245/stat : 7245 (java) S 7225 7225 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4759263 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351209728864 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7246] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7246/stat : 7246 (java) S 7225 7225 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4759263 13585620992 52036 33554432000 4194304 4196468 140736459429920 140351208676144 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 12 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 13276720
[startup+3.10089 s]
/proc/loadavg: 15.50 15.44 14.88 10/293 7246
/proc/meminfo: memFree=31079508/32770624 swapFree=5880/294372
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
[pid=7226] ppid=7225 vsize=13267208 CPUtime=4.35 cores=0,2,4,6,8,10,12,14
/proc/7226/stat : 7226 (java) S 7225 7225 7744 0 -1 1077944320 13747 0 0 0 424 11 0 0 20 0 20 0 4759254 13585620992 52151 33554432000 4194304 4196468 140736459429920 140736459412464 140351823875831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
/proc/7226/statm: 3316802 52151 3210 1 0 3304035 0
[pid=7226/tid=7227] ppid=7225 vsize=13267208 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7227/stat : 7227 (java) R 7225 7225 7744 0 -1 4202560 7014 0 0 0 301 5 0 0 20 0 20 0 4759254 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351828115024 140351823889680 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7229] ppid=7225 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7229/stat : 7229 (java) S 7225 7225 7744 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 20 0 4759255 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351756012432 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7230] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7230/stat : 7230 (java) S 7225 7225 7744 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351754959632 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7231] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7231/stat : 7231 (java) S 7225 7225 7744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351753907344 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7232] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7232/stat : 7232 (java) S 7225 7225 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351752854544 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7233] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7233/stat : 7233 (java) S 7225 7225 7744 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351751801232 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7234] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7234/stat : 7234 (java) S 7225 7225 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351750748432 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7235] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7235/stat : 7235 (java) S 7225 7225 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351749696144 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7236] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7236/stat : 7236 (java) S 7225 7225 7744 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4759255 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351748643344 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7237] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7237/stat : 7237 (java) S 7225 7225 7744 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 4759257 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351286114928 140351823886978 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7238] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7238/stat : 7238 (java) S 7225 7225 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4759258 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351285060896 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7239] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7239/stat : 7239 (java) S 7225 7225 7744 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 4759259 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351284008560 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7240] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7240/stat : 7240 (java) S 7225 7225 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4759263 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351282956880 140351823894427 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7241] ppid=7225 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7241/stat : 7241 (java) S 7225 7225 7744 0 -1 1077944384 1477 0 0 0 28 0 0 0 20 0 20 0 4759263 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351281903728 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7242] ppid=7225 vsize=13267208 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7242/stat : 7242 (java) S 7225 7225 7744 0 -1 1077944384 1056 0 0 0 26 0 0 0 20 0 20 0 4759263 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351280850928 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7243] ppid=7225 vsize=13267208 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7243/stat : 7243 (java) S 7225 7225 7744 0 -1 1077944384 1165 0 0 0 31 0 0 0 20 0 20 0 4759263 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351279798640 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7244] ppid=7225 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7244/stat : 7244 (java) S 7225 7225 7744 0 -1 1077944384 1547 0 0 0 30 0 0 0 20 0 20 0 4759263 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351278745840 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7245] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7245/stat : 7245 (java) S 7225 7225 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4759263 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351209728864 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7246] ppid=7225 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7246/stat : 7246 (java) S 7225 7225 7744 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 4759263 13585620992 52151 33554432000 4194304 4196468 140736459429920 140351208676144 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 12 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 13276720
[startup+6.30097 s]
/proc/loadavg: 15.50 15.44 14.88 10/293 7246
/proc/meminfo: memFree=31059936/32770624 swapFree=5880/294400
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
[pid=7226] ppid=7225 vsize=13269256 CPUtime=8.11 cores=0,2,4,6,8,10,12,14
/proc/7226/stat : 7226 (java) S 7225 7225 7744 0 -1 1077944320 18355 0 0 0 788 23 0 0 20 0 20 0 4759254 13587718144 58603 33554432000 4194304 4196468 140736459429920 140736459412464 140351823875831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
/proc/7226/statm: 3317314 58603 3220 1 0 3304547 0
[pid=7226/tid=7227] ppid=7225 vsize=13269256 CPUtime=6.23 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7227/stat : 7227 (java) R 7225 7225 7744 0 -1 4202560 8361 0 0 0 618 5 0 0 20 0 20 0 4759254 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351828110816 140351432149638 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7229] ppid=7225 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7229/stat : 7229 (java) S 7225 7225 7744 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 20 0 4759255 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351756012432 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7230] ppid=7225 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7230/stat : 7230 (java) S 7225 7225 7744 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 4759255 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351754959632 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7231] ppid=7225 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7231/stat : 7231 (java) S 7225 7225 7744 0 -1 1077944384 160 0 0 0 1 2 0 0 20 0 20 0 4759255 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351753907344 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7232] ppid=7225 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7232/stat : 7232 (java) S 7225 7225 7744 0 -1 1077944384 34 0 0 0 2 1 0 0 20 0 20 0 4759255 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351752854544 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7233] ppid=7225 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7233/stat : 7233 (java) S 7225 7225 7744 0 -1 1077944384 39 0 0 0 1 2 0 0 20 0 20 0 4759255 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351751801232 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7234] ppid=7225 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7234/stat : 7234 (java) S 7225 7225 7744 0 -1 1077944384 99 0 0 0 1 1 0 0 20 0 20 0 4759255 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351750748432 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7235] ppid=7225 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7235/stat : 7235 (java) S 7225 7225 7744 0 -1 1077944384 50 0 0 0 1 2 0 0 20 0 20 0 4759255 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351749696144 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7236] ppid=7225 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7236/stat : 7236 (java) S 7225 7225 7744 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 4759255 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351748643344 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7237] ppid=7225 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7237/stat : 7237 (java) S 7225 7225 7744 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 20 0 4759257 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351286114928 140351823886978 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7238] ppid=7225 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7238/stat : 7238 (java) S 7225 7225 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4759258 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351285060960 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7239] ppid=7225 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7239/stat : 7239 (java) S 7225 7225 7744 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4759259 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351284008576 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7240] ppid=7225 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7240/stat : 7240 (java) S 7225 7225 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4759263 13587718144 58603 33554432000 4194304 4196468 140736459429920 140351282956880 140351823894427 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
################
# More data... #
################
/proc/7226/task/7242/stat : 7242 (java) S 7225 7225 7744 0 -1 1077944384 5523 0 0 0 69 0 0 0 20 0 20 0 4759263 13587718144 2596621 33554432000 4194304 4196468 140736459429920 140351280850928 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7243] ppid=7225 vsize=13269256 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7243/stat : 7243 (java) S 7225 7225 7744 0 -1 1077944384 5311 0 0 0 80 0 0 0 20 0 20 0 4759263 13587718144 2596621 33554432000 4194304 4196468 140736459429920 140351279798640 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7244] ppid=7225 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7244/stat : 7244 (java) S 7225 7225 7744 0 -1 1077944384 5420 0 0 0 54 1 0 0 20 0 20 0 4759263 13587718144 2596621 33554432000 4194304 4196468 140736459429920 140351278741712 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7245] ppid=7225 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7245/stat : 7245 (java) S 7225 7225 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4759263 13587718144 2596621 33554432000 4194304 4196468 140736459429920 140351209728864 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7246] ppid=7225 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7246/stat : 7246 (java) S 7225 7225 7744 0 -1 1077944384 364 0 0 0 9 9 0 0 20 0 20 0 4759263 13587718144 2596621 33554432000 4194304 4196468 140736459429920 140351208676144 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
Current children cumulated CPU time (s) 422.29
Current children cumulated vsize (KiB) 13278768
[startup+275.201 s]
/proc/loadavg: 9.33 11.61 13.38 17/292 7355
/proc/meminfo: memFree=17630332/32770624 swapFree=5880/294804
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
[pid=7226] ppid=7225 vsize=13335820 CPUtime=429.86 cores=0,2,4,6,8,10,12,14
/proc/7226/stat : 7226 (java) S 7225 7225 7744 0 -1 1077944320 139256 0 0 0 39270 3716 0 0 20 0 21 0 4759254 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140736459412464 140351823875831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
/proc/7226/statm: 3333955 2596626 3269 1 0 3321188 0
[pid=7226/tid=7227] ppid=7225 vsize=13335820 CPUtime=245.82 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7227/stat : 7227 (java) S 7225 7225 7744 0 -1 1077944384 17269 0 0 0 24570 12 0 0 20 0 21 0 4759254 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351828116512 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7229] ppid=7225 vsize=13335820 CPUtime=21.57 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7229/stat : 7229 (java) S 7225 7225 7744 0 -1 1077944384 6863 0 0 0 1682 475 0 0 20 0 21 0 4759255 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351756012240 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7230] ppid=7225 vsize=13335820 CPUtime=21.84 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7230/stat : 7230 (java) R 7225 7225 7744 0 -1 4202560 6305 0 0 0 1715 469 0 0 20 0 21 0 4759255 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351754959752 140351816504039 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7231] ppid=7225 vsize=13335820 CPUtime=21.43 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7231/stat : 7231 (java) R 7225 7225 7744 0 -1 4202560 6550 0 0 0 1645 498 0 0 20 0 21 0 4759255 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351753907544 140351816978855 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7232] ppid=7225 vsize=13335820 CPUtime=21.8 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7232/stat : 7232 (java) R 7225 7225 7744 0 -1 4202560 4901 0 0 0 1735 445 0 0 20 0 21 0 4759255 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351752854664 140351807258866 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7233] ppid=7225 vsize=13335820 CPUtime=21.81 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7233/stat : 7233 (java) R 7225 7225 7744 0 -1 4202560 7656 0 0 0 1712 469 0 0 20 0 21 0 4759255 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351751801352 140351816504039 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7234] ppid=7225 vsize=13335820 CPUtime=21.8 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7234/stat : 7234 (java) R 7225 7225 7744 0 -1 4202560 6070 0 0 0 1733 447 0 0 20 0 21 0 4759255 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351750748552 140351809634648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7235] ppid=7225 vsize=13335820 CPUtime=21.8 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7235/stat : 7235 (java) R 7225 7225 7744 0 -1 4202560 5482 0 0 0 1730 450 0 0 20 0 21 0 4759255 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351749696264 140351816504039 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7236] ppid=7225 vsize=13335820 CPUtime=21.77 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7236/stat : 7236 (java) R 7225 7225 7744 0 -1 4202560 7517 0 0 0 1749 428 0 0 20 0 21 0 4759255 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351748643464 140351816504039 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7237] ppid=7225 vsize=13335820 CPUtime=7.07 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7237/stat : 7237 (java) S 7225 7225 7744 0 -1 1077944384 45653 0 0 0 703 4 0 0 20 0 21 0 4759257 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351286113472 140351823886037 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7238] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7238/stat : 7238 (java) S 7225 7225 7744 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 21 0 4759258 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351285060960 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7239] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7239/stat : 7239 (java) S 7225 7225 7744 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 21 0 4759259 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351284008576 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7240] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7240/stat : 7240 (java) S 7225 7225 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4759263 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351282956880 140351823894427 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7241] ppid=7225 vsize=13335820 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7241/stat : 7241 (java) S 7225 7225 7744 0 -1 1077944384 6906 0 0 0 76 1 0 0 20 0 21 0 4759263 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351281903728 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7242] ppid=7225 vsize=13335820 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7242/stat : 7242 (java) S 7225 7225 7744 0 -1 1077944384 5523 0 0 0 69 0 0 0 20 0 21 0 4759263 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351280850928 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7243] ppid=7225 vsize=13335820 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7243/stat : 7243 (java) S 7225 7225 7744 0 -1 1077944384 5311 0 0 0 80 0 0 0 20 0 21 0 4759263 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351279798640 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7244] ppid=7225 vsize=13335820 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7244/stat : 7244 (java) S 7225 7225 7744 0 -1 1077944384 5434 0 0 0 54 1 0 0 20 0 21 0 4759263 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351278745840 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7245] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7245/stat : 7245 (java) S 7225 7225 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4759263 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351209728864 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7246] ppid=7225 vsize=13335820 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7246/stat : 7246 (java) S 7225 7225 7744 0 -1 1077944384 364 0 0 0 9 9 0 0 20 0 21 0 4759263 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351208676144 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 12 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7355] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7355/stat : 7355 (java) S 7225 7225 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4786685 13655879680 2596626 33554432000 4194304 4196468 140736459429920 140351201165248 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
Current children cumulated CPU time (s) 429.86
Current children cumulated vsize (KiB) 13345332
[startup+276.001 s]
/proc/loadavg: 9.33 11.61 13.38 17/292 7355
/proc/meminfo: memFree=17630332/32770624 swapFree=5880/294804
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
[pid=7226] ppid=7225 vsize=13335820 CPUtime=434.75 cores=0,2,4,6,8,10,12,14
/proc/7226/stat : 7226 (java) S 7225 7225 7744 0 -1 1077944320 139384 0 0 0 39756 3719 0 0 20 0 21 0 4759254 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140736459412464 140351823875831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
/proc/7226/statm: 3333955 2596628 3269 1 0 3321188 0
[pid=7226/tid=7227] ppid=7225 vsize=13335820 CPUtime=245.82 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7227/stat : 7227 (java) S 7225 7225 7744 0 -1 1077944384 17269 0 0 0 24570 12 0 0 20 0 21 0 4759254 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351828116512 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7229] ppid=7225 vsize=13335820 CPUtime=22.15 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7229/stat : 7229 (java) S 7225 7225 7744 0 -1 1077944384 6863 0 0 0 1740 475 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351756012432 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7230] ppid=7225 vsize=13335820 CPUtime=22.43 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7230/stat : 7230 (java) S 7225 7225 7744 0 -1 1077944384 6305 0 0 0 1773 470 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351754959632 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7231] ppid=7225 vsize=13335820 CPUtime=22.03 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7231/stat : 7231 (java) S 7225 7225 7744 0 -1 1077944384 6550 0 0 0 1705 498 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351753907344 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7232] ppid=7225 vsize=13335820 CPUtime=22.39 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7232/stat : 7232 (java) S 7225 7225 7744 0 -1 1077944384 4901 0 0 0 1794 445 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351752854544 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7233] ppid=7225 vsize=13335820 CPUtime=22.4 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7233/stat : 7233 (java) S 7225 7225 7744 0 -1 1077944384 7656 0 0 0 1770 470 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351751801232 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7234] ppid=7225 vsize=13335820 CPUtime=22.38 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7234/stat : 7234 (java) S 7225 7225 7744 0 -1 1077944384 6070 0 0 0 1790 448 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351750748432 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7235] ppid=7225 vsize=13335820 CPUtime=22.39 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7235/stat : 7235 (java) S 7225 7225 7744 0 -1 1077944384 5482 0 0 0 1788 451 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351749696144 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7236] ppid=7225 vsize=13335820 CPUtime=22.35 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7236/stat : 7236 (java) S 7225 7225 7744 0 -1 1077944384 7517 0 0 0 1807 428 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351748643344 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7237] ppid=7225 vsize=13335820 CPUtime=7.28 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7237/stat : 7237 (java) R 7225 7225 7744 0 -1 4202560 45781 0 0 0 724 4 0 0 20 0 21 0 4759257 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351286113360 140351808872241 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7238] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7238/stat : 7238 (java) S 7225 7225 7744 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 21 0 4759258 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351285060960 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7239] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7239/stat : 7239 (java) S 7225 7225 7744 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 21 0 4759259 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351284008576 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7240] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7240/stat : 7240 (java) S 7225 7225 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351282956880 140351823894427 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7241] ppid=7225 vsize=13335820 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7241/stat : 7241 (java) S 7225 7225 7744 0 -1 1077944384 6906 0 0 0 76 1 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351281903728 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7242] ppid=7225 vsize=13335820 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7242/stat : 7242 (java) S 7225 7225 7744 0 -1 1077944384 5523 0 0 0 69 0 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351280850928 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7243] ppid=7225 vsize=13335820 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7243/stat : 7243 (java) S 7225 7225 7744 0 -1 1077944384 5311 0 0 0 80 0 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351279798640 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7244] ppid=7225 vsize=13335820 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7244/stat : 7244 (java) S 7225 7225 7744 0 -1 1077944384 5434 0 0 0 54 1 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351278745840 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7245] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7245/stat : 7245 (java) S 7225 7225 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351209728864 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7246] ppid=7225 vsize=13335820 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7246/stat : 7246 (java) S 7225 7225 7744 0 -1 1077944384 364 0 0 0 9 9 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351208676144 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 12 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7355] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7355/stat : 7355 (java) S 7225 7225 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4786685 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351201165248 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
Current children cumulated CPU time (s) 434.75
Current children cumulated vsize (KiB) 13345332
[startup+276.401 s]
/proc/loadavg: 9.33 11.61 13.38 11/292 7355
/proc/meminfo: memFree=17630192/32770624 swapFree=5880/294804
[pid=7225] ppid=7222 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7225/stat : 7225 (xcsp3-exec) S 7222 7225 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4759253 9740288 346 33554432000 4194304 5098028 140725806111248 140725806109352 140660345987708 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31977472 140725806113935 140725806114144 140725806114144 140725806116843 0
/proc/7225/statm: 2378 346 289 221 0 87 0
[pid=7226] ppid=7225 vsize=13335820 CPUtime=435.15 cores=0,2,4,6,8,10,12,14
/proc/7226/stat : 7226 (java) S 7225 7225 7744 0 -1 1077944320 139384 0 0 0 39796 3719 0 0 20 0 21 0 4759254 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140736459412464 140351823875831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
/proc/7226/statm: 3333955 2596628 3269 1 0 3321188 0
[pid=7226/tid=7227] ppid=7225 vsize=13335820 CPUtime=245.82 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7227/stat : 7227 (java) S 7225 7225 7744 0 -1 1077944384 17269 0 0 0 24570 12 0 0 20 0 21 0 4759254 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351828116512 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7229] ppid=7225 vsize=13335820 CPUtime=22.15 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7229/stat : 7229 (java) S 7225 7225 7744 0 -1 1077944384 6863 0 0 0 1740 475 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351756012432 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7230] ppid=7225 vsize=13335820 CPUtime=22.43 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7230/stat : 7230 (java) S 7225 7225 7744 0 -1 1077944384 6305 0 0 0 1773 470 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351754959632 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7231] ppid=7225 vsize=13335820 CPUtime=22.03 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7231/stat : 7231 (java) S 7225 7225 7744 0 -1 1077944384 6550 0 0 0 1705 498 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351753907344 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7232] ppid=7225 vsize=13335820 CPUtime=22.39 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7232/stat : 7232 (java) S 7225 7225 7744 0 -1 1077944384 4901 0 0 0 1794 445 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351752854544 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7233] ppid=7225 vsize=13335820 CPUtime=22.4 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7233/stat : 7233 (java) S 7225 7225 7744 0 -1 1077944384 7656 0 0 0 1770 470 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351751801232 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7234] ppid=7225 vsize=13335820 CPUtime=22.38 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7234/stat : 7234 (java) S 7225 7225 7744 0 -1 1077944384 6070 0 0 0 1790 448 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351750748432 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7235] ppid=7225 vsize=13335820 CPUtime=22.39 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7235/stat : 7235 (java) S 7225 7225 7744 0 -1 1077944384 5482 0 0 0 1788 451 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351749696144 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7236] ppid=7225 vsize=13335820 CPUtime=22.35 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7236/stat : 7236 (java) S 7225 7225 7744 0 -1 1077944384 7517 0 0 0 1807 428 0 0 20 0 21 0 4759255 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351748643344 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7237] ppid=7225 vsize=13335820 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7237/stat : 7237 (java) R 7225 7225 7744 0 -1 4202560 45781 0 0 0 764 4 0 0 20 0 21 0 4759257 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351286113360 140351802246006 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7238] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7238/stat : 7238 (java) S 7225 7225 7744 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 21 0 4759258 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351285060960 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7239] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7239/stat : 7239 (java) S 7225 7225 7744 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 21 0 4759259 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351284008576 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7240] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7240/stat : 7240 (java) S 7225 7225 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351282956880 140351823894427 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7241] ppid=7225 vsize=13335820 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7241/stat : 7241 (java) S 7225 7225 7744 0 -1 1077944384 6906 0 0 0 76 1 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351281903728 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7242] ppid=7225 vsize=13335820 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7242/stat : 7242 (java) S 7225 7225 7744 0 -1 1077944384 5523 0 0 0 69 0 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351280850928 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7243] ppid=7225 vsize=13335820 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7243/stat : 7243 (java) S 7225 7225 7744 0 -1 1077944384 5311 0 0 0 80 0 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351279798640 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7244] ppid=7225 vsize=13335820 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7244/stat : 7244 (java) S 7225 7225 7744 0 -1 1077944384 5434 0 0 0 54 1 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351278745840 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7245] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7245/stat : 7245 (java) S 7225 7225 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351209728864 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7246] ppid=7225 vsize=13335820 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7246/stat : 7246 (java) S 7225 7225 7744 0 -1 1077944384 364 0 0 0 9 9 0 0 20 0 21 0 4759263 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351208676144 140351823886978 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 12 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
[pid=7226/tid=7355] ppid=7225 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7226/task/7355/stat : 7355 (java) S 7225 7225 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4786685 13655879680 2596628 33554432000 4194304 4196468 140736459429920 140351201165248 140351823886037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37445632 140736459437244 140736459437420 140736459437420 140736459440079 0
Current children cumulated CPU time (s) 435.15
Current children cumulated vsize (KiB) 13345332
Child status: 1
Real time (s): 276.477
CPU time (s): 435.212
CPU user time (s): 397.976
CPU system time (s): 37.2356
CPU usage (%): 157.413
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.976
system time used= 37.2356
maximum resident set size= 10386876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11680
involuntary context switches= 30245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.48881 second user time and 3.56248 second system time
The end