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 (9770 MiB free)
memory of node 1: 16384 MiB (11069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306756-1534114472/watcher-4306756-1534114472 -o /tmp/evaluation-result-4306756-1534114472/solver-4306756-1534114472 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534095837-31733 --watchdog 2580 HOME/xcsp3-exec -seed 2083778665 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306756-1534114472.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=2245, runsolver pid=2242
[startup+0.10013 s]*
/proc/loadavg: 2.04 2.04 2.03 3/217 2261
/proc/meminfo: memFree=21323168/32770624 swapFree=67108688/67108860
[pid=2245] ppid=2242 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2245/stat : 2245 (xcsp3-exec) S 2242 2245 31702 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 229010062 115843072 363 33554432000 4194304 5098028 140728650500848 140728650498952 140471005627004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11902976 140728650503226 140728650503428 140728650503428 140728650506186 0
/proc/2245/statm: 28282 363 306 221 0 87 0
[pid=2247] ppid=2245 vsize=14082940 memory=28268 CPUtime=0.12 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2245 2245 31702 0 -1 1077944320 5500 0 0 0 11 1 0 0 20 0 15 0 229010062 14420930560 7067 33554432000 4194304 4196468 140733532147360 140733532129904 140233755229943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
/proc/2247/statm: 3520735 7067 2998 1 0 3483012 0
[pid=2247/tid=2248] ppid=2245 vsize=14082940 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2248/stat : 2248 (java) R 2245 2245 31702 0 -1 4202560 3509 0 0 0 8 0 0 0 20 0 15 0 229010063 14420930560 7067 33554432000 4194304 4196468 140733532147360 140233759463216 140233755241878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2249] ppid=2245 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2249/stat : 2249 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14420930560 7067 33554432000 4194304 4196468 140733532147360 140233707850000 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2250] ppid=2245 vsize=14082940 memory=140416677238400 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2250/stat : 2250 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14420930560 7067 33554432000 4194304 4196468 140733532147360 140233706797456 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2251] ppid=2245 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2251/stat : 2251 (java) S 2245 2245 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229010064 14420930560 7067 33554432000 4194304 4196468 140733532147360 140233705744912 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2252] ppid=2245 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2252/stat : 2252 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14420930560 7067 33554432000 4194304 4196468 140733532147360 140233704692368 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2253] ppid=2245 vsize=14082940 memory=140416677238400 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2253/stat : 2253 (java) S 2245 2245 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229010065 14420930560 7067 33554432000 4194304 4196468 140733532147360 140232936155632 140233755241090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2254] ppid=2245 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2254/stat : 2254 (java) S 2245 2245 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229010065 14420930560 7067 33554432000 4194304 4196468 140733532147360 140232935101856 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2255] ppid=2245 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2255/stat : 2255 (java) S 2245 2245 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229010066 14420930560 7067 33554432000 4194304 4196468 140733532147360 140232934049264 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2256] ppid=2245 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2256/stat : 2256 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14420930560 7067 33554432000 4194304 4196468 140733532147360 140232932997840 140233755248539 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2257] ppid=2245 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2257/stat : 2257 (java) S 2245 2245 31702 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 229010068 14420930560 7067 33554432000 4194304 4196468 140733532147360 140232931944432 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2258] ppid=2245 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2258/stat : 2258 (java) S 2245 2245 31702 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 229010068 14420930560 7067 33554432000 4194304 4196468 140733532147360 140232930891888 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2259] ppid=2245 vsize=14082940 memory=140416677238400 CPUtime=0.01 cores=0,2,4,6
/proc/2247/task/2259/stat : 2259 (java) R 2245 2245 31702 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 229010068 14420930560 7067 33554432000 4194304 4196468 140733532147360 140232929839344 140233736467504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2260] ppid=2245 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2260/stat : 2260 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14420930560 7067 33554432000 4194304 4196468 140733532147360 140232928787040 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2261] ppid=2245 vsize=14082940 memory=140416677238400 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2261/stat : 2261 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010068 14420930560 7067 33554432000 4194304 4196468 140733532147360 140232927734576 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29720 KiB
[startup+0.210635 s]*
/proc/loadavg: 2.04 2.04 2.03 4/217 2261
/proc/meminfo: memFree=21311268/32770624 swapFree=67108688/67108860
[pid=2245] ppid=2242 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2245/stat : 2245 (xcsp3-exec) S 2242 2245 31702 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 229010062 115843072 363 33554432000 4194304 5098028 140728650500848 140728650498952 140471005627004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11902976 140728650503226 140728650503428 140728650503428 140728650506186 0
/proc/2245/statm: 28282 363 306 221 0 87 0
[pid=2247] ppid=2245 vsize=14082940 memory=40732 CPUtime=0.34 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2245 2245 31702 0 -1 1077944320 8226 0 0 0 32 2 0 0 20 0 15 0 229010062 14420930560 10183 33554432000 4194304 4196468 140733532147360 140733532129904 140233755229943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
/proc/2247/statm: 3520735 10183 3215 1 0 3483012 0
[pid=2247/tid=2248] ppid=2245 vsize=14082940 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2247/task/2248/stat : 2248 (java) R 2245 2245 31702 0 -1 4202560 5455 0 0 0 19 1 0 0 20 0 15 0 229010063 14420930560 10247 33554432000 4194304 4196468 140733532147360 140233759467120 140233739310430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2249] ppid=2245 vsize=14082940 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2249/stat : 2249 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14420930560 10247 33554432000 4194304 4196468 140733532147360 140233707850000 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2250] ppid=2245 vsize=14082940 memory=3834168456055281312 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2250/stat : 2250 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14420930560 10247 33554432000 4194304 4196468 140733532147360 140233706797456 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2251] ppid=2245 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2251/stat : 2251 (java) S 2245 2245 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229010064 14420930560 10247 33554432000 4194304 4196468 140733532147360 140233705744912 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2252] ppid=2245 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2252/stat : 2252 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14420930560 10247 33554432000 4194304 4196468 140733532147360 140233704692368 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2253] ppid=2245 vsize=14082940 memory=140416677238400 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2253/stat : 2253 (java) S 2245 2245 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229010065 14420930560 10247 33554432000 4194304 4196468 140733532147360 140232936155632 140233755241090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2254] ppid=2245 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2254/stat : 2254 (java) S 2245 2245 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229010065 14420930560 10247 33554432000 4194304 4196468 140733532147360 140232935101856 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2255] ppid=2245 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2255/stat : 2255 (java) S 2245 2245 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229010066 14420930560 10247 33554432000 4194304 4196468 140733532147360 140232934049264 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2256] ppid=2245 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2256/stat : 2256 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14420930560 10247 33554432000 4194304 4196468 140733532147360 140232932997840 140233755248539 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2257] ppid=2245 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2247/task/2257/stat : 2257 (java) S 2245 2245 31702 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 15 0 229010068 14420930560 10247 33554432000 4194304 4196468 140733532147360 140232931944432 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2258] ppid=2245 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2247/task/2258/stat : 2258 (java) S 2245 2245 31702 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 15 0 229010068 14420930560 10247 33554432000 4194304 4196468 140733532147360 140232930891888 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2259] ppid=2245 vsize=14082940 memory=140416677238400 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2259/stat : 2259 (java) S 2245 2245 31702 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 15 0 229010068 14420930560 10247 33554432000 4194304 4196468 140733532147360 140232929839344 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2260] ppid=2245 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2260/stat : 2260 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14420930560 10247 33554432000 4194304 4196468 140733532147360 140232928787040 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2261] ppid=2245 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2261/stat : 2261 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010068 14420930560 10247 33554432000 4194304 4196468 140733532147360 140232927734576 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42184 KiB
[startup+0.314065 s]*
/proc/loadavg: 2.04 2.04 2.03 5/217 2261
/proc/meminfo: memFree=21305064/32770624 swapFree=67108688/67108860
[pid=2245] ppid=2242 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2245/stat : 2245 (xcsp3-exec) S 2242 2245 31702 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 229010062 115843072 363 33554432000 4194304 5098028 140728650500848 140728650498952 140471005627004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11902976 140728650503226 140728650503428 140728650503428 140728650506186 0
/proc/2245/statm: 28282 363 306 221 0 87 0
[pid=2247] ppid=2245 vsize=14087196 memory=48172 CPUtime=0.52 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2245 2245 31702 0 -1 1077944320 9244 0 0 0 50 2 0 0 20 0 15 0 229010062 14425288704 12043 33554432000 4194304 4196468 140733532147360 140733532129904 140233755229943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
/proc/2247/statm: 3521799 12043 3272 1 0 3483012 0
[pid=2247/tid=2248] ppid=2245 vsize=14087196 memory=4026531863 CPUtime=0.29 cores=0,2,4,6
/proc/2247/task/2248/stat : 2248 (java) R 2245 2245 31702 0 -1 4202560 6183 0 0 0 28 1 0 0 20 0 15 0 229010063 14425288704 12052 33554432000 4194304 4196468 140733532147360 140233759467232 140233739310430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2249] ppid=2245 vsize=14087196 memory=12896 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2249/stat : 2249 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14425288704 12052 33554432000 4194304 4196468 140733532147360 140233707850000 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2250] ppid=2245 vsize=14087196 memory=27380 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2250/stat : 2250 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14425288704 12052 33554432000 4194304 4196468 140733532147360 140233706797456 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2251] ppid=2245 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2251/stat : 2251 (java) S 2245 2245 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229010064 14425288704 12052 33554432000 4194304 4196468 140733532147360 140233705744912 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2252] ppid=2245 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2252/stat : 2252 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14425288704 12052 33554432000 4194304 4196468 140733532147360 140233704692368 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2253] ppid=2245 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2253/stat : 2253 (java) S 2245 2245 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229010065 14425288704 12052 33554432000 4194304 4196468 140733532147360 140232936155632 140233755241090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2254] ppid=2245 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2254/stat : 2254 (java) S 2245 2245 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229010065 14425288704 12052 33554432000 4194304 4196468 140733532147360 140232935101856 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2255] ppid=2245 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2255/stat : 2255 (java) S 2245 2245 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229010066 14425288704 12052 33554432000 4194304 4196468 140733532147360 140232934049264 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2256] ppid=2245 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2256/stat : 2256 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14425288704 12052 33554432000 4194304 4196468 140733532147360 140232932997840 140233755248539 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2257] ppid=2245 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2247/task/2257/stat : 2257 (java) S 2245 2245 31702 0 -1 1077944384 489 0 0 0 4 0 0 0 20 0 15 0 229010068 14425288704 12052 33554432000 4194304 4196468 140733532147360 140232931944432 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2258] ppid=2245 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2247/task/2258/stat : 2258 (java) S 2245 2245 31702 0 -1 1077944384 403 0 0 0 4 0 0 0 20 0 15 0 229010068 14425288704 12052 33554432000 4194304 4196468 140733532147360 140232930891888 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2259] ppid=2245 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2247/task/2259/stat : 2259 (java) S 2245 2245 31702 0 -1 1077944384 876 0 0 0 12 0 0 0 20 0 15 0 229010068 14425288704 12052 33554432000 4194304 4196468 140733532147360 140232929839344 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2260] ppid=2245 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2260/stat : 2260 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14425288704 12052 33554432000 4194304 4196468 140733532147360 140232928787040 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2261] ppid=2245 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2261/stat : 2261 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010068 14425288704 12052 33554432000 4194304 4196468 140733532147360 140232927734576 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49624 KiB
[startup+0.701093 s]
/proc/loadavg: 2.04 2.04 2.03 5/217 2261
/proc/meminfo: memFree=21291416/32770624 swapFree=67108688/67108860
[pid=2245] ppid=2242 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2245/stat : 2245 (xcsp3-exec) S 2242 2245 31702 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 229010062 115843072 363 33554432000 4194304 5098028 140728650500848 140728650498952 140471005627004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11902976 140728650503226 140728650503428 140728650503428 140728650506186 0
/proc/2245/statm: 28282 363 306 221 0 87 0
[pid=2247] ppid=2245 vsize=14089320 memory=76164 CPUtime=1.64 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2245 2245 31702 0 -1 1077944320 12267 0 0 0 160 4 0 0 20 0 15 0 229010062 14427463680 19041 33554432000 4194304 4196468 140733532147360 140733532129904 140233755229943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
/proc/2247/statm: 3522330 19041 3365 1 0 3483524 0
[pid=2247/tid=2248] ppid=2245 vsize=14089320 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/2247/task/2248/stat : 2248 (java) R 2245 2245 31702 0 -1 4202560 7043 0 0 0 64 2 0 0 20 0 15 0 229010063 14427463680 19041 33554432000 4194304 4196468 140733532147360 140233759467024 140233388247591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2249] ppid=2245 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2249/stat : 2249 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14427463680 19041 33554432000 4194304 4196468 140733532147360 140233707850000 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2250] ppid=2245 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2250/stat : 2250 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14427463680 19041 33554432000 4194304 4196468 140733532147360 140233706797456 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2251] ppid=2245 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2251/stat : 2251 (java) S 2245 2245 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229010064 14427463680 19041 33554432000 4194304 4196468 140733532147360 140233705744912 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2252] ppid=2245 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2252/stat : 2252 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010064 14427463680 19041 33554432000 4194304 4196468 140733532147360 140233704692368 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2253] ppid=2245 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2253/stat : 2253 (java) S 2245 2245 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229010065 14427463680 19041 33554432000 4194304 4196468 140733532147360 140232936155632 140233755241090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2254] ppid=2245 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2254/stat : 2254 (java) S 2245 2245 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229010065 14427463680 19041 33554432000 4194304 4196468 140733532147360 140232935101856 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2255] ppid=2245 vsize=14089320 memory=7 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2255/stat : 2255 (java) S 2245 2245 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229010066 14427463680 19041 33554432000 4194304 4196468 140733532147360 140232934049264 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2256] ppid=2245 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2256/stat : 2256 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 19041 33554432000 4194304 4196468 140733532147360 140232932997840 140233755248539 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2257] ppid=2245 vsize=14089320 memory=2383444 CPUtime=0.24 cores=0,2,4,6
/proc/2247/task/2257/stat : 2257 (java) S 2245 2245 31702 0 -1 1077944384 1010 0 0 0 24 0 0 0 20 0 15 0 229010068 14427463680 19041 33554432000 4194304 4196468 140733532147360 140232931944432 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2258] ppid=2245 vsize=14089320 memory=4100 CPUtime=0.27 cores=0,2,4,6
/proc/2247/task/2258/stat : 2258 (java) S 2245 2245 31702 0 -1 1077944384 927 0 0 0 27 0 0 0 20 0 15 0 229010068 14427463680 19041 33554432000 4194304 4196468 140733532147360 140232930891888 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2259] ppid=2245 vsize=14089320 memory=1572 CPUtime=0.43 cores=0,2,4,6
/proc/2247/task/2259/stat : 2259 (java) S 2245 2245 31702 0 -1 1077944384 1979 0 0 0 43 0 0 0 20 0 15 0 229010068 14427463680 19041 33554432000 4194304 4196468 140733532147360 140232929839344 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2260] ppid=2245 vsize=14089320 memory=924 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2260/stat : 2260 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 19041 33554432000 4194304 4196468 140733532147360 140232928787040 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2261] ppid=2245 vsize=14089320 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2261/stat : 2261 (java) S 2245 2245 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 19041 33554432000 4194304 4196468 140733532147360 140232927734576 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 77616 KiB
[startup+1.50069 s]
/proc/loadavg: 2.04 2.04 2.03 4/217 2261
/proc/meminfo: memFree=21271504/32770624 swapFree=67108688/67108860
[pid=2245] ppid=2242 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2245/stat : 2245 (xcsp3-exec) S 2242 2245 31702 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 229010062 115843072 363 33554432000 4194304 5098028 140728650500848 140728650498952 140471005627004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11902976 140728650503226 140728650503428 140728650503428 140728650506186 0
/proc/2245/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/2247/task/2255/stat : 2255 (java) S 2245 2245 31702 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 229010066 14427463680 952257 33554432000 4194304 4196468 140733532147360 140232934049264 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2256] ppid=2245 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2256/stat : 2256 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 952257 33554432000 4194304 4196468 140733532147360 140232932997840 140233755248539 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2257] ppid=2245 vsize=14089320 memory=1452 CPUtime=2.31 cores=0,2,4,6
/proc/2247/task/2257/stat : 2257 (java) S 2245 2245 31702 0 -1 1077944384 19141 0 0 0 229 2 0 0 20 0 15 0 229010068 14427463680 952257 33554432000 4194304 4196468 140733532147360 140232931944432 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2258] ppid=2245 vsize=14089320 memory=3809028 CPUtime=2.17 cores=0,2,4,6
/proc/2247/task/2258/stat : 2258 (java) S 2245 2245 31702 0 -1 1077944384 11983 0 0 0 215 2 0 0 20 0 15 0 229010068 14427463680 952257 33554432000 4194304 4196468 140733532147360 140232930891888 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2259] ppid=2245 vsize=14089320 memory=1452 CPUtime=0.61 cores=0,2,4,6
/proc/2247/task/2259/stat : 2259 (java) S 2245 2245 31702 0 -1 1077944384 7418 0 0 0 60 1 0 0 20 0 15 0 229010068 14427463680 952257 33554432000 4194304 4196468 140733532147360 140232929839344 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2260] ppid=2245 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2260/stat : 2260 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 952257 33554432000 4194304 4196468 140733532147360 140232928787040 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2261] ppid=2245 vsize=14089320 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/2247/task/2261/stat : 2261 (java) S 2245 2245 31702 0 -1 1077944384 1176 0 0 0 30 36 0 0 20 0 15 0 229010068 14427463680 952257 33554432000 4194304 4196468 140733532147360 140232927734576 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
Current children cumulated CPU time: 2454.98 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3810480 KiB
[startup+2502.3 s]
/proc/loadavg: 1.58 1.61 1.70 3/217 2441
/proc/meminfo: memFree=21496368/32770624 swapFree=67108688/67108860
[pid=2245] ppid=2242 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2245/stat : 2245 (xcsp3-exec) S 2242 2245 31702 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 229010062 115843072 363 33554432000 4194304 5098028 140728650500848 140728650498952 140471005627004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11902976 140728650503226 140728650503428 140728650503428 140728650506186 0
/proc/2245/statm: 28282 363 306 221 0 87 0
[pid=2247] ppid=2245 vsize=14089320 memory=2012376 CPUtime=2515.2 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2245 2245 31702 0 -1 1077944320 266784 0 0 0 250435 1085 0 0 20 0 15 0 229010062 14427463680 503094 33554432000 4194304 4196468 140733532147360 140733532129904 140233755229943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
/proc/2247/statm: 3522330 503094 3429 1 0 3483524 0
[pid=2247/tid=2248] ppid=2245 vsize=14089320 memory=1960980 CPUtime=2497.75 cores=0,2,4,6
/proc/2247/task/2248/stat : 2248 (java) R 2245 2245 31702 0 -1 4202560 160123 0 0 0 248786 989 0 0 20 0 15 0 229010063 14427463680 503094 33554432000 4194304 4196468 140733532147360 140233759469592 140233389003198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2249] ppid=2245 vsize=14089320 memory=1960980 CPUtime=2.55 cores=0,2,4,6
/proc/2247/task/2249/stat : 2249 (java) S 2245 2245 31702 0 -1 1077944384 9640 0 0 0 249 6 0 0 20 0 15 0 229010064 14427463680 503094 33554432000 4194304 4196468 140733532147360 140233707850000 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2250] ppid=2245 vsize=14089320 memory=1200248 CPUtime=2.54 cores=0,2,4,6
/proc/2247/task/2250/stat : 2250 (java) S 2245 2245 31702 0 -1 1077944384 8508 0 0 0 247 7 0 0 20 0 15 0 229010064 14427463680 503094 33554432000 4194304 4196468 140733532147360 140233706797456 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2251] ppid=2245 vsize=14089320 memory=450516 CPUtime=2.56 cores=0,2,4,6
/proc/2247/task/2251/stat : 2251 (java) S 2245 2245 31702 0 -1 1077944384 9160 0 0 0 249 7 0 0 20 0 15 0 229010064 14427463680 503094 33554432000 4194304 4196468 140733532147360 140233705744912 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2252] ppid=2245 vsize=14089320 memory=1352396 CPUtime=2.53 cores=0,2,4,6
/proc/2247/task/2252/stat : 2252 (java) S 2245 2245 31702 0 -1 1077944384 9519 0 0 0 246 7 0 0 20 0 15 0 229010064 14427463680 503094 33554432000 4194304 4196468 140733532147360 140233704692368 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2253] ppid=2245 vsize=14089320 memory=1452 CPUtime=1.37 cores=0,2,4,6
/proc/2247/task/2253/stat : 2253 (java) S 2245 2245 31702 0 -1 1077944384 28732 0 0 0 103 34 0 0 20 0 15 0 229010065 14427463680 503094 33554432000 4194304 4196468 140733532147360 140232936155632 140233755241090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2254] ppid=2245 vsize=14089320 memory=1808832 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2254/stat : 2254 (java) S 2245 2245 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 229010065 14427463680 503094 33554432000 4194304 4196468 140733532147360 140232935101856 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2255] ppid=2245 vsize=14089320 memory=1504544 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2255/stat : 2255 (java) S 2245 2245 31702 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 229010066 14427463680 503094 33554432000 4194304 4196468 140733532147360 140232934049264 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2256] ppid=2245 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2256/stat : 2256 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 503094 33554432000 4194304 4196468 140733532147360 140232932997840 140233755248539 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2257] ppid=2245 vsize=14089320 memory=1452 CPUtime=2.31 cores=0,2,4,6
/proc/2247/task/2257/stat : 2257 (java) S 2245 2245 31702 0 -1 1077944384 19143 0 0 0 229 2 0 0 20 0 15 0 229010068 14427463680 503094 33554432000 4194304 4196468 140733532147360 140232931944432 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2258] ppid=2245 vsize=14089320 memory=1352396 CPUtime=2.17 cores=0,2,4,6
/proc/2247/task/2258/stat : 2258 (java) S 2245 2245 31702 0 -1 1077944384 11985 0 0 0 215 2 0 0 20 0 15 0 229010068 14427463680 503094 33554432000 4194304 4196468 140733532147360 140232930891888 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2259] ppid=2245 vsize=14089320 memory=2012376 CPUtime=0.62 cores=0,2,4,6
/proc/2247/task/2259/stat : 2259 (java) S 2245 2245 31702 0 -1 1077944384 7421 0 0 0 61 1 0 0 20 0 15 0 229010068 14427463680 503094 33554432000 4194304 4196468 140733532147360 140232929839344 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2260] ppid=2245 vsize=14089320 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2260/stat : 2260 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 503094 33554432000 4194304 4196468 140733532147360 140232928787040 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2261] ppid=2245 vsize=14089320 memory=1097088 CPUtime=0.68 cores=0,2,4,6
/proc/2247/task/2261/stat : 2261 (java) S 2245 2245 31702 0 -1 1077944384 1197 0 0 0 31 37 0 0 20 0 15 0 229010068 14427463680 503094 33554432000 4194304 4196468 140733532147360 140232927734576 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
Current children cumulated CPU time: 2515.2 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2013828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.11 s]
/proc/loadavg: 1.61 1.62 1.70 3/217 2441
/proc/meminfo: memFree=20933792/32770624 swapFree=67108688/67108860
[pid=2245] ppid=2242 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2245/stat : 2245 (xcsp3-exec) S 2242 2245 31702 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 229010062 115843072 363 33554432000 4194304 5098028 140728650500848 140728650498952 140471005627004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11902976 140728650503226 140728650503428 140728650503428 140728650506186 0
/proc/2245/statm: 28282 363 306 221 0 87 0
[pid=2247] ppid=2245 vsize=14089320 memory=2625080 CPUtime=2520.03 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2245 2245 31702 0 -1 1077944320 267995 0 0 0 250909 1094 0 0 20 0 15 0 229010062 14427463680 656270 33554432000 4194304 4196468 140733532147360 140733532129904 140233755229943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
/proc/2247/statm: 3522330 656270 3429 1 0 3483524 0
[pid=2247/tid=2248] ppid=2245 vsize=14089320 memory=2370128 CPUtime=2502.55 cores=0,2,4,6
/proc/2247/task/2248/stat : 2248 (java) R 2245 2245 31702 0 -1 4202560 161026 0 0 0 249257 998 0 0 20 0 15 0 229010063 14427463680 656270 33554432000 4194304 4196468 140733532147360 140233759469592 140233390743583 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2249] ppid=2245 vsize=14089320 memory=2164528 CPUtime=2.56 cores=0,2,4,6
/proc/2247/task/2249/stat : 2249 (java) S 2245 2245 31702 0 -1 1077944384 9756 0 0 0 250 6 0 0 20 0 15 0 229010064 14427463680 656270 33554432000 4194304 4196468 140733532147360 140233707850000 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2250] ppid=2245 vsize=14089320 memory=1200248 CPUtime=2.55 cores=0,2,4,6
/proc/2247/task/2250/stat : 2250 (java) S 2245 2245 31702 0 -1 1077944384 8572 0 0 0 248 7 0 0 20 0 15 0 229010064 14427463680 656270 33554432000 4194304 4196468 140733532147360 140233706797456 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2251] ppid=2245 vsize=14089320 memory=450516 CPUtime=2.57 cores=0,2,4,6
/proc/2247/task/2251/stat : 2251 (java) S 2245 2245 31702 0 -1 1077944384 9226 0 0 0 250 7 0 0 20 0 15 0 229010064 14427463680 656270 33554432000 4194304 4196468 140733532147360 140233705744912 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2252] ppid=2245 vsize=14089320 memory=1352396 CPUtime=2.54 cores=0,2,4,6
/proc/2247/task/2252/stat : 2252 (java) S 2245 2245 31702 0 -1 1077944384 9578 0 0 0 247 7 0 0 20 0 15 0 229010064 14427463680 656270 33554432000 4194304 4196468 140733532147360 140233704692368 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2253] ppid=2245 vsize=14089320 memory=1452 CPUtime=1.37 cores=0,2,4,6
/proc/2247/task/2253/stat : 2253 (java) S 2245 2245 31702 0 -1 1077944384 28734 0 0 0 103 34 0 0 20 0 15 0 229010065 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232936155632 140233755241090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2254] ppid=2245 vsize=14089320 memory=2012376 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2254/stat : 2254 (java) S 2245 2245 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 229010065 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232935101856 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2255] ppid=2245 vsize=14089320 memory=2267328 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2255/stat : 2255 (java) S 2245 2245 31702 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 229010066 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232934049264 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2256] ppid=2245 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2256/stat : 2256 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232932997840 140233755248539 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2257] ppid=2245 vsize=14089320 memory=1452 CPUtime=2.31 cores=0,2,4,6
/proc/2247/task/2257/stat : 2257 (java) S 2245 2245 31702 0 -1 1077944384 19143 0 0 0 229 2 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232931944432 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2258] ppid=2245 vsize=14089320 memory=2522280 CPUtime=2.17 cores=0,2,4,6
/proc/2247/task/2258/stat : 2258 (java) S 2245 2245 31702 0 -1 1077944384 11985 0 0 0 215 2 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232930891888 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2259] ppid=2245 vsize=14089320 memory=2573680 CPUtime=0.62 cores=0,2,4,6
/proc/2247/task/2259/stat : 2259 (java) S 2245 2245 31702 0 -1 1077944384 7421 0 0 0 61 1 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232929839344 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2260] ppid=2245 vsize=14089320 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2260/stat : 2260 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232928787040 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2261] ppid=2245 vsize=14089320 memory=2370128 CPUtime=0.68 cores=0,2,4,6
/proc/2247/task/2261/stat : 2261 (java) S 2245 2245 31702 0 -1 1077944384 1198 0 0 0 31 37 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232927734576 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2626532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.12 s]
# the end of solver process 2245 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001058 s, system=0.001058 s
[startup+2507.15 s]
# the end of solver process 2247 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.12 s, system=10.974 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.11 s]
/proc/loadavg: 1.61 1.62 1.70 3/217 2441
/proc/meminfo: memFree=20933792/32770624 swapFree=67108688/67108860
[pid=2245] ppid=2242 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2245/stat : 2245 (xcsp3-exec) S 2242 2245 31702 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 229010062 115843072 363 33554432000 4194304 5098028 140728650500848 140728650498952 140471005627004 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11902976 140728650503226 140728650503428 140728650503428 140728650506186 0
/proc/2245/statm: 28282 363 306 221 0 87 0
[pid=2247] ppid=2245 vsize=14089320 memory=2625080 CPUtime=2520.03 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2245 2245 31702 0 -1 1077944320 267995 0 0 0 250909 1094 0 0 20 0 15 0 229010062 14427463680 656270 33554432000 4194304 4196468 140733532147360 140733532129904 140233755229943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
/proc/2247/statm: 3522330 656270 3429 1 0 3483524 0
[pid=2247/tid=2248] ppid=2245 vsize=14089320 memory=2370128 CPUtime=2502.55 cores=0,2,4,6
/proc/2247/task/2248/stat : 2248 (java) R 2245 2245 31702 0 -1 4202560 161026 0 0 0 249257 998 0 0 20 0 15 0 229010063 14427463680 656270 33554432000 4194304 4196468 140733532147360 140233759469592 140233390743583 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2249] ppid=2245 vsize=14089320 memory=2164528 CPUtime=2.56 cores=0,2,4,6
/proc/2247/task/2249/stat : 2249 (java) S 2245 2245 31702 0 -1 1077944384 9756 0 0 0 250 6 0 0 20 0 15 0 229010064 14427463680 656270 33554432000 4194304 4196468 140733532147360 140233707850000 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2250] ppid=2245 vsize=14089320 memory=1200248 CPUtime=2.55 cores=0,2,4,6
/proc/2247/task/2250/stat : 2250 (java) S 2245 2245 31702 0 -1 1077944384 8572 0 0 0 248 7 0 0 20 0 15 0 229010064 14427463680 656270 33554432000 4194304 4196468 140733532147360 140233706797456 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2251] ppid=2245 vsize=14089320 memory=450516 CPUtime=2.57 cores=0,2,4,6
/proc/2247/task/2251/stat : 2251 (java) S 2245 2245 31702 0 -1 1077944384 9226 0 0 0 250 7 0 0 20 0 15 0 229010064 14427463680 656270 33554432000 4194304 4196468 140733532147360 140233705744912 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2252] ppid=2245 vsize=14089320 memory=1352396 CPUtime=2.54 cores=0,2,4,6
/proc/2247/task/2252/stat : 2252 (java) S 2245 2245 31702 0 -1 1077944384 9578 0 0 0 247 7 0 0 20 0 15 0 229010064 14427463680 656270 33554432000 4194304 4196468 140733532147360 140233704692368 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2253] ppid=2245 vsize=14089320 memory=1452 CPUtime=1.37 cores=0,2,4,6
/proc/2247/task/2253/stat : 2253 (java) S 2245 2245 31702 0 -1 1077944384 28734 0 0 0 103 34 0 0 20 0 15 0 229010065 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232936155632 140233755241090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2254] ppid=2245 vsize=14089320 memory=2012376 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2254/stat : 2254 (java) S 2245 2245 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 229010065 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232935101856 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2255] ppid=2245 vsize=14089320 memory=2267328 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2255/stat : 2255 (java) S 2245 2245 31702 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 229010066 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232934049264 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2256] ppid=2245 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2256/stat : 2256 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232932997840 140233755248539 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2257] ppid=2245 vsize=14089320 memory=1452 CPUtime=2.31 cores=0,2,4,6
/proc/2247/task/2257/stat : 2257 (java) S 2245 2245 31702 0 -1 1077944384 19143 0 0 0 229 2 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232931944432 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2258] ppid=2245 vsize=14089320 memory=2522280 CPUtime=2.17 cores=0,2,4,6
/proc/2247/task/2258/stat : 2258 (java) S 2245 2245 31702 0 -1 1077944384 11985 0 0 0 215 2 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232930891888 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2259] ppid=2245 vsize=14089320 memory=2573680 CPUtime=0.62 cores=0,2,4,6
/proc/2247/task/2259/stat : 2259 (java) S 2245 2245 31702 0 -1 1077944384 7421 0 0 0 61 1 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232929839344 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2260] ppid=2245 vsize=14089320 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/2247/task/2260/stat : 2260 (java) S 2245 2245 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232928787040 140233755240149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
[pid=2247/tid=2261] ppid=2245 vsize=14089320 memory=2370128 CPUtime=0.68 cores=0,2,4,6
/proc/2247/task/2261/stat : 2261 (java) S 2245 2245 31702 0 -1 1077944384 1198 0 0 0 31 37 0 0 20 0 15 0 229010068 14427463680 656270 33554432000 4194304 4196468 140733532147360 140232927734576 140233755241090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6909952 140733532148870 140733532149041 140733532149041 140733532151759 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2626532 KiB
Child status: 143
Real time (s): 2507.15
CPU time (s): 2520.09
CPU user time (s): 2509.12
CPU system time (s): 10.974
CPU usage (%): 100.516
Max. virtual memory (cumulated for all children) (KiB): 14204272
Max. memory (cumulated for all children) (KiB): 7411468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.12
system time used= 10.974
maximum resident set size= 7414124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70901
involuntary context switches= 3621
# summary of solver processes directly reported to runsolver:
# pid: 2245,2247
# total CPU time (s): 2520.09
# total CPU user time (s): 2509.12
# total CPU system time (s): 10.974
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4135 second user time and 23.7381 second system time
The end