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 (5588 MiB free)
memory of node 1: 16384 MiB (9526 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306554-1534123162/watcher-4306554-1534123162 -o /tmp/evaluation-result-4306554-1534123162/solver-4306554-1534123162 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2740 --watchdog 2580 HOME/xcsp3-exec -seed 1236052031 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306554-1534123162.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=7323, runsolver pid=7320
[startup+0.10006 s]*
/proc/loadavg: 1.98 1.49 1.47 3/218 7339
/proc/meminfo: memFree=15460872/32770624 swapFree=67108792/67108860
[pid=7323] ppid=7320 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7323/stat : 7323 (xcsp3-exec) S 7320 7323 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229879477 115843072 363 33554432000 4194304 5098028 140720711588864 140720711586968 139716192346748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13434880 140720711590970 140720711591172 140720711591172 140720711593930 0
/proc/7323/statm: 28282 363 306 221 0 87 0
[pid=7325] ppid=7323 vsize=14082940 memory=29268 CPUtime=0.12 cores=0,2,4,6
/proc/7325/stat : 7325 (java) S 7323 7323 2709 0 -1 1077944320 5677 0 0 0 10 2 0 0 20 0 15 0 229879477 14420930560 7317 33554432000 4194304 4196468 140730960581824 140730960564368 139956541628151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
/proc/7325/statm: 3520735 7317 3014 1 0 3483012 0
[pid=7325/tid=7326] ppid=7323 vsize=14082940 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/7325/task/7326/stat : 7326 (java) R 7323 7323 2709 0 -1 4202560 3692 0 0 0 8 1 0 0 20 0 15 0 229879478 14420930560 7317 33554432000 4194304 4196468 140730960581824 139956545860416 139956541640086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7327] ppid=7323 vsize=14082940 memory=3472468419458475216 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7327/stat : 7327 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14420930560 7317 33554432000 4194304 4196468 140730960581824 139956479228432 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7328] ppid=7323 vsize=14082940 memory=140290563323520 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7328/stat : 7328 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14420930560 7317 33554432000 4194304 4196468 140730960581824 139956478175888 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7329] ppid=7323 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7329/stat : 7329 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14420930560 7317 33554432000 4194304 4196468 140730960581824 139956477122832 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7330] ppid=7323 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7330/stat : 7330 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14420930560 7317 33554432000 4194304 4196468 140730960581824 139956134091152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7331] ppid=7323 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7331/stat : 7331 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879480 14420930560 7317 33554432000 4194304 4196468 140730960581824 139955655346928 139956541639298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7332] ppid=7323 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7332/stat : 7332 (java) S 7323 7323 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229879480 14420930560 7317 33554432000 4194304 4196468 140730960581824 139955654293152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7333] ppid=7323 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7333/stat : 7333 (java) S 7323 7323 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229879481 14420930560 7317 33554432000 4194304 4196468 140730960581824 139955653240048 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7334] ppid=7323 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7334/stat : 7334 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14420930560 7317 33554432000 4194304 4196468 140730960581824 139955652188624 139956541646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7335] ppid=7323 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7335/stat : 7335 (java) S 7323 7323 2709 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 229879483 14420930560 7317 33554432000 4194304 4196468 140730960581824 139955651135728 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7336] ppid=7323 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7336/stat : 7336 (java) S 7323 7323 2709 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 229879483 14420930560 7317 33554432000 4194304 4196468 140730960581824 139955650083184 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7337] ppid=7323 vsize=14082940 memory=140290563323520 CPUtime=0.01 cores=0,2,4,6
/proc/7325/task/7337/stat : 7337 (java) S 7323 7323 2709 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 229879483 14420930560 7317 33554432000 4194304 4196468 140730960581824 139955649030128 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7338] ppid=7323 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7338/stat : 7338 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14420930560 7317 33554432000 4194304 4196468 140730960581824 139955647977824 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7339] ppid=7323 vsize=14082940 memory=140290563323520 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7339/stat : 7339 (java) S 7323 7323 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229879483 14420930560 7317 33554432000 4194304 4196468 140730960581824 139955646925872 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30720 KiB
[startup+0.210676 s]*
/proc/loadavg: 1.98 1.49 1.47 4/218 7339
/proc/meminfo: memFree=15449280/32770624 swapFree=67108792/67108860
[pid=7323] ppid=7320 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7323/stat : 7323 (xcsp3-exec) S 7320 7323 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229879477 115843072 363 33554432000 4194304 5098028 140720711588864 140720711586968 139716192346748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13434880 140720711590970 140720711591172 140720711591172 140720711593930 0
/proc/7323/statm: 28282 363 306 221 0 87 0
[pid=7325] ppid=7323 vsize=14082940 memory=40752 CPUtime=0.34 cores=0,2,4,6
/proc/7325/stat : 7325 (java) S 7323 7323 2709 0 -1 1077944320 8291 0 0 0 32 2 0 0 20 0 15 0 229879477 14420930560 10188 33554432000 4194304 4196468 140730960581824 140730960564368 139956541628151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
/proc/7325/statm: 3520735 10188 3185 1 0 3483012 0
[pid=7325/tid=7326] ppid=7323 vsize=14082940 memory=4788064525053108374 CPUtime=0.19 cores=0,2,4,6
/proc/7325/task/7326/stat : 7326 (java) R 7323 7323 2709 0 -1 4202560 5456 0 0 0 18 1 0 0 20 0 15 0 229879478 14420930560 10188 33554432000 4194304 4196468 140730960581824 139956545863136 139956541650077 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7327] ppid=7323 vsize=14082940 memory=3472468586791003824 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7327/stat : 7327 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14420930560 10188 33554432000 4194304 4196468 140730960581824 139956479228432 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7328] ppid=7323 vsize=14082940 memory=140290563323520 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7328/stat : 7328 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14420930560 10188 33554432000 4194304 4196468 140730960581824 139956478175888 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7329] ppid=7323 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7329/stat : 7329 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14420930560 10188 33554432000 4194304 4196468 140730960581824 139956477122832 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7330] ppid=7323 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7330/stat : 7330 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14420930560 10188 33554432000 4194304 4196468 140730960581824 139956134091152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7331] ppid=7323 vsize=14082940 memory=140290563323520 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7331/stat : 7331 (java) S 7323 7323 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229879480 14420930560 10188 33554432000 4194304 4196468 140730960581824 139955655346928 139956541639298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7332] ppid=7323 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7332/stat : 7332 (java) S 7323 7323 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229879480 14420930560 10188 33554432000 4194304 4196468 140730960581824 139955654293152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7333] ppid=7323 vsize=14082940 memory=140290563323520 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7333/stat : 7333 (java) S 7323 7323 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229879481 14420930560 10188 33554432000 4194304 4196468 140730960581824 139955653240048 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7334] ppid=7323 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7334/stat : 7334 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14420930560 10188 33554432000 4194304 4196468 140730960581824 139955652188624 139956541646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7335] ppid=7323 vsize=14082940 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7325/task/7335/stat : 7335 (java) S 7323 7323 2709 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 229879483 14420930560 10188 33554432000 4194304 4196468 140730960581824 139955651135728 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7336] ppid=7323 vsize=14082940 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/7325/task/7336/stat : 7336 (java) S 7323 7323 2709 0 -1 1077944384 428 0 0 0 3 0 0 0 20 0 15 0 229879483 14420930560 10188 33554432000 4194304 4196468 140730960581824 139955650083184 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7337] ppid=7323 vsize=14082940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7325/task/7337/stat : 7337 (java) S 7323 7323 2709 0 -1 1077944384 784 0 0 0 8 0 0 0 20 0 15 0 229879483 14420930560 10188 33554432000 4194304 4196468 140730960581824 139955649030128 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7338] ppid=7323 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7338/stat : 7338 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14420930560 10188 33554432000 4194304 4196468 140730960581824 139955647977824 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7339] ppid=7323 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7339/stat : 7339 (java) S 7323 7323 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229879483 14420930560 10188 33554432000 4194304 4196468 140730960581824 139955646925872 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42204 KiB
[startup+0.31051 s]*
/proc/loadavg: 1.98 1.49 1.47 4/218 7339
/proc/meminfo: memFree=15443636/32770624 swapFree=67108792/67108860
[pid=7323] ppid=7320 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7323/stat : 7323 (xcsp3-exec) S 7320 7323 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229879477 115843072 363 33554432000 4194304 5098028 140720711588864 140720711586968 139716192346748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13434880 140720711590970 140720711591172 140720711591172 140720711593930 0
/proc/7323/statm: 28282 363 306 221 0 87 0
[pid=7325] ppid=7323 vsize=14087196 memory=48048 CPUtime=0.53 cores=0,2,4,6
/proc/7325/stat : 7325 (java) S 7323 7323 2709 0 -1 1077944320 9200 0 0 0 50 3 0 0 20 0 15 0 229879477 14425288704 12012 33554432000 4194304 4196468 140730960581824 140730960564368 139956541628151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
/proc/7325/statm: 3521799 12012 3241 1 0 3483012 0
[pid=7325/tid=7326] ppid=7323 vsize=14087196 memory=4788064525187063192 CPUtime=0.29 cores=0,2,4,6
/proc/7325/task/7326/stat : 7326 (java) R 7323 7323 2709 0 -1 4202560 6168 0 0 0 27 2 0 0 20 0 15 0 229879478 14425288704 12012 33554432000 4194304 4196468 140730960581824 139956545865440 139956525708638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7327] ppid=7323 vsize=14087196 memory=3472468419458475216 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7327/stat : 7327 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14425288704 12012 33554432000 4194304 4196468 140730960581824 139956479228432 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7328] ppid=7323 vsize=14087196 memory=280580972542784 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7328/stat : 7328 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14425288704 12012 33554432000 4194304 4196468 140730960581824 139956478175888 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7329] ppid=7323 vsize=14087196 memory=280580818438544 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7329/stat : 7329 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14425288704 12012 33554432000 4194304 4196468 140730960581824 139956477122832 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7330] ppid=7323 vsize=14087196 memory=140290409103495 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7330/stat : 7330 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14425288704 12012 33554432000 4194304 4196468 140730960581824 139956134091152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7331] ppid=7323 vsize=14087196 memory=280580972549696 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7331/stat : 7331 (java) S 7323 7323 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229879480 14425288704 12012 33554432000 4194304 4196468 140730960581824 139955655346928 139956541639298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7332] ppid=7323 vsize=14087196 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7332/stat : 7332 (java) S 7323 7323 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229879480 14425288704 12012 33554432000 4194304 4196468 140730960581824 139955654293152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7333] ppid=7323 vsize=14087196 memory=2110641016332196 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7333/stat : 7333 (java) S 7323 7323 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229879481 14425288704 12012 33554432000 4194304 4196468 140730960581824 139955653240048 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7334] ppid=7323 vsize=14087196 memory=280580818350840 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7334/stat : 7334 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14425288704 12012 33554432000 4194304 4196468 140730960581824 139955652188624 139956541646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7335] ppid=7323 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7325/task/7335/stat : 7335 (java) S 7323 7323 2709 0 -1 1077944384 443 0 0 0 4 0 0 0 20 0 15 0 229879483 14425288704 12012 33554432000 4194304 4196468 140730960581824 139955651135728 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7336] ppid=7323 vsize=14087196 memory=140290409237711 CPUtime=0.04 cores=0,2,4,6
/proc/7325/task/7336/stat : 7336 (java) S 7323 7323 2709 0 -1 1077944384 439 0 0 0 4 0 0 0 20 0 15 0 229879483 14425288704 12012 33554432000 4194304 4196468 140730960581824 139955650083184 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7337] ppid=7323 vsize=14087196 memory=140290563323520 CPUtime=0.12 cores=0,2,4,6
/proc/7325/task/7337/stat : 7337 (java) S 7323 7323 2709 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 15 0 229879483 14425288704 12012 33554432000 4194304 4196468 140730960581824 139955649030128 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7338] ppid=7323 vsize=14087196 memory=140290409244623 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7338/stat : 7338 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14425288704 12012 33554432000 4194304 4196468 140730960581824 139955647977824 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7339] ppid=7323 vsize=14087196 memory=140290563323520 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7339/stat : 7339 (java) S 7323 7323 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229879483 14425288704 12012 33554432000 4194304 4196468 140730960581824 139955646925872 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49500 KiB
[startup+0.701251 s]
/proc/loadavg: 1.98 1.49 1.47 3/218 7339
/proc/meminfo: memFree=15428064/32770624 swapFree=67108792/67108860
[pid=7323] ppid=7320 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7323/stat : 7323 (xcsp3-exec) S 7320 7323 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229879477 115843072 363 33554432000 4194304 5098028 140720711588864 140720711586968 139716192346748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13434880 140720711590970 140720711591172 140720711591172 140720711593930 0
/proc/7323/statm: 28282 363 306 221 0 87 0
[pid=7325] ppid=7323 vsize=14089320 memory=84444 CPUtime=1.61 cores=0,2,4,6
/proc/7325/stat : 7325 (java) S 7323 7323 2709 0 -1 1077944320 12732 0 0 0 156 5 0 0 20 0 15 0 229879477 14427463680 21111 33554432000 4194304 4196468 140730960581824 140730960564368 139956541628151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
/proc/7325/statm: 3522330 21111 3358 1 0 3483524 0
[pid=7325/tid=7326] ppid=7323 vsize=14089320 memory=8320808402719814964 CPUtime=0.67 cores=0,2,4,6
/proc/7325/task/7326/stat : 7326 (java) R 7323 7323 2709 0 -1 4202560 7017 0 0 0 64 3 0 0 20 0 15 0 229879478 14427463680 21111 33554432000 4194304 4196468 140730960581824 139956545865272 139956156722336 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7327] ppid=7323 vsize=14089320 memory=7522226709056217664 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7327/stat : 7327 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14427463680 21111 33554432000 4194304 4196468 140730960581824 139956479228432 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7328] ppid=7323 vsize=14089320 memory=6226596351323422817 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7328/stat : 7328 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14427463680 21111 33554432000 4194304 4196468 140730960581824 139956478175888 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7329] ppid=7323 vsize=14089320 memory=3467824671636873280 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7329/stat : 7329 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14427463680 21111 33554432000 4194304 4196468 140730960581824 139956477122832 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7330] ppid=7323 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7330/stat : 7330 (java) S 7323 7323 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229879479 14427463680 21111 33554432000 4194304 4196468 140730960581824 139956134091152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7331] ppid=7323 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7331/stat : 7331 (java) S 7323 7323 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229879480 14427463680 21111 33554432000 4194304 4196468 140730960581824 139955655346928 139956541639298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7332] ppid=7323 vsize=14089320 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7332/stat : 7332 (java) S 7323 7323 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229879480 14427463680 21111 33554432000 4194304 4196468 140730960581824 139955654293152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7333] ppid=7323 vsize=14089320 memory=1264 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7333/stat : 7333 (java) S 7323 7323 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229879481 14427463680 21111 33554432000 4194304 4196468 140730960581824 139955653240048 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7334] ppid=7323 vsize=14089320 memory=7136 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7334/stat : 7334 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14427463680 21111 33554432000 4194304 4196468 140730960581824 139955652188624 139956541646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7335] ppid=7323 vsize=14089320 memory=748 CPUtime=0.23 cores=0,2,4,6
/proc/7325/task/7335/stat : 7335 (java) R 7323 7323 2709 0 -1 4202560 1172 0 0 0 23 0 0 0 20 0 15 0 229879483 14427463680 21111 33554432000 4194304 4196468 140730960581824 139955651135728 139956523148211 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7336] ppid=7323 vsize=14089320 memory=872 CPUtime=0.26 cores=0,2,4,6
/proc/7325/task/7336/stat : 7336 (java) R 7323 7323 2709 0 -1 4202560 1221 0 0 0 26 0 0 0 20 0 15 0 229879483 14427463680 21111 33554432000 4194304 4196468 140730960581824 139955650083312 139956541649498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7337] ppid=7323 vsize=14089320 memory=1220 CPUtime=0.41 cores=0,2,4,6
/proc/7325/task/7337/stat : 7337 (java) R 7323 7323 2709 0 -1 4202560 2012 0 0 0 41 0 0 0 20 0 15 0 229879483 14427463680 21111 33554432000 4194304 4196468 140730960581824 139955649030128 139956520293817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7338] ppid=7323 vsize=14089320 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7338/stat : 7338 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14427463680 21111 33554432000 4194304 4196468 140730960581824 139955647977824 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7339] ppid=7323 vsize=14089320 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7339/stat : 7339 (java) S 7323 7323 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229879483 14427463680 21111 33554432000 4194304 4196468 140730960581824 139955646925872 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 85896 KiB
[startup+1.50081 s]
/proc/loadavg: 1.98 1.49 1.47 5/218 7339
/proc/meminfo: memFree=15392036/32770624 swapFree=67108792/67108860
[pid=7323] ppid=7320 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7323/stat : 7323 (xcsp3-exec) S 7320 7323 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229879477 115843072 363 33554432000 4194304 5098028 140720711588864 140720711586968 139716192346748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13434880 140720711590970 140720711591172 140720711591172 140720711593930 0
/proc/7323/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
[pid=7325/tid=7331] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.39 cores=0,2,4,6
/proc/7325/task/7331/stat : 7331 (java) S 7323 7323 2709 0 -1 1077944384 3012 0 0 0 34 5 0 0 20 0 15 0 229879480 14429560832 50844 33554432000 4194304 4196468 140730960581824 139955655346928 139956541639298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7332] ppid=7323 vsize=14091368 memory=203376 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7332/stat : 7332 (java) S 7323 7323 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 229879480 14429560832 50844 33554432000 4194304 4196468 140730960581824 139955654293152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7333] ppid=7323 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7333/stat : 7333 (java) S 7323 7323 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 229879481 14429560832 50844 33554432000 4194304 4196468 140730960581824 139955653240048 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7334] ppid=7323 vsize=14091368 memory=3892 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7334/stat : 7334 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14429560832 50844 33554432000 4194304 4196468 140730960581824 139955652188624 139956541646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7335] ppid=7323 vsize=14091368 memory=62560 CPUtime=2.25 cores=0,2,4,6
/proc/7325/task/7335/stat : 7335 (java) S 7323 7323 2709 0 -1 1077944384 13119 0 0 0 223 2 0 0 20 0 15 0 229879483 14429560832 50844 33554432000 4194304 4196468 140730960581824 139955651135728 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7336] ppid=7323 vsize=14091368 memory=1452 CPUtime=2.41 cores=0,2,4,6
/proc/7325/task/7336/stat : 7336 (java) S 7323 7323 2709 0 -1 1077944384 14612 0 0 0 240 1 0 0 20 0 15 0 229879483 14429560832 50844 33554432000 4194304 4196468 140730960581824 139955650083184 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7337] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.8 cores=0,2,4,6
/proc/7325/task/7337/stat : 7337 (java) S 7323 7323 2709 0 -1 1077944384 9900 0 0 0 78 2 0 0 20 0 15 0 229879483 14429560832 50844 33554432000 4194304 4196468 140730960581824 139955649030128 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7338] ppid=7323 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7338/stat : 7338 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14429560832 50844 33554432000 4194304 4196468 140730960581824 139955647977824 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7339] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.55 cores=0,2,4,6
/proc/7325/task/7339/stat : 7339 (java) S 7323 7323 2709 0 -1 1077944384 1057 0 0 0 23 32 0 0 20 0 15 0 229879483 14429560832 50844 33554432000 4194304 4196468 140730960581824 139955646925872 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
Current children cumulated CPU time: 2449.35 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 204828 KiB
[startup+2502.3 s]
/proc/loadavg: 1.73 1.78 1.77 3/219 7564
/proc/meminfo: memFree=15575064/32770624 swapFree=67108792/67108860
[pid=7323] ppid=7320 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7323/stat : 7323 (xcsp3-exec) S 7320 7323 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229879477 115843072 363 33554432000 4194304 5098028 140720711588864 140720711586968 139716192346748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13434880 140720711590970 140720711591172 140720711591172 140720711593930 0
/proc/7323/statm: 28282 363 306 221 0 87 0
[pid=7325] ppid=7323 vsize=14091368 memory=205424 CPUtime=2509.43 cores=0,2,4,6
/proc/7325/stat : 7325 (java) S 7323 7323 2709 0 -1 1077944320 75755 0 0 0 250882 61 0 0 20 0 15 0 229879477 14429560832 51356 33554432000 4194304 4196468 140730960581824 140730960564368 139956541628151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
/proc/7325/statm: 3522842 51356 3416 1 0 3484036 0
[pid=7325/tid=7326] ppid=7323 vsize=14091368 memory=205424 CPUtime=2500.89 cores=0,2,4,6
/proc/7325/task/7326/stat : 7326 (java) R 7323 7323 2709 0 -1 4202560 20497 0 0 0 250080 9 0 0 20 0 15 0 229879478 14429560832 51356 33554432000 4194304 4196468 140730960581824 139956545867600 139956162945914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7327] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.51 cores=0,2,4,6
/proc/7325/task/7327/stat : 7327 (java) S 7323 7323 2709 0 -1 1077944384 2758 0 0 0 47 4 0 0 20 0 15 0 229879479 14429560832 51356 33554432000 4194304 4196468 140730960581824 139956479228432 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7328] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.5 cores=0,2,4,6
/proc/7325/task/7328/stat : 7328 (java) S 7323 7323 2709 0 -1 1077944384 4955 0 0 0 45 5 0 0 20 0 15 0 229879479 14429560832 51356 33554432000 4194304 4196468 140730960581824 139956478175888 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7329] ppid=7323 vsize=14091368 memory=205424 CPUtime=0.5 cores=0,2,4,6
/proc/7325/task/7329/stat : 7329 (java) S 7323 7323 2709 0 -1 1077944384 2403 0 0 0 46 4 0 0 20 0 15 0 229879479 14429560832 51356 33554432000 4194304 4196468 140730960581824 139956477122832 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7330] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.51 cores=0,2,4,6
/proc/7325/task/7330/stat : 7330 (java) S 7323 7323 2709 0 -1 1077944384 2024 0 0 0 47 4 0 0 20 0 15 0 229879479 14429560832 51356 33554432000 4194304 4196468 140730960581824 139956134091152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7331] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.41 cores=0,2,4,6
/proc/7325/task/7331/stat : 7331 (java) S 7323 7323 2709 0 -1 1077944384 3048 0 0 0 36 5 0 0 20 0 15 0 229879480 14429560832 51356 33554432000 4194304 4196468 140730960581824 139955655346928 139956541639298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7332] ppid=7323 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7332/stat : 7332 (java) S 7323 7323 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 229879480 14429560832 51356 33554432000 4194304 4196468 140730960581824 139955654293152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7333] ppid=7323 vsize=14091368 memory=2380 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7333/stat : 7333 (java) S 7323 7323 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 229879481 14429560832 51356 33554432000 4194304 4196468 140730960581824 139955653240048 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7334] ppid=7323 vsize=14091368 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7334/stat : 7334 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14429560832 51356 33554432000 4194304 4196468 140730960581824 139955652188624 139956541646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7335] ppid=7323 vsize=14091368 memory=1452 CPUtime=2.25 cores=0,2,4,6
/proc/7325/task/7335/stat : 7335 (java) S 7323 7323 2709 0 -1 1077944384 13120 0 0 0 223 2 0 0 20 0 15 0 229879483 14429560832 51356 33554432000 4194304 4196468 140730960581824 139955651135728 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7336] ppid=7323 vsize=14091368 memory=1452 CPUtime=2.41 cores=0,2,4,6
/proc/7325/task/7336/stat : 7336 (java) S 7323 7323 2709 0 -1 1077944384 14612 0 0 0 240 1 0 0 20 0 15 0 229879483 14429560832 51356 33554432000 4194304 4196468 140730960581824 139955650083184 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7337] ppid=7323 vsize=14091368 memory=205424 CPUtime=0.8 cores=0,2,4,6
/proc/7325/task/7337/stat : 7337 (java) S 7323 7323 2709 0 -1 1077944384 9900 0 0 0 78 2 0 0 20 0 15 0 229879483 14429560832 51356 33554432000 4194304 4196468 140730960581824 139955649030128 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7338] ppid=7323 vsize=14091368 memory=808 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7338/stat : 7338 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14429560832 51356 33554432000 4194304 4196468 140730960581824 139955647977824 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7339] ppid=7323 vsize=14091368 memory=1696 CPUtime=0.55 cores=0,2,4,6
/proc/7325/task/7339/stat : 7339 (java) S 7323 7323 2709 0 -1 1077944384 1072 0 0 0 23 32 0 0 20 0 15 0 229879483 14429560832 51356 33554432000 4194304 4196468 140730960581824 139955646925872 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
Current children cumulated CPU time: 2509.43 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 206876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.9 s]
/proc/loadavg: 1.77 1.79 1.77 3/219 7564
/proc/meminfo: memFree=15573348/32770624 swapFree=67108792/67108860
[pid=7323] ppid=7320 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7323/stat : 7323 (xcsp3-exec) S 7320 7323 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229879477 115843072 363 33554432000 4194304 5098028 140720711588864 140720711586968 139716192346748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13434880 140720711590970 140720711591172 140720711591172 140720711593930 0
/proc/7323/statm: 28282 363 306 221 0 87 0
[pid=7325] ppid=7323 vsize=14091368 memory=207472 CPUtime=2520.04 cores=0,2,4,6
/proc/7325/stat : 7325 (java) S 7323 7323 2709 0 -1 1077944320 75799 0 0 0 251943 61 0 0 20 0 15 0 229879477 14429560832 51868 33554432000 4194304 4196468 140730960581824 140730960564368 139956541628151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
/proc/7325/statm: 3522842 51868 3416 1 0 3484036 0
[pid=7325/tid=7326] ppid=7323 vsize=14091368 memory=1452 CPUtime=2511.48 cores=0,2,4,6
/proc/7325/task/7326/stat : 7326 (java) R 7323 7323 2709 0 -1 4202560 20530 0 0 0 251139 9 0 0 20 0 15 0 229879478 14429560832 51868 33554432000 4194304 4196468 140730960581824 139956545867712 139956163759910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7327] ppid=7323 vsize=14091368 memory=924 CPUtime=0.51 cores=0,2,4,6
/proc/7325/task/7327/stat : 7327 (java) S 7323 7323 2709 0 -1 1077944384 2759 0 0 0 47 4 0 0 20 0 15 0 229879479 14429560832 51868 33554432000 4194304 4196468 140730960581824 139956479228432 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7328] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.5 cores=0,2,4,6
/proc/7325/task/7328/stat : 7328 (java) S 7323 7323 2709 0 -1 1077944384 4956 0 0 0 45 5 0 0 20 0 15 0 229879479 14429560832 51868 33554432000 4194304 4196468 140730960581824 139956478175888 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7329] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.51 cores=0,2,4,6
/proc/7325/task/7329/stat : 7329 (java) S 7323 7323 2709 0 -1 1077944384 2405 0 0 0 47 4 0 0 20 0 15 0 229879479 14429560832 51868 33554432000 4194304 4196468 140730960581824 139956477122832 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7330] ppid=7323 vsize=14091368 memory=8564 CPUtime=0.51 cores=0,2,4,6
/proc/7325/task/7330/stat : 7330 (java) S 7323 7323 2709 0 -1 1077944384 2027 0 0 0 47 4 0 0 20 0 15 0 229879479 14429560832 51868 33554432000 4194304 4196468 140730960581824 139956134091152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7331] ppid=7323 vsize=14091368 memory=1800 CPUtime=0.41 cores=0,2,4,6
/proc/7325/task/7331/stat : 7331 (java) S 7323 7323 2709 0 -1 1077944384 3050 0 0 0 36 5 0 0 20 0 15 0 229879480 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955655346928 139956541639298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7332] ppid=7323 vsize=14091368 memory=164 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7332/stat : 7332 (java) S 7323 7323 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 229879480 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955654293152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7333] ppid=7323 vsize=14091368 memory=7019467088073995063 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7333/stat : 7333 (java) S 7323 7323 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 229879481 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955653240048 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7334] ppid=7323 vsize=14091368 memory=207472 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7334/stat : 7334 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955652188624 139956541646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7335] ppid=7323 vsize=14091368 memory=62580 CPUtime=2.25 cores=0,2,4,6
/proc/7325/task/7335/stat : 7335 (java) S 7323 7323 2709 0 -1 1077944384 13120 0 0 0 223 2 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955651135728 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7336] ppid=7323 vsize=14091368 memory=1452 CPUtime=2.41 cores=0,2,4,6
/proc/7325/task/7336/stat : 7336 (java) S 7323 7323 2709 0 -1 1077944384 14612 0 0 0 240 1 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955650083184 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7337] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.8 cores=0,2,4,6
/proc/7325/task/7337/stat : 7337 (java) S 7323 7323 2709 0 -1 1077944384 9900 0 0 0 78 2 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955649030128 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7338] ppid=7323 vsize=14091368 memory=207472 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7338/stat : 7338 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955647977824 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7339] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.56 cores=0,2,4,6
/proc/7325/task/7339/stat : 7339 (java) S 7323 7323 2709 0 -1 1077944384 1074 0 0 0 24 32 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955646925872 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 208924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.91 s]
# the end of solver process 7323 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.45 s, system=0.616088 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.9 s]
/proc/loadavg: 1.77 1.79 1.77 3/219 7564
/proc/meminfo: memFree=15573348/32770624 swapFree=67108792/67108860
[pid=7323] ppid=7320 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7323/stat : 7323 (xcsp3-exec) S 7320 7323 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229879477 115843072 363 33554432000 4194304 5098028 140720711588864 140720711586968 139716192346748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13434880 140720711590970 140720711591172 140720711591172 140720711593930 0
/proc/7323/statm: 28282 363 306 221 0 87 0
[pid=7325] ppid=7323 vsize=14091368 memory=207472 CPUtime=2520.04 cores=0,2,4,6
/proc/7325/stat : 7325 (java) S 7323 7323 2709 0 -1 1077944320 75799 0 0 0 251943 61 0 0 20 0 15 0 229879477 14429560832 51868 33554432000 4194304 4196468 140730960581824 140730960564368 139956541628151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
/proc/7325/statm: 3522842 51868 3416 1 0 3484036 0
[pid=7325/tid=7326] ppid=7323 vsize=14091368 memory=1452 CPUtime=2511.48 cores=0,2,4,6
/proc/7325/task/7326/stat : 7326 (java) R 7323 7323 2709 0 -1 4202560 20530 0 0 0 251139 9 0 0 20 0 15 0 229879478 14429560832 51868 33554432000 4194304 4196468 140730960581824 139956545867712 139956163759910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7327] ppid=7323 vsize=14091368 memory=924 CPUtime=0.51 cores=0,2,4,6
/proc/7325/task/7327/stat : 7327 (java) S 7323 7323 2709 0 -1 1077944384 2759 0 0 0 47 4 0 0 20 0 15 0 229879479 14429560832 51868 33554432000 4194304 4196468 140730960581824 139956479228432 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7328] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.5 cores=0,2,4,6
/proc/7325/task/7328/stat : 7328 (java) S 7323 7323 2709 0 -1 1077944384 4956 0 0 0 45 5 0 0 20 0 15 0 229879479 14429560832 51868 33554432000 4194304 4196468 140730960581824 139956478175888 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7329] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.51 cores=0,2,4,6
/proc/7325/task/7329/stat : 7329 (java) S 7323 7323 2709 0 -1 1077944384 2405 0 0 0 47 4 0 0 20 0 15 0 229879479 14429560832 51868 33554432000 4194304 4196468 140730960581824 139956477122832 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7330] ppid=7323 vsize=14091368 memory=8564 CPUtime=0.51 cores=0,2,4,6
/proc/7325/task/7330/stat : 7330 (java) S 7323 7323 2709 0 -1 1077944384 2027 0 0 0 47 4 0 0 20 0 15 0 229879479 14429560832 51868 33554432000 4194304 4196468 140730960581824 139956134091152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7331] ppid=7323 vsize=14091368 memory=1800 CPUtime=0.41 cores=0,2,4,6
/proc/7325/task/7331/stat : 7331 (java) S 7323 7323 2709 0 -1 1077944384 3050 0 0 0 36 5 0 0 20 0 15 0 229879480 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955655346928 139956541639298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7332] ppid=7323 vsize=14091368 memory=164 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7332/stat : 7332 (java) S 7323 7323 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 229879480 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955654293152 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7333] ppid=7323 vsize=14091368 memory=7019467088073995063 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7333/stat : 7333 (java) S 7323 7323 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 229879481 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955653240048 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7334] ppid=7323 vsize=14091368 memory=207472 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7334/stat : 7334 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955652188624 139956541646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7335] ppid=7323 vsize=14091368 memory=62580 CPUtime=2.25 cores=0,2,4,6
/proc/7325/task/7335/stat : 7335 (java) S 7323 7323 2709 0 -1 1077944384 13120 0 0 0 223 2 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955651135728 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7336] ppid=7323 vsize=14091368 memory=1452 CPUtime=2.41 cores=0,2,4,6
/proc/7325/task/7336/stat : 7336 (java) S 7323 7323 2709 0 -1 1077944384 14612 0 0 0 240 1 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955650083184 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7337] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.8 cores=0,2,4,6
/proc/7325/task/7337/stat : 7337 (java) S 7323 7323 2709 0 -1 1077944384 9900 0 0 0 78 2 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955649030128 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7338] ppid=7323 vsize=14091368 memory=207472 CPUtime=0 cores=0,2,4,6
/proc/7325/task/7338/stat : 7338 (java) S 7323 7323 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955647977824 139956541638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
[pid=7325/tid=7339] ppid=7323 vsize=14091368 memory=1452 CPUtime=0.56 cores=0,2,4,6
/proc/7325/task/7339/stat : 7339 (java) S 7323 7323 2709 0 -1 1077944384 1074 0 0 0 24 32 0 0 20 0 15 0 229879483 14429560832 51868 33554432000 4194304 4196468 140730960581824 139955646925872 139956541639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 19378176 140730960589958 140730960590129 140730960590129 140730960592847 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 208924 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2512.91
CPU time (s): 2520.07
CPU user time (s): 2519.45
CPU system time (s): 0.616088
CPU usage (%): 100.285
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 228920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.45
system time used= 0.616088
maximum resident set size= 232596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76564
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67657
involuntary context switches= 3188
# summary of solver processes directly reported to runsolver:
# pid: 7323
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.45
# total CPU system time (s): 0.616088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9466 second user time and 19.6251 second system time
The end