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-4247295-1500689701/watcher-4247295-1500689701 -o /tmp/evaluation-result-4247295-1500689701/solver-4247295-1500689701 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 576362931 HOME/instance-4247295-1500689701.xml
pid=7935
running on 8 cores: 4-7,12-15
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.10 13.02 11.00 10/277 7938
/proc/meminfo: memFree=31735668/32770624 swapFree=5944/251096
[pid=7938] ppid=7935 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/7938/stat : 7938 (xcsp3-exec) S 7935 7938 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237295 9740288 346 33554432000 4194304 5098028 140728903176624 140728903174728 139818118877820 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 22437888 140728903185551 140728903185760 140728903185760 140728903188459 0
/proc/7938/statm: 2378 346 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 16.10 13.02 11.00 10/277 7938
/proc/meminfo: memFree=31735668/32770624 swapFree=5944/251096
[pid=7938] ppid=7935 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/7938/stat : 7938 (xcsp3-exec) S 7935 7938 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237295 9740288 346 33554432000 4194304 5098028 140728903176624 140728903174728 139818118877820 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 22437888 140728903185551 140728903185760 140728903185760 140728903188459 0
/proc/7938/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200274 s]
/proc/loadavg: 16.10 13.02 11.00 10/277 7938
/proc/meminfo: memFree=31735668/32770624 swapFree=5944/251096
[pid=7938] ppid=7935 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/7938/stat : 7938 (xcsp3-exec) S 7935 7938 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237295 9740288 346 33554432000 4194304 5098028 140728903176624 140728903174728 139818118877820 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 22437888 140728903185551 140728903185760 140728903185760 140728903188459 0
/proc/7938/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.3003 s]
/proc/loadavg: 16.10 13.02 11.00 10/277 7938
/proc/meminfo: memFree=31735668/32770624 swapFree=5944/251096
[pid=7938] ppid=7935 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/7938/stat : 7938 (xcsp3-exec) S 7935 7938 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237295 9740288 346 33554432000 4194304 5098028 140728903176624 140728903174728 139818118877820 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 22437888 140728903185551 140728903185760 140728903185760 140728903188459 0
/proc/7938/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700189 s]
/proc/loadavg: 16.10 13.02 11.00 10/277 7938
/proc/meminfo: memFree=31735668/32770624 swapFree=5944/251096
[pid=7938] ppid=7935 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/7938/stat : 7938 (xcsp3-exec) S 7935 7938 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237295 9740288 346 33554432000 4194304 5098028 140728903176624 140728903174728 139818118877820 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 22437888 140728903185551 140728903185760 140728903185760 140728903188459 0
/proc/7938/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50157 s]
/proc/loadavg: 15.85 13.02 11.01 20/305 7967
/proc/meminfo: memFree=31631812/32770624 swapFree=5944/251136
[pid=7938] ppid=7935 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/7938/stat : 7938 (xcsp3-exec) S 7935 7938 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237295 9740288 346 33554432000 4194304 5098028 140728903176624 140728903174728 139818118877820 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 22437888 140728903185551 140728903185760 140728903185760 140728903188459 0
/proc/7938/statm: 2378 346 289 221 0 87 0
[pid=7939] ppid=7938 vsize=13801768 CPUtime=8.2 cores=4-7,12-15
/proc/7939/stat : 7939 (java) S 7938 7938 18810 0 -1 1077944320 16367 0 0 0 811 9 0 0 20 0 28 0 4237295 14133010432 26983 33554432000 4194304 4196468 140727926906032 140727926888576 140191115951863 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
/proc/7939/statm: 3450442 26983 3224 1 0 3437675 0
[pid=7939/tid=7940] ppid=7938 vsize=13801768 CPUtime=0.59 cores=4-7,12-15
/proc/7939/task/7940/stat : 7940 (java) S 7938 7938 18810 0 -1 1077944384 6316 0 0 0 56 3 0 0 20 0 28 0 4237296 14133010432 26983 33554432000 4194304 4196468 140727926906032 140191120192640 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7942] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7942/stat : 7942 (java) S 7938 7938 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 26983 33554432000 4194304 4196468 140727926906032 140191034432272 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7943] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7943/stat : 7943 (java) S 7938 7938 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 26983 33554432000 4194304 4196468 140727926906032 140191033379728 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7944] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7944/stat : 7944 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 26983 33554432000 4194304 4196468 140727926906032 140191032327184 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7945] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7945/stat : 7945 (java) S 7938 7938 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 26983 33554432000 4194304 4196468 140727926906032 140191031274640 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7946] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7946/stat : 7946 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 26983 33554432000 4194304 4196468 140727926906032 140191030221072 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7947] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7947/stat : 7947 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 26983 33554432000 4194304 4196468 140727926906032 140191029168528 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7948] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7948/stat : 7948 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 26983 33554432000 4194304 4196468 140727926906032 140191028115984 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7949] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7949/stat : 7949 (java) S 7938 7938 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 26983 33554432000 4194304 4196468 140727926906032 140191027063440 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7950] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7950/stat : 7950 (java) S 7938 7938 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4237299 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190577736176 140191115963010 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7951] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7951/stat : 7951 (java) S 7938 7938 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4237300 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190576682400 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7952] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7952/stat : 7952 (java) S 7938 7938 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4237300 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190575629808 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7953] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7953/stat : 7953 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237304 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190574578384 140191115970459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7954] ppid=7938 vsize=13801768 CPUtime=0.89 cores=4-7,12-15
/proc/7939/task/7954/stat : 7954 (java) R 7938 7938 18810 0 -1 1077944384 2206 0 0 0 88 1 0 0 20 0 28 0 4237304 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190573524976 140191115963010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7955] ppid=7938 vsize=13801768 CPUtime=0.7 cores=4-7,12-15
/proc/7939/task/7955/stat : 7955 (java) R 7938 7938 18810 0 -1 4202560 1921 0 0 0 70 0 0 0 20 0 28 0 4237304 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190572458528 140191097495636 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7956] ppid=7938 vsize=13801768 CPUtime=0.81 cores=4-7,12-15
/proc/7939/task/7956/stat : 7956 (java) R 7938 7938 18810 0 -1 1077944384 1837 0 0 0 81 0 0 0 20 0 28 0 4237304 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190571407440 140191115962069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7957] ppid=7938 vsize=13801768 CPUtime=0.58 cores=4-7,12-15
/proc/7939/task/7957/stat : 7957 (java) R 7938 7938 18810 0 -1 4202560 2365 0 0 0 57 1 0 0 20 0 28 0 4237304 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190570363072 140191115965745 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7958] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7958/stat : 7958 (java) S 7938 7938 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237305 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190569315040 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7959] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7959/stat : 7959 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237305 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190568262576 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7960] ppid=7938 vsize=13801768 CPUtime=0.47 cores=4-7,12-15
/proc/7939/task/7960/stat : 7960 (java) R 7938 7938 18810 0 -1 4202560 57 0 0 0 47 0 0 0 20 0 28 0 4237358 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190560246784 140190706897498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7961] ppid=7938 vsize=13801768 CPUtime=0.72 cores=4-7,12-15
/proc/7939/task/7961/stat : 7961 (java) R 7938 7938 18810 0 -1 4202560 50 0 0 0 72 0 0 0 20 0 28 0 4237358 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190559195624 140190707592089 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7962] ppid=7938 vsize=13801768 CPUtime=0.57 cores=4-7,12-15
/proc/7939/task/7962/stat : 7962 (java) R 7938 7938 18810 0 -1 4202560 39 0 0 0 57 0 0 0 20 0 28 0 4237358 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190558142568 140190707114922 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7963] ppid=7938 vsize=13801768 CPUtime=0.5 cores=4-7,12-15
/proc/7939/task/7963/stat : 7963 (java) R 7938 7938 18810 0 -1 1077944384 76 0 0 0 50 0 0 0 20 0 28 0 4237358 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190557088624 140191115962069 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7964] ppid=7938 vsize=13801768 CPUtime=0.56 cores=4-7,12-15
/proc/7939/task/7964/stat : 7964 (java) R 7938 7938 18810 0 -1 4202560 45 0 0 0 56 0 0 0 20 0 28 0 4237358 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190556037032 140190706714295 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7965] ppid=7938 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/7939/task/7965/stat : 7965 (java) R 7938 7938 18810 0 -1 4202560 52 0 0 0 62 0 0 0 20 0 28 0 4237358 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190554984264 140190707257857 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7966] ppid=7938 vsize=13801768 CPUtime=0.53 cores=4-7,12-15
/proc/7939/task/7966/stat : 7966 (java) R 7938 7938 18810 0 -1 4202560 43 0 0 0 53 0 0 0 20 0 28 0 4237358 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190553930992 140190707474560 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7967] ppid=7938 vsize=13801768 CPUtime=0.55 cores=4-7,12-15
/proc/7939/task/7967/stat : 7967 (java) R 7938 7938 18810 0 -1 4202560 48 0 0 0 55 0 0 0 20 0 28 0 4237358 14133010432 26983 33554432000 4194304 4196468 140727926906032 140190552879224 140190705731488 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 13811280
[startup+3.10151 s]
/proc/loadavg: 15.85 13.02 11.01 18/305 7967
/proc/meminfo: memFree=31593712/32770624 swapFree=5944/251136
[pid=7938] ppid=7935 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/7938/stat : 7938 (xcsp3-exec) S 7935 7938 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237295 9740288 346 33554432000 4194304 5098028 140728903176624 140728903174728 139818118877820 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 22437888 140728903185551 140728903185760 140728903185760 140728903188459 0
/proc/7938/statm: 2378 346 289 221 0 87 0
[pid=7939] ppid=7938 vsize=13801768 CPUtime=20.91 cores=4-7,12-15
/proc/7939/stat : 7939 (java) S 7938 7938 18810 0 -1 1077944320 21291 0 0 0 2080 11 0 0 20 0 28 0 4237295 14133010432 39782 33554432000 4194304 4196468 140727926906032 140727926888576 140191115951863 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
/proc/7939/statm: 3450442 39782 3231 1 0 3437675 0
[pid=7939/tid=7940] ppid=7938 vsize=13801768 CPUtime=0.59 cores=4-7,12-15
/proc/7939/task/7940/stat : 7940 (java) S 7938 7938 18810 0 -1 1077944384 6316 0 0 0 56 3 0 0 20 0 28 0 4237296 14133010432 39782 33554432000 4194304 4196468 140727926906032 140191120192640 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7942] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7942/stat : 7942 (java) S 7938 7938 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 39782 33554432000 4194304 4196468 140727926906032 140191034432272 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7943] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7943/stat : 7943 (java) S 7938 7938 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 39782 33554432000 4194304 4196468 140727926906032 140191033379728 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7944] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7944/stat : 7944 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 39782 33554432000 4194304 4196468 140727926906032 140191032327184 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7945] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7945/stat : 7945 (java) S 7938 7938 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 39782 33554432000 4194304 4196468 140727926906032 140191031274640 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7946] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7946/stat : 7946 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 39782 33554432000 4194304 4196468 140727926906032 140191030221072 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7947] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7947/stat : 7947 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 39782 33554432000 4194304 4196468 140727926906032 140191029168528 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7948] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7948/stat : 7948 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 39782 33554432000 4194304 4196468 140727926906032 140191028115984 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7949] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7949/stat : 7949 (java) S 7938 7938 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4237297 14133010432 39782 33554432000 4194304 4196468 140727926906032 140191027063440 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7950] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7950/stat : 7950 (java) S 7938 7938 18810 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 4237299 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190577736176 140191115963010 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7951] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7951/stat : 7951 (java) S 7938 7938 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4237300 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190576682400 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7952] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7952/stat : 7952 (java) S 7938 7938 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4237300 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190575629808 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7953] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7953/stat : 7953 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237304 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190574578384 140191115970459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7954] ppid=7938 vsize=13801768 CPUtime=1.24 cores=4-7,12-15
/proc/7939/task/7954/stat : 7954 (java) S 7938 7938 18810 0 -1 1077944384 3514 0 0 0 123 1 0 0 20 0 28 0 4237304 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190573524976 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7955] ppid=7938 vsize=13801768 CPUtime=1.11 cores=4-7,12-15
/proc/7939/task/7955/stat : 7955 (java) S 7938 7938 18810 0 -1 1077944384 2900 0 0 0 110 1 0 0 20 0 28 0 4237304 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190572472432 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7956] ppid=7938 vsize=13801768 CPUtime=1.26 cores=4-7,12-15
/proc/7939/task/7956/stat : 7956 (java) S 7938 7938 18810 0 -1 1077944384 3402 0 0 0 126 0 0 0 20 0 28 0 4237304 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190571419888 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7957] ppid=7938 vsize=13801768 CPUtime=0.65 cores=4-7,12-15
/proc/7939/task/7957/stat : 7957 (java) S 7938 7938 18810 0 -1 1077944384 2640 0 0 0 64 1 0 0 20 0 28 0 4237304 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190570367344 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7958] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7958/stat : 7958 (java) S 7938 7938 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237305 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190569315040 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7959] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7959/stat : 7959 (java) S 7938 7938 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4237305 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190568262576 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7960] ppid=7938 vsize=13801768 CPUtime=1.9 cores=4-7,12-15
/proc/7939/task/7960/stat : 7960 (java) R 7938 7938 18810 0 -1 4202560 109 0 0 0 190 0 0 0 20 0 28 0 4237358 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190560247656 140190707030745 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7961] ppid=7938 vsize=13801768 CPUtime=2.11 cores=4-7,12-15
/proc/7939/task/7961/stat : 7961 (java) R 7938 7938 18810 0 -1 4202560 169 0 0 0 211 0 0 0 20 0 28 0 4237358 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190559198008 140190707653683 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7962] ppid=7938 vsize=13801768 CPUtime=1.94 cores=4-7,12-15
/proc/7939/task/7962/stat : 7962 (java) R 7938 7938 18810 0 -1 4202560 155 0 0 0 194 0 0 0 20 0 28 0 4237358 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190558142152 140190703245911 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7963] ppid=7938 vsize=13801768 CPUtime=2.05 cores=4-7,12-15
/proc/7939/task/7963/stat : 7963 (java) R 7938 7938 18810 0 -1 4202560 174 0 0 0 205 0 0 0 20 0 28 0 4237358 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190557090200 140190708316887 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7964] ppid=7938 vsize=13801768 CPUtime=1.94 cores=4-7,12-15
/proc/7939/task/7964/stat : 7964 (java) R 7938 7938 18810 0 -1 4202560 139 0 0 0 194 0 0 0 20 0 28 0 4237358 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190556039288 140190707653748 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7965] ppid=7938 vsize=13801768 CPUtime=2.05 cores=4-7,12-15
/proc/7939/task/7965/stat : 7965 (java) R 7938 7938 18810 0 -1 4202560 109 0 0 0 205 0 0 0 20 0 28 0 4237358 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190554984520 140190706978736 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7966] ppid=7938 vsize=13801768 CPUtime=1.91 cores=4-7,12-15
/proc/7939/task/7966/stat : 7966 (java) R 7938 7938 18810 0 -1 4202560 129 0 0 0 191 0 0 0 20 0 28 0 4237358 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190553933464 140190706983517 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7967] ppid=7938 vsize=13801768 CPUtime=2.03 cores=4-7,12-15
/proc/7939/task/7967/stat : 7967 (java) R 7938 7938 18810 0 -1 4202560 185 0 0 0 203 0 0 0 20 0 28 0 4237358 14133010432 39782 33554432000 4194304 4196468 140727926906032 140190552879512 140191101161664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
Current children cumulated CPU time (s) 20.91
Current children cumulated vsize (KiB) 13811280
[startup+6.30164 s]
/proc/loadavg: 15.85 13.02 11.01 18/305 7967
/proc/meminfo: memFree=31452860/32770624 swapFree=5944/251136
################
# More data... #
################
/proc/7939/task/7951/stat : 7951 (java) S 7938 7938 18810 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4237300 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190576682400 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7952] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7952/stat : 7952 (java) S 7938 7938 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4237300 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190575629808 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7953] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7953/stat : 7953 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190574578384 140191115970459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7954] ppid=7938 vsize=13801768 CPUtime=1.29 cores=4-7,12-15
/proc/7939/task/7954/stat : 7954 (java) S 7938 7938 18810 0 -1 1077944384 4324 0 0 0 128 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190573524976 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7955] ppid=7938 vsize=13801768 CPUtime=1.12 cores=4-7,12-15
/proc/7939/task/7955/stat : 7955 (java) S 7938 7938 18810 0 -1 1077944384 3310 0 0 0 111 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190572472432 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7956] ppid=7938 vsize=13801768 CPUtime=1.45 cores=4-7,12-15
/proc/7939/task/7956/stat : 7956 (java) S 7938 7938 18810 0 -1 1077944384 4597 0 0 0 144 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190571419888 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7957] ppid=7938 vsize=13801768 CPUtime=0.66 cores=4-7,12-15
/proc/7939/task/7957/stat : 7957 (java) S 7938 7938 18810 0 -1 1077944384 3806 0 0 0 65 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190570367344 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7958] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7958/stat : 7958 (java) S 7938 7938 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237305 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190569315040 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7959] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7959/stat : 7959 (java) S 7938 7938 18810 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 28 0 4237305 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190568262576 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7960] ppid=7938 vsize=13801768 CPUtime=19.72 cores=4-7,12-15
/proc/7939/task/7960/stat : 7960 (java) R 7938 7938 18810 0 -1 4202560 334 0 0 0 1972 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190560247144 140190707592169 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7961] ppid=7938 vsize=13801768 CPUtime=19.99 cores=4-7,12-15
/proc/7939/task/7961/stat : 7961 (java) R 7938 7938 18810 0 -1 4202560 327 0 0 0 1999 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190559195552 140190706445661 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7962] ppid=7938 vsize=13801768 CPUtime=19.84 cores=4-7,12-15
/proc/7939/task/7962/stat : 7962 (java) R 7938 7938 18810 0 -1 4202560 708 0 0 0 1984 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190558142232 140190706819862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7963] ppid=7938 vsize=13801768 CPUtime=19.9 cores=4-7,12-15
/proc/7939/task/7963/stat : 7963 (java) R 7938 7938 18810 0 -1 4202560 431 0 0 0 1990 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190557089704 140190702446373 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7964] ppid=7938 vsize=13801768 CPUtime=19.91 cores=4-7,12-15
/proc/7939/task/7964/stat : 7964 (java) R 7938 7938 18810 0 -1 4202560 467 0 0 0 1991 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190556039408 140190707221710 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7965] ppid=7938 vsize=13801768 CPUtime=19.86 cores=4-7,12-15
/proc/7939/task/7965/stat : 7965 (java) R 7938 7938 18810 0 -1 4202560 178 0 0 0 1986 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190554984616 140190707030683 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7966] ppid=7938 vsize=13801768 CPUtime=19.81 cores=4-7,12-15
/proc/7939/task/7966/stat : 7966 (java) R 7938 7938 18810 0 -1 4202560 357 0 0 0 1981 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190553931968 140190707222041 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7967] ppid=7938 vsize=13801768 CPUtime=19.96 cores=4-7,12-15
/proc/7939/task/7967/stat : 7967 (java) R 7938 7938 18810 0 -1 4202560 372 0 0 0 1996 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190552879368 140190706444803 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
Current children cumulated CPU time (s) 164.69
Current children cumulated vsize (KiB) 13811280
[startup+21.4016 s]
/proc/loadavg: 15.71 13.16 11.10 18/304 7967
/proc/meminfo: memFree=31445140/32770624 swapFree=5944/251156
[pid=7938] ppid=7935 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/7938/stat : 7938 (xcsp3-exec) S 7935 7938 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237295 9740288 346 33554432000 4194304 5098028 140728903176624 140728903174728 139818118877820 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 22437888 140728903185551 140728903185760 140728903185760 140728903188459 0
/proc/7938/statm: 2378 346 289 221 0 87 0
[pid=7939] ppid=7938 vsize=13801768 CPUtime=166.29 cores=4-7,12-15
/proc/7939/stat : 7939 (java) S 7938 7938 18810 0 -1 1077944320 30988 0 0 0 16600 29 0 0 20 0 28 0 4237295 14133010432 50285 33554432000 4194304 4196468 140727926906032 140727926888576 140191115951863 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
/proc/7939/statm: 3450442 50285 3262 1 0 3437675 0
[pid=7939/tid=7940] ppid=7938 vsize=13801768 CPUtime=0.59 cores=4-7,12-15
/proc/7939/task/7940/stat : 7940 (java) S 7938 7938 18810 0 -1 1077944384 6316 0 0 0 56 3 0 0 20 0 28 0 4237296 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191120192640 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7942] ppid=7938 vsize=13801768 CPUtime=0.03 cores=4-7,12-15
/proc/7939/task/7942/stat : 7942 (java) S 7938 7938 18810 0 -1 1077944384 71 0 0 0 2 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191034432272 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7943] ppid=7938 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/7939/task/7943/stat : 7943 (java) S 7938 7938 18810 0 -1 1077944384 106 0 0 0 3 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191033379728 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7944] ppid=7938 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/7939/task/7944/stat : 7944 (java) S 7938 7938 18810 0 -1 1077944384 782 0 0 0 3 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191032327184 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7945] ppid=7938 vsize=13801768 CPUtime=0.05 cores=4-7,12-15
/proc/7939/task/7945/stat : 7945 (java) S 7938 7938 18810 0 -1 1077944384 245 0 0 0 3 2 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191031274640 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7946] ppid=7938 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/7939/task/7946/stat : 7946 (java) S 7938 7938 18810 0 -1 1077944384 212 0 0 0 3 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191030221072 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7947] ppid=7938 vsize=13801768 CPUtime=0.05 cores=4-7,12-15
/proc/7939/task/7947/stat : 7947 (java) S 7938 7938 18810 0 -1 1077944384 800 0 0 0 3 2 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191029168528 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7948] ppid=7938 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/7939/task/7948/stat : 7948 (java) S 7938 7938 18810 0 -1 1077944384 438 0 0 0 3 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191028115984 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7949] ppid=7938 vsize=13801768 CPUtime=0.05 cores=4-7,12-15
/proc/7939/task/7949/stat : 7949 (java) S 7938 7938 18810 0 -1 1077944384 395 0 0 0 4 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191027063440 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7950] ppid=7938 vsize=13801768 CPUtime=0.03 cores=4-7,12-15
/proc/7939/task/7950/stat : 7950 (java) S 7938 7938 18810 0 -1 1077944384 738 0 0 0 2 1 0 0 20 0 28 0 4237299 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190577736176 140191115963010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7951] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7951/stat : 7951 (java) S 7938 7938 18810 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4237300 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190576682400 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7952] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7952/stat : 7952 (java) S 7938 7938 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4237300 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190575629808 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7953] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7953/stat : 7953 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190574578384 140191115970459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7954] ppid=7938 vsize=13801768 CPUtime=1.29 cores=4-7,12-15
/proc/7939/task/7954/stat : 7954 (java) S 7938 7938 18810 0 -1 1077944384 4324 0 0 0 128 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190573524976 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7955] ppid=7938 vsize=13801768 CPUtime=1.12 cores=4-7,12-15
/proc/7939/task/7955/stat : 7955 (java) S 7938 7938 18810 0 -1 1077944384 3310 0 0 0 111 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190572472432 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7956] ppid=7938 vsize=13801768 CPUtime=1.45 cores=4-7,12-15
/proc/7939/task/7956/stat : 7956 (java) S 7938 7938 18810 0 -1 1077944384 4597 0 0 0 144 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190571419888 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7957] ppid=7938 vsize=13801768 CPUtime=0.66 cores=4-7,12-15
/proc/7939/task/7957/stat : 7957 (java) S 7938 7938 18810 0 -1 1077944384 3806 0 0 0 65 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190570367344 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7958] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7958/stat : 7958 (java) S 7938 7938 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237305 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190569315040 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7959] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7959/stat : 7959 (java) S 7938 7938 18810 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 28 0 4237305 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190568262576 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7960] ppid=7938 vsize=13801768 CPUtime=19.92 cores=4-7,12-15
/proc/7939/task/7960/stat : 7960 (java) R 7938 7938 18810 0 -1 4202560 334 0 0 0 1992 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190560247144 140190707653831 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7961] ppid=7938 vsize=13801768 CPUtime=20.19 cores=4-7,12-15
/proc/7939/task/7961/stat : 7961 (java) R 7938 7938 18810 0 -1 4202560 327 0 0 0 2019 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190559195552 140190707942425 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7962] ppid=7938 vsize=13801768 CPUtime=20.04 cores=4-7,12-15
/proc/7939/task/7962/stat : 7962 (java) R 7938 7938 18810 0 -1 4202560 708 0 0 0 2004 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190558142232 140190707030619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7963] ppid=7938 vsize=13801768 CPUtime=20.1 cores=4-7,12-15
/proc/7939/task/7963/stat : 7963 (java) R 7938 7938 18810 0 -1 4202560 431 0 0 0 2010 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190557089704 140190707991500 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7964] ppid=7938 vsize=13801768 CPUtime=20.11 cores=4-7,12-15
/proc/7939/task/7964/stat : 7964 (java) R 7938 7938 18810 0 -1 4202560 468 0 0 0 2011 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190556039408 140190706897535 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7965] ppid=7938 vsize=13801768 CPUtime=20.06 cores=4-7,12-15
/proc/7939/task/7965/stat : 7965 (java) R 7938 7938 18810 0 -1 4202560 178 0 0 0 2006 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190554984616 140190707410058 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7966] ppid=7938 vsize=13801768 CPUtime=20.01 cores=4-7,12-15
/proc/7939/task/7966/stat : 7966 (java) R 7938 7938 18810 0 -1 4202560 357 0 0 0 2001 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190553931968 140190706820060 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7967] ppid=7938 vsize=13801768 CPUtime=20.16 cores=4-7,12-15
/proc/7939/task/7967/stat : 7967 (java) R 7938 7938 18810 0 -1 4202560 372 0 0 0 2016 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190552879368 140190707221340 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 13811280
[startup+21.5016 s]
/proc/loadavg: 15.71 13.16 11.10 18/304 7967
/proc/meminfo: memFree=31445140/32770624 swapFree=5944/251156
[pid=7938] ppid=7935 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/7938/stat : 7938 (xcsp3-exec) S 7935 7938 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237295 9740288 346 33554432000 4194304 5098028 140728903176624 140728903174728 139818118877820 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 22437888 140728903185551 140728903185760 140728903185760 140728903188459 0
/proc/7938/statm: 2378 346 289 221 0 87 0
[pid=7939] ppid=7938 vsize=13801768 CPUtime=167.09 cores=4-7,12-15
/proc/7939/stat : 7939 (java) S 7938 7938 18810 0 -1 1077944320 30988 0 0 0 16680 29 0 0 20 0 28 0 4237295 14133010432 50285 33554432000 4194304 4196468 140727926906032 140727926888576 140191115951863 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
/proc/7939/statm: 3450442 50285 3262 1 0 3437675 0
[pid=7939/tid=7940] ppid=7938 vsize=13801768 CPUtime=0.59 cores=4-7,12-15
/proc/7939/task/7940/stat : 7940 (java) S 7938 7938 18810 0 -1 1077944384 6316 0 0 0 56 3 0 0 20 0 28 0 4237296 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191120192640 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7942] ppid=7938 vsize=13801768 CPUtime=0.03 cores=4-7,12-15
/proc/7939/task/7942/stat : 7942 (java) S 7938 7938 18810 0 -1 1077944384 71 0 0 0 2 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191034432272 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7943] ppid=7938 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/7939/task/7943/stat : 7943 (java) S 7938 7938 18810 0 -1 1077944384 106 0 0 0 3 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191033379728 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7944] ppid=7938 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/7939/task/7944/stat : 7944 (java) S 7938 7938 18810 0 -1 1077944384 782 0 0 0 3 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191032327184 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7945] ppid=7938 vsize=13801768 CPUtime=0.05 cores=4-7,12-15
/proc/7939/task/7945/stat : 7945 (java) S 7938 7938 18810 0 -1 1077944384 245 0 0 0 3 2 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191031274640 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7946] ppid=7938 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/7939/task/7946/stat : 7946 (java) S 7938 7938 18810 0 -1 1077944384 212 0 0 0 3 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191030221072 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7947] ppid=7938 vsize=13801768 CPUtime=0.05 cores=4-7,12-15
/proc/7939/task/7947/stat : 7947 (java) S 7938 7938 18810 0 -1 1077944384 800 0 0 0 3 2 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191029168528 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7948] ppid=7938 vsize=13801768 CPUtime=0.04 cores=4-7,12-15
/proc/7939/task/7948/stat : 7948 (java) S 7938 7938 18810 0 -1 1077944384 438 0 0 0 3 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191028115984 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7949] ppid=7938 vsize=13801768 CPUtime=0.05 cores=4-7,12-15
/proc/7939/task/7949/stat : 7949 (java) S 7938 7938 18810 0 -1 1077944384 395 0 0 0 4 1 0 0 20 0 28 0 4237297 14133010432 50285 33554432000 4194304 4196468 140727926906032 140191027063440 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7950] ppid=7938 vsize=13801768 CPUtime=0.03 cores=4-7,12-15
/proc/7939/task/7950/stat : 7950 (java) S 7938 7938 18810 0 -1 1077944384 738 0 0 0 2 1 0 0 20 0 28 0 4237299 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190577736176 140191115963010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7951] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7951/stat : 7951 (java) S 7938 7938 18810 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4237300 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190576682400 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7952] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7952/stat : 7952 (java) S 7938 7938 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4237300 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190575629808 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7953] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7953/stat : 7953 (java) S 7938 7938 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190574578384 140191115970459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7954] ppid=7938 vsize=13801768 CPUtime=1.29 cores=4-7,12-15
/proc/7939/task/7954/stat : 7954 (java) S 7938 7938 18810 0 -1 1077944384 4324 0 0 0 128 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190573524976 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7955] ppid=7938 vsize=13801768 CPUtime=1.12 cores=4-7,12-15
/proc/7939/task/7955/stat : 7955 (java) S 7938 7938 18810 0 -1 1077944384 3310 0 0 0 111 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190572472432 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7956] ppid=7938 vsize=13801768 CPUtime=1.45 cores=4-7,12-15
/proc/7939/task/7956/stat : 7956 (java) S 7938 7938 18810 0 -1 1077944384 4597 0 0 0 144 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190571419888 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7957] ppid=7938 vsize=13801768 CPUtime=0.66 cores=4-7,12-15
/proc/7939/task/7957/stat : 7957 (java) S 7938 7938 18810 0 -1 1077944384 3806 0 0 0 65 1 0 0 20 0 28 0 4237304 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190570367344 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7958] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7958/stat : 7958 (java) S 7938 7938 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237305 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190569315040 140191115962069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7959] ppid=7938 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/7939/task/7959/stat : 7959 (java) S 7938 7938 18810 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 28 0 4237305 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190568262576 140191115963010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7960] ppid=7938 vsize=13801768 CPUtime=20.02 cores=4-7,12-15
/proc/7939/task/7960/stat : 7960 (java) R 7938 7938 18810 0 -1 4202560 334 0 0 0 2002 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190560247144 140190707222349 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7961] ppid=7938 vsize=13801768 CPUtime=20.29 cores=4-7,12-15
/proc/7939/task/7961/stat : 7961 (java) R 7938 7938 18810 0 -1 4202560 327 0 0 0 2029 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190559195552 140190707592084 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7962] ppid=7938 vsize=13801768 CPUtime=20.14 cores=4-7,12-15
/proc/7939/task/7962/stat : 7962 (java) R 7938 7938 18810 0 -1 4202560 708 0 0 0 2014 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190558142232 140190708317531 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7963] ppid=7938 vsize=13801768 CPUtime=20.2 cores=4-7,12-15
/proc/7939/task/7963/stat : 7963 (java) R 7938 7938 18810 0 -1 4202560 431 0 0 0 2020 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190557089704 140190707265104 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7964] ppid=7938 vsize=13801768 CPUtime=20.21 cores=4-7,12-15
/proc/7939/task/7964/stat : 7964 (java) R 7938 7938 18810 0 -1 4202560 468 0 0 0 2021 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190556039408 140190707221987 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7965] ppid=7938 vsize=13801768 CPUtime=20.16 cores=4-7,12-15
/proc/7939/task/7965/stat : 7965 (java) R 7938 7938 18810 0 -1 4202560 178 0 0 0 2016 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190554984616 140190706444813 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7966] ppid=7938 vsize=13801768 CPUtime=20.11 cores=4-7,12-15
/proc/7939/task/7966/stat : 7966 (java) R 7938 7938 18810 0 -1 4202560 357 0 0 0 2011 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190553931968 140190707409034 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
[pid=7939/tid=7967] ppid=7938 vsize=13801768 CPUtime=20.26 cores=4-7,12-15
/proc/7939/task/7967/stat : 7967 (java) R 7938 7938 18810 0 -1 4202560 372 0 0 0 2026 0 0 0 20 0 28 0 4237358 14133010432 50285 33554432000 4194304 4196468 140727926906032 140190552879368 140190707221736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140727926908092 140727926908268 140727926908268 140727926910927 0
Current children cumulated CPU time (s) 167.09
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 21.5548
CPU time (s): 167.483
CPU user time (s): 167.174
CPU system time (s): 0.308903
CPU usage (%): 777.01
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.174
system time used= 0.308903
maximum resident set size= 222076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4600
involuntary context switches= 11614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.268448 second user time and 0.340415 second system time
The end