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 (11602 MiB free)
memory of node 1: 16384 MiB (9619 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292595-1532582654/watcher-4292595-1532582654 -o /tmp/evaluation-result-4292595-1532582654/solver-4292595-1532582654 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532582652-2836 --watchdog 2560 HOME/xcsp3-exec -seed 223816382 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292595-1532582654.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2881, runsolver pid=2878
[startup+0.100059 s]*
/proc/loadavg: 0.00 0.01 0.05 6/217 2897
/proc/meminfo: memFree=21706704/32770624 swapFree=67108860/67108860
[pid=2881] ppid=2878 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2881/stat : 2881 (xcsp3-exec) S 2878 2881 2805 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828564 115843072 363 33554432000 4194304 5098028 140731376137264 140731376135368 139979838173820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11255808 140731376141371 140731376141572 140731376141572 140731376144330 0
/proc/2881/statm: 28282 363 305 221 0 87 0
[pid=2883] ppid=2881 vsize=14082840 memory=28148 CPUtime=0.11 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2881 2881 2805 0 -1 1077944320 5472 0 0 0 10 1 0 0 20 0 15 0 75828565 14420828160 7037 33554432000 4194304 4196468 140724527998144 140724527980688 140372974419703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
/proc/2883/statm: 3520710 7037 2974 1 0 3483008 0
[pid=2883/tid=2884] ppid=2881 vsize=14082840 memory=8043611038439150427 CPUtime=0.09 cores=0,2,4,6
/proc/2883/task/2884/stat : 2884 (java) R 2881 2881 2805 0 -1 4202560 3483 0 0 0 8 1 0 0 20 0 15 0 75828565 14420828160 7037 33554432000 4194304 4196468 140724527998144 140372978651584 140372974431638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2885] ppid=2881 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14420828160 7037 33554432000 4194304 4196468 140724527998144 140372889488144 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2886] ppid=2881 vsize=14082840 memory=139723944679040 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14420828160 7037 33554432000 4194304 4196468 140724527998144 140372888435600 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2887] ppid=2881 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14420828160 7037 33554432000 4194304 4196468 140724527998144 140372887383056 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2888] ppid=2881 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2881 2881 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828566 14420828160 7037 33554432000 4194304 4196468 140724527998144 140372567125136 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2889] ppid=2881 vsize=14082840 memory=139723944679040 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2881 2881 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828567 14420828160 7037 33554432000 4194304 4196468 140724527998144 140372448724976 140372974430850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2890] ppid=2881 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2881 2881 2805 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828567 14420828160 7037 33554432000 4194304 4196468 140724527998144 140372447671200 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2891] ppid=2881 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2881 2881 2805 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828568 14420828160 7037 33554432000 4194304 4196468 140724527998144 140372446618608 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2892] ppid=2881 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14420828160 7037 33554432000 4194304 4196468 140724527998144 140372445567184 140372974438299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2893] ppid=2881 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2881 2881 2805 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 75828570 14420828160 7037 33554432000 4194304 4196468 140724527998144 140372444514800 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2894] ppid=2881 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) S 2881 2881 2805 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 75828570 14420828160 7102 33554432000 4194304 4196468 140724527998144 140372443462256 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2895] ppid=2881 vsize=14082840 memory=139723944679040 CPUtime=0.01 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) R 2881 2881 2805 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 75828570 14420828160 7102 33554432000 4194304 4196468 140724527998144 140372442409712 140372958500190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2896] ppid=2881 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14420828160 7102 33554432000 4194304 4196468 140724527998144 140372441357408 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2897] ppid=2881 vsize=14082840 memory=139723944679040 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828571 14420828160 7102 33554432000 4194304 4196468 140724527998144 140372440303920 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29600 KiB
[startup+0.210629 s]*
/proc/loadavg: 0.00 0.01 0.05 6/217 2897
/proc/meminfo: memFree=21685364/32770624 swapFree=67108860/67108860
[pid=2881] ppid=2878 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2881/stat : 2881 (xcsp3-exec) S 2878 2881 2805 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828564 115843072 363 33554432000 4194304 5098028 140731376137264 140731376135368 139979838173820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11255808 140731376141371 140731376141572 140731376141572 140731376144330 0
/proc/2881/statm: 28282 363 305 221 0 87 0
[pid=2883] ppid=2881 vsize=14082840 memory=40720 CPUtime=0.33 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2881 2881 2805 0 -1 1077944320 8188 0 0 0 31 2 0 0 20 0 15 0 75828565 14420828160 10180 33554432000 4194304 4196468 140724527998144 140724527980688 140372974419703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
/proc/2883/statm: 3520710 10180 3192 1 0 3483008 0
[pid=2883/tid=2884] ppid=2881 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/2883/task/2884/stat : 2884 (java) R 2881 2881 2805 0 -1 4202560 5421 0 0 0 18 2 0 0 20 0 15 0 75828565 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372978640696 140372959663803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2885] ppid=2881 vsize=14087096 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372889488144 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2886] ppid=2881 vsize=14087096 memory=3688648520356255392 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372888435600 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2887] ppid=2881 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372887383056 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2888] ppid=2881 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2881 2881 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828566 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372567125136 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2889] ppid=2881 vsize=14087096 memory=139723944679040 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2881 2881 2805 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 75828567 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372448724976 140372974430850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2890] ppid=2881 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2881 2881 2805 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828567 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372447671200 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2891] ppid=2881 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2881 2881 2805 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828568 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372446618608 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2892] ppid=2881 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372445567184 140372974438299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2893] ppid=2881 vsize=14087096 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2881 2881 2805 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 75828570 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372444514800 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2894] ppid=2881 vsize=14087096 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) S 2881 2881 2805 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 75828570 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372443462256 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2895] ppid=2881 vsize=14087096 memory=139723944679040 CPUtime=0.07 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) S 2881 2881 2805 0 -1 1077944384 796 0 0 0 7 0 0 0 20 0 15 0 75828570 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372442409712 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2896] ppid=2881 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372441357408 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2897] ppid=2881 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828571 14425186304 10236 33554432000 4194304 4196468 140724527998144 140372440303920 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42172 KiB
[startup+0.310804 s]*
/proc/loadavg: 0.00 0.01 0.05 5/217 2897
/proc/meminfo: memFree=21667056/32770624 swapFree=67108860/67108860
[pid=2881] ppid=2878 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2881/stat : 2881 (xcsp3-exec) S 2878 2881 2805 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828564 115843072 363 33554432000 4194304 5098028 140731376137264 140731376135368 139979838173820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11255808 140731376141371 140731376141572 140731376141572 140731376144330 0
/proc/2881/statm: 28282 363 305 221 0 87 0
[pid=2883] ppid=2881 vsize=14087096 memory=48024 CPUtime=0.52 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2881 2881 2805 0 -1 1077944320 9143 0 0 0 49 3 0 0 20 0 15 0 75828565 14425186304 12006 33554432000 4194304 4196468 140724527998144 140724527980688 140372974419703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
/proc/2883/statm: 3521774 12006 3240 1 0 3483008 0
[pid=2883/tid=2884] ppid=2881 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/2883/task/2884/stat : 2884 (java) R 2881 2881 2805 0 -1 4202560 6121 0 0 0 27 2 0 0 20 0 15 0 75828565 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372978650816 140372958500190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2885] ppid=2881 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372889488144 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2886] ppid=2881 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372888435600 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2887] ppid=2881 vsize=14087096 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372887383056 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2888] ppid=2881 vsize=14087096 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2881 2881 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828566 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372567125136 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2889] ppid=2881 vsize=14087096 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2881 2881 2805 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 75828567 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372448724976 140372974430850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2890] ppid=2881 vsize=14087096 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2881 2881 2805 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828567 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372447671200 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2891] ppid=2881 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2881 2881 2805 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828568 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372446618608 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2892] ppid=2881 vsize=14087096 memory=-6516833586042938556 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372445567184 140372974438299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2893] ppid=2881 vsize=14087096 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2881 2881 2805 0 -1 1077944384 426 0 0 0 4 0 0 0 20 0 15 0 75828570 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372444514800 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2894] ppid=2881 vsize=14087096 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) S 2881 2881 2805 0 -1 1077944384 369 0 0 0 5 0 0 0 20 0 15 0 75828570 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372443462256 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2895] ppid=2881 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) S 2881 2881 2805 0 -1 1077944384 929 0 0 0 12 0 0 0 20 0 15 0 75828570 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372442409712 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2896] ppid=2881 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372441357408 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2897] ppid=2881 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828571 14425186304 12006 33554432000 4194304 4196468 140724527998144 140372440303920 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49476 KiB
[startup+0.700733 s]
/proc/loadavg: 0.00 0.01 0.05 8/217 2897
/proc/meminfo: memFree=21647328/32770624 swapFree=67108860/67108860
[pid=2881] ppid=2878 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2881/stat : 2881 (xcsp3-exec) S 2878 2881 2805 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828564 115843072 363 33554432000 4194304 5098028 140731376137264 140731376135368 139979838173820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11255808 140731376141371 140731376141572 140731376141572 140731376144330 0
/proc/2881/statm: 28282 363 305 221 0 87 0
[pid=2883] ppid=2881 vsize=14089220 memory=72680 CPUtime=1.53 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2881 2881 2805 0 -1 1077944320 11891 0 0 0 149 4 0 0 20 0 15 0 75828565 14427361280 18170 33554432000 4194304 4196468 140724527998144 140724527980688 140372974419703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
/proc/2883/statm: 3522305 18170 3339 1 0 3483520 0
[pid=2883/tid=2884] ppid=2881 vsize=14089220 memory=33 CPUtime=0.66 cores=0,2,4,6
/proc/2883/task/2884/stat : 2884 (java) R 2881 2881 2805 0 -1 4202560 7059 0 0 0 64 2 0 0 20 0 15 0 75828565 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372978658848 140372567272297 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2885] ppid=2881 vsize=14089220 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372889488144 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2886] ppid=2881 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372888435600 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2887] ppid=2881 vsize=14089220 memory=22800 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828566 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372887383056 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2888] ppid=2881 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2881 2881 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828566 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372567125136 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2889] ppid=2881 vsize=14089220 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2881 2881 2805 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 75828567 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372448724976 140372974430850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2890] ppid=2881 vsize=14089220 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2881 2881 2805 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828567 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372447671200 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2891] ppid=2881 vsize=14089220 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2881 2881 2805 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828568 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372446618608 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2892] ppid=2881 vsize=14089220 memory=14080 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372445567184 140372974438299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2893] ppid=2881 vsize=14089220 memory=796 CPUtime=0.23 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) R 2881 2881 2805 0 -1 1077944384 961 0 0 0 23 0 0 0 20 0 15 0 75828570 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372444514800 140372974430850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2894] ppid=2881 vsize=14089220 memory=1712 CPUtime=0.23 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) R 2881 2881 2805 0 -1 4202560 767 0 0 0 23 0 0 0 20 0 15 0 75828570 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372443462256 140372953874438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2895] ppid=2881 vsize=14089220 memory=1956 CPUtime=0.37 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) R 2881 2881 2805 0 -1 4202560 1797 0 0 0 37 0 0 0 20 0 15 0 75828570 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372442404976 140372958500190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2896] ppid=2881 vsize=14089220 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372441357408 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2897] ppid=2881 vsize=14089220 memory=8432 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2881 2881 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828571 14427361280 18170 33554432000 4194304 4196468 140724527998144 140372440303920 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 74132 KiB
[startup+1.50081 s]
/proc/loadavg: 0.32 0.08 0.07 7/217 2897
/proc/meminfo: memFree=21585612/32770624 swapFree=67108860/67108860
[pid=2881] ppid=2878 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2881/stat : 2881 (xcsp3-exec) S 2878 2881 2805 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828564 115843072 363 33554432000 4194304 5098028 140731376137264 140731376135368 139979838173820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11255808 140731376141371 140731376141572 140731376141572 140731376144330 0
/proc/2881/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/2883/task/2891/stat : 2891 (java) S 2881 2881 2805 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 75828568 14427361280 62371 33554432000 4194304 4196468 140724527998144 140372446618608 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2892] ppid=2881 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14427361280 62371 33554432000 4194304 4196468 140724527998144 140372445567184 140372974438299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2893] ppid=2881 vsize=14089220 memory=1240 CPUtime=2.26 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2881 2881 2805 0 -1 1077944384 12609 0 0 0 225 1 0 0 20 0 15 0 75828570 14427361280 62371 33554432000 4194304 4196468 140724527998144 140372444514800 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2894] ppid=2881 vsize=14089220 memory=249484 CPUtime=2.3 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) S 2881 2881 2805 0 -1 1077944384 13587 0 0 0 228 2 0 0 20 0 15 0 75828570 14427361280 62371 33554432000 4194304 4196468 140724527998144 140372443462256 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2895] ppid=2881 vsize=14089220 memory=249484 CPUtime=0.6 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) S 2881 2881 2805 0 -1 1077944384 10258 0 0 0 58 2 0 0 20 0 15 0 75828570 14427361280 62371 33554432000 4194304 4196468 140724527998144 140372442409712 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2896] ppid=2881 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14427361280 62371 33554432000 4194304 4196468 140724527998144 140372441357408 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2897] ppid=2881 vsize=14089220 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2881 2881 2805 0 -1 1077944384 686 0 0 0 25 35 0 0 20 0 15 0 75828571 14427361280 62371 33554432000 4194304 4196468 140724527998144 140372440303920 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
Current children cumulated CPU time: 2274.03 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 250936 KiB
[startup+2322.3 s]
/proc/loadavg: 1.13 1.16 1.18 3/218 2992
/proc/meminfo: memFree=21333164/32770624 swapFree=67108860/67108860
[pid=2881] ppid=2878 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2881/stat : 2881 (xcsp3-exec) S 2878 2881 2805 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828564 115843072 363 33554432000 4194304 5098028 140731376137264 140731376135368 139979838173820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11255808 140731376141371 140731376141572 140731376141572 140731376144330 0
/proc/2881/statm: 28282 363 305 221 0 87 0
[pid=2883] ppid=2881 vsize=14089220 memory=251624 CPUtime=2334.25 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2881 2881 2805 0 -1 1077944320 83526 0 0 0 233315 110 0 0 20 0 15 0 75828565 14427361280 62906 33554432000 4194304 4196468 140724527998144 140724527980688 140372974419703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
/proc/2883/statm: 3522305 62906 3394 1 0 3483520 0
[pid=2883/tid=2884] ppid=2881 vsize=14089220 memory=251624 CPUtime=2316.33 cores=0,2,4,6
/proc/2883/task/2884/stat : 2884 (java) R 2881 2881 2805 0 -1 4202560 24017 0 0 0 231620 13 0 0 20 0 15 0 75828565 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372978659008 140372571465653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2885] ppid=2881 vsize=14089220 memory=251624 CPUtime=2.43 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) S 2881 2881 2805 0 -1 1077944384 3607 0 0 0 226 17 0 0 20 0 15 0 75828566 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372889488144 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2886] ppid=2881 vsize=14089220 memory=1452 CPUtime=2.41 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2881 2881 2805 0 -1 1077944384 4257 0 0 0 221 20 0 0 20 0 15 0 75828566 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372888435600 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2887] ppid=2881 vsize=14089220 memory=4140 CPUtime=2.43 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2881 2881 2805 0 -1 1077944384 5005 0 0 0 224 19 0 0 20 0 15 0 75828566 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372887383056 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2888] ppid=2881 vsize=14089220 memory=22888 CPUtime=2.43 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2881 2881 2805 0 -1 1077944384 3078 0 0 0 227 16 0 0 20 0 15 0 75828566 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372567125136 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2889] ppid=2881 vsize=14089220 memory=14136 CPUtime=2.35 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2881 2881 2805 0 -1 1077944384 5072 0 0 0 222 13 0 0 20 0 15 0 75828567 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372448724976 140372974430850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2890] ppid=2881 vsize=14089220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2881 2881 2805 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 75828567 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372447671200 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2891] ppid=2881 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2881 2881 2805 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 75828568 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372446618608 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2892] ppid=2881 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372445567184 140372974438299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2893] ppid=2881 vsize=14089220 memory=1452 CPUtime=2.26 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2881 2881 2805 0 -1 1077944384 12609 0 0 0 225 1 0 0 20 0 15 0 75828570 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372444514800 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2894] ppid=2881 vsize=14089220 memory=249576 CPUtime=2.3 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) S 2881 2881 2805 0 -1 1077944384 13587 0 0 0 228 2 0 0 20 0 15 0 75828570 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372443462256 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2895] ppid=2881 vsize=14089220 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) S 2881 2881 2805 0 -1 1077944384 10258 0 0 0 58 2 0 0 20 0 15 0 75828570 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372442409712 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2896] ppid=2881 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372441357408 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2897] ppid=2881 vsize=14089220 memory=8112282956445269571 CPUtime=0.62 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2881 2881 2805 0 -1 1077944384 690 0 0 0 26 36 0 0 20 0 15 0 75828571 14427361280 62906 33554432000 4194304 4196468 140724527998144 140372440303920 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
Current children cumulated CPU time: 2334.25 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 253076 KiB
[startup+2382.3 s]
/proc/loadavg: 1.48 1.24 1.20 3/218 2993
/proc/meminfo: memFree=21331364/32770624 swapFree=67108860/67108860
[pid=2881] ppid=2878 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2881/stat : 2881 (xcsp3-exec) S 2878 2881 2805 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828564 115843072 363 33554432000 4194304 5098028 140731376137264 140731376135368 139979838173820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11255808 140731376141371 140731376141572 140731376141572 140731376144330 0
/proc/2881/statm: 28282 363 305 221 0 87 0
[pid=2883] ppid=2881 vsize=14089220 memory=253672 CPUtime=2394.55 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2881 2881 2805 0 -1 1077944320 84701 0 0 0 239342 113 0 0 20 0 15 0 75828565 14427361280 63418 33554432000 4194304 4196468 140724527998144 140724527980688 140372974419703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
/proc/2883/statm: 3522305 63418 3394 1 0 3483520 0
[pid=2883/tid=2884] ppid=2881 vsize=14089220 memory=253672 CPUtime=2376.07 cores=0,2,4,6
/proc/2883/task/2884/stat : 2884 (java) R 2881 2881 2805 0 -1 4202560 24488 0 0 0 237594 13 0 0 20 0 15 0 75828565 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372978659008 140372572611175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2885] ppid=2881 vsize=14089220 memory=253672 CPUtime=2.53 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) S 2881 2881 2805 0 -1 1077944384 3957 0 0 0 236 17 0 0 20 0 15 0 75828566 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372889488144 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2886] ppid=2881 vsize=14089220 memory=253672 CPUtime=2.52 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2881 2881 2805 0 -1 1077944384 4264 0 0 0 232 20 0 0 20 0 15 0 75828566 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372888435600 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2887] ppid=2881 vsize=14089220 memory=253672 CPUtime=2.54 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2881 2881 2805 0 -1 1077944384 5037 0 0 0 234 20 0 0 20 0 15 0 75828566 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372887383056 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2888] ppid=2881 vsize=14089220 memory=1452 CPUtime=2.54 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2881 2881 2805 0 -1 1077944384 3197 0 0 0 238 16 0 0 20 0 15 0 75828566 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372567125136 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2889] ppid=2881 vsize=14089220 memory=253672 CPUtime=2.45 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2881 2881 2805 0 -1 1077944384 5247 0 0 0 231 14 0 0 20 0 15 0 75828567 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372448724976 140372974430850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2890] ppid=2881 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2881 2881 2805 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 75828567 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372447671200 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2891] ppid=2881 vsize=14089220 memory=253672 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2881 2881 2805 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 75828568 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372446618608 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2892] ppid=2881 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372445567184 140372974438299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2893] ppid=2881 vsize=14089220 memory=1452 CPUtime=2.26 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2881 2881 2805 0 -1 1077944384 12611 0 0 0 225 1 0 0 20 0 15 0 75828570 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372444514800 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2894] ppid=2881 vsize=14089220 memory=279447618149248 CPUtime=2.3 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) S 2881 2881 2805 0 -1 1077944384 13589 0 0 0 228 2 0 0 20 0 15 0 75828570 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372443462256 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2895] ppid=2881 vsize=14089220 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) S 2881 2881 2805 0 -1 1077944384 10260 0 0 0 58 2 0 0 20 0 15 0 75828570 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372442409712 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2896] ppid=2881 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372441357408 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2897] ppid=2881 vsize=14089220 memory=4140 CPUtime=0.64 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2881 2881 2805 0 -1 1077944384 705 0 0 0 28 36 0 0 20 0 15 0 75828571 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372440303920 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
Current children cumulated CPU time: 2394.55 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 255124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2387.8 s]
/proc/loadavg: 1.60 1.27 1.21 3/218 3147
/proc/meminfo: memFree=21429820/32770624 swapFree=67108860/67108860
[pid=2881] ppid=2878 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2881/stat : 2881 (xcsp3-exec) S 2878 2881 2805 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828564 115843072 363 33554432000 4194304 5098028 140731376137264 140731376135368 139979838173820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11255808 140731376141371 140731376141572 140731376141572 140731376144330 0
/proc/2881/statm: 28282 363 305 221 0 87 0
[pid=2883] ppid=2881 vsize=14089220 memory=253672 CPUtime=2400.08 cores=0,2,4,6
/proc/2883/stat : 2883 (java) S 2881 2881 2805 0 -1 1077944320 84720 0 0 0 239894 114 0 0 20 0 15 0 75828565 14427361280 63418 33554432000 4194304 4196468 140724527998144 140724527980688 140372974419703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
/proc/2883/statm: 3522305 63418 3394 1 0 3483520 0
[pid=2883/tid=2884] ppid=2881 vsize=14089220 memory=2240 CPUtime=2381.55 cores=0,2,4,6
/proc/2883/task/2884/stat : 2884 (java) R 2881 2881 2805 0 -1 4202560 24502 0 0 0 238142 13 0 0 20 0 15 0 75828565 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372978659008 140372572368059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2885] ppid=2881 vsize=14089220 memory=4128 CPUtime=2.55 cores=0,2,4,6
/proc/2883/task/2885/stat : 2885 (java) S 2881 2881 2805 0 -1 1077944384 3957 0 0 0 237 18 0 0 20 0 15 0 75828566 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372889488144 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2886] ppid=2881 vsize=14089220 memory=2204 CPUtime=2.53 cores=0,2,4,6
/proc/2883/task/2886/stat : 2886 (java) S 2881 2881 2805 0 -1 1077944384 4264 0 0 0 233 20 0 0 20 0 15 0 75828566 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372888435600 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2887] ppid=2881 vsize=14089220 memory=7888 CPUtime=2.55 cores=0,2,4,6
/proc/2883/task/2887/stat : 2887 (java) S 2881 2881 2805 0 -1 1077944384 5037 0 0 0 235 20 0 0 20 0 15 0 75828566 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372887383056 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2888] ppid=2881 vsize=14089220 memory=836 CPUtime=2.55 cores=0,2,4,6
/proc/2883/task/2888/stat : 2888 (java) S 2881 2881 2805 0 -1 1077944384 3197 0 0 0 239 16 0 0 20 0 15 0 75828566 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372567125136 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2889] ppid=2881 vsize=14089220 memory=4100 CPUtime=2.46 cores=0,2,4,6
/proc/2883/task/2889/stat : 2889 (java) S 2881 2881 2805 0 -1 1077944384 5250 0 0 0 232 14 0 0 20 0 15 0 75828567 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372448724976 140372974430850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2890] ppid=2881 vsize=14089220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2890/stat : 2890 (java) S 2881 2881 2805 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 75828567 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372447671200 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2891] ppid=2881 vsize=14089220 memory=912 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2891/stat : 2891 (java) S 2881 2881 2805 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 75828568 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372446618608 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2892] ppid=2881 vsize=14089220 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2892/stat : 2892 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372445567184 140372974438299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2893] ppid=2881 vsize=14089220 memory=4140 CPUtime=2.26 cores=0,2,4,6
/proc/2883/task/2893/stat : 2893 (java) S 2881 2881 2805 0 -1 1077944384 12611 0 0 0 225 1 0 0 20 0 15 0 75828570 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372444514800 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2894] ppid=2881 vsize=14089220 memory=1424 CPUtime=2.3 cores=0,2,4,6
/proc/2883/task/2894/stat : 2894 (java) S 2881 2881 2805 0 -1 1077944384 13589 0 0 0 228 2 0 0 20 0 15 0 75828570 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372443462256 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2895] ppid=2881 vsize=14089220 memory=1228 CPUtime=0.6 cores=0,2,4,6
/proc/2883/task/2895/stat : 2895 (java) S 2881 2881 2805 0 -1 1077944384 10260 0 0 0 58 2 0 0 20 0 15 0 75828570 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372442409712 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2896] ppid=2881 vsize=14089220 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/2883/task/2896/stat : 2896 (java) S 2881 2881 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828570 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372441357408 140372974429909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
[pid=2883/tid=2897] ppid=2881 vsize=14089220 memory=4052 CPUtime=0.65 cores=0,2,4,6
/proc/2883/task/2897/stat : 2897 (java) S 2881 2881 2805 0 -1 1077944384 707 0 0 0 28 37 0 0 20 0 15 0 75828571 14427361280 63418 33554432000 4194304 4196468 140724527998144 140372440303920 140372974430850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 32677888 140724528006273 140724528006449 140724528006449 140724528009167 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 255124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2387.81 s]
# the end of solver process 2881 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001151 s, system=0.001151 s
[startup+2387.81 s]
# the end of solver process 2883 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.96 s, system=1.14544 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): 2387.81
CPU time (s): 2400.1
CPU user time (s): 2398.96
CPU system time (s): 1.14544
CPU usage (%): 100.515
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 255124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.96
system time used= 1.14544
maximum resident set size= 254272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85563
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120277
involuntary context switches= 4377
# summary of solver processes directly reported to runsolver:
# pid: 2881,2883
# total CPU time (s): 2400.1
# total CPU user time (s): 2398.96
# total CPU system time (s): 1.14544
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1553 second user time and 23.1994 second system time
The end