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 (10781 MiB free)
memory of node 1: 16384 MiB (14089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302077-1532888140/watcher-4302077-1532888140 -o /tmp/evaluation-result-4302077-1532888140/solver-4302077-1532888140 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6816 --watchdog 312 HOME/xcsp3-exec -seed 1421574741 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302077-1532888140.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=10970, runsolver pid=10967
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 2.01 1.86 1.94 3/217 10986
/proc/meminfo: memFree=25450292/32770624 swapFree=67108688/67108860
[pid=10970] ppid=10967 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10970/stat : 10970 (xcsp3-exec) S 10967 10970 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106376871 115843072 363 33554432000 4194304 5098028 140735918087712 140735918085816 139685071430268 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36388864 140735918093376 140735918093577 140735918093577 140735918096330 0
/proc/10970/statm: 28282 363 305 221 0 87 0
[pid=10972] ppid=10970 vsize=14082940 memory=29276 CPUtime=0.12 cores=1,3,5,7
/proc/10972/stat : 10972 (java) S 10970 10970 6529 0 -1 1077944320 5614 0 0 0 11 1 0 0 20 0 15 0 106376872 14420930560 7319 33554432000 4194304 4196468 140729098049984 140729098032528 140031912132343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
/proc/10972/statm: 3520735 7319 3050 1 0 3483012 0
[pid=10972/tid=10973] ppid=10970 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/10972/task/10973/stat : 10973 (java) R 10970 10970 6529 0 -1 4202560 3627 0 0 0 8 1 0 0 20 0 15 0 106376872 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031916351320 140031912144278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10974] ppid=10970 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031842220688 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10975] ppid=10970 vsize=14082940 memory=140629747218048 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031841167888 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10976] ppid=10970 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031840115088 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10977] ppid=10970 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10977/stat : 10977 (java) S 10970 10970 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106376873 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031504857360 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10978] ppid=10970 vsize=14082940 memory=140629747218048 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10978/stat : 10978 (java) S 10970 10970 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106376874 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031386323824 140031912143490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10979] ppid=10970 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10979/stat : 10979 (java) S 10970 10970 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106376875 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031385269792 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10980] ppid=10970 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10980/stat : 10980 (java) S 10970 10970 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106376875 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031384216944 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10981] ppid=10970 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10981/stat : 10981 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031383165264 140031912150939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10982] ppid=10970 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10982/stat : 10982 (java) S 10970 10970 6529 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 106376877 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031382112624 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10983] ppid=10970 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10983/stat : 10983 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031381059824 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10984] ppid=10970 vsize=14082940 memory=140629747218048 CPUtime=0.01 cores=1,3,5,7
/proc/10972/task/10984/stat : 10984 (java) R 10970 10970 6529 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 15 0 106376877 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031380007024 140031890500982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10985] ppid=10970 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10985/stat : 10985 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031378954464 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10986] ppid=10970 vsize=14082940 memory=140629747218048 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10986/stat : 10986 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376878 14420930560 7319 33554432000 4194304 4196468 140729098049984 140031377902768 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30728 KiB
[startup+0.210871 s]*
/proc/loadavg: 2.01 1.86 1.94 4/217 10986
/proc/meminfo: memFree=25439608/32770624 swapFree=67108688/67108860
[pid=10970] ppid=10967 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10970/stat : 10970 (xcsp3-exec) S 10967 10970 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106376871 115843072 363 33554432000 4194304 5098028 140735918087712 140735918085816 139685071430268 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36388864 140735918093376 140735918093577 140735918093577 140735918096330 0
/proc/10970/statm: 28282 363 305 221 0 87 0
[pid=10972] ppid=10970 vsize=14082940 memory=40412 CPUtime=0.34 cores=1,3,5,7
/proc/10972/stat : 10972 (java) S 10970 10970 6529 0 -1 1077944320 8202 0 0 0 32 2 0 0 20 0 15 0 106376872 14420930560 10103 33554432000 4194304 4196468 140729098049984 140729098032528 140031912132343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
/proc/10972/statm: 3520735 10103 3187 1 0 3483012 0
[pid=10972/tid=10973] ppid=10970 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/10972/task/10973/stat : 10973 (java) D 10970 10970 6529 0 -1 1077944384 5452 0 0 0 18 2 0 0 20 0 15 0 106376872 14420930560 10168 33554432000 4194304 4196468 140729098049984 140031916356512 140031904811565 0 4 0 16800975 18446744072101572132 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10974] ppid=10970 vsize=14082940 memory=12627 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14420930560 10168 33554432000 4194304 4196468 140729098049984 140031842220688 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10975] ppid=10970 vsize=14082940 memory=3618564334506260128 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14420930560 10168 33554432000 4194304 4196468 140729098049984 140031841167888 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10976] ppid=10970 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14420930560 10168 33554432000 4194304 4196468 140729098049984 140031840115088 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10977] ppid=10970 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10977/stat : 10977 (java) S 10970 10970 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106376873 14420930560 10168 33554432000 4194304 4196468 140729098049984 140031504857360 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10978] ppid=10970 vsize=14082940 memory=140629747218048 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10978/stat : 10978 (java) S 10970 10970 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106376874 14420930560 10168 33554432000 4194304 4196468 140729098049984 140031386323824 140031912143490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10979] ppid=10970 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10979/stat : 10979 (java) S 10970 10970 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106376875 14420930560 10168 33554432000 4194304 4196468 140729098049984 140031385269792 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10980] ppid=10970 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10980/stat : 10980 (java) S 10970 10970 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106376875 14420963328 10168 33554432000 4194304 4196468 140729098049984 140031384216944 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10981] ppid=10970 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10981/stat : 10981 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14420963328 10168 33554432000 4194304 4196468 140729098049984 140031383165264 140031912150939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10982] ppid=10970 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10972/task/10982/stat : 10982 (java) S 10970 10970 6529 0 -1 1077944384 558 0 0 0 3 0 0 0 20 0 15 0 106376877 14420930560 10169 33554432000 4194304 4196468 140729098049984 140031382112624 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10983] ppid=10970 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10972/task/10983/stat : 10983 (java) S 10970 10970 6529 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 15 0 106376877 14420930560 10169 33554432000 4194304 4196468 140729098049984 140031381059824 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10984] ppid=10970 vsize=14082940 memory=140629747218048 CPUtime=0.08 cores=1,3,5,7
/proc/10972/task/10984/stat : 10984 (java) S 10970 10970 6529 0 -1 1077944384 777 0 0 0 8 0 0 0 20 0 15 0 106376877 14420930560 10169 33554432000 4194304 4196468 140729098049984 140031380007024 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10985] ppid=10970 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10985/stat : 10985 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14420930560 10169 33554432000 4194304 4196468 140729098049984 140031378954464 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10986] ppid=10970 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10986/stat : 10986 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376878 14420930560 10169 33554432000 4194304 4196468 140729098049984 140031377902768 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41864 KiB
[startup+0.310731 s]*
/proc/loadavg: 2.01 1.86 1.94 4/217 10986
/proc/meminfo: memFree=25430116/32770624 swapFree=67108688/67108860
[pid=10970] ppid=10967 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10970/stat : 10970 (xcsp3-exec) S 10967 10970 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106376871 115843072 363 33554432000 4194304 5098028 140735918087712 140735918085816 139685071430268 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36388864 140735918093376 140735918093577 140735918093577 140735918096330 0
/proc/10970/statm: 28282 363 305 221 0 87 0
[pid=10972] ppid=10970 vsize=14087196 memory=47972 CPUtime=0.53 cores=1,3,5,7
/proc/10972/stat : 10972 (java) S 10970 10970 6529 0 -1 1077944320 9194 0 0 0 50 3 0 0 20 0 15 0 106376872 14425288704 11993 33554432000 4194304 4196468 140729098049984 140729098032528 140031912132343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
/proc/10972/statm: 3521799 11993 3249 1 0 3483012 0
[pid=10972/tid=10973] ppid=10970 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10972/task/10973/stat : 10973 (java) R 10970 10970 6529 0 -1 4202560 6172 0 0 0 27 2 0 0 20 0 15 0 106376872 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031916369632 140031904849306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10974] ppid=10970 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031842220688 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10975] ppid=10970 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031841167888 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10976] ppid=10970 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031840115088 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10977] ppid=10970 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10977/stat : 10977 (java) S 10970 10970 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106376873 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031504857360 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10978] ppid=10970 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10978/stat : 10978 (java) S 10970 10970 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106376874 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031386323824 140031912143490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10979] ppid=10970 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10979/stat : 10979 (java) S 10970 10970 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106376875 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031385269792 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10980] ppid=10970 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10980/stat : 10980 (java) S 10970 10970 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106376875 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031384216944 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10981] ppid=10970 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10981/stat : 10981 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031383165264 140031912150939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10982] ppid=10970 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/10972/task/10982/stat : 10982 (java) S 10970 10970 6529 0 -1 1077944384 571 0 0 0 5 0 0 0 20 0 15 0 106376877 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031382112624 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10983] ppid=10970 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10972/task/10983/stat : 10983 (java) S 10970 10970 6529 0 -1 1077944384 222 0 0 0 4 0 0 0 20 0 15 0 106376877 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031381059824 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10984] ppid=10970 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10972/task/10984/stat : 10984 (java) S 10970 10970 6529 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 15 0 106376877 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031380007024 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10985] ppid=10970 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10985/stat : 10985 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031378954464 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10986] ppid=10970 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10986/stat : 10986 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376878 14425288704 12066 33554432000 4194304 4196468 140729098049984 140031377902768 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49424 KiB
[startup+0.700828 s]
/proc/loadavg: 2.01 1.86 1.94 5/217 10986
/proc/meminfo: memFree=25416220/32770624 swapFree=67108688/67108860
[pid=10970] ppid=10967 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10970/stat : 10970 (xcsp3-exec) S 10967 10970 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106376871 115843072 363 33554432000 4194304 5098028 140735918087712 140735918085816 139685071430268 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36388864 140735918093376 140735918093577 140735918093577 140735918096330 0
/proc/10970/statm: 28282 363 305 221 0 87 0
[pid=10972] ppid=10970 vsize=14089320 memory=77556 CPUtime=1.36 cores=1,3,5,7
/proc/10972/stat : 10972 (java) S 10970 10970 6529 0 -1 1077944320 12515 0 0 0 131 5 0 0 20 0 15 0 106376872 14427463680 19389 33554432000 4194304 4196468 140729098049984 140729098032528 140031912132343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
/proc/10972/statm: 3522330 19389 3359 1 0 3483524 0
[pid=10972/tid=10973] ppid=10970 vsize=14089320 memory=30408 CPUtime=0.67 cores=1,3,5,7
/proc/10972/task/10973/stat : 10973 (java) R 10970 10970 6529 0 -1 4202560 7080 0 0 0 64 3 0 0 20 0 15 0 106376872 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031916369632 140031904810357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10974] ppid=10970 vsize=14089320 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031842220688 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10975] ppid=10970 vsize=14089320 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031841167888 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10976] ppid=10970 vsize=14089320 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031840115088 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10977] ppid=10970 vsize=14089320 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10977/stat : 10977 (java) S 10970 10970 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106376873 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031504857360 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10978] ppid=10970 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10978/stat : 10978 (java) S 10970 10970 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106376874 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031386323824 140031912143490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10979] ppid=10970 vsize=14089320 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10979/stat : 10979 (java) S 10970 10970 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106376875 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031385269792 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10980] ppid=10970 vsize=14089320 memory=792 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10980/stat : 10980 (java) S 10970 10970 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106376875 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031384216944 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10981] ppid=10970 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10981/stat : 10981 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031383165264 140031912150939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10982] ppid=10970 vsize=14089320 memory=8556 CPUtime=0.17 cores=1,3,5,7
/proc/10972/task/10982/stat : 10982 (java) S 10970 10970 6529 0 -1 1077944384 1288 0 0 0 17 0 0 0 20 0 15 0 106376877 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031382112624 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10983] ppid=10970 vsize=14089320 memory=1444 CPUtime=0.17 cores=1,3,5,7
/proc/10972/task/10983/stat : 10983 (java) S 10970 10970 6529 0 -1 1077944384 881 0 0 0 17 0 0 0 20 0 15 0 106376877 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031381059824 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10984] ppid=10970 vsize=14089320 memory=5668 CPUtime=0.32 cores=1,3,5,7
/proc/10972/task/10984/stat : 10984 (java) S 10970 10970 6529 0 -1 1077944384 1958 0 0 0 32 0 0 0 20 0 15 0 106376877 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031380007024 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10985] ppid=10970 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10985/stat : 10985 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031378954464 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10986] ppid=10970 vsize=14089320 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10986/stat : 10986 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376878 14427463680 19389 33554432000 4194304 4196468 140729098049984 140031377902768 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 79008 KiB
[startup+1.50093 s]
/proc/loadavg: 2.01 1.86 1.94 5/217 10986
/proc/meminfo: memFree=25390104/32770624 swapFree=67108688/67108860
[pid=10970] ppid=10967 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10970/stat : 10970 (xcsp3-exec) S 10967 10970 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106376871 115843072 363 33554432000 4194304 5098028 140735918087712 140735918085816 139685071430268 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36388864 140735918093376 140735918093577 140735918093577 140735918096330 0
/proc/10970/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/10970/stat : 10970 (xcsp3-exec) S 10967 10970 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106376871 115843072 363 33554432000 4194304 5098028 140735918087712 140735918085816 139685071430268 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36388864 140735918093376 140735918093577 140735918093577 140735918096330 0
/proc/10970/statm: 28282 363 305 221 0 87 0
[pid=10972] ppid=10970 vsize=14091368 memory=98772 CPUtime=4.11 cores=1,3,5,7
/proc/10972/stat : 10972 (java) S 10970 10970 6529 0 -1 1077944320 21972 0 0 0 403 8 0 0 20 0 15 0 106376872 14429560832 24693 33554432000 4194304 4196468 140729098049984 140729098032528 140031912132343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
/proc/10972/statm: 3522842 24693 3370 1 0 3484036 0
[pid=10972/tid=10973] ppid=10970 vsize=14091368 memory=281259288898800 CPUtime=1.57 cores=1,3,5,7
/proc/10972/task/10973/stat : 10973 (java) R 10970 10970 6529 0 -1 4202560 8460 0 0 0 152 5 0 0 20 0 15 0 106376872 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031916363600 140031524944460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10974] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031842220688 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10975] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031841167888 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10976] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031840115088 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10977] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10977/stat : 10977 (java) S 10970 10970 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031504857360 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10978] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10978/stat : 10978 (java) S 10970 10970 6529 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 106376874 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031386323824 140031912143490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10979] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10979/stat : 10979 (java) S 10970 10970 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106376875 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031385269792 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10980] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10980/stat : 10980 (java) S 10970 10970 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106376875 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031384216944 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10981] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10981/stat : 10981 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031383165264 140031912150939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10982] ppid=10970 vsize=14091368 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/10972/task/10982/stat : 10982 (java) R 10970 10970 6529 0 -1 4202560 5466 0 0 0 99 0 0 0 20 0 15 0 106376877 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031382100064 140031897054264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10983] ppid=10970 vsize=14091368 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/10972/task/10983/stat : 10983 (java) R 10970 10970 6529 0 -1 4202560 4059 0 0 0 98 1 0 0 20 0 15 0 106376877 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031381045304 140031895632516 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10984] ppid=10970 vsize=14091368 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/10972/task/10984/stat : 10984 (java) S 10970 10970 6529 0 -1 1077944384 2654 0 0 0 51 1 0 0 20 0 15 0 106376877 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031380007024 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10985] ppid=10970 vsize=14091368 memory=281259288826368 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10985/stat : 10985 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031378954464 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10986] ppid=10970 vsize=14091368 memory=12848 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10986/stat : 10986 (java) S 10970 10970 6529 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106376878 14429560832 24693 33554432000 4194304 4196468 140729098049984 140031377902768 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 100224 KiB
[startup+2.00084 s]*
/proc/loadavg: 2.01 1.86 1.94 5/217 10986
/proc/meminfo: memFree=25374540/32770624 swapFree=67108688/67108860
[pid=10970] ppid=10967 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10970/stat : 10970 (xcsp3-exec) S 10967 10970 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106376871 115843072 363 33554432000 4194304 5098028 140735918087712 140735918085816 139685071430268 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36388864 140735918093376 140735918093577 140735918093577 140735918096330 0
/proc/10970/statm: 28282 363 305 221 0 87 0
[pid=10972] ppid=10970 vsize=14091368 memory=99256 CPUtime=5.35 cores=1,3,5,7
/proc/10972/stat : 10972 (java) S 10970 10970 6529 0 -1 1077944320 22957 0 0 0 527 8 0 0 20 0 15 0 106376872 14429560832 24814 33554432000 4194304 4196468 140729098049984 140729098032528 140031912132343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
/proc/10972/statm: 3522842 24814 3376 1 0 3484036 0
[pid=10972/tid=10973] ppid=10970 vsize=14091368 memory=6791534058613427641 CPUtime=1.98 cores=1,3,5,7
/proc/10972/task/10973/stat : 10973 (java) R 10970 10970 6529 0 -1 4202560 8483 0 0 0 193 5 0 0 20 0 15 0 106376872 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031916368560 140031525306311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10974] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031842220688 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10975] ppid=10970 vsize=14091368 memory=140629747218048 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031841167888 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10976] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031840115088 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10977] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10977/stat : 10977 (java) S 10970 10970 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031504857360 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10978] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10978/stat : 10978 (java) S 10970 10970 6529 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 106376874 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031386323824 140031912143490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10979] ppid=10970 vsize=14091368 memory=2628519985151 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10979/stat : 10979 (java) S 10970 10970 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106376875 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031385269792 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10980] ppid=10970 vsize=14091368 memory=281259289550944 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10980/stat : 10980 (java) S 10970 10970 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106376875 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031384216944 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10981] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10981/stat : 10981 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031383165264 140031912150939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10982] ppid=10970 vsize=14091368 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/10972/task/10982/stat : 10982 (java) R 10970 10970 6529 0 -1 4202560 5757 0 0 0 140 0 0 0 20 0 15 0 106376877 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031382101104 140031897242156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10983] ppid=10970 vsize=14091368 memory=-1 CPUtime=1.4 cores=1,3,5,7
/proc/10972/task/10983/stat : 10983 (java) R 10970 10970 6529 0 -1 4202560 4705 0 0 0 139 1 0 0 20 0 15 0 106376877 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031381046608 140031897061795 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10984] ppid=10970 vsize=14091368 memory=3474727335844179378 CPUtime=0.54 cores=1,3,5,7
/proc/10972/task/10984/stat : 10984 (java) R 10970 10970 6529 0 -1 1077944384 2679 0 0 0 53 1 0 0 20 0 15 0 106376877 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031380007024 140031912143490 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10985] ppid=10970 vsize=14091368 memory=3689327911136342832 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10985/stat : 10985 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031378954464 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10986] ppid=10970 vsize=14091368 memory=2319556243281603255 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10986/stat : 10986 (java) S 10970 10970 6529 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106376878 14429560832 24814 33554432000 4194304 4196468 140729098049984 140031377902768 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 100708 KiB
[startup+2.20084 s]
/proc/loadavg: 2.01 1.86 1.94 5/217 10986
/proc/meminfo: memFree=25374540/32770624 swapFree=67108688/67108860
[pid=10970] ppid=10967 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10970/stat : 10970 (xcsp3-exec) S 10967 10970 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106376871 115843072 363 33554432000 4194304 5098028 140735918087712 140735918085816 139685071430268 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36388864 140735918093376 140735918093577 140735918093577 140735918096330 0
/proc/10970/statm: 28282 363 305 221 0 87 0
[pid=10972] ppid=10970 vsize=14091368 memory=101608 CPUtime=5.91 cores=1,3,5,7
/proc/10972/stat : 10972 (java) S 10970 10970 6529 0 -1 1077944320 23247 0 0 0 583 8 0 0 20 0 15 0 106376872 14429560832 25402 33554432000 4194304 4196468 140729098049984 140729098032528 140031912132343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
/proc/10972/statm: 3522842 25402 3384 1 0 3484036 0
[pid=10972/tid=10973] ppid=10970 vsize=14091368 memory=13848594722167879 CPUtime=2.17 cores=1,3,5,7
/proc/10972/task/10973/stat : 10973 (java) R 10970 10970 6529 0 -1 4202560 8545 0 0 0 212 5 0 0 20 0 15 0 106376872 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031916369792 140031525568396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10974] ppid=10970 vsize=14091368 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031842220688 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10975] ppid=10970 vsize=14091368 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031841167888 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10976] ppid=10970 vsize=14091368 memory=8027223685274615916 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031840115088 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10977] ppid=10970 vsize=14091368 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10977/stat : 10977 (java) S 10970 10970 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031504857360 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10978] ppid=10970 vsize=14091368 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10978/stat : 10978 (java) S 10970 10970 6529 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 106376874 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031386323824 140031912143490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10979] ppid=10970 vsize=14091368 memory=7306316804797196914 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10979/stat : 10979 (java) S 10970 10970 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106376875 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031385269792 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10980] ppid=10970 vsize=14091368 memory=8027223685274615916 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10980/stat : 10980 (java) S 10970 10970 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106376875 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031384216944 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10981] ppid=10970 vsize=14091368 memory=8027223685274615916 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10981/stat : 10981 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031383165264 140031912150939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10982] ppid=10970 vsize=14091368 memory=0 CPUtime=1.57 cores=1,3,5,7
/proc/10972/task/10982/stat : 10982 (java) R 10970 10970 6529 0 -1 4202560 5886 0 0 0 157 0 0 0 20 0 15 0 106376877 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031382112624 140031891321802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10983] ppid=10970 vsize=14091368 memory=69604 CPUtime=1.59 cores=1,3,5,7
/proc/10972/task/10983/stat : 10983 (java) R 10970 10970 6529 0 -1 4202560 4773 0 0 0 158 1 0 0 20 0 15 0 106376877 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031381049536 140031896528799 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10984] ppid=10970 vsize=14091368 memory=2244 CPUtime=0.55 cores=1,3,5,7
/proc/10972/task/10984/stat : 10984 (java) S 10970 10970 6529 0 -1 1077944384 2707 0 0 0 54 1 0 0 20 0 15 0 106376877 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031380007024 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10985] ppid=10970 vsize=14091368 memory=2320815197295489073 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10985/stat : 10985 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031378954464 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10986] ppid=10970 vsize=14091368 memory=7649399388610572337 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10986/stat : 10986 (java) S 10970 10970 6529 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 106376878 14429560832 25402 33554432000 4194304 4196468 140729098049984 140031377902768 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 103060 KiB
[startup+2.30089 s]
/proc/loadavg: 2.01 1.86 1.94 5/217 10986
/proc/meminfo: memFree=25374540/32770624 swapFree=67108688/67108860
[pid=10970] ppid=10967 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10970/stat : 10970 (xcsp3-exec) S 10967 10970 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106376871 115843072 363 33554432000 4194304 5098028 140735918087712 140735918085816 139685071430268 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36388864 140735918093376 140735918093577 140735918093577 140735918096330 0
/proc/10970/statm: 28282 363 305 221 0 87 0
[pid=10972] ppid=10970 vsize=14091368 memory=102452 CPUtime=6.22 cores=1,3,5,7
/proc/10972/stat : 10972 (java) S 10970 10970 6529 0 -1 1077944320 23513 0 0 0 613 9 0 0 20 0 15 0 106376872 14429560832 25613 33554432000 4194304 4196468 140729098049984 140729098032528 140031912132343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
/proc/10972/statm: 3522842 25613 3384 1 0 3484036 0
[pid=10972/tid=10973] ppid=10970 vsize=14091368 memory=0 CPUtime=2.27 cores=1,3,5,7
/proc/10972/task/10973/stat : 10973 (java) R 10970 10970 6529 0 -1 4202560 8546 0 0 0 222 5 0 0 20 0 15 0 106376872 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031916369792 140031524195399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10974] ppid=10970 vsize=14091368 memory=99532 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031842220688 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10975] ppid=10970 vsize=14091368 memory=288230583166042425 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031841167888 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10976] ppid=10970 vsize=14091368 memory=16104758104558012 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (java) S 10970 10970 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031840115088 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10977] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10977/stat : 10977 (java) S 10970 10970 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106376873 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031504857360 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10978] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10978/stat : 10978 (java) S 10970 10970 6529 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 106376874 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031386323824 140031912143490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10979] ppid=10970 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10979/stat : 10979 (java) S 10970 10970 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106376875 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031385269792 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10980] ppid=10970 vsize=14091368 memory=98704 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10980/stat : 10980 (java) S 10970 10970 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106376875 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031384216944 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10981] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10981/stat : 10981 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031383165264 140031912150939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10982] ppid=10970 vsize=14091368 memory=0 CPUtime=1.67 cores=1,3,5,7
/proc/10972/task/10982/stat : 10982 (java) R 10970 10970 6529 0 -1 4202560 5904 0 0 0 167 0 0 0 20 0 15 0 106376877 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031382112624 140031895631317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10983] ppid=10970 vsize=14091368 memory=0 CPUtime=1.69 cores=1,3,5,7
/proc/10972/task/10983/stat : 10983 (java) R 10970 10970 6529 0 -1 4202560 5020 0 0 0 168 1 0 0 20 0 15 0 106376877 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031381049536 140031893676570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10984] ppid=10970 vsize=14091368 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/10972/task/10984/stat : 10984 (java) S 10970 10970 6529 0 -1 1077944384 2707 0 0 0 54 1 0 0 20 0 15 0 106376877 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031380007024 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10985] ppid=10970 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10985/stat : 10985 (java) S 10970 10970 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106376877 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031378954464 140031912142549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
[pid=10972/tid=10986] ppid=10970 vsize=14091368 memory=281259288892192 CPUtime=0 cores=1,3,5,7
/proc/10972/task/10986/stat : 10986 (java) S 10970 10970 6529 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 106376878 14429560832 25613 33554432000 4194304 4196468 140729098049984 140031377902768 140031912143490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23744512 140729098052748 140729098052918 140729098052918 140729098055631 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 103904 KiB
Child status: 0
Real time (s): 2.39446
CPU time (s): 6.41119
CPU user time (s): 6.31296
CPU system time (s): 0.098226
CPU usage (%): 267.75
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 103904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.31296
system time used= 0.098226
maximum resident set size= 108432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2628
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 10970
# total CPU time (s): 6.41119
# total CPU user time (s): 6.31296
# total CPU system time (s): 0.098226
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039928 second user time and 0.069143 second system time
The end