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 (14521 MiB free)
  memory of node 1: 16384 MiB (12024 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398857-1568694558/watcher-4398857-1568694558 -o /tmp/evaluation-result-4398857-1568694558/solver-4398857-1568694558 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32468 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 261368298 HOME/instance-4398857-1568694558.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=2635, runsolver pid=2632


[startup+0.100598 s]*
/proc/loadavg: 7.11 3.15 1.78 8/234 2651
/proc/meminfo: memFree=27169904/32770624 swapFree=66939908/67108860
[pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445370647 115843072 363 33554432000 4194304 5098028 140720945400000 140720945398104 140047429374588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140720945402747 140720945402989 140720945402989 140720945405898 0
/proc/2635/statm: 28282 363 304 221 0 87 0
[pid=2637] ppid=2635 vsize=15144776 memory=27224 CPUtime=0.13 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2635 2635 32437 0 -1 1077944320 5766 0 0 0 11 2 0 0 20 0 15 0 445370647 15508250624 6806 33554432000 4194304 4196468 140721315100384 140721315082928 139832692436727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
/proc/2637/statm: 3786194 6806 3124 1 0 3748377 0
[pid=2637/tid=2638] ppid=2635 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/2637/task/2638/stat : 2638 (java) R 2635 2635 32437 0 -1 4202560 3635 0 0 0 8 1 0 0 20 0 15 0 445370647 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832696661136 139832692458653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2639] ppid=2635 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445370648 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832284867088 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2640] ppid=2635 vsize=15144776 memory=140590642009728 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2635 2635 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445370648 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832283814544 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2641] ppid=2635 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445370648 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832282761488 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2642] ppid=2635 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2635 2635 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445370648 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832281708944 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2643] ppid=2635 vsize=15144776 memory=140590642009728 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2635 2635 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445370649 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832160987888 139832692447874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2644] ppid=2635 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2635 2635 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445370650 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832159934112 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2645] ppid=2635 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2635 2635 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445370650 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832158881008 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2646] ppid=2635 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445370652 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832157829584 139832692455323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2647] ppid=2635 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) R 2635 2635 32437 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 445370652 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832156776784 139832692446933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2648] ppid=2635 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) R 2635 2635 32437 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 15 0 445370652 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832155715792 139832670367328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2649] ppid=2635 vsize=15144776 memory=140590642009728 CPUtime=0.02 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) R 2635 2635 32437 0 -1 4202560 416 0 0 0 2 0 0 0 20 0 15 0 445370652 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832154671088 139832676517214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2650] ppid=2635 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445370653 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832153618784 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2651] ppid=2635 vsize=15144776 memory=140590642009728 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445370653 15508250624 6872 33554432000 4194304 4196468 140721315100384 139832152566832 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28676 KiB

[startup+0.210855 s]*
/proc/loadavg: 7.11 3.15 1.78 6/234 2651
/proc/meminfo: memFree=27155396/32770624 swapFree=66939908/67108860
[pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445370647 115843072 363 33554432000 4194304 5098028 140720945400000 140720945398104 140047429374588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140720945402747 140720945402989 140720945402989 140720945405898 0
/proc/2635/statm: 28282 363 304 221 0 87 0
[pid=2637] ppid=2635 vsize=15144776 memory=39644 CPUtime=0.34 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2635 2635 32437 0 -1 1077944320 9682 0 0 0 30 4 0 0 20 0 15 0 445370647 15508250624 9911 33554432000 4194304 4196468 140721315100384 140721315082928 139832692436727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
/proc/2637/statm: 3786194 9911 3304 1 0 3748377 0
[pid=2637/tid=2638] ppid=2635 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2637/task/2638/stat : 2638 (java) R 2635 2635 32437 0 -1 4202560 6671 0 0 0 17 3 0 0 20 0 15 0 445370647 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832696668640 139832676517214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2639] ppid=2635 vsize=15144776 memory=4294977831 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445370648 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832284867088 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2640] ppid=2635 vsize=15144776 memory=3475006594096993952 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2635 2635 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445370648 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832283814544 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2641] ppid=2635 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445370648 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832282761488 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2642] ppid=2635 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2635 2635 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445370648 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832281708944 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2643] ppid=2635 vsize=15144776 memory=140590642009728 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2635 2635 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445370649 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832160987888 139832692447874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2644] ppid=2635 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2635 2635 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445370650 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832159934112 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2645] ppid=2635 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2635 2635 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445370650 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832158881008 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2646] ppid=2635 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445370652 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832157829584 139832692455323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2647] ppid=2635 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) S 2635 2635 32437 0 -1 1077944384 496 0 0 0 2 0 0 0 20 0 15 0 445370652 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832156776688 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2648] ppid=2635 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) S 2635 2635 32437 0 -1 1077944384 290 0 0 0 3 0 0 0 20 0 15 0 445370652 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832155724144 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2649] ppid=2635 vsize=15144776 memory=140590642009728 CPUtime=0.07 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) R 2635 2635 32437 0 -1 4202560 923 0 0 0 7 0 0 0 20 0 15 0 445370652 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832154671088 139832671362352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2650] ppid=2635 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445370653 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832153618784 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2651] ppid=2635 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445370653 15508250624 9911 33554432000 4194304 4196468 140721315100384 139832152566832 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41096 KiB

[startup+0.315017 s]*
/proc/loadavg: 7.11 3.15 1.78 8/234 2651
/proc/meminfo: memFree=27149452/32770624 swapFree=66939908/67108860
[pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445370647 115843072 363 33554432000 4194304 5098028 140720945400000 140720945398104 140047429374588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140720945402747 140720945402989 140720945402989 140720945405898 0
/proc/2635/statm: 28282 363 304 221 0 87 0
[pid=2637] ppid=2635 vsize=15149032 memory=49524 CPUtime=0.54 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2635 2635 32437 0 -1 1077944320 11183 0 0 0 49 5 0 0 20 0 15 0 445370647 15512608768 12381 33554432000 4194304 4196468 140721315100384 140721315082928 139832692436727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
/proc/2637/statm: 3787258 12381 3370 1 0 3748377 0
[pid=2637/tid=2638] ppid=2635 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/2637/task/2638/stat : 2638 (java) R 2635 2635 32437 0 -1 4202560 7843 0 0 0 27 3 0 0 20 0 15 0 445370647 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832696667840 139832676517214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2639] ppid=2635 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445370648 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832284867088 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2640] ppid=2635 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2635 2635 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445370648 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832283814544 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2641] ppid=2635 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445370648 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832282761488 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2642] ppid=2635 vsize=15149032 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2635 2635 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445370648 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832281708944 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2643] ppid=2635 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2635 2635 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445370649 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832160987888 139832692447874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2644] ppid=2635 vsize=15149032 memory=4211821575712250496 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2635 2635 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445370650 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832159934112 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2645] ppid=2635 vsize=15149032 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2635 2635 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445370650 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832158881008 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2646] ppid=2635 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445370652 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832157829584 139832692455323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2647] ppid=2635 vsize=15149032 memory=6944656592455097440 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) S 2635 2635 32437 0 -1 1077944384 539 0 0 0 3 0 0 0 20 0 15 0 445370652 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832156776688 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2648] ppid=2635 vsize=15149032 memory=-6935123839545469842 CPUtime=0.05 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) R 2635 2635 32437 0 -1 4202560 422 0 0 0 5 0 0 0 20 0 15 0 445370652 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832155705160 139832677561920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2649] ppid=2635 vsize=15149032 memory=7438357367570802579 CPUtime=0.12 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2635 2635 32437 0 -1 1077944384 1108 0 0 0 12 0 0 0 20 0 15 0 445370652 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832154671088 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2650] ppid=2635 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445370653 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832153618784 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2651] ppid=2635 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445370653 15512608768 12446 33554432000 4194304 4196468 140721315100384 139832152566832 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50976 KiB

[startup+0.706744 s]
/proc/loadavg: 7.11 3.15 1.78 10/234 2651
/proc/meminfo: memFree=27127804/32770624 swapFree=66939908/67108860
[pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445370647 115843072 363 33554432000 4194304 5098028 140720945400000 140720945398104 140047429374588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140720945402747 140720945402989 140720945402989 140720945405898 0
/proc/2635/statm: 28282 363 304 221 0 87 0
[pid=2637] ppid=2635 vsize=15417412 memory=100644 CPUtime=1.74 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2635 2635 32437 0 -1 1077944320 15925 0 0 0 167 7 0 0 20 0 19 0 445370647 15787429888 25161 33554432000 4194304 4196468 140721315100384 140721315082928 139832692436727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
/proc/2637/statm: 3854353 25161 3444 1 0 3815453 0
[pid=2637/tid=2638] ppid=2635 vsize=15417412 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/2637/task/2638/stat : 2638 (java) S 2635 2635 32437 0 -1 1077944384 9200 0 0 0 52 5 0 0 20 0 19 0 445370647 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832696677504 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2639] ppid=2635 vsize=15417412 memory=148 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445370648 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832284867088 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2640] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2635 2635 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445370648 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832283814544 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2641] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445370648 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832282761488 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2642] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2635 2635 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445370648 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832281708944 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2643] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2635 2635 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445370649 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832160987888 139832692447874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2644] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2635 2635 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445370650 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832159934112 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2645] ppid=2635 vsize=15417412 memory=47992 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2635 2635 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445370650 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832158881008 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2646] ppid=2635 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445370652 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832157829584 139832692455323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2647] ppid=2635 vsize=15417412 memory=2008 CPUtime=0.32 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) R 2635 2635 32437 0 -1 4202560 2055 0 0 0 32 0 0 0 20 0 19 0 445370652 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832156766544 139832670884070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2648] ppid=2635 vsize=15417412 memory=1436 CPUtime=0.27 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) R 2635 2635 32437 0 -1 1077944384 1368 0 0 0 27 0 0 0 20 0 19 0 445370652 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832155715088 139832692446933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2649] ppid=2635 vsize=15417412 memory=4152 CPUtime=0.29 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2635 2635 32437 0 -1 1077944384 1804 0 0 0 29 0 0 0 20 0 19 0 445370652 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832154671088 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2650] ppid=2635 vsize=15417412 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445370653 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832153618784 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2651] ppid=2635 vsize=15417412 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445370653 15787429888 25161 33554432000 4194304 4196468 140721315100384 139832152566832 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 102096 KiB

[startup+1.50113 s]
/proc/loadavg: 7.11 3.15 1.78 11/238 2655
/proc/meminfo: memFree=27076752/32770624 swapFree=66939908/67108860
[pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445370647 115843072 363 33554432000 4194304 5098028 140720945400000 140720945398104 140047429374588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140720945402747 140720945402989 140720945402989 140720945405898 0
/proc/2635/statm: 28282 363 304 221 0 87 0

################
# More data... #
################

/proc/2637/task/2641/stat : 2641 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445370648 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832282761488 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2642] ppid=2635 vsize=15417412 memory=129080 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2635 2635 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445370648 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832281708944 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2643] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2635 2635 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445370649 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832160987888 139832692447874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2644] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2635 2635 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445370650 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832159934112 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2645] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2635 2635 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445370650 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832158881008 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2646] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445370652 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832157829584 139832692455323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2647] ppid=2635 vsize=15417412 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) R 2635 2635 32437 0 -1 4202560 2257 0 0 0 78 0 0 0 20 0 19 0 445370652 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832156769176 139832692450609 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2648] ppid=2635 vsize=15417412 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) R 2635 2635 32437 0 -1 4202560 2590 0 0 0 75 0 0 0 20 0 19 0 445370652 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832155706352 139832675920283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2649] ppid=2635 vsize=15417412 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2635 2635 32437 0 -1 1077944384 2186 0 0 0 34 0 0 0 20 0 19 0 445370652 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832154671088 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2650] ppid=2635 vsize=15417412 memory=-6654736624941163865 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445370653 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832153618784 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2651] ppid=2635 vsize=15417412 memory=-6654736624938269017 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2635 2635 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445370653 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832152566832 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2652] ppid=2635 vsize=15417412 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/2637/task/2652/stat : 2652 (java) R 2635 2635 32437 0 -1 4202560 71 0 0 0 78 0 0 0 20 0 19 0 445370706 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832143347672 139832329907009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2653] ppid=2635 vsize=15417412 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/2637/task/2653/stat : 2653 (java) R 2635 2635 32437 0 -1 4202560 83 0 0 0 55 0 0 0 20 0 19 0 445370706 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832142295048 139832333946569 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2654] ppid=2635 vsize=15417412 memory=5865188000529146989 CPUtime=0.57 cores=0,2,4,6
/proc/2637/task/2654/stat : 2654 (java) R 2635 2635 32437 0 -1 4202560 34 0 0 0 57 0 0 0 20 0 19 0 445370706 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832141244888 139832333316000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2655] ppid=2635 vsize=15417412 memory=7235708178139999040 CPUtime=0.49 cores=0,2,4,6
/proc/2637/task/2655/stat : 2655 (java) R 2635 2635 32437 0 -1 4202560 34 0 0 0 49 0 0 0 20 0 19 0 445370706 15787429888 40819 33554432000 4194304 4196468 140721315100384 139832140191576 139832333198427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
Current children cumulated CPU time: 4.9 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 164728 KiB

[startup+3.11113 s]
/proc/loadavg: 7.11 3.15 1.78 11/237 2655
/proc/meminfo: memFree=26882012/32770624 swapFree=66939908/67108860
[pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445370647 115843072 363 33554432000 4194304 5098028 140720945400000 140720945398104 140047429374588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140720945402747 140720945402989 140720945402989 140720945405898 0
/proc/2635/statm: 28282 363 304 221 0 87 0
[pid=2637] ppid=2635 vsize=15417412 memory=317204 CPUtime=11.3 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2635 2635 32437 0 -1 1077944320 29112 0 0 0 1116 14 0 0 20 0 19 0 445370647 15787429888 79301 33554432000 4194304 4196468 140721315100384 140721315082928 139832692436727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
/proc/2637/statm: 3854353 79301 3498 1 0 3815453 0
[pid=2637/tid=2638] ppid=2635 vsize=15417412 memory=1452 CPUtime=0.57 cores=0,2,4,6
/proc/2637/task/2638/stat : 2638 (java) S 2635 2635 32437 0 -1 1077944384 9200 0 0 0 52 5 0 0 20 0 19 0 445370647 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832696677504 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2639] ppid=2635 vsize=15417412 memory=137272 CPUtime=0.01 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2635 2635 32437 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 19 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832284867088 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2640] ppid=2635 vsize=15417412 memory=-7522837583129502606 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2635 2635 32437 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 19 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832283814544 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2641] ppid=2635 vsize=15417412 memory=-8412658770403813517 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2635 2635 32437 0 -1 1077944384 102 0 0 0 3 0 0 0 20 0 19 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832282761488 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2642] ppid=2635 vsize=15417412 memory=-6159056734402671808 CPUtime=0.04 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2635 2635 32437 0 -1 1077944384 109 0 0 0 3 1 0 0 20 0 19 0 445370648 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832281708944 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2643] ppid=2635 vsize=15417412 memory=8253254727969942091 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2643/stat : 2643 (java) S 2635 2635 32437 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 19 0 445370649 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832160987888 139832692447874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2644] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2635 2635 32437 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445370650 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832159934112 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2645] ppid=2635 vsize=15417412 memory=288230617492236545 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2635 2635 32437 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445370650 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832158881008 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2646] ppid=2635 vsize=15417412 memory=16100364336257230 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2646/stat : 2646 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445370652 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832157829584 139832692455323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2647] ppid=2635 vsize=15417412 memory=0 CPUtime=1.78 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) R 2635 2635 32437 0 -1 4202560 6797 0 0 0 177 1 0 0 20 0 19 0 445370652 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832156769176 139832677562611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2648] ppid=2635 vsize=15417412 memory=0 CPUtime=1.7 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) R 2635 2635 32437 0 -1 4202560 7534 0 0 0 170 0 0 0 20 0 19 0 445370652 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832155710024 139832685533579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2649] ppid=2635 vsize=15417412 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2635 2635 32437 0 -1 1077944384 2445 0 0 0 38 0 0 0 20 0 19 0 445370652 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832154671088 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2650] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445370653 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832153618784 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2651] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2651/stat : 2651 (java) S 2635 2635 32437 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445370653 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832152566832 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2652] ppid=2635 vsize=15417412 memory=1728 CPUtime=2.07 cores=0,2,4,6
/proc/2637/task/2652/stat : 2652 (java) R 2635 2635 32437 0 -1 4202560 291 0 0 0 207 0 0 0 20 0 19 0 445370706 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832143342952 139832333316833 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2653] ppid=2635 vsize=15417412 memory=8072 CPUtime=1.7 cores=0,2,4,6
/proc/2637/task/2653/stat : 2653 (java) R 2635 2635 32437 0 -1 4202560 511 0 0 0 170 0 0 0 20 0 19 0 445370706 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832142295400 139832334249272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2654] ppid=2635 vsize=15417412 memory=9580 CPUtime=1.43 cores=0,2,4,6
/proc/2637/task/2654/stat : 2654 (java) R 2635 2635 32437 0 -1 4202560 120 0 0 0 143 0 0 0 20 0 19 0 445370706 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832141241704 139832334249202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2655] ppid=2635 vsize=15417412 memory=1052 CPUtime=1.42 cores=0,2,4,6
/proc/2637/task/2655/stat : 2655 (java) R 2635 2635 32437 0 -1 4202560 170 0 0 0 142 0 0 0 20 0 19 0 445370706 15787429888 79309 33554432000 4194304 4196468 140721315100384 139832140185680 139832330106198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
Current children cumulated CPU time: 11.3 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 318656 KiB

[startup+3.47531 s]
# the end of solver process 2635 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.4548 s, system=0.153041 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20114 s]
/proc/loadavg: 7.11 3.15 1.78 11/237 2655
/proc/meminfo: memFree=26882012/32770624 swapFree=66939908/67108860
[pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445370647 115843072 363 33554432000 4194304 5098028 140720945400000 140720945398104 140047429374588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140720945402747 140720945402989 140720945402989 140720945405898 0
/proc/2635/statm: 28282 363 304 221 0 87 0
[pid=2637] ppid=2635 vsize=15417412 memory=317204 CPUtime=11.59 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2635 2635 32437 0 -1 1077944320 30099 0 0 0 1145 14 0 0 20 0 12 0 445370647 15787429888 79301 33554432000 4194304 4196468 140721315100384 140721315082928 139832692436727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
/proc/2637/statm: 3854353 79301 3500 1 0 3815453 0
[pid=2637/tid=2638] ppid=2635 vsize=15417412 memory=668 CPUtime=0.58 cores=0,2,4,6
/proc/2637/task/2638/stat : 2638 (java) D 2635 2635 32437 0 -1 4202560 9812 0 0 0 53 5 0 0 20 0 12 0 445370647 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832696679736 139832685122359 0 0 0 16800975 18446744072099589253 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2639] ppid=2635 vsize=15417412 memory=1256 CPUtime=0.01 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2635 2635 32437 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 12 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832284867088 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2640] ppid=2635 vsize=15417412 memory=288230574492221466 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2635 2635 32437 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 12 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832283814544 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2641] ppid=2635 vsize=15417412 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2635 2635 32437 0 -1 1077944384 102 0 0 0 3 0 0 0 20 0 12 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832282761488 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2642] ppid=2635 vsize=15417412 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2635 2635 32437 0 -1 1077944384 109 0 0 0 3 1 0 0 20 0 12 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832281708944 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2644] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2635 2635 32437 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 12 0 445370650 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832159934112 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2645] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2635 2635 32437 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 12 0 445370650 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832158881008 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2647] ppid=2635 vsize=15417412 memory=0 CPUtime=1.83 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) S 2635 2635 32437 0 -1 1077944384 6832 0 0 0 182 1 0 0 20 0 12 0 445370652 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832156761200 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2648] ppid=2635 vsize=15417412 memory=0 CPUtime=1.75 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) S 2635 2635 32437 0 -1 1077944384 7653 0 0 0 175 0 0 0 20 0 12 0 445370652 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832155711104 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2649] ppid=2635 vsize=15417412 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2635 2635 32437 0 -1 1077944384 2513 0 0 0 39 0 0 0 20 0 12 0 445370652 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832154671088 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2650] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 445370653 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832153618784 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
Current children cumulated CPU time: 11.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 318656 KiB

[startup+3.40061 s]
/proc/loadavg: 7.11 3.15 1.78 11/237 2655
/proc/meminfo: memFree=26882012/32770624 swapFree=66939908/67108860
[pid=2635] ppid=2632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2635/stat : 2635 (xcsp3-exec) S 2632 2635 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445370647 115843072 363 33554432000 4194304 5098028 140720945400000 140720945398104 140047429374588 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38526976 140720945402747 140720945402989 140720945402989 140720945405898 0
/proc/2635/statm: 28282 363 304 221 0 87 0
[pid=2637] ppid=2635 vsize=15417412 memory=317204 CPUtime=11.59 cores=0,2,4,6
/proc/2637/stat : 2637 (java) S 2635 2635 32437 0 -1 1077944320 30099 0 0 0 1145 14 0 0 20 0 12 0 445370647 15787429888 79301 33554432000 4194304 4196468 140721315100384 140721315082928 139832692436727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
/proc/2637/statm: 3854353 79301 3500 1 0 3815453 0
[pid=2637/tid=2638] ppid=2635 vsize=15417412 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/2637/task/2638/stat : 2638 (java) D 2635 2635 32437 0 -1 4202560 9812 0 0 0 53 5 0 0 20 0 12 0 445370647 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832696679736 139832685122359 0 0 0 16800975 18446744072099589253 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2639] ppid=2635 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2637/task/2639/stat : 2639 (java) S 2635 2635 32437 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 12 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832284867088 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2640] ppid=2635 vsize=15417412 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2640/stat : 2640 (java) S 2635 2635 32437 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 12 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832283814544 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2641] ppid=2635 vsize=15417412 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2637/task/2641/stat : 2641 (java) S 2635 2635 32437 0 -1 1077944384 102 0 0 0 3 0 0 0 20 0 12 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832282761488 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2642] ppid=2635 vsize=15417412 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2637/task/2642/stat : 2642 (java) S 2635 2635 32437 0 -1 1077944384 109 0 0 0 3 1 0 0 20 0 12 0 445370648 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832281708944 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2644] ppid=2635 vsize=15417412 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2644/stat : 2644 (java) S 2635 2635 32437 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 12 0 445370650 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832159934112 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2645] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2645/stat : 2645 (java) S 2635 2635 32437 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 12 0 445370650 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832158881008 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2647] ppid=2635 vsize=15417412 memory=0 CPUtime=1.83 cores=0,2,4,6
/proc/2637/task/2647/stat : 2647 (java) S 2635 2635 32437 0 -1 1077944384 6832 0 0 0 182 1 0 0 20 0 12 0 445370652 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832156761200 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2648] ppid=2635 vsize=15417412 memory=0 CPUtime=1.75 cores=0,2,4,6
/proc/2637/task/2648/stat : 2648 (java) S 2635 2635 32437 0 -1 1077944384 7653 0 0 0 175 0 0 0 20 0 12 0 445370652 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832155711104 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2649] ppid=2635 vsize=15417412 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/2637/task/2649/stat : 2649 (java) S 2635 2635 32437 0 -1 1077944384 2513 0 0 0 39 0 0 0 20 0 12 0 445370652 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832154671088 139832692447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
[pid=2637/tid=2650] ppid=2635 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2637/task/2650/stat : 2650 (java) S 2635 2635 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 445370653 15787429888 79301 33554432000 4194304 4196468 140721315100384 139832153618784 139832692446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140721315103727 140721315103898 140721315103898 140721315106767 0
Current children cumulated CPU time: 11.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 318656 KiB

Child status: 0
Real time (s): 3.47537
CPU time (s): 11.6079
CPU user time (s): 11.4548
CPU system time (s): 0.153041
CPU usage (%): 334.003
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 318656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.4548
system time used= 0.153041
maximum resident set size= 317680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30689
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1681
involuntary context switches= 647


# summary of solver processes directly reported to runsolver:
#   pid: 2635
#   total CPU time (s): 11.6079
#   total CPU user time (s): 11.4548
#   total CPU system time (s): 0.153041

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040683 second user time and 0.087773 second system time

The end