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 (9640 MiB free)
memory of node 1: 16384 MiB (12659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302140-1532888901/watcher-4302140-1532888901 -o /tmp/evaluation-result-4302140-1532888901/solver-4302140-1532888901 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 117022179 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302140-1532888901.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
Current StackSize limit: 8192 KiB
solver pid=15887, runsolver pid=15884
[startup+0.100146 s]*
/proc/loadavg: 1.71 1.86 1.85 5/217 15903
/proc/meminfo: memFree=22817308/32770624 swapFree=67108860/67108860
[pid=15887] ppid=15884 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15887/stat : 15887 (xcsp3-exec) S 15884 15887 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106453312 115843072 364 33554432000 4194304 5098028 140735647180032 140735647178136 139679849865852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11563008 140735647188033 140735647188233 140735647188233 140735647190986 0
/proc/15887/statm: 28282 364 306 221 0 87 0
[pid=15889] ppid=15887 vsize=14082940 memory=29104 CPUtime=0.12 cores=1,3,5,7
/proc/15889/stat : 15889 (java) S 15887 15887 6396 0 -1 1077944320 5702 0 0 0 11 1 0 0 20 0 15 0 106453313 14420930560 7276 33554432000 4194304 4196468 140727228304880 140727228287424 140384751804151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
/proc/15889/statm: 3520735 7276 2996 1 0 3483012 0
[pid=15889/tid=15890] ppid=15887 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/15889/task/15890/stat : 15890 (java) R 15887 15887 6396 0 -1 4202560 3714 0 0 0 8 1 0 0 20 0 15 0 106453313 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384756036080 140384751816086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15891] ppid=15887 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15891/stat : 15891 (java) S 15887 15887 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106453314 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384704424976 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15892] ppid=15887 vsize=14082940 memory=139791126603392 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15892/stat : 15892 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384703372432 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15893] ppid=15887 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15893/stat : 15893 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384702319376 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15894] ppid=15887 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15894/stat : 15894 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384701266832 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15895] ppid=15887 vsize=14082940 memory=139791126603392 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15895/stat : 15895 (java) S 15887 15887 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106453315 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384315689200 140384751815298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15896] ppid=15887 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15896/stat : 15896 (java) S 15887 15887 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106453316 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384314635424 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15897] ppid=15887 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15897/stat : 15897 (java) S 15887 15887 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106453316 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384313582320 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15898] ppid=15887 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15898/stat : 15898 (java) S 15887 15887 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106453318 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384312530896 140384751822747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15899] ppid=15887 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15899/stat : 15899 (java) S 15887 15887 6396 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 106453318 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384311479024 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15900] ppid=15887 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15900/stat : 15900 (java) S 15887 15887 6396 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 106453318 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384310426480 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15901] ppid=15887 vsize=14082940 memory=139791126603392 CPUtime=0.01 cores=1,3,5,7
/proc/15889/task/15901/stat : 15901 (java) R 15887 15887 6396 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 106453318 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384309373424 140384751816086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15902] ppid=15887 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15902/stat : 15902 (java) S 15887 15887 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106453318 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384308321120 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15903] ppid=15887 vsize=14082940 memory=139791126603392 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15903/stat : 15903 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453319 14420930560 7276 33554432000 4194304 4196468 140727228304880 140384307268144 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30560 KiB
[startup+0.210561 s]*
/proc/loadavg: 1.71 1.86 1.85 5/217 15903
/proc/meminfo: memFree=22807004/32770624 swapFree=67108860/67108860
[pid=15887] ppid=15884 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15887/stat : 15887 (xcsp3-exec) S 15884 15887 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106453312 115843072 364 33554432000 4194304 5098028 140735647180032 140735647178136 139679849865852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11563008 140735647188033 140735647188233 140735647188233 140735647190986 0
/proc/15887/statm: 28282 364 306 221 0 87 0
[pid=15889] ppid=15887 vsize=14082940 memory=40976 CPUtime=0.34 cores=1,3,5,7
/proc/15889/stat : 15889 (java) S 15887 15887 6396 0 -1 1077944320 8308 0 0 0 32 2 0 0 20 0 15 0 106453313 14420930560 10244 33554432000 4194304 4196468 140727228304880 140727228287424 140384751804151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
/proc/15889/statm: 3520735 10244 3174 1 0 3483012 0
[pid=15889/tid=15890] ppid=15887 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/15889/task/15890/stat : 15890 (java) D 15887 15887 6396 0 -1 1077944384 5457 0 0 0 18 1 0 0 20 0 15 0 106453313 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384756028136 140384744482165 0 4 0 16800975 18446744072101703204 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15891] ppid=15887 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15891/stat : 15891 (java) S 15887 15887 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106453314 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384704424976 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15892] ppid=15887 vsize=14082940 memory=139791127240011 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15892/stat : 15892 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384703372432 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15893] ppid=15887 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15893/stat : 15893 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384702319376 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15894] ppid=15887 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15894/stat : 15894 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384701266832 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15895] ppid=15887 vsize=14082940 memory=139791126603392 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15895/stat : 15895 (java) S 15887 15887 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106453315 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384315689200 140384751815298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15896] ppid=15887 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15896/stat : 15896 (java) S 15887 15887 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106453316 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384314635424 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15897] ppid=15887 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15897/stat : 15897 (java) S 15887 15887 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106453316 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384313582320 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15898] ppid=15887 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15898/stat : 15898 (java) S 15887 15887 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106453318 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384312530896 140384751822747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15899] ppid=15887 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15889/task/15899/stat : 15899 (java) S 15887 15887 6396 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 106453318 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384311479024 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15900] ppid=15887 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15889/task/15900/stat : 15900 (java) S 15887 15887 6396 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 15 0 106453318 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384310426480 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15901] ppid=15887 vsize=14082940 memory=139791126603392 CPUtime=0.08 cores=1,3,5,7
/proc/15889/task/15901/stat : 15901 (java) S 15887 15887 6396 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 106453318 14420930560 10244 33554432000 4194304 4196468 140727228304880 140384309373424 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15902] ppid=15887 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15902/stat : 15902 (java) S 15887 15887 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106453318 14420963328 10308 33554432000 4194304 4196468 140727228304880 140384308321120 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15903] ppid=15887 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15903/stat : 15903 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453319 14420963328 10308 33554432000 4194304 4196468 140727228304880 140384307268144 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42432 KiB
[startup+0.310279 s]*
/proc/loadavg: 1.71 1.86 1.85 4/217 15903
/proc/meminfo: memFree=22799808/32770624 swapFree=67108860/67108860
[pid=15887] ppid=15884 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15887/stat : 15887 (xcsp3-exec) S 15884 15887 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106453312 115843072 364 33554432000 4194304 5098028 140735647180032 140735647178136 139679849865852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11563008 140735647188033 140735647188233 140735647188233 140735647190986 0
/proc/15887/statm: 28282 364 306 221 0 87 0
[pid=15889] ppid=15887 vsize=14087196 memory=48392 CPUtime=0.53 cores=1,3,5,7
/proc/15889/stat : 15889 (java) S 15887 15887 6396 0 -1 1077944320 9221 0 0 0 50 3 0 0 20 0 15 0 106453313 14425288704 12098 33554432000 4194304 4196468 140727228304880 140727228287424 140384751804151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
/proc/15889/statm: 3521799 12098 3262 1 0 3483012 0
[pid=15889/tid=15890] ppid=15887 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/15889/task/15890/stat : 15890 (java) R 15887 15887 6396 0 -1 4202560 6174 0 0 0 28 2 0 0 20 0 15 0 106453313 14425288704 12098 33554432000 4194304 4196468 140727228304880 140384756038544 140384735884638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15891] ppid=15887 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15891/stat : 15891 (java) S 15887 15887 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106453314 14425288704 12098 33554432000 4194304 4196468 140727228304880 140384704424976 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15892] ppid=15887 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15892/stat : 15892 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14425288704 12098 33554432000 4194304 4196468 140727228304880 140384703372432 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15893] ppid=15887 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15893/stat : 15893 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14425288704 12098 33554432000 4194304 4196468 140727228304880 140384702319376 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15894] ppid=15887 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15894/stat : 15894 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14425288704 12098 33554432000 4194304 4196468 140727228304880 140384701266832 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15895] ppid=15887 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15895/stat : 15895 (java) S 15887 15887 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106453315 14425288704 12098 33554432000 4194304 4196468 140727228304880 140384315689200 140384751815298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15896] ppid=15887 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15896/stat : 15896 (java) S 15887 15887 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106453316 14425288704 12098 33554432000 4194304 4196468 140727228304880 140384314635424 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15897] ppid=15887 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15897/stat : 15897 (java) S 15887 15887 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106453316 14425288704 12098 33554432000 4194304 4196468 140727228304880 140384313582320 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15898] ppid=15887 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15898/stat : 15898 (java) S 15887 15887 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106453318 14425288704 12098 33554432000 4194304 4196468 140727228304880 140384312530896 140384751822747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15899] ppid=15887 vsize=14087196 memory=4628975386420216973 CPUtime=0.04 cores=1,3,5,7
/proc/15889/task/15899/stat : 15899 (java) S 15887 15887 6396 0 -1 1077944384 367 0 0 0 4 0 0 0 20 0 15 0 106453318 14425288704 12098 33554432000 4194304 4196468 140727228304880 140384311479024 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15900] ppid=15887 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15889/task/15900/stat : 15900 (java) S 15887 15887 6396 0 -1 1077944384 545 0 0 0 5 0 0 0 20 0 15 0 106453318 14425288704 12106 33554432000 4194304 4196468 140727228304880 140384310426480 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15901] ppid=15887 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15889/task/15901/stat : 15901 (java) S 15887 15887 6396 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 15 0 106453318 14425288704 12106 33554432000 4194304 4196468 140727228304880 140384309373424 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15902] ppid=15887 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15902/stat : 15902 (java) S 15887 15887 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106453318 14425288704 12106 33554432000 4194304 4196468 140727228304880 140384308321120 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15903] ppid=15887 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15903/stat : 15903 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453319 14425288704 12106 33554432000 4194304 4196468 140727228304880 140384307268144 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49848 KiB
[startup+0.647019 s]
# the end of solver process 15887 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.33703 s, system=0.055104 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410384 s]*
/proc/loadavg: 1.71 1.86 1.85 4/217 15903
/proc/meminfo: memFree=22792860/32770624 swapFree=67108860/67108860
[pid=15887] ppid=15884 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15887/stat : 15887 (xcsp3-exec) S 15884 15887 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106453312 115843072 364 33554432000 4194304 5098028 140735647180032 140735647178136 139679849865852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11563008 140735647188033 140735647188233 140735647188233 140735647190986 0
/proc/15887/statm: 28282 364 306 221 0 87 0
[pid=15889] ppid=15887 vsize=14089320 memory=55100 CPUtime=0.72 cores=1,3,5,7
/proc/15889/stat : 15889 (java) S 15887 15887 6396 0 -1 1077944320 9918 0 0 0 69 3 0 0 20 0 15 0 106453313 14427463680 13775 33554432000 4194304 4196468 140727228304880 140727228287424 140384751804151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
/proc/15889/statm: 3522330 13775 3287 1 0 3483524 0
[pid=15889/tid=15890] ppid=15887 vsize=14089320 memory=7883960649037381690 CPUtime=0.39 cores=1,3,5,7
/proc/15889/task/15890/stat : 15890 (java) R 15887 15887 6396 0 -1 4202560 6619 0 0 0 37 2 0 0 20 0 15 0 106453313 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384756041584 140384735884638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15891] ppid=15887 vsize=14089320 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15891/stat : 15891 (java) S 15887 15887 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106453314 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384704424976 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15892] ppid=15887 vsize=14089320 memory=139791127240011 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15892/stat : 15892 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384703372432 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15893] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15893/stat : 15893 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384702319376 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15894] ppid=15887 vsize=14089320 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15894/stat : 15894 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384701266832 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15895] ppid=15887 vsize=14089320 memory=139791126603392 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15895/stat : 15895 (java) S 15887 15887 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106453315 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384315689200 140384751815298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15896] ppid=15887 vsize=14089320 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15896/stat : 15896 (java) S 15887 15887 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106453316 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384314635424 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15897] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15897/stat : 15897 (java) S 15887 15887 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106453316 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384313582320 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15898] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15898/stat : 15898 (java) S 15887 15887 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106453318 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384312530896 140384751822747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15899] ppid=15887 vsize=14089320 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15889/task/15899/stat : 15899 (java) R 15887 15887 6396 0 -1 1077944384 389 0 0 0 5 0 0 0 20 0 15 0 106453318 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384311479024 140384751815298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15900] ppid=15887 vsize=14089320 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15889/task/15900/stat : 15900 (java) R 15887 15887 6396 0 -1 4202560 567 0 0 0 7 0 0 0 20 0 15 0 106453318 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384310426480 140384744789193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15901] ppid=15887 vsize=14089320 memory=139791126603392 CPUtime=0.18 cores=1,3,5,7
/proc/15889/task/15901/stat : 15901 (java) R 15887 15887 6396 0 -1 4202560 1042 0 0 0 18 0 0 0 20 0 15 0 106453318 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384309373424 140384735884638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15902] ppid=15887 vsize=14089320 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15902/stat : 15902 (java) S 15887 15887 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106453318 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384308321120 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15903] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15903/stat : 15903 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453319 14427463680 13775 33554432000 4194304 4196468 140727228304880 140384307268144 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 56556 KiB
[startup+0.610684 s]
/proc/loadavg: 1.71 1.86 1.85 5/217 15903
/proc/meminfo: memFree=22783308/32770624 swapFree=67108860/67108860
[pid=15887] ppid=15884 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15887/stat : 15887 (xcsp3-exec) S 15884 15887 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106453312 115843072 364 33554432000 4194304 5098028 140735647180032 140735647178136 139679849865852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11563008 140735647188033 140735647188233 140735647188233 140735647190986 0
/proc/15887/statm: 28282 364 306 221 0 87 0
[pid=15889] ppid=15887 vsize=14089320 memory=68320 CPUtime=1.29 cores=1,3,5,7
/proc/15889/stat : 15889 (java) S 15887 15887 6396 0 -1 1077944320 11745 0 0 0 125 4 0 0 20 0 15 0 106453313 14427463680 17080 33554432000 4194304 4196468 140727228304880 140727228287424 140384751804151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
/proc/15889/statm: 3522330 17080 3358 1 0 3483524 0
[pid=15889/tid=15890] ppid=15887 vsize=14089320 memory=14134428972616243 CPUtime=0.58 cores=1,3,5,7
/proc/15889/task/15890/stat : 15890 (java) R 15887 15887 6396 0 -1 4202560 7084 0 0 0 56 2 0 0 20 0 15 0 106453313 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384756042336 140384751825981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15891] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15891/stat : 15891 (java) S 15887 15887 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106453314 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384704424976 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15892] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15892/stat : 15892 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384703372432 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15893] ppid=15887 vsize=14089320 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15893/stat : 15893 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384702319376 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15894] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15894/stat : 15894 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453314 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384701266832 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15895] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15895/stat : 15895 (java) S 15887 15887 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106453315 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384315689200 140384751815298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15896] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15896/stat : 15896 (java) S 15887 15887 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106453316 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384314635424 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15897] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15897/stat : 15897 (java) S 15887 15887 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106453316 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384313582320 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15898] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15898/stat : 15898 (java) S 15887 15887 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106453318 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384312530896 140384751822747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15899] ppid=15887 vsize=14089320 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/15889/task/15899/stat : 15899 (java) R 15887 15887 6396 0 -1 4202560 818 0 0 0 18 0 0 0 20 0 15 0 106453318 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384311464176 140384736914112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15900] ppid=15887 vsize=14089320 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/15889/task/15900/stat : 15900 (java) R 15887 15887 6396 0 -1 4202560 995 0 0 0 18 0 0 0 20 0 15 0 106453318 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384310413264 140384733177670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15901] ppid=15887 vsize=14089320 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/15889/task/15901/stat : 15901 (java) R 15887 15887 6396 0 -1 4202560 1544 0 0 0 31 0 0 0 20 0 15 0 106453318 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384309369184 140384744900987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15902] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15902/stat : 15902 (java) S 15887 15887 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106453318 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384308321120 140384751814357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
[pid=15889/tid=15903] ppid=15887 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15889/task/15903/stat : 15903 (java) S 15887 15887 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106453319 14427463680 17080 33554432000 4194304 4196468 140727228304880 140384307268144 140384751815298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17625088 140727228310668 140727228310838 140727228310838 140727228313551 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 69776 KiB
Child status: 0
Real time (s): 0.647059
CPU time (s): 1.39213
CPU user time (s): 1.33703
CPU system time (s): 0.055104
CPU usage (%): 215.147
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 69776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.33702
system time used= 0.055104
maximum resident set size= 71044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12366
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= 1683
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 15887
# total CPU time (s): 1.39213
# total CPU user time (s): 1.33703
# total CPU system time (s): 0.055104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021595 second user time and 0.052384 second system time
The end