runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9778 MiB free)
memory of node 1: 16384 MiB (12660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306704-1534100267/watcher-4306704-1534100267 -o /tmp/evaluation-result-4306704-1534100267/solver-4306704-1534100267 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534095837-31733 --watchdog 2580 HOME/xcsp3-exec -seed 144798749 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306704-1534100267.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=315, runsolver pid=312
[startup+0.100058 s]*
/proc/loadavg: 2.12 1.93 1.88 4/217 331
/proc/meminfo: memFree=22960596/32770624 swapFree=67108688/67108860
[pid=315] ppid=312 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/315/stat : 315 (xcsp3-exec) S 312 315 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227589622 115843072 363 33554432000 4194304 5098028 140725783343696 140725783341800 140335376663164 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24969216 140725783352379 140725783352580 140725783352580 140725783355338 0
/proc/315/statm: 28282 363 305 221 0 87 0
[pid=317] ppid=315 vsize=14082940 memory=28832 CPUtime=0.1 cores=0,2,4,6
/proc/317/stat : 317 (java) S 315 315 31702 0 -1 1077944320 5616 0 0 0 10 0 0 0 20 0 15 0 227589622 14420930560 7208 33554432000 4194304 4196468 140734019179184 140734019161728 139866599657207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
/proc/317/statm: 3520735 7208 2998 1 0 3483012 0
[pid=317/tid=318] ppid=315 vsize=14082940 memory=7022364632946311227 CPUtime=0.08 cores=0,2,4,6
/proc/317/task/318/stat : 318 (java) R 315 315 31702 0 -1 4202560 3648 0 0 0 8 0 0 0 20 0 15 0 227589623 14420930560 7208 33554432000 4194304 4196468 140734019179184 139866603889120 139866599679133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=319] ppid=315 vsize=14082940 memory=553 CPUtime=0 cores=0,2,4,6
/proc/317/task/319/stat : 319 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589623 14420930560 7208 33554432000 4194304 4196468 140734019179184 139866552277520 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=320] ppid=315 vsize=14082940 memory=140066858037379 CPUtime=0 cores=0,2,4,6
/proc/317/task/320/stat : 320 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589624 14420930560 7208 33554432000 4194304 4196468 140734019179184 139866551224976 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=321] ppid=315 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/321/stat : 321 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589624 14420930560 7208 33554432000 4194304 4196468 140734019179184 139866193193232 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=322] ppid=315 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/317/task/322/stat : 322 (java) S 315 315 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227589624 14420930560 7208 33554432000 4194304 4196468 140734019179184 139866192140688 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=323] ppid=315 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/323/stat : 323 (java) S 315 315 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227589625 14420930560 7208 33554432000 4194304 4196468 140734019179184 139865511930608 139866599668354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=324] ppid=315 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/317/task/324/stat : 324 (java) S 315 315 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227589625 14420930560 7208 33554432000 4194304 4196468 140734019179184 139865510876832 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=325] ppid=315 vsize=14082940 memory=140066858006144 CPUtime=0 cores=0,2,4,6
/proc/317/task/325/stat : 325 (java) S 315 315 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227589626 14420930560 7208 33554432000 4194304 4196468 140734019179184 139865509823728 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=326] ppid=315 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/317/task/326/stat : 326 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14420930560 7208 33554432000 4194304 4196468 140734019179184 139865508772304 139866599675803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=327] ppid=315 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/327/stat : 327 (java) S 315 315 31702 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 227589628 14420930560 7208 33554432000 4194304 4196468 140734019179184 139865507719408 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=328] ppid=315 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/317/task/328/stat : 328 (java) S 315 315 31702 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 227589628 14420930560 7208 33554432000 4194304 4196468 140734019179184 139865506666864 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=329] ppid=315 vsize=14082940 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/317/task/329/stat : 329 (java) R 315 315 31702 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 227589628 14420930560 7208 33554432000 4194304 4196468 140734019179184 139865505613808 139866599678554 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=330] ppid=315 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/330/stat : 330 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14420930560 7208 33554432000 4194304 4196468 140734019179184 139865504561504 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=331] ppid=315 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/331/stat : 331 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589628 14420930560 7208 33554432000 4194304 4196468 140734019179184 139865503509552 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30284 KiB
[startup+0.210689 s]*
/proc/loadavg: 2.12 1.93 1.88 4/217 331
/proc/meminfo: memFree=22949416/32770624 swapFree=67108688/67108860
[pid=315] ppid=312 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/315/stat : 315 (xcsp3-exec) S 312 315 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227589622 115843072 363 33554432000 4194304 5098028 140725783343696 140725783341800 140335376663164 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24969216 140725783352379 140725783352580 140725783352580 140725783355338 0
/proc/315/statm: 28282 363 305 221 0 87 0
[pid=317] ppid=315 vsize=14082940 memory=40732 CPUtime=0.33 cores=0,2,4,6
/proc/317/stat : 317 (java) S 315 315 31702 0 -1 1077944320 8271 0 0 0 32 1 0 0 20 0 15 0 227589622 14420930560 10183 33554432000 4194304 4196468 140734019179184 140734019161728 139866599657207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
/proc/317/statm: 3520735 10183 3176 1 0 3483012 0
[pid=317/tid=318] ppid=315 vsize=14082940 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/317/task/318/stat : 318 (java) R 315 315 31702 0 -1 4202560 5452 0 0 0 19 1 0 0 20 0 15 0 227589623 14420930560 10183 33554432000 4194304 4196468 140734019179184 139866603892192 139866583737694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=319] ppid=315 vsize=14082940 memory=553 CPUtime=0 cores=0,2,4,6
/proc/317/task/319/stat : 319 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589623 14420930560 10183 33554432000 4194304 4196468 140734019179184 139866552277520 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=320] ppid=315 vsize=14082940 memory=140066858037379 CPUtime=0 cores=0,2,4,6
/proc/317/task/320/stat : 320 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589624 14420930560 10183 33554432000 4194304 4196468 140734019179184 139866551224976 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=321] ppid=315 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/321/stat : 321 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589624 14420930560 10183 33554432000 4194304 4196468 140734019179184 139866193193232 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=322] ppid=315 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/317/task/322/stat : 322 (java) S 315 315 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227589624 14420930560 10183 33554432000 4194304 4196468 140734019179184 139866192140688 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=323] ppid=315 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/323/stat : 323 (java) S 315 315 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227589625 14420930560 10183 33554432000 4194304 4196468 140734019179184 139865511930608 139866599668354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=324] ppid=315 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/317/task/324/stat : 324 (java) S 315 315 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227589625 14420930560 10183 33554432000 4194304 4196468 140734019179184 139865510876832 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=325] ppid=315 vsize=14082940 memory=140066858006144 CPUtime=0 cores=0,2,4,6
/proc/317/task/325/stat : 325 (java) S 315 315 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227589626 14420930560 10183 33554432000 4194304 4196468 140734019179184 139865509823728 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=326] ppid=315 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/317/task/326/stat : 326 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14420930560 10183 33554432000 4194304 4196468 140734019179184 139865508772304 139866599675803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=327] ppid=315 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/317/task/327/stat : 327 (java) S 315 315 31702 0 -1 1077944384 525 0 0 0 3 0 0 0 20 0 15 0 227589628 14420930560 10183 33554432000 4194304 4196468 140734019179184 139865507719408 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=328] ppid=315 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/317/task/328/stat : 328 (java) S 315 315 31702 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 15 0 227589628 14420930560 10183 33554432000 4194304 4196468 140734019179184 139865506666864 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=329] ppid=315 vsize=14082940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/317/task/329/stat : 329 (java) S 315 315 31702 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 227589628 14420930560 10183 33554432000 4194304 4196468 140734019179184 139865505613808 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=330] ppid=315 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/330/stat : 330 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14420930560 10183 33554432000 4194304 4196468 140734019179184 139865504561504 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=331] ppid=315 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/331/stat : 331 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589628 14420930560 10183 33554432000 4194304 4196468 140734019179184 139865503509552 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42184 KiB
[startup+0.315476 s]*
/proc/loadavg: 2.12 1.93 1.88 4/217 331
/proc/meminfo: memFree=22942716/32770624 swapFree=67108688/67108860
[pid=315] ppid=312 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/315/stat : 315 (xcsp3-exec) S 312 315 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227589622 115843072 363 33554432000 4194304 5098028 140725783343696 140725783341800 140335376663164 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24969216 140725783352379 140725783352580 140725783352580 140725783355338 0
/proc/315/statm: 28282 363 305 221 0 87 0
[pid=317] ppid=315 vsize=14087196 memory=47960 CPUtime=0.51 cores=0,2,4,6
/proc/317/stat : 317 (java) S 315 315 31702 0 -1 1077944320 9200 0 0 0 49 2 0 0 20 0 15 0 227589622 14425288704 11990 33554432000 4194304 4196468 140734019179184 140734019161728 139866599657207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
/proc/317/statm: 3521799 11990 3278 1 0 3483012 0
[pid=317/tid=318] ppid=315 vsize=14087196 memory=1398720917958146503 CPUtime=0.29 cores=0,2,4,6
/proc/317/task/318/stat : 318 (java) R 315 315 31702 0 -1 4202560 6222 0 0 0 28 1 0 0 20 0 15 0 227589623 14425288704 12130 33554432000 4194304 4196468 140734019179184 139866603891264 139866583737694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=319] ppid=315 vsize=14087196 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/317/task/319/stat : 319 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589623 14425288704 12130 33554432000 4194304 4196468 140734019179184 139866552277520 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=320] ppid=315 vsize=14087196 memory=8187704045996106359 CPUtime=0 cores=0,2,4,6
/proc/317/task/320/stat : 320 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589624 14425288704 12130 33554432000 4194304 4196468 140734019179184 139866551224976 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=321] ppid=315 vsize=14087196 memory=6945782492362334265 CPUtime=0 cores=0,2,4,6
/proc/317/task/321/stat : 321 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589624 14425288704 12130 33554432000 4194304 4196468 140734019179184 139866193193232 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=322] ppid=315 vsize=14087196 memory=-7522837415797432224 CPUtime=0 cores=0,2,4,6
/proc/317/task/322/stat : 322 (java) S 315 315 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227589624 14425288704 12130 33554432000 4194304 4196468 140734019179184 139866192140688 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=323] ppid=315 vsize=14087196 memory=8326441112149131687 CPUtime=0 cores=0,2,4,6
/proc/317/task/323/stat : 323 (java) S 315 315 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227589625 14425288704 12130 33554432000 4194304 4196468 140734019179184 139865511930608 139866599668354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=324] ppid=315 vsize=14087196 memory=-8609294073281748341 CPUtime=0 cores=0,2,4,6
/proc/317/task/324/stat : 324 (java) S 315 315 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227589625 14425288704 12130 33554432000 4194304 4196468 140734019179184 139865510876832 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=325] ppid=315 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/325/stat : 325 (java) S 315 315 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227589626 14425288704 12130 33554432000 4194304 4196468 140734019179184 139865509823728 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=326] ppid=315 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/326/stat : 326 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14425288704 12130 33554432000 4194304 4196468 140734019179184 139865508772304 139866599675803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=327] ppid=315 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/317/task/327/stat : 327 (java) S 315 315 31702 0 -1 1077944384 534 0 0 0 4 0 0 0 20 0 15 0 227589628 14425288704 12130 33554432000 4194304 4196468 140734019179184 139865507719408 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=328] ppid=315 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/317/task/328/stat : 328 (java) S 315 315 31702 0 -1 1077944384 331 0 0 0 4 0 0 0 20 0 15 0 227589628 14425288704 12130 33554432000 4194304 4196468 140734019179184 139865506666864 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=329] ppid=315 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/317/task/329/stat : 329 (java) S 315 315 31702 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 15 0 227589628 14425288704 12130 33554432000 4194304 4196468 140734019179184 139865505613808 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=330] ppid=315 vsize=14087196 memory=5859271421084520810 CPUtime=0 cores=0,2,4,6
/proc/317/task/330/stat : 330 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14425288704 12130 33554432000 4194304 4196468 140734019179184 139865504561504 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=331] ppid=315 vsize=14087196 memory=6940161746037662546 CPUtime=0 cores=0,2,4,6
/proc/317/task/331/stat : 331 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589628 14425288704 12130 33554432000 4194304 4196468 140734019179184 139865503509552 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49412 KiB
[startup+0.701461 s]
/proc/loadavg: 2.12 1.93 1.88 5/217 331
/proc/meminfo: memFree=22927896/32770624 swapFree=67108688/67108860
[pid=315] ppid=312 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/315/stat : 315 (xcsp3-exec) S 312 315 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227589622 115843072 363 33554432000 4194304 5098028 140725783343696 140725783341800 140335376663164 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24969216 140725783352379 140725783352580 140725783352580 140725783355338 0
/proc/315/statm: 28282 363 305 221 0 87 0
[pid=317] ppid=315 vsize=14089320 memory=87780 CPUtime=1.61 cores=0,2,4,6
/proc/317/stat : 317 (java) S 315 315 31702 0 -1 1077944320 12094 0 0 0 157 4 0 0 20 0 15 0 227589622 14427463680 21945 33554432000 4194304 4196468 140734019179184 140734019161728 139866599657207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
/proc/317/statm: 3522330 21945 3362 1 0 3483524 0
[pid=317/tid=318] ppid=315 vsize=14089320 memory=6945787942844263277 CPUtime=0.66 cores=0,2,4,6
/proc/317/task/318/stat : 318 (java) R 315 315 31702 0 -1 4202560 7178 0 0 0 64 2 0 0 20 0 15 0 227589623 14427463680 21945 33554432000 4194304 4196468 140734019179184 139866603895952 139866580500211 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=319] ppid=315 vsize=14089320 memory=7589237596281659748 CPUtime=0 cores=0,2,4,6
/proc/317/task/319/stat : 319 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589623 14427463680 21945 33554432000 4194304 4196468 140734019179184 139866552277520 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=320] ppid=315 vsize=14089320 memory=7452726660738540632 CPUtime=0 cores=0,2,4,6
/proc/317/task/320/stat : 320 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589624 14427463680 21945 33554432000 4194304 4196468 140734019179184 139866551224976 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=321] ppid=315 vsize=14089320 memory=16041702853560 CPUtime=0 cores=0,2,4,6
/proc/317/task/321/stat : 321 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589624 14427463680 21945 33554432000 4194304 4196468 140734019179184 139866193193232 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=322] ppid=315 vsize=14089320 memory=288230583199596876 CPUtime=0 cores=0,2,4,6
/proc/317/task/322/stat : 322 (java) S 315 315 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227589624 14427463680 21945 33554432000 4194304 4196468 140734019179184 139866192140688 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=323] ppid=315 vsize=14089320 memory=288230376152842178 CPUtime=0 cores=0,2,4,6
/proc/317/task/323/stat : 323 (java) S 315 315 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227589625 14427463680 21945 33554432000 4194304 4196468 140734019179184 139865511930608 139866599668354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=324] ppid=315 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/324/stat : 324 (java) S 315 315 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227589625 14427463680 21945 33554432000 4194304 4196468 140734019179184 139865510876832 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=325] ppid=315 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/325/stat : 325 (java) S 315 315 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227589626 14427463680 21945 33554432000 4194304 4196468 140734019179184 139865509823728 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=326] ppid=315 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/326/stat : 326 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 21945 33554432000 4194304 4196468 140734019179184 139865508772304 139866599675803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=327] ppid=315 vsize=14089320 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/317/task/327/stat : 327 (java) R 315 315 31702 0 -1 4202560 1094 0 0 0 28 0 0 0 20 0 15 0 227589628 14427463680 21945 33554432000 4194304 4196468 140734019179184 139865507709008 139866592754043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=328] ppid=315 vsize=14089320 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/317/task/328/stat : 328 (java) R 315 315 31702 0 -1 4202560 780 0 0 0 24 0 0 0 20 0 15 0 227589628 14427463680 21945 33554432000 4194304 4196468 140734019179184 139865506652744 139866581200502 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=329] ppid=315 vsize=14089320 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/317/task/329/stat : 329 (java) R 315 315 31702 0 -1 4202560 1737 0 0 0 39 0 0 0 20 0 15 0 227589628 14427463680 21945 33554432000 4194304 4196468 140734019179184 139865505613808 139866578460328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=330] ppid=315 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/330/stat : 330 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 21945 33554432000 4194304 4196468 140734019179184 139865504561504 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=331] ppid=315 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/317/task/331/stat : 331 (java) S 315 315 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 21945 33554432000 4194304 4196468 140734019179184 139865503509552 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 89232 KiB
[startup+1.50079 s]
/proc/loadavg: 2.12 1.93 1.88 5/217 331
/proc/meminfo: memFree=22882988/32770624 swapFree=67108688/67108860
[pid=315] ppid=312 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/315/stat : 315 (xcsp3-exec) S 312 315 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227589622 115843072 363 33554432000 4194304 5098028 140725783343696 140725783341800 140335376663164 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24969216 140725783352379 140725783352580 140725783352580 140725783355338 0
/proc/315/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/315/stat : 315 (xcsp3-exec) S 312 315 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227589622 115843072 363 33554432000 4194304 5098028 140725783343696 140725783341800 140335376663164 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24969216 140725783352379 140725783352580 140725783352580 140725783355338 0
/proc/315/statm: 28282 363 305 221 0 87 0
[pid=317] ppid=315 vsize=14089320 memory=248536 CPUtime=439.76 cores=0,2,4,6
/proc/317/stat : 317 (java) S 315 315 31702 0 -1 1077944320 90136 0 0 0 43953 23 0 0 20 0 15 0 227589622 14427463680 62134 33554432000 4194304 4196468 140734019179184 140734019161728 139866599657207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
/proc/317/statm: 3522330 62134 3424 1 0 3483524 0
[pid=317/tid=318] ppid=315 vsize=14089320 memory=1398720917958146503 CPUtime=431.81 cores=0,2,4,6
/proc/317/task/318/stat : 318 (java) R 315 315 31702 0 -1 4202560 14081 0 0 0 43176 5 0 0 20 0 15 0 227589623 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866603893920 139866236488613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=319] ppid=315 vsize=14089320 memory=868 CPUtime=0.06 cores=0,2,4,6
/proc/317/task/319/stat : 319 (java) S 315 315 31702 0 -1 1077944384 447 0 0 0 5 1 0 0 20 0 15 0 227589623 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866552277520 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=320] ppid=315 vsize=14089320 memory=1808 CPUtime=0.06 cores=0,2,4,6
/proc/317/task/320/stat : 320 (java) S 315 315 31702 0 -1 1077944384 1530 0 0 0 5 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866551224976 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=321] ppid=315 vsize=14089320 memory=1620 CPUtime=0.07 cores=0,2,4,6
/proc/317/task/321/stat : 321 (java) S 315 315 31702 0 -1 1077944384 397 0 0 0 6 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866193193232 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=322] ppid=315 vsize=14089320 memory=748 CPUtime=0.07 cores=0,2,4,6
/proc/317/task/322/stat : 322 (java) S 315 315 31702 0 -1 1077944384 1608 0 0 0 6 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866192140688 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=323] ppid=315 vsize=14089320 memory=1620 CPUtime=0.02 cores=0,2,4,6
/proc/317/task/323/stat : 323 (java) S 315 315 31702 0 -1 1077944384 1449 0 0 0 2 0 0 0 20 0 15 0 227589625 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865511930608 139866599668354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=324] ppid=315 vsize=14089320 memory=748 CPUtime=0 cores=0,2,4,6
/proc/317/task/324/stat : 324 (java) S 315 315 31702 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 227589625 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865510876896 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=325] ppid=315 vsize=14089320 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/317/task/325/stat : 325 (java) S 315 315 31702 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 227589626 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865509823728 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=326] ppid=315 vsize=14089320 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/317/task/326/stat : 326 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865508772304 139866599675803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=327] ppid=315 vsize=14089320 memory=248536 CPUtime=3.39 cores=0,2,4,6
/proc/317/task/327/stat : 327 (java) S 315 315 31702 0 -1 1077944384 29026 0 0 0 336 3 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865507719408 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=328] ppid=315 vsize=14089320 memory=34976 CPUtime=3.47 cores=0,2,4,6
/proc/317/task/328/stat : 328 (java) S 315 315 31702 0 -1 1077944384 29287 0 0 0 344 3 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865506666864 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=329] ppid=315 vsize=14089320 memory=1612 CPUtime=0.63 cores=0,2,4,6
/proc/317/task/329/stat : 329 (java) S 315 315 31702 0 -1 1077944384 10461 0 0 0 62 1 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865505613808 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=330] ppid=315 vsize=14089320 memory=496 CPUtime=0 cores=0,2,4,6
/proc/317/task/330/stat : 330 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865504561504 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=331] ppid=315 vsize=14089320 memory=924 CPUtime=0.09 cores=0,2,4,6
/proc/317/task/331/stat : 331 (java) S 315 315 31702 0 -1 1077944384 478 0 0 0 5 4 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865503509552 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
Current children cumulated CPU time: 439.76 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 249988 KiB
[startup+432.801 s]
/proc/loadavg: 1.93 1.96 1.92 3/218 371
/proc/meminfo: memFree=22341108/32770624 swapFree=67108688/67108860
[pid=315] ppid=312 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/315/stat : 315 (xcsp3-exec) S 312 315 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227589622 115843072 363 33554432000 4194304 5098028 140725783343696 140725783341800 140335376663164 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24969216 140725783352379 140725783352580 140725783352580 140725783355338 0
/proc/315/statm: 28282 363 305 221 0 87 0
[pid=317] ppid=315 vsize=14089320 memory=248536 CPUtime=440.56 cores=0,2,4,6
/proc/317/stat : 317 (java) S 315 315 31702 0 -1 1077944320 90142 0 0 0 44033 23 0 0 20 0 15 0 227589622 14427463680 62134 33554432000 4194304 4196468 140734019179184 140734019161728 139866599657207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
/proc/317/statm: 3522330 62134 3424 1 0 3483524 0
[pid=317/tid=318] ppid=315 vsize=14089320 memory=6947385649911455296 CPUtime=432.61 cores=0,2,4,6
/proc/317/task/318/stat : 318 (java) R 315 315 31702 0 -1 4202560 14087 0 0 0 43256 5 0 0 20 0 15 0 227589623 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866603893920 139866235615070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=319] ppid=315 vsize=14089320 memory=1072 CPUtime=0.06 cores=0,2,4,6
/proc/317/task/319/stat : 319 (java) S 315 315 31702 0 -1 1077944384 447 0 0 0 5 1 0 0 20 0 15 0 227589623 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866552277520 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=320] ppid=315 vsize=14089320 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/317/task/320/stat : 320 (java) S 315 315 31702 0 -1 1077944384 1530 0 0 0 5 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866551224976 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=321] ppid=315 vsize=14089320 memory=3248 CPUtime=0.07 cores=0,2,4,6
/proc/317/task/321/stat : 321 (java) S 315 315 31702 0 -1 1077944384 397 0 0 0 6 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866193193232 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=322] ppid=315 vsize=14089320 memory=1452 CPUtime=0.07 cores=0,2,4,6
/proc/317/task/322/stat : 322 (java) S 315 315 31702 0 -1 1077944384 1608 0 0 0 6 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866192140688 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=323] ppid=315 vsize=14089320 memory=248536 CPUtime=0.02 cores=0,2,4,6
/proc/317/task/323/stat : 323 (java) S 315 315 31702 0 -1 1077944384 1449 0 0 0 2 0 0 0 20 0 15 0 227589625 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865511930608 139866599668354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=324] ppid=315 vsize=14089320 memory=248536 CPUtime=0 cores=0,2,4,6
/proc/317/task/324/stat : 324 (java) S 315 315 31702 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 227589625 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865510876896 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=325] ppid=315 vsize=14089320 memory=61912 CPUtime=0 cores=0,2,4,6
/proc/317/task/325/stat : 325 (java) S 315 315 31702 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 227589626 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865509823728 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=326] ppid=315 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/317/task/326/stat : 326 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865508772304 139866599675803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=327] ppid=315 vsize=14089320 memory=248536 CPUtime=3.39 cores=0,2,4,6
/proc/317/task/327/stat : 327 (java) S 315 315 31702 0 -1 1077944384 29026 0 0 0 336 3 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865507719408 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=328] ppid=315 vsize=14089320 memory=4452 CPUtime=3.47 cores=0,2,4,6
/proc/317/task/328/stat : 328 (java) S 315 315 31702 0 -1 1077944384 29287 0 0 0 344 3 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865506666864 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=329] ppid=315 vsize=14089320 memory=3732 CPUtime=0.63 cores=0,2,4,6
/proc/317/task/329/stat : 329 (java) S 315 315 31702 0 -1 1077944384 10461 0 0 0 62 1 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865505613808 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=330] ppid=315 vsize=14089320 memory=12668 CPUtime=0 cores=0,2,4,6
/proc/317/task/330/stat : 330 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865504561504 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=331] ppid=315 vsize=14089320 memory=1072 CPUtime=0.09 cores=0,2,4,6
/proc/317/task/331/stat : 331 (java) S 315 315 31702 0 -1 1077944384 478 0 0 0 5 4 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865503509552 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
Current children cumulated CPU time: 440.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 249988 KiB
[startup+433.601 s]
/proc/loadavg: 1.93 1.96 1.92 3/218 371
/proc/meminfo: memFree=22339060/32770624 swapFree=67108688/67108860
[pid=315] ppid=312 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/315/stat : 315 (xcsp3-exec) S 312 315 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227589622 115843072 363 33554432000 4194304 5098028 140725783343696 140725783341800 140335376663164 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24969216 140725783352379 140725783352580 140725783352580 140725783355338 0
/proc/315/statm: 28282 363 305 221 0 87 0
[pid=317] ppid=315 vsize=14089320 memory=248536 CPUtime=441.36 cores=0,2,4,6
/proc/317/stat : 317 (java) S 315 315 31702 0 -1 1077944320 90147 0 0 0 44113 23 0 0 20 0 15 0 227589622 14427463680 62134 33554432000 4194304 4196468 140734019179184 140734019161728 139866599657207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
/proc/317/statm: 3522330 62134 3424 1 0 3483524 0
[pid=317/tid=318] ppid=315 vsize=14089320 memory=248536 CPUtime=433.4 cores=0,2,4,6
/proc/317/task/318/stat : 318 (java) R 315 315 31702 0 -1 4202560 14092 0 0 0 43335 5 0 0 20 0 15 0 227589623 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866603893808 139866235488096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=319] ppid=315 vsize=14089320 memory=1224 CPUtime=0.06 cores=0,2,4,6
/proc/317/task/319/stat : 319 (java) S 315 315 31702 0 -1 1077944384 447 0 0 0 5 1 0 0 20 0 15 0 227589623 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866552277520 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=320] ppid=315 vsize=14089320 memory=6947385649911455296 CPUtime=0.06 cores=0,2,4,6
/proc/317/task/320/stat : 320 (java) S 315 315 31702 0 -1 1077944384 1530 0 0 0 5 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866551224976 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=321] ppid=315 vsize=14089320 memory=61912 CPUtime=0.07 cores=0,2,4,6
/proc/317/task/321/stat : 321 (java) S 315 315 31702 0 -1 1077944384 397 0 0 0 6 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866193193232 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=322] ppid=315 vsize=14089320 memory=1224 CPUtime=0.07 cores=0,2,4,6
/proc/317/task/322/stat : 322 (java) S 315 315 31702 0 -1 1077944384 1608 0 0 0 6 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866192140688 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=323] ppid=315 vsize=14089320 memory=2336 CPUtime=0.02 cores=0,2,4,6
/proc/317/task/323/stat : 323 (java) S 315 315 31702 0 -1 1077944384 1449 0 0 0 2 0 0 0 20 0 15 0 227589625 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865511930608 139866599668354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=324] ppid=315 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/317/task/324/stat : 324 (java) S 315 315 31702 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 227589625 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865510876896 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=325] ppid=315 vsize=14089320 memory=248536 CPUtime=0 cores=0,2,4,6
/proc/317/task/325/stat : 325 (java) S 315 315 31702 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 227589626 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865509823728 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=326] ppid=315 vsize=14089320 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/317/task/326/stat : 326 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865508772304 139866599675803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=327] ppid=315 vsize=14089320 memory=3980 CPUtime=3.39 cores=0,2,4,6
/proc/317/task/327/stat : 327 (java) S 315 315 31702 0 -1 1077944384 29026 0 0 0 336 3 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865507719408 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=328] ppid=315 vsize=14089320 memory=1924 CPUtime=3.47 cores=0,2,4,6
/proc/317/task/328/stat : 328 (java) S 315 315 31702 0 -1 1077944384 29287 0 0 0 344 3 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865506666864 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=329] ppid=315 vsize=14089320 memory=7284 CPUtime=0.63 cores=0,2,4,6
/proc/317/task/329/stat : 329 (java) S 315 315 31702 0 -1 1077944384 10461 0 0 0 62 1 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865505613808 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=330] ppid=315 vsize=14089320 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/317/task/330/stat : 330 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865504561504 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=331] ppid=315 vsize=14089320 memory=2336 CPUtime=0.09 cores=0,2,4,6
/proc/317/task/331/stat : 331 (java) S 315 315 31702 0 -1 1077944384 478 0 0 0 5 4 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865503509552 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
Current children cumulated CPU time: 441.36 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 249988 KiB
[startup+434.001 s]*
/proc/loadavg: 1.94 1.96 1.92 3/218 371
/proc/meminfo: memFree=22339060/32770624 swapFree=67108688/67108860
[pid=315] ppid=312 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/315/stat : 315 (xcsp3-exec) S 312 315 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227589622 115843072 363 33554432000 4194304 5098028 140725783343696 140725783341800 140335376663164 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24969216 140725783352379 140725783352580 140725783352580 140725783355338 0
/proc/315/statm: 28282 363 305 221 0 87 0
[pid=317] ppid=315 vsize=14089320 memory=248536 CPUtime=441.76 cores=0,2,4,6
/proc/317/stat : 317 (java) S 315 315 31702 0 -1 1077944320 90149 0 0 0 44153 23 0 0 20 0 15 0 227589622 14427463680 62134 33554432000 4194304 4196468 140734019179184 140734019161728 139866599657207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
/proc/317/statm: 3522330 62134 3424 1 0 3483524 0
[pid=317/tid=318] ppid=315 vsize=14089320 memory=1398720917958146503 CPUtime=433.81 cores=0,2,4,6
/proc/317/task/318/stat : 318 (java) R 315 315 31702 0 -1 4202560 14094 0 0 0 43376 5 0 0 20 0 15 0 227589623 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866603893808 139866236758817 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=319] ppid=315 vsize=14089320 memory=288230583166042426 CPUtime=0.06 cores=0,2,4,6
/proc/317/task/319/stat : 319 (java) S 315 315 31702 0 -1 1077944384 447 0 0 0 5 1 0 0 20 0 15 0 227589623 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866552277520 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=320] ppid=315 vsize=14089320 memory=13846365516073407 CPUtime=0.06 cores=0,2,4,6
/proc/317/task/320/stat : 320 (java) S 315 315 31702 0 -1 1077944384 1530 0 0 0 5 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866551224976 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=321] ppid=315 vsize=14089320 memory=924 CPUtime=0.07 cores=0,2,4,6
/proc/317/task/321/stat : 321 (java) S 315 315 31702 0 -1 1077944384 397 0 0 0 6 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866193193232 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=322] ppid=315 vsize=14089320 memory=1168 CPUtime=0.07 cores=0,2,4,6
/proc/317/task/322/stat : 322 (java) S 315 315 31702 0 -1 1077944384 1608 0 0 0 6 1 0 0 20 0 15 0 227589624 14427463680 62134 33554432000 4194304 4196468 140734019179184 139866192140688 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=323] ppid=315 vsize=14089320 memory=2336 CPUtime=0.02 cores=0,2,4,6
/proc/317/task/323/stat : 323 (java) S 315 315 31702 0 -1 1077944384 1449 0 0 0 2 0 0 0 20 0 15 0 227589625 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865511930608 139866599668354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=324] ppid=315 vsize=14089320 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/317/task/324/stat : 324 (java) S 315 315 31702 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 227589625 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865510876896 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=325] ppid=315 vsize=14089320 memory=924 CPUtime=0 cores=0,2,4,6
/proc/317/task/325/stat : 325 (java) S 315 315 31702 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 227589626 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865509823728 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=326] ppid=315 vsize=14089320 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/317/task/326/stat : 326 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865508772304 139866599675803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=327] ppid=315 vsize=14089320 memory=3980 CPUtime=3.39 cores=0,2,4,6
/proc/317/task/327/stat : 327 (java) S 315 315 31702 0 -1 1077944384 29026 0 0 0 336 3 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865507719408 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=328] ppid=315 vsize=14089320 memory=1924 CPUtime=3.47 cores=0,2,4,6
/proc/317/task/328/stat : 328 (java) S 315 315 31702 0 -1 1077944384 29287 0 0 0 344 3 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865506666864 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=329] ppid=315 vsize=14089320 memory=7284 CPUtime=0.63 cores=0,2,4,6
/proc/317/task/329/stat : 329 (java) S 315 315 31702 0 -1 1077944384 10461 0 0 0 62 1 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865505613808 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=330] ppid=315 vsize=14089320 memory=804 CPUtime=0 cores=0,2,4,6
/proc/317/task/330/stat : 330 (java) S 315 315 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865504561504 139866599667413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
[pid=317/tid=331] ppid=315 vsize=14089320 memory=1696 CPUtime=0.09 cores=0,2,4,6
/proc/317/task/331/stat : 331 (java) S 315 315 31702 0 -1 1077944384 478 0 0 0 5 4 0 0 20 0 15 0 227589628 14427463680 62134 33554432000 4194304 4196468 140734019179184 139865503509552 139866599668354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 20611072 140734019183750 140734019183921 140734019183921 140734019186639 0
Current children cumulated CPU time: 441.76 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 249988 KiB
Child status: 0
Real time (s): 434.098
CPU time (s): 441.875
CPU user time (s): 441.626
CPU system time (s): 0.248193
CPU usage (%): 101.791
Max. virtual memory (cumulated for all children) (KiB): 14204628
Max. memory (cumulated for all children) (KiB): 263824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 441.626
system time used= 0.248193
maximum resident set size= 262372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12694
involuntary context switches= 425
# summary of solver processes directly reported to runsolver:
# pid: 315
# total CPU time (s): 441.875
# total CPU user time (s): 441.626
# total CPU system time (s): 0.248193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.24471 second user time and 4.11353 second system time
The end