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 (9113 MiB free)
memory of node 1: 16384 MiB (7405 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306761-1534114923/watcher-4306761-1534114923 -o /tmp/evaluation-result-4306761-1534114923/solver-4306761-1534114923 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534098559-28100 --watchdog 2580 HOME/xcsp3-exec -seed 1076016690 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306761-1534114923.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30437, runsolver pid=30434
[startup+0.10017 s]*
/proc/loadavg: 2.11 2.08 2.02 3/223 30453
/proc/meminfo: memFree=16900688/32770624 swapFree=67108852/67108860
[pid=30437] ppid=30434 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30437/stat : 30437 (xcsp3-exec) S 30434 30437 28069 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 229055481 115843072 364 33554432000 4194304 5098028 140720576067984 140720576066088 140252873597564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39149568 140720576074810 140720576075012 140720576075012 140720576077770 0
/proc/30437/statm: 28282 364 306 221 0 87 0
[pid=30439] ppid=30437 vsize=14082940 memory=27372 CPUtime=0.12 cores=0,2,4,6
/proc/30439/stat : 30439 (java) S 30437 30437 28069 0 -1 1077944320 5705 0 0 0 11 1 0 0 20 0 15 0 229055481 14420930560 6843 33554432000 4194304 4196468 140731506516976 140731506499520 140620411825911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
/proc/30439/statm: 3520735 6843 3035 1 0 3483012 0
[pid=30439/tid=30440] ppid=30437 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/30439/task/30440/stat : 30440 (java) R 30437 30437 28069 0 -1 4202560 3666 0 0 0 9 0 0 0 20 0 15 0 229055481 14420930560 6843 33554432000 4194304 4196468 140731506516976 140620416055088 140620411837846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30441] ppid=30437 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30441/stat : 30441 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14420930560 6843 33554432000 4194304 4196468 140731506516976 140620007840016 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30442] ppid=30437 vsize=14082940 memory=140496973149824 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30442/stat : 30442 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14420930560 6843 33554432000 4194304 4196468 140731506516976 140620006787472 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30443] ppid=30437 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30443/stat : 30443 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14420930560 6843 33554432000 4194304 4196468 140731506516976 140620005734928 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30444] ppid=30437 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30444/stat : 30444 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14420930560 6843 33554432000 4194304 4196468 140731506516976 140620004682384 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30445] ppid=30437 vsize=14082940 memory=140496973149824 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30445/stat : 30445 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055483 14420930560 6843 33554432000 4194304 4196468 140731506516976 140619592681968 140620411837058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30446] ppid=30437 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30446/stat : 30446 (java) S 30437 30437 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229055484 14420930560 6843 33554432000 4194304 4196468 140731506516976 140619591628192 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30447] ppid=30437 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30447/stat : 30447 (java) S 30437 30437 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229055484 14420930560 6843 33554432000 4194304 4196468 140731506516976 140619590575600 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30448] ppid=30437 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30448/stat : 30448 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055486 14420930560 6843 33554432000 4194304 4196468 140731506516976 140619589524176 140620411844507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30449] ppid=30437 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30449/stat : 30449 (java) S 30437 30437 28069 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 229055486 14420930560 6843 33554432000 4194304 4196468 140731506516976 140619588470768 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30450] ppid=30437 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30450/stat : 30450 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055487 14420930560 6843 33554432000 4194304 4196468 140731506516976 140619587418224 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30451] ppid=30437 vsize=14082940 memory=140496973149824 CPUtime=0.01 cores=0,2,4,6
/proc/30439/task/30451/stat : 30451 (java) R 30437 30437 28069 0 -1 4202560 314 0 0 0 1 0 0 0 20 0 15 0 229055487 14420930560 6843 33554432000 4194304 4196468 140731506516976 140619586365680 140620395991700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30452] ppid=30437 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30452/stat : 30452 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055487 14420930560 6843 33554432000 4194304 4196468 140731506516976 140619585313376 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30453] ppid=30437 vsize=14082940 memory=140496973149824 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30453/stat : 30453 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055487 14420930560 6843 33554432000 4194304 4196468 140731506516976 140619584260912 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 28828 KiB
[startup+0.213563 s]*
/proc/loadavg: 2.11 2.08 2.02 3/223 30453
/proc/meminfo: memFree=16888896/32770624 swapFree=67108852/67108860
[pid=30437] ppid=30434 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30437/stat : 30437 (xcsp3-exec) S 30434 30437 28069 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 229055481 115843072 364 33554432000 4194304 5098028 140720576067984 140720576066088 140252873597564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39149568 140720576074810 140720576075012 140720576075012 140720576077770 0
/proc/30437/statm: 28282 364 306 221 0 87 0
[pid=30439] ppid=30437 vsize=14082940 memory=39980 CPUtime=0.35 cores=0,2,4,6
/proc/30439/stat : 30439 (java) S 30437 30437 28069 0 -1 1077944320 8579 0 0 0 33 2 0 0 20 0 15 0 229055481 14420930560 9995 33554432000 4194304 4196468 140731506516976 140731506499520 140620411825911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
/proc/30439/statm: 3520735 9995 3182 1 0 3483012 0
[pid=30439/tid=30440] ppid=30437 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30439/task/30440/stat : 30440 (java) R 30437 30437 28069 0 -1 4202560 5528 0 0 0 19 1 0 0 20 0 15 0 229055481 14420930560 10059 33554432000 4194304 4196468 140731506516976 140620416060448 140620395906398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30441] ppid=30437 vsize=14082940 memory=14649 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30441/stat : 30441 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14420930560 10059 33554432000 4194304 4196468 140731506516976 140620007840016 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30442] ppid=30437 vsize=14082940 memory=288370873124861568 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30442/stat : 30442 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14420930560 10059 33554432000 4194304 4196468 140731506516976 140620006787472 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30443] ppid=30437 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30443/stat : 30443 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14420930560 10059 33554432000 4194304 4196468 140731506516976 140620005734928 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30444] ppid=30437 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30444/stat : 30444 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14420930560 10059 33554432000 4194304 4196468 140731506516976 140620004682384 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30445] ppid=30437 vsize=14082940 memory=140496973149824 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30445/stat : 30445 (java) S 30437 30437 28069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229055483 14420930560 10059 33554432000 4194304 4196468 140731506516976 140619592681968 140620411837058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30446] ppid=30437 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30446/stat : 30446 (java) S 30437 30437 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229055484 14420930560 10059 33554432000 4194304 4196468 140731506516976 140619591628192 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30447] ppid=30437 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30447/stat : 30447 (java) S 30437 30437 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229055484 14420930560 10059 33554432000 4194304 4196468 140731506516976 140619590575600 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30448] ppid=30437 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30448/stat : 30448 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055486 14420930560 10059 33554432000 4194304 4196468 140731506516976 140619589524176 140620411844507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30449] ppid=30437 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30439/task/30449/stat : 30449 (java) S 30437 30437 28069 0 -1 1077944384 636 0 0 0 2 0 0 0 20 0 15 0 229055486 14420930560 10059 33554432000 4194304 4196468 140731506516976 140619588470768 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30450] ppid=30437 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30439/task/30450/stat : 30450 (java) S 30437 30437 28069 0 -1 1077944384 180 0 0 0 2 0 0 0 20 0 15 0 229055487 14420930560 10059 33554432000 4194304 4196468 140731506516976 140619587418224 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30451] ppid=30437 vsize=14082940 memory=140496973149824 CPUtime=0.08 cores=0,2,4,6
/proc/30439/task/30451/stat : 30451 (java) S 30437 30437 28069 0 -1 1077944384 929 0 0 0 8 0 0 0 20 0 15 0 229055487 14420930560 10059 33554432000 4194304 4196468 140731506516976 140619586365680 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30452] ppid=30437 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30452/stat : 30452 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055487 14420930560 10059 33554432000 4194304 4196468 140731506516976 140619585313376 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30453] ppid=30437 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30453/stat : 30453 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055487 14420930560 10059 33554432000 4194304 4196468 140731506516976 140619584260912 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41436 KiB
[startup+0.310637 s]*
/proc/loadavg: 2.11 2.08 2.02 4/223 30453
/proc/meminfo: memFree=16882444/32770624 swapFree=67108852/67108860
[pid=30437] ppid=30434 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30437/stat : 30437 (xcsp3-exec) S 30434 30437 28069 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 229055481 115843072 364 33554432000 4194304 5098028 140720576067984 140720576066088 140252873597564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39149568 140720576074810 140720576075012 140720576075012 140720576077770 0
/proc/30437/statm: 28282 364 306 221 0 87 0
[pid=30439] ppid=30437 vsize=14087196 memory=47012 CPUtime=0.54 cores=0,2,4,6
/proc/30439/stat : 30439 (java) S 30437 30437 28069 0 -1 1077944320 9487 0 0 0 51 3 0 0 20 0 15 0 229055481 14425288704 11753 33554432000 4194304 4196468 140731506516976 140731506499520 140620411825911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
/proc/30439/statm: 3521799 11753 3249 1 0 3483012 0
[pid=30439/tid=30440] ppid=30437 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30439/task/30440/stat : 30440 (java) R 30437 30437 28069 0 -1 4202560 6166 0 0 0 28 1 0 0 20 0 15 0 229055481 14425288704 11809 33554432000 4194304 4196468 140731506516976 140620416057024 140620411847837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30441] ppid=30437 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30441/stat : 30441 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14425288704 11809 33554432000 4194304 4196468 140731506516976 140620007840016 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30442] ppid=30437 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30442/stat : 30442 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14425288704 11809 33554432000 4194304 4196468 140731506516976 140620006787472 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30443] ppid=30437 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30443/stat : 30443 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14425288704 11809 33554432000 4194304 4196468 140731506516976 140620005734928 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30444] ppid=30437 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30444/stat : 30444 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14425288704 11809 33554432000 4194304 4196468 140731506516976 140620004682384 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30445] ppid=30437 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30445/stat : 30445 (java) S 30437 30437 28069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229055483 14425288704 11809 33554432000 4194304 4196468 140731506516976 140619592681968 140620411837058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30446] ppid=30437 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30446/stat : 30446 (java) S 30437 30437 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229055484 14425288704 11809 33554432000 4194304 4196468 140731506516976 140619591628192 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30447] ppid=30437 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30447/stat : 30447 (java) S 30437 30437 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229055484 14425288704 11809 33554432000 4194304 4196468 140731506516976 140619590575600 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30448] ppid=30437 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30448/stat : 30448 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055486 14425288704 11809 33554432000 4194304 4196468 140731506516976 140619589524176 140620411844507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30449] ppid=30437 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/30439/task/30449/stat : 30449 (java) S 30437 30437 28069 0 -1 1077944384 660 0 0 0 4 0 0 0 20 0 15 0 229055486 14425288704 11809 33554432000 4194304 4196468 140731506516976 140619588470768 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30450] ppid=30437 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30439/task/30450/stat : 30450 (java) R 30437 30437 28069 0 -1 4202560 269 0 0 0 4 0 0 0 20 0 15 0 229055487 14425288704 11809 33554432000 4194304 4196468 140731506516976 140619587418224 140620391072678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30451] ppid=30437 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30439/task/30451/stat : 30451 (java) S 30437 30437 28069 0 -1 1077944384 1082 0 0 0 12 0 0 0 20 0 15 0 229055487 14425288704 11809 33554432000 4194304 4196468 140731506516976 140619586365680 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30452] ppid=30437 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30452/stat : 30452 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055487 14425288704 11809 33554432000 4194304 4196468 140731506516976 140619585313376 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30453] ppid=30437 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30453/stat : 30453 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055487 14425288704 11809 33554432000 4194304 4196468 140731506516976 140619584260912 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48468 KiB
[startup+0.70261 s]
/proc/loadavg: 2.11 2.08 2.02 5/223 30453
/proc/meminfo: memFree=16860052/32770624 swapFree=67108852/67108860
[pid=30437] ppid=30434 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30437/stat : 30437 (xcsp3-exec) S 30434 30437 28069 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 229055481 115843072 364 33554432000 4194304 5098028 140720576067984 140720576066088 140252873597564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39149568 140720576074810 140720576075012 140720576075012 140720576077770 0
/proc/30437/statm: 28282 364 306 221 0 87 0
[pid=30439] ppid=30437 vsize=14089320 memory=88724 CPUtime=1.8 cores=0,2,4,6
/proc/30439/stat : 30439 (java) S 30437 30437 28069 0 -1 1077944320 14368 0 0 0 176 4 0 0 20 0 15 0 229055481 14427463680 22181 33554432000 4194304 4196468 140731506516976 140731506499520 140620411825911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
/proc/30439/statm: 3522330 22181 3360 1 0 3483524 0
[pid=30439/tid=30440] ppid=30437 vsize=14089320 memory=1828 CPUtime=0.67 cores=0,2,4,6
/proc/30439/task/30440/stat : 30440 (java) R 30437 30437 28069 0 -1 4202560 7107 0 0 0 65 2 0 0 20 0 15 0 229055481 14427463680 22181 33554432000 4194304 4196468 140731506516976 140620416062032 140620053155040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30441] ppid=30437 vsize=14089320 memory=792 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30441/stat : 30441 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 22181 33554432000 4194304 4196468 140731506516976 140620007840016 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30442] ppid=30437 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30442/stat : 30442 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 22181 33554432000 4194304 4196468 140731506516976 140620006787472 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30443] ppid=30437 vsize=14089320 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30443/stat : 30443 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 22181 33554432000 4194304 4196468 140731506516976 140620005734928 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30444] ppid=30437 vsize=14089320 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30444/stat : 30444 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 22181 33554432000 4194304 4196468 140731506516976 140620004682384 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30445] ppid=30437 vsize=14089320 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30445/stat : 30445 (java) S 30437 30437 28069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229055483 14427463680 22181 33554432000 4194304 4196468 140731506516976 140619592681968 140620411837058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30446] ppid=30437 vsize=14089320 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30446/stat : 30446 (java) S 30437 30437 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229055484 14427463680 22181 33554432000 4194304 4196468 140731506516976 140619591628192 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30447] ppid=30437 vsize=14089320 memory=968 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30447/stat : 30447 (java) S 30437 30437 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229055484 14427463680 22181 33554432000 4194304 4196468 140731506516976 140619590575600 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30448] ppid=30437 vsize=14089320 memory=12144 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30448/stat : 30448 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055486 14427463680 22181 33554432000 4194304 4196468 140731506516976 140619589524176 140620411844507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30449] ppid=30437 vsize=14089320 memory=1712 CPUtime=0.31 cores=0,2,4,6
/proc/30439/task/30449/stat : 30449 (java) R 30437 30437 28069 0 -1 4202560 1685 0 0 0 31 0 0 0 20 0 15 0 229055486 14427463680 22181 33554432000 4194304 4196468 140731506516976 140619588456736 140620395326314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30450] ppid=30437 vsize=14089320 memory=8812 CPUtime=0.37 cores=0,2,4,6
/proc/30439/task/30450/stat : 30450 (java) R 30437 30437 28069 0 -1 4202560 1957 0 0 0 37 0 0 0 20 0 15 0 229055487 14427463680 22181 33554432000 4194304 4196468 140731506516976 140619587404248 140620391519011 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30451] ppid=30437 vsize=14089320 memory=4576 CPUtime=0.4 cores=0,2,4,6
/proc/30439/task/30451/stat : 30451 (java) R 30437 30437 28069 0 -1 4202560 2309 0 0 0 40 0 0 0 20 0 15 0 229055487 14427463680 22181 33554432000 4194304 4196468 140731506516976 140619586365680 140620390795053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30452] ppid=30437 vsize=14089320 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30452/stat : 30452 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055487 14427463680 22181 33554432000 4194304 4196468 140731506516976 140619585313376 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30453] ppid=30437 vsize=14089320 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30453/stat : 30453 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055487 14427463680 22181 33554432000 4194304 4196468 140731506516976 140619584260912 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 90180 KiB
[startup+1.50085 s]
/proc/loadavg: 2.11 2.08 2.02 5/223 30453
/proc/meminfo: memFree=16815824/32770624 swapFree=67108852/67108860
[pid=30437] ppid=30434 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30437/stat : 30437 (xcsp3-exec) S 30434 30437 28069 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 229055481 115843072 364 33554432000 4194304 5098028 140720576067984 140720576066088 140252873597564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39149568 140720576074810 140720576075012 140720576075012 140720576077770 0
/proc/30437/statm: 28282 364 306 221 0 87 0
[pid=30439] ppid=30437 vsize=14089320 memory=118876 CPUtime=4.18 cores=0,2,4,6
/proc/30439/stat : 30439 (java) S 30437 30437 28069 0 -1 1077944320 23443 0 0 0 413 5 0 0 20 0 15 0 229055481 14427463680 29719 33554432000 4194304 4196468 140731506516976 140731506499520 140620411825911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
/proc/30439/statm: 3522330 29719 3379 1 0 3483524 0
[pid=30439/tid=30440] ppid=30437 vsize=14089320 memory=6944656592452807320 CPUtime=1.47 cores=0,2,4,6
/proc/30439/task/30440/stat : 30440 (java) R 30437 30437 28069 0 -1 4202560 7478 0 0 0 145 2 0 0 20 0 15 0 229055481 14427463680 29719 33554432000 4194304 4196468 140731506516976 140620416063304 140620055565995 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30441] ppid=30437 vsize=14089320 memory=280993671941520 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30441/stat : 30441 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 29719 33554432000 4194304 4196468 140731506516976 140620007840016 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30442] ppid=30437 vsize=14089320 memory=56 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30442/stat : 30442 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 29719 33554432000 4194304 4196468 140731506516976 140620006787472 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30443] ppid=30437 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30443/stat : 30443 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 29719 33554432000 4194304 4196468 140731506516976 140620005734928 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30444] ppid=30437 vsize=14089320 memory=280993672294240 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30444/stat : 30444 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 29719 33554432000 4194304 4196468 140731506516976 140620004682384 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30445] ppid=30437 vsize=14089320 memory=280993672294432 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30445/stat : 30445 (java) S 30437 30437 28069 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 229055483 14427463680 29719 33554432000 4194304 4196468 140731506516976 140619592681968 140620411837058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30446] ppid=30437 vsize=14089320 memory=280993672005152 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30446/stat : 30446 (java) S 30437 30437 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229055484 14427463680 29719 33554432000 4194304 4196468 140731506516976 140619591628192 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30447] ppid=30437 vsize=14089320 memory=280993672005344 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30447/stat : 30447 (java) S 30437 30437 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229055484 14427463680 29719 33554432000 4194304 4196468 140731506516976 140619590575600 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30448] ppid=30437 vsize=14089320 memory=280993672005536 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30448/stat : 30448 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055486 14427463680 29719 33554432000 4194304 4196468 140731506516976 140619589524176 140620411844507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30449] ppid=30437 vsize=14089320 memory=280993672005728 CPUtime=1.05 cores=0,2,4,6
/proc/30439/task/30449/stat : 30449 (java) S 30437 30437 28069 0 -1 1077944384 5646 0 0 0 105 0 0 0 20 0 15 0 229055486 14427463680 29719 33554432000 4194304 4196468 140731506516976 140619588470768 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30450] ppid=30437 vsize=14089320 memory=280993672005920 CPUtime=1.07 cores=0,2,4,6
/proc/30439/task/30450/stat : 30450 (java) R 30437 30437 28069 0 -1 4202560 5543 0 0 0 107 0 0 0 20 0 15 0 229055487 14427463680 29719 33554432000 4194304 4196468 140731506516976 140619587411248 140620395309232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30451] ppid=30437 vsize=14089320 memory=280993672006112 CPUtime=0.56 cores=0,2,4,6
/proc/30439/task/30451/stat : 30451 (java) S 30437 30437 28069 0 -1 1077944384 3454 0 0 0 55 1 0 0 20 0 15 0 229055487 14427463680 29719 33554432000 4194304 4196468 140731506516976 140619586365680 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30452] ppid=30437 vsize=14089320 memory=280993672006304 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30452/stat : 30452 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055487 14427463680 29719 33554432000 4194304 4196468 140731506516976 140619585313376 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30453] ppid=30437 vsize=14089320 memory=280993672006496 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30453/stat : 30453 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055487 14427463680 29719 33554432000 4194304 4196468 140731506516976 140619584260912 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 120332 KiB
[startup+2.05781 s]
# the end of solver process 30437 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.26559 s, system=0.068137 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60095 s]
/proc/loadavg: 2.11 2.08 2.02 5/223 30453
/proc/meminfo: memFree=16815824/32770624 swapFree=67108852/67108860
[pid=30437] ppid=30434 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30437/stat : 30437 (xcsp3-exec) S 30434 30437 28069 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 229055481 115843072 364 33554432000 4194304 5098028 140720576067984 140720576066088 140252873597564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39149568 140720576074810 140720576075012 140720576075012 140720576077770 0
/proc/30437/statm: 28282 364 306 221 0 87 0
[pid=30439] ppid=30437 vsize=14089320 memory=123272 CPUtime=4.48 cores=0,2,4,6
/proc/30439/stat : 30439 (java) S 30437 30437 28069 0 -1 1077944320 23763 0 0 0 443 5 0 0 20 0 15 0 229055481 14427463680 30818 33554432000 4194304 4196468 140731506516976 140731506499520 140620411825911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
/proc/30439/statm: 3522330 30818 3379 1 0 3483524 0
[pid=30439/tid=30440] ppid=30437 vsize=14089320 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/30439/task/30440/stat : 30440 (java) R 30437 30437 28069 0 -1 4202560 7669 0 0 0 155 2 0 0 20 0 15 0 229055481 14427463680 30818 33554432000 4194304 4196468 140731506516976 140620416062976 140620054467199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30441] ppid=30437 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30441/stat : 30441 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 30818 33554432000 4194304 4196468 140731506516976 140620007840016 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30442] ppid=30437 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30442/stat : 30442 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 30818 33554432000 4194304 4196468 140731506516976 140620006787472 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30443] ppid=30437 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30443/stat : 30443 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 30818 33554432000 4194304 4196468 140731506516976 140620005734928 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30444] ppid=30437 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30444/stat : 30444 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 30818 33554432000 4194304 4196468 140731506516976 140620004682384 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30445] ppid=30437 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30445/stat : 30445 (java) S 30437 30437 28069 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 229055483 14427463680 30818 33554432000 4194304 4196468 140731506516976 140619592681968 140620411837058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30446] ppid=30437 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30446/stat : 30446 (java) S 30437 30437 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229055484 14427463680 30818 33554432000 4194304 4196468 140731506516976 140619591628192 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30447] ppid=30437 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30447/stat : 30447 (java) S 30437 30437 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229055484 14427463680 30818 33554432000 4194304 4196468 140731506516976 140619590575600 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30448] ppid=30437 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30448/stat : 30448 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055486 14427463680 30818 33554432000 4194304 4196468 140731506516976 140619589524176 140620411844507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30449] ppid=30437 vsize=14089320 memory=3560 CPUtime=1.14 cores=0,2,4,6
/proc/30439/task/30449/stat : 30449 (java) R 30437 30437 28069 0 -1 4202560 5686 0 0 0 114 0 0 0 20 0 15 0 229055486 14427463680 30818 33554432000 4194304 4196468 140731506516976 140619588461168 140620397981198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30450] ppid=30437 vsize=14089320 memory=62316 CPUtime=1.17 cores=0,2,4,6
/proc/30439/task/30450/stat : 30450 (java) R 30437 30437 28069 0 -1 4202560 5603 0 0 0 117 0 0 0 20 0 15 0 229055487 14427463680 30818 33554432000 4194304 4196468 140731506516976 140619587401936 140620396731176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30451] ppid=30437 vsize=14089320 memory=1228 CPUtime=0.57 cores=0,2,4,6
/proc/30439/task/30451/stat : 30451 (java) S 30437 30437 28069 0 -1 1077944384 3490 0 0 0 56 1 0 0 20 0 15 0 229055487 14427463680 30818 33554432000 4194304 4196468 140731506516976 140619586365680 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30452] ppid=30437 vsize=14089320 memory=148 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30452/stat : 30452 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055487 14427463680 30818 33554432000 4194304 4196468 140731506516976 140619585313376 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30453] ppid=30437 vsize=14089320 memory=-8543172954466572914 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30453/stat : 30453 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055487 14427463680 30818 33554432000 4194304 4196468 140731506516976 140619584260912 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
Current children cumulated CPU time: 4.48 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 124728 KiB
[startup+2.00069 s]*
/proc/loadavg: 2.11 2.08 2.02 5/223 30453
/proc/meminfo: memFree=16805276/32770624 swapFree=67108852/67108860
[pid=30437] ppid=30434 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30437/stat : 30437 (xcsp3-exec) S 30434 30437 28069 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 229055481 115843072 364 33554432000 4194304 5098028 140720576067984 140720576066088 140252873597564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39149568 140720576074810 140720576075012 140720576075012 140720576077770 0
/proc/30437/statm: 28282 364 306 221 0 87 0
[pid=30439] ppid=30437 vsize=14089320 memory=123848 CPUtime=5.24 cores=0,2,4,6
/proc/30439/stat : 30439 (java) S 30437 30437 28069 0 -1 1077944320 24919 0 0 0 519 5 0 0 20 0 15 0 229055481 14427463680 30962 33554432000 4194304 4196468 140731506516976 140731506499520 140620411825911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
/proc/30439/statm: 3522330 30962 3380 1 0 3483524 0
[pid=30439/tid=30440] ppid=30437 vsize=14089320 memory=592901127866941557 CPUtime=1.97 cores=0,2,4,6
/proc/30439/task/30440/stat : 30440 (java) R 30437 30437 28069 0 -1 4202560 7694 0 0 0 195 2 0 0 20 0 15 0 229055481 14427463680 30962 33554432000 4194304 4196468 140731506516976 140620416062648 140620054466737 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30441] ppid=30437 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30441/stat : 30441 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 30962 33554432000 4194304 4196468 140731506516976 140620007840016 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30442] ppid=30437 vsize=14089320 memory=140496973175034 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30442/stat : 30442 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 30962 33554432000 4194304 4196468 140731506516976 140620006787472 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30443] ppid=30437 vsize=14089320 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30443/stat : 30443 (java) S 30437 30437 28069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 30962 33554432000 4194304 4196468 140731506516976 140620005734928 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30444] ppid=30437 vsize=14089320 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30444/stat : 30444 (java) S 30437 30437 28069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229055482 14427463680 30962 33554432000 4194304 4196468 140731506516976 140620004682384 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30445] ppid=30437 vsize=14089320 memory=3472468793200567984 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30445/stat : 30445 (java) S 30437 30437 28069 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 229055483 14427463680 30962 33554432000 4194304 4196468 140731506516976 140619592681968 140620411837058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30446] ppid=30437 vsize=14089320 memory=7016453658154699314 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30446/stat : 30446 (java) S 30437 30437 28069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229055484 14427463680 30962 33554432000 4194304 4196468 140731506516976 140619591628192 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30447] ppid=30437 vsize=14089320 memory=6933690305039933585 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30447/stat : 30447 (java) S 30437 30437 28069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229055484 14427463680 30962 33554432000 4194304 4196468 140731506516976 140619590575600 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30448] ppid=30437 vsize=14089320 memory=6933690279252828305 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30448/stat : 30448 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055486 14427463680 30962 33554432000 4194304 4196468 140731506516976 140619589524176 140620411844507 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30449] ppid=30437 vsize=14089320 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/30439/task/30449/stat : 30449 (java) R 30437 30437 28069 0 -1 4202560 6134 0 0 0 131 1 0 0 20 0 15 0 229055486 14427463680 30962 33554432000 4194304 4196468 140731506516976 140619588458320 140620393349429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30450] ppid=30437 vsize=14089320 memory=3472328296227679279 CPUtime=1.32 cores=0,2,4,6
/proc/30439/task/30450/stat : 30450 (java) R 30437 30437 28069 0 -1 4202560 6206 0 0 0 132 0 0 0 20 0 15 0 229055487 14427463680 30962 33554432000 4194304 4196468 140731506516976 140619587418224 140620396949453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30451] ppid=30437 vsize=14089320 memory=3472468793200567984 CPUtime=0.59 cores=0,2,4,6
/proc/30439/task/30451/stat : 30451 (java) R 30437 30437 28069 0 -1 1077944384 3563 0 0 0 58 1 0 0 20 0 15 0 229055487 14427463680 30962 33554432000 4194304 4196468 140731506516976 140619586365680 140620411837058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30452] ppid=30437 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30452/stat : 30452 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055487 14427463680 30962 33554432000 4194304 4196468 140731506516976 140619585313376 140620411836117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
[pid=30439/tid=30453] ppid=30437 vsize=14089320 memory=140496973149824 CPUtime=0 cores=0,2,4,6
/proc/30439/task/30453/stat : 30453 (java) S 30437 30437 28069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229055487 14427463680 30962 33554432000 4194304 4196468 140731506516976 140619584260912 140620411837058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140731506525318 140731506525489 140731506525489 140731506528207 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 125304 KiB
Child status: 0
Real time (s): 2.05786
CPU time (s): 5.33372
CPU user time (s): 5.26559
CPU system time (s): 0.068137
CPU usage (%): 259.188
Max. virtual memory (cumulated for all children) (KiB): 14204312
Max. memory (cumulated for all children) (KiB): 125304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.26559
system time used= 0.068137
maximum resident set size= 126544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26938
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= 2104
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 30437
# total CPU time (s): 5.33372
# total CPU user time (s): 5.26559
# total CPU system time (s): 0.068137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032854 second user time and 0.074784 second system time
The end