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 (5585 MiB free)
memory of node 1: 16384 MiB (9815 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306813-1534125676/watcher-4306813-1534125676 -o /tmp/evaluation-result-4306813-1534125676/solver-4306813-1534125676 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2740 --watchdog 2580 HOME/xcsp3-exec -seed 897394635 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306813-1534125676.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=7629, runsolver pid=7626
[startup+0.100126 s]*
/proc/loadavg: 1.77 1.79 1.77 4/219 7645
/proc/meminfo: memFree=15754760/32770624 swapFree=67108792/67108860
[pid=7629] ppid=7626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7629/stat : 7629 (xcsp3-exec) S 7626 7629 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230130886 115843072 363 33554432000 4194304 5098028 140729586810672 140729586808776 140128260739708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24567808 140729586811963 140729586812164 140729586812164 140729586814922 0
/proc/7629/statm: 28282 363 306 221 0 87 0
[pid=7631] ppid=7629 vsize=14082940 memory=28244 CPUtime=0.11 cores=0,2,4,6
/proc/7631/stat : 7631 (java) S 7629 7629 2709 0 -1 1077944320 5487 0 0 0 10 1 0 0 20 0 15 0 230130886 14420930560 7061 33554432000 4194304 4196468 140732272407072 140732272389616 140505826729719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
/proc/7631/statm: 3520735 7061 2998 1 0 3483012 0
[pid=7631/tid=7632] ppid=7629 vsize=14082940 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/7631/task/7632/stat : 7632 (java) R 7629 7629 2709 0 -1 4202560 3506 0 0 0 8 1 0 0 20 0 15 0 230130887 14420930560 7061 33554432000 4194304 4196468 140732272407072 140505830962992 140505826751645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7633] ppid=7629 vsize=14082940 memory=3472467956101846224 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7633/stat : 7633 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14420930560 7061 33554432000 4194304 4196468 140732272407072 140505764329744 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7634] ppid=7629 vsize=14082940 memory=139827206694528 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7634/stat : 7634 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14420930560 7061 33554432000 4194304 4196468 140732272407072 140505763277200 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7635] ppid=7629 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7635/stat : 7635 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14420930560 7061 33554432000 4194304 4196468 140732272407072 140505420143120 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7636] ppid=7629 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7636/stat : 7636 (java) S 7629 7629 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230130888 14420930560 7061 33554432000 4194304 4196468 140732272407072 140505419090576 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7637] ppid=7629 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7637/stat : 7637 (java) S 7629 7629 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230130889 14420930560 7127 33554432000 4194304 4196468 140732272407072 140505368046064 140505826740866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7638] ppid=7629 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7638/stat : 7638 (java) S 7629 7629 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 230130889 14420930560 7127 33554432000 4194304 4196468 140732272407072 140505366992288 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7639] ppid=7629 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7639/stat : 7639 (java) S 7629 7629 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230130890 14420930560 7127 33554432000 4194304 4196468 140732272407072 140505365939696 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7640] ppid=7629 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7640/stat : 7640 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14420930560 7127 33554432000 4194304 4196468 140732272407072 140505364888272 140505826748315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7641] ppid=7629 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7641/stat : 7641 (java) S 7629 7629 2709 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 230130892 14420930560 7127 33554432000 4194304 4196468 140732272407072 140505363834864 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7642] ppid=7629 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7642/stat : 7642 (java) S 7629 7629 2709 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 230130892 14420930560 7127 33554432000 4194304 4196468 140732272407072 140505362782320 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7643] ppid=7629 vsize=14082940 memory=139827206694528 CPUtime=0.01 cores=0,2,4,6
/proc/7631/task/7643/stat : 7643 (java) S 7629 7629 2709 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 230130892 14420930560 7127 33554432000 4194304 4196468 140732272407072 140505361729776 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7644] ppid=7629 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7644/stat : 7644 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14420930560 7127 33554432000 4194304 4196468 140732272407072 140505360677472 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7645] ppid=7629 vsize=14082940 memory=139827206694528 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7645/stat : 7645 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130892 14420930560 7127 33554432000 4194304 4196468 140732272407072 140505291680560 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29696 KiB
[startup+0.213307 s]*
/proc/loadavg: 1.77 1.79 1.77 4/219 7645
/proc/meminfo: memFree=15742960/32770624 swapFree=67108792/67108860
[pid=7629] ppid=7626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7629/stat : 7629 (xcsp3-exec) S 7626 7629 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230130886 115843072 363 33554432000 4194304 5098028 140729586810672 140729586808776 140128260739708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24567808 140729586811963 140729586812164 140729586812164 140729586814922 0
/proc/7629/statm: 28282 363 306 221 0 87 0
[pid=7631] ppid=7629 vsize=14082940 memory=41096 CPUtime=0.34 cores=0,2,4,6
/proc/7631/stat : 7631 (java) S 7629 7629 2709 0 -1 1077944320 8314 0 0 0 31 3 0 0 20 0 15 0 230130886 14420930560 10274 33554432000 4194304 4196468 140732272407072 140732272389616 140505826729719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
/proc/7631/statm: 3520735 10274 3199 1 0 3483012 0
[pid=7631/tid=7632] ppid=7629 vsize=14082940 memory=4788064525053108374 CPUtime=0.2 cores=0,2,4,6
/proc/7631/task/7632/stat : 7632 (java) D 7629 7629 2709 0 -1 1077944384 5433 0 0 0 18 2 0 0 20 0 15 0 230130887 14420930560 10340 33554432000 4194304 4196468 140732272407072 140505830951864 140505829004999 0 4 0 16800975 18446744072101727780 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7633] ppid=7629 vsize=14082940 memory=3472467956101846224 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7633/stat : 7633 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14420930560 10340 33554432000 4194304 4196468 140732272407072 140505764329744 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7634] ppid=7629 vsize=14082940 memory=139827206694528 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7634/stat : 7634 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14420930560 10340 33554432000 4194304 4196468 140732272407072 140505763277200 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7635] ppid=7629 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7635/stat : 7635 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14420930560 10340 33554432000 4194304 4196468 140732272407072 140505420143120 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7636] ppid=7629 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7636/stat : 7636 (java) S 7629 7629 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230130888 14420930560 10340 33554432000 4194304 4196468 140732272407072 140505419090576 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7637] ppid=7629 vsize=14085056 memory=139827206694528 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7637/stat : 7637 (java) S 7629 7629 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230130889 14423097344 10340 33554432000 4194304 4196468 140732272407072 140505368046064 140505826740866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7638] ppid=7629 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7638/stat : 7638 (java) S 7629 7629 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 230130889 14423097344 10340 33554432000 4194304 4196468 140732272407072 140505366992288 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7639] ppid=7629 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7639/stat : 7639 (java) S 7629 7629 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230130890 14423097344 10340 33554432000 4194304 4196468 140732272407072 140505365939696 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7640] ppid=7629 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7640/stat : 7640 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14423097344 10340 33554432000 4194304 4196468 140732272407072 140505364888272 140505826748315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7641] ppid=7629 vsize=14085056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7631/task/7641/stat : 7641 (java) S 7629 7629 2709 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 15 0 230130892 14423097344 10340 33554432000 4194304 4196468 140732272407072 140505363834864 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7642] ppid=7629 vsize=14085056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7631/task/7642/stat : 7642 (java) S 7629 7629 2709 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 15 0 230130892 14423097344 10340 33554432000 4194304 4196468 140732272407072 140505362782320 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7643] ppid=7629 vsize=14085056 memory=139827206694528 CPUtime=0.08 cores=0,2,4,6
/proc/7631/task/7643/stat : 7643 (java) S 7629 7629 2709 0 -1 1077944384 799 0 0 0 8 0 0 0 20 0 15 0 230130892 14423097344 10340 33554432000 4194304 4196468 140732272407072 140505361729776 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7644] ppid=7629 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7644/stat : 7644 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14423097344 10340 33554432000 4194304 4196468 140732272407072 140505360677472 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7645] ppid=7629 vsize=14085056 memory=139827206694528 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7645/stat : 7645 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130892 14423097344 10340 33554432000 4194304 4196468 140732272407072 140505291680560 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42548 KiB
[startup+0.311098 s]*
/proc/loadavg: 1.77 1.79 1.77 5/219 7645
/proc/meminfo: memFree=15737128/32770624 swapFree=67108792/67108860
[pid=7629] ppid=7626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7629/stat : 7629 (xcsp3-exec) S 7626 7629 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230130886 115843072 363 33554432000 4194304 5098028 140729586810672 140729586808776 140128260739708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24567808 140729586811963 140729586812164 140729586812164 140729586814922 0
/proc/7629/statm: 28282 363 306 221 0 87 0
[pid=7631] ppid=7629 vsize=14087196 memory=47988 CPUtime=0.53 cores=0,2,4,6
/proc/7631/stat : 7631 (java) S 7629 7629 2709 0 -1 1077944320 9185 0 0 0 49 4 0 0 20 0 15 0 230130886 14425288704 11997 33554432000 4194304 4196468 140732272407072 140732272389616 140505826729719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
/proc/7631/statm: 3521799 11997 3246 1 0 3483012 0
[pid=7631/tid=7632] ppid=7629 vsize=14087196 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/7631/task/7632/stat : 7632 (java) R 7629 7629 2709 0 -1 4202560 6101 0 0 0 27 3 0 0 20 0 15 0 230130887 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505830963504 140505810810206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7633] ppid=7629 vsize=14087196 memory=3472467956101846224 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7633/stat : 7633 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505764329744 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7634] ppid=7629 vsize=14087196 memory=139827206694528 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7634/stat : 7634 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505763277200 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7635] ppid=7629 vsize=14087196 memory=16 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7635/stat : 7635 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505420143120 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7636] ppid=7629 vsize=14087196 memory=139827089647647 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7636/stat : 7636 (java) S 7629 7629 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230130888 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505419090576 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7637] ppid=7629 vsize=14087196 memory=279654179256064 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7637/stat : 7637 (java) S 7629 7629 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230130889 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505368046064 140505826740866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7638] ppid=7629 vsize=14087196 memory=139827089624591 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7638/stat : 7638 (java) S 7629 7629 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 230130889 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505366992288 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7639] ppid=7629 vsize=14087196 memory=279654296328288 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7639/stat : 7639 (java) S 7629 7629 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230130890 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505365939696 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7640] ppid=7629 vsize=14087196 memory=139827089629199 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7640/stat : 7640 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505364888272 140505826748315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7641] ppid=7629 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7631/task/7641/stat : 7641 (java) R 7629 7629 2709 0 -1 4202560 656 0 0 0 5 0 0 0 20 0 15 0 230130892 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505363815880 140505811656365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7642] ppid=7629 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/7631/task/7642/stat : 7642 (java) S 7629 7629 2709 0 -1 1077944384 249 0 0 0 4 0 0 0 20 0 15 0 230130892 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505362782320 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7643] ppid=7629 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7631/task/7643/stat : 7643 (java) S 7629 7629 2709 0 -1 1077944384 891 0 0 0 12 0 0 0 20 0 15 0 230130892 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505361729776 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7644] ppid=7629 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7644/stat : 7644 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505360677472 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7645] ppid=7629 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7645/stat : 7645 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130892 14425288704 11997 33554432000 4194304 4196468 140732272407072 140505291680560 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49440 KiB
[startup+0.7008 s]
/proc/loadavg: 1.77 1.79 1.77 6/219 7645
/proc/meminfo: memFree=15722116/32770624 swapFree=67108792/67108860
[pid=7629] ppid=7626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7629/stat : 7629 (xcsp3-exec) S 7626 7629 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230130886 115843072 363 33554432000 4194304 5098028 140729586810672 140729586808776 140128260739708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24567808 140729586811963 140729586812164 140729586812164 140729586814922 0
/proc/7629/statm: 28282 363 306 221 0 87 0
[pid=7631] ppid=7629 vsize=14089320 memory=71584 CPUtime=1.53 cores=0,2,4,6
/proc/7631/stat : 7631 (java) S 7629 7629 2709 0 -1 1077944320 12621 0 0 0 147 6 0 0 20 0 15 0 230130886 14427463680 17896 33554432000 4194304 4196468 140732272407072 140732272389616 140505826729719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
/proc/7631/statm: 3522330 17896 3360 1 0 3483524 0
[pid=7631/tid=7632] ppid=7629 vsize=14089320 memory=53 CPUtime=0.67 cores=0,2,4,6
/proc/7631/task/7632/stat : 7632 (java) R 7629 7629 2709 0 -1 4202560 6978 0 0 0 64 3 0 0 20 0 15 0 230130887 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505830968672 140505442802344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7633] ppid=7629 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7633/stat : 7633 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505764329744 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7634] ppid=7629 vsize=14089320 memory=8320808402719618869 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7634/stat : 7634 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505763277200 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7635] ppid=7629 vsize=14089320 memory=7223880817056039022 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7635/stat : 7635 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130888 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505420143120 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7636] ppid=7629 vsize=14089320 memory=7588675599774802240 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7636/stat : 7636 (java) S 7629 7629 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230130888 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505419090576 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7637] ppid=7629 vsize=14089320 memory=734122130331934768 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7637/stat : 7637 (java) S 7629 7629 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230130889 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505368046064 140505826740866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7638] ppid=7629 vsize=14089320 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7638/stat : 7638 (java) S 7629 7629 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 230130889 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505366992288 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7639] ppid=7629 vsize=14089320 memory=1264 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7639/stat : 7639 (java) S 7629 7629 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230130890 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505365939696 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7640] ppid=7629 vsize=14089320 memory=7136 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7640/stat : 7640 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505364888272 140505826748315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7641] ppid=7629 vsize=14089320 memory=748 CPUtime=0.26 cores=0,2,4,6
/proc/7631/task/7641/stat : 7641 (java) R 7629 7629 2709 0 -1 4202560 1578 0 0 0 26 0 0 0 20 0 15 0 230130892 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505363834992 140505808273823 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7642] ppid=7629 vsize=14089320 memory=872 CPUtime=0.26 cores=0,2,4,6
/proc/7631/task/7642/stat : 7642 (java) R 7629 7629 2709 0 -1 4202560 1147 0 0 0 26 0 0 0 20 0 15 0 230130892 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505362771920 140505812759520 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7643] ppid=7629 vsize=14089320 memory=1220 CPUtime=0.31 cores=0,2,4,6
/proc/7631/task/7643/stat : 7643 (java) S 7629 7629 2709 0 -1 1077944384 1610 0 0 0 30 1 0 0 20 0 15 0 230130892 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505361729776 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7644] ppid=7629 vsize=14089320 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7644/stat : 7644 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505360677472 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7645] ppid=7629 vsize=14089320 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7645/stat : 7645 (java) S 7629 7629 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 17896 33554432000 4194304 4196468 140732272407072 140505291680560 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 73036 KiB
[startup+1.50079 s]
/proc/loadavg: 1.77 1.79 1.77 5/219 7645
/proc/meminfo: memFree=15709032/32770624 swapFree=67108792/67108860
[pid=7629] ppid=7626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7629/stat : 7629 (xcsp3-exec) S 7626 7629 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230130886 115843072 363 33554432000 4194304 5098028 140729586810672 140729586808776 140128260739708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24567808 140729586811963 140729586812164 140729586812164 140729586814922 0
/proc/7629/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/7631/task/7639/stat : 7639 (java) S 7629 7629 2709 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 230130890 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505365939696 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7640] ppid=7629 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7640/stat : 7640 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505364888272 140505826748315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7641] ppid=7629 vsize=14089320 memory=1452 CPUtime=1.56 cores=0,2,4,6
/proc/7631/task/7641/stat : 7641 (java) S 7629 7629 2709 0 -1 1077944384 8390 0 0 0 155 1 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505363834864 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7642] ppid=7629 vsize=14089320 memory=1452 CPUtime=1.74 cores=0,2,4,6
/proc/7631/task/7642/stat : 7642 (java) S 7629 7629 2709 0 -1 1077944384 8743 0 0 0 173 1 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505362782320 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7643] ppid=7629 vsize=14089320 memory=1220 CPUtime=0.47 cores=0,2,4,6
/proc/7631/task/7643/stat : 7643 (java) S 7629 7629 2709 0 -1 1077944384 5733 0 0 0 45 2 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505361729776 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7644] ppid=7629 vsize=14089320 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7644/stat : 7644 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505360677472 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7645] ppid=7629 vsize=14089320 memory=1800 CPUtime=0.63 cores=0,2,4,6
/proc/7631/task/7645/stat : 7645 (java) S 7629 7629 2709 0 -1 1077944384 840 0 0 0 27 36 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505291680560 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 59 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
Current children cumulated CPU time: 2363.85 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3313664 KiB
[startup+2382.3 s]
/proc/loadavg: 1.41 1.59 1.68 3/219 7952
/proc/meminfo: memFree=12437772/32770624 swapFree=67108792/67108860
[pid=7629] ppid=7626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7629/stat : 7629 (xcsp3-exec) S 7626 7629 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230130886 115843072 363 33554432000 4194304 5098028 140729586810672 140729586808776 140128260739708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24567808 140729586811963 140729586812164 140729586812164 140729586814922 0
/proc/7629/statm: 28282 363 306 221 0 87 0
[pid=7631] ppid=7629 vsize=14089320 memory=3312212 CPUtime=2425.24 cores=0,2,4,6
/proc/7631/stat : 7631 (java) S 7629 7629 2709 0 -1 1077944320 131622 0 0 0 242355 169 0 0 20 0 15 0 230130886 14427463680 828053 33554432000 4194304 4196468 140732272407072 140732272389616 140505826729719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
/proc/7631/statm: 3522330 828053 3429 1 0 3483524 0
[pid=7631/tid=7632] ppid=7629 vsize=14089320 memory=3312212 CPUtime=2365.68 cores=0,2,4,6
/proc/7631/task/7632/stat : 7632 (java) R 7629 7629 2709 0 -1 4202560 40445 0 0 0 236495 73 0 0 20 0 15 0 230130887 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505830969376 140505446842117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7633] ppid=7629 vsize=14089320 memory=3312212 CPUtime=13.3 cores=0,2,4,6
/proc/7631/task/7633/stat : 7633 (java) S 7629 7629 2709 0 -1 1077944384 18156 0 0 0 1318 12 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505764329744 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7634] ppid=7629 vsize=14089320 memory=3312212 CPUtime=13.31 cores=0,2,4,6
/proc/7631/task/7634/stat : 7634 (java) S 7629 7629 2709 0 -1 1077944384 11760 0 0 0 1318 13 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505763277200 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7635] ppid=7629 vsize=14089320 memory=3312212 CPUtime=13.31 cores=0,2,4,6
/proc/7631/task/7635/stat : 7635 (java) S 7629 7629 2709 0 -1 1077944384 13205 0 0 0 1318 13 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505420143120 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7636] ppid=7629 vsize=14089320 memory=3312212 CPUtime=13.3 cores=0,2,4,6
/proc/7631/task/7636/stat : 7636 (java) S 7629 7629 2709 0 -1 1077944384 11996 0 0 0 1318 12 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505419090576 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7637] ppid=7629 vsize=14089320 memory=1452 CPUtime=1.82 cores=0,2,4,6
/proc/7631/task/7637/stat : 7637 (java) S 7629 7629 2709 0 -1 1077944384 10982 0 0 0 168 14 0 0 20 0 15 0 230130889 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505368046064 140505826740866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7638] ppid=7629 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7638/stat : 7638 (java) S 7629 7629 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 230130889 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505366992288 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7639] ppid=7629 vsize=14089320 memory=3312212 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7639/stat : 7639 (java) S 7629 7629 2709 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 230130890 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505365939696 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7640] ppid=7629 vsize=14089320 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7640/stat : 7640 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505364888272 140505826748315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7641] ppid=7629 vsize=14089320 memory=0 CPUtime=1.56 cores=0,2,4,6
/proc/7631/task/7641/stat : 7641 (java) S 7629 7629 2709 0 -1 1077944384 8392 0 0 0 155 1 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505363834864 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7642] ppid=7629 vsize=14089320 memory=6298962938931800163 CPUtime=1.74 cores=0,2,4,6
/proc/7631/task/7642/stat : 7642 (java) S 7629 7629 2709 0 -1 1077944384 8745 0 0 0 173 1 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505362782320 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7643] ppid=7629 vsize=14089320 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/7631/task/7643/stat : 7643 (java) S 7629 7629 2709 0 -1 1077944384 5735 0 0 0 45 2 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505361729776 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7644] ppid=7629 vsize=14089320 memory=3312212 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7644/stat : 7644 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505360677472 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7645] ppid=7629 vsize=14089320 memory=2420 CPUtime=0.65 cores=0,2,4,6
/proc/7631/task/7645/stat : 7645 (java) S 7629 7629 2709 0 -1 1077944384 855 0 0 0 28 37 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505291680560 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 59 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
Current children cumulated CPU time: 2425.24 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3313664 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.61 1.68 3/219 7953
/proc/meminfo: memFree=12435972/32770624 swapFree=67108792/67108860
[pid=7629] ppid=7626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7629/stat : 7629 (xcsp3-exec) S 7626 7629 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230130886 115843072 363 33554432000 4194304 5098028 140729586810672 140729586808776 140128260739708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24567808 140729586811963 140729586812164 140729586812164 140729586814922 0
/proc/7629/statm: 28282 363 306 221 0 87 0
[pid=7631] ppid=7629 vsize=14089320 memory=3312212 CPUtime=2486.61 cores=0,2,4,6
/proc/7631/stat : 7631 (java) S 7629 7629 2709 0 -1 1077944320 134927 0 0 0 248490 171 0 0 20 0 15 0 230130886 14427463680 828053 33554432000 4194304 4196468 140732272407072 140732272389616 140505826729719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
/proc/7631/statm: 3522330 828053 3429 1 0 3483524 0
[pid=7631/tid=7632] ppid=7629 vsize=14089320 memory=3312212 CPUtime=2425.13 cores=0,2,4,6
/proc/7631/task/7632/stat : 7632 (java) R 7629 7629 2709 0 -1 4202560 41013 0 0 0 242440 73 0 0 20 0 15 0 230130887 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505830969488 140505446909058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7633] ppid=7629 vsize=14089320 memory=1452 CPUtime=13.77 cores=0,2,4,6
/proc/7631/task/7633/stat : 7633 (java) S 7629 7629 2709 0 -1 1077944384 18398 0 0 0 1365 12 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505764329744 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7634] ppid=7629 vsize=14089320 memory=3312212 CPUtime=13.78 cores=0,2,4,6
/proc/7631/task/7634/stat : 7634 (java) S 7629 7629 2709 0 -1 1077944384 12009 0 0 0 1364 14 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505763277200 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7635] ppid=7629 vsize=14089320 memory=3312212 CPUtime=13.78 cores=0,2,4,6
/proc/7631/task/7635/stat : 7635 (java) S 7629 7629 2709 0 -1 1077944384 14142 0 0 0 1365 13 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505420143120 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7636] ppid=7629 vsize=14089320 memory=1452 CPUtime=13.76 cores=0,2,4,6
/proc/7631/task/7636/stat : 7636 (java) S 7629 7629 2709 0 -1 1077944384 12925 0 0 0 1364 12 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505419090576 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7637] ppid=7629 vsize=14089320 memory=1452 CPUtime=1.87 cores=0,2,4,6
/proc/7631/task/7637/stat : 7637 (java) S 7629 7629 2709 0 -1 1077944384 11316 0 0 0 172 15 0 0 20 0 15 0 230130889 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505368046064 140505826740866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7638] ppid=7629 vsize=14089320 memory=3312212 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7638/stat : 7638 (java) S 7629 7629 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 230130889 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505366992288 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7639] ppid=7629 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7639/stat : 7639 (java) S 7629 7629 2709 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 230130890 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505365939696 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7640] ppid=7629 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7640/stat : 7640 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505364888272 140505826748315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7641] ppid=7629 vsize=14089320 memory=3312212 CPUtime=1.57 cores=0,2,4,6
/proc/7631/task/7641/stat : 7641 (java) S 7629 7629 2709 0 -1 1077944384 8396 0 0 0 156 1 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505363834864 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7642] ppid=7629 vsize=14089320 memory=1452 CPUtime=1.74 cores=0,2,4,6
/proc/7631/task/7642/stat : 7642 (java) S 7629 7629 2709 0 -1 1077944384 8749 0 0 0 173 1 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505362782320 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7643] ppid=7629 vsize=14089320 memory=3312212 CPUtime=0.47 cores=0,2,4,6
/proc/7631/task/7643/stat : 7643 (java) S 7629 7629 2709 0 -1 1077944384 5739 0 0 0 45 2 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505361729776 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7644] ppid=7629 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7644/stat : 7644 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505360677472 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7645] ppid=7629 vsize=14089320 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/7631/task/7645/stat : 7645 (java) S 7629 7629 2709 0 -1 1077944384 889 0 0 0 28 38 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505291680560 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 59 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
Current children cumulated CPU time: 2486.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3313664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475 s]*
/proc/loadavg: 1.62 1.61 1.68 3/219 7953
/proc/meminfo: memFree=12436328/32770624 swapFree=67108792/67108860
[pid=7629] ppid=7626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7629/stat : 7629 (xcsp3-exec) S 7626 7629 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230130886 115843072 363 33554432000 4194304 5098028 140729586810672 140729586808776 140128260739708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24567808 140729586811963 140729586812164 140729586812164 140729586814922 0
/proc/7629/statm: 28282 363 306 221 0 87 0
[pid=7631] ppid=7629 vsize=14089320 memory=3312212 CPUtime=2520.02 cores=0,2,4,6
/proc/7631/stat : 7631 (java) S 7629 7629 2709 0 -1 1077944320 135032 0 0 0 251830 172 0 0 20 0 15 0 230130886 14427463680 828053 33554432000 4194304 4196468 140732272407072 140732272389616 140505826729719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
/proc/7631/statm: 3522330 828053 3429 1 0 3483524 0
[pid=7631/tid=7632] ppid=7629 vsize=14089320 memory=8112282956445269571 CPUtime=2457.56 cores=0,2,4,6
/proc/7631/task/7632/stat : 7632 (java) R 7629 7629 2709 0 -1 4202560 41063 0 0 0 245683 73 0 0 20 0 15 0 230130887 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505830969488 140505447000709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7633] ppid=7629 vsize=14089320 memory=-7003737579269690708 CPUtime=14.01 cores=0,2,4,6
/proc/7631/task/7633/stat : 7633 (java) S 7629 7629 2709 0 -1 1077944384 18407 0 0 0 1389 12 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505764329744 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7634] ppid=7629 vsize=14089320 memory=67 CPUtime=14.02 cores=0,2,4,6
/proc/7631/task/7634/stat : 7634 (java) S 7629 7629 2709 0 -1 1077944384 12027 0 0 0 1388 14 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505763277200 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7635] ppid=7629 vsize=14089320 memory=0 CPUtime=14.02 cores=0,2,4,6
/proc/7631/task/7635/stat : 7635 (java) S 7629 7629 2709 0 -1 1077944384 14152 0 0 0 1389 13 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505420143120 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7636] ppid=7629 vsize=14089320 memory=67 CPUtime=13.99 cores=0,2,4,6
/proc/7631/task/7636/stat : 7636 (java) S 7629 7629 2709 0 -1 1077944384 12937 0 0 0 1387 12 0 0 20 0 15 0 230130888 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505419090576 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7637] ppid=7629 vsize=14089320 memory=4355151756308673432 CPUtime=1.89 cores=0,2,4,6
/proc/7631/task/7637/stat : 7637 (java) S 7629 7629 2709 0 -1 1077944384 11320 0 0 0 174 15 0 0 20 0 15 0 230130889 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505368046064 140505826740866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7638] ppid=7629 vsize=14089320 memory=5788902784297357392 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7638/stat : 7638 (java) S 7629 7629 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 230130889 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505366992288 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7639] ppid=7629 vsize=14089320 memory=7100839878645622913 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7639/stat : 7639 (java) S 7629 7629 2709 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 230130890 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505365939696 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7640] ppid=7629 vsize=14089320 memory=7013346343823632999 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7640/stat : 7640 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505364888272 140505826748315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7641] ppid=7629 vsize=14089320 memory=5866611791061346647 CPUtime=1.57 cores=0,2,4,6
/proc/7631/task/7641/stat : 7641 (java) S 7629 7629 2709 0 -1 1077944384 8396 0 0 0 156 1 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505363834864 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7642] ppid=7629 vsize=14089320 memory=6370458690916869224 CPUtime=1.74 cores=0,2,4,6
/proc/7631/task/7642/stat : 7642 (java) S 7629 7629 2709 0 -1 1077944384 8749 0 0 0 173 1 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505362782320 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7643] ppid=7629 vsize=14089320 memory=8025788800890856549 CPUtime=0.47 cores=0,2,4,6
/proc/7631/task/7643/stat : 7643 (java) S 7629 7629 2709 0 -1 1077944384 5739 0 0 0 45 2 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505361729776 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7644] ppid=7629 vsize=14089320 memory=6081081502729595985 CPUtime=0 cores=0,2,4,6
/proc/7631/task/7644/stat : 7644 (java) S 7629 7629 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505360677472 140505826739925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
[pid=7631/tid=7645] ppid=7629 vsize=14089320 memory=48 CPUtime=0.67 cores=0,2,4,6
/proc/7631/task/7645/stat : 7645 (java) S 7629 7629 2709 0 -1 1077944384 891 0 0 0 29 38 0 0 20 0 15 0 230130892 14427463680 828053 33554432000 4194304 4196468 140732272407072 140505291680560 140505826740866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 59 0 0 6293624 6294260 34193408 140732272415878 140732272416049 140732272416049 140732272418767 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3313664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.02 s]
# the end of solver process 7629 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002309 s, system=0 s
[startup+2475.03 s]
# the end of solver process 7631 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.31 s, system=1.74228 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2475.03
CPU time (s): 2520.06
CPU user time (s): 2518.31
CPU system time (s): 1.74228
CPU usage (%): 101.819
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 3313664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.31
system time used= 1.74228
maximum resident set size= 3312772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135851
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105248
involuntary context switches= 4874
# summary of solver processes directly reported to runsolver:
# pid: 7629,7631
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.31
# total CPU system time (s): 1.74228
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2182 second user time and 22.5343 second system time
The end