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 (14830 MiB free)
memory of node 1: 16384 MiB (7468 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301657-1532884407/watcher-4301657-1532884407 -o /tmp/evaluation-result-4301657-1532884407/solver-4301657-1532884407 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 240036272 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301657-1532884407.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11299, runsolver pid=11296
Current StackSize limit: 8192 KiB
[startup+0.100131 s]*
/proc/loadavg: 2.08 2.02 1.93 5/218 11315
/proc/meminfo: memFree=22816728/32770624 swapFree=67108496/67108860
[pid=11299] ppid=11296 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11299/stat : 11299 (xcsp3-exec) S 11296 11299 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106004019 115843072 364 33554432000 4194304 5098028 140737040631792 140737040629896 140133197963900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27000832 140737040634945 140737040635145 140737040635145 140737040637898 0
/proc/11299/statm: 28282 364 306 221 0 87 0
[pid=11301] ppid=11299 vsize=14082940 memory=29560 CPUtime=0.12 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11299 7585 0 -1 1077944320 5236 0 0 0 10 2 0 0 20 0 15 0 106004019 14420930560 7390 33554432000 4194304 4196468 140731651283648 140731651266192 140182457659127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
/proc/11301/statm: 3520735 7390 3024 1 0 3483012 0
[pid=11301/tid=11302] ppid=11299 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/11301/task/11302/stat : 11302 (java) R 11299 11299 7585 0 -1 4202560 3257 0 0 0 8 1 0 0 20 0 15 0 106004020 14420930560 7390 33554432000 4194304 4196468 140731651283648 140182461880024 140182457671062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11303] ppid=11299 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004020 14420930560 7390 33554432000 4194304 4196468 140731651283648 140182372727312 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11304] ppid=11299 vsize=14082940 memory=140379330606720 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004020 14420930560 7390 33554432000 4194304 4196468 140731651283648 140182371674768 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11305] ppid=11299 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004020 14420930560 7390 33554432000 4194304 4196468 140731651283648 140182370621712 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11306] ppid=11299 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11299 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106004020 14420930560 7390 33554432000 4194304 4196468 140731651283648 140182369569168 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11307] ppid=11299 vsize=14082940 memory=140379330606720 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11299 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106004022 14420930560 7390 33554432000 4194304 4196468 140731651283648 140181931277040 140182457670274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11308] ppid=11299 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11299 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106004022 14420930560 7390 33554432000 4194304 4196468 140731651283648 140181930223264 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11309] ppid=11299 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11299 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106004022 14420930560 7390 33554432000 4194304 4196468 140731651283648 140181929170160 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11310] ppid=11299 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14420930560 7390 33554432000 4194304 4196468 140731651283648 140181928118736 140182457677723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11311] ppid=11299 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11299 7585 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 106004025 14420930560 7390 33554432000 4194304 4196468 140731651283648 140181927065840 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11312] ppid=11299 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004025 14420930560 7390 33554432000 4194304 4196468 140731651283648 140181926013296 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11313] ppid=11299 vsize=14082940 memory=140379330606720 CPUtime=0.01 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) R 11299 11299 7585 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 106004025 14420930560 7390 33554432000 4194304 4196468 140731651283648 140181924960240 140182436027796 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11314] ppid=11299 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14420930560 7390 33554432000 4194304 4196468 140731651283648 140181923907936 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11315] ppid=11299 vsize=14082940 memory=140379330606720 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004025 14420930560 7454 33554432000 4194304 4196468 140731651283648 140181922855984 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31016 KiB
[startup+0.210713 s]*
/proc/loadavg: 2.08 2.02 1.93 5/218 11315
/proc/meminfo: memFree=22805920/32770624 swapFree=67108496/67108860
[pid=11299] ppid=11296 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11299/stat : 11299 (xcsp3-exec) S 11296 11299 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106004019 115843072 364 33554432000 4194304 5098028 140737040631792 140737040629896 140133197963900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27000832 140737040634945 140737040635145 140737040635145 140737040637898 0
/proc/11299/statm: 28282 364 306 221 0 87 0
[pid=11301] ppid=11299 vsize=14082940 memory=41140 CPUtime=0.34 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11299 7585 0 -1 1077944320 7819 0 0 0 31 3 0 0 20 0 15 0 106004019 14420930560 10285 33554432000 4194304 4196468 140731651283648 140731651266192 140182457659127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
/proc/11301/statm: 3520735 10285 3184 1 0 3483012 0
[pid=11301/tid=11302] ppid=11299 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11301/task/11302/stat : 11302 (java) R 11299 11299 7585 0 -1 4202560 5002 0 0 0 18 2 0 0 20 0 15 0 106004020 14425288704 10330 33554432000 4194304 4196468 140731651283648 140182461880120 140182439497778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11303] ppid=11299 vsize=14087196 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004020 14425288704 10330 33554432000 4194304 4196468 140731651283648 140182372727312 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11304] ppid=11299 vsize=14087196 memory=288370755482318464 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004020 14425288704 10330 33554432000 4194304 4196468 140731651283648 140182371674768 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11305] ppid=11299 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004020 14425288704 10330 33554432000 4194304 4196468 140731651283648 140182370621712 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11306] ppid=11299 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11299 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106004020 14425288704 10330 33554432000 4194304 4196468 140731651283648 140182369569168 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11307] ppid=11299 vsize=14087196 memory=140379330606720 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11299 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106004022 14425288704 10330 33554432000 4194304 4196468 140731651283648 140181931277040 140182457670274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11308] ppid=11299 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11299 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106004022 14425288704 10330 33554432000 4194304 4196468 140731651283648 140181930223264 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11309] ppid=11299 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11299 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106004022 14425288704 10330 33554432000 4194304 4196468 140731651283648 140181929170160 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11310] ppid=11299 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14425288704 10330 33554432000 4194304 4196468 140731651283648 140181928118736 140182457677723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11311] ppid=11299 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11299 7585 0 -1 1077944384 766 0 0 0 3 0 0 0 20 0 15 0 106004025 14425288704 10330 33554432000 4194304 4196468 140731651283648 140181927065840 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11312] ppid=11299 vsize=14087196 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11299 7585 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 106004025 14425288704 10330 33554432000 4194304 4196468 140731651283648 140181926013296 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11313] ppid=11299 vsize=14087196 memory=140379330606720 CPUtime=0.08 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11299 7585 0 -1 1077944384 734 0 0 0 8 0 0 0 20 0 15 0 106004025 14425288704 10330 33554432000 4194304 4196468 140731651283648 140181924960240 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11314] ppid=11299 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14425288704 10330 33554432000 4194304 4196468 140731651283648 140181923907936 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11315] ppid=11299 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004025 14425288704 10330 33554432000 4194304 4196468 140731651283648 140181922855984 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42596 KiB
[startup+0.312497 s]*
/proc/loadavg: 2.08 2.02 1.93 4/218 11315
/proc/meminfo: memFree=22798476/32770624 swapFree=67108496/67108860
[pid=11299] ppid=11296 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11299/stat : 11299 (xcsp3-exec) S 11296 11299 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106004019 115843072 364 33554432000 4194304 5098028 140737040631792 140737040629896 140133197963900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27000832 140737040634945 140737040635145 140737040635145 140737040637898 0
/proc/11299/statm: 28282 364 306 221 0 87 0
[pid=11301] ppid=11299 vsize=14087196 memory=48392 CPUtime=0.52 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11299 7585 0 -1 1077944320 8759 0 0 0 48 4 0 0 20 0 15 0 106004019 14425288704 12098 33554432000 4194304 4196468 140731651283648 140731651266192 140182457659127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
/proc/11301/statm: 3521799 12098 3236 1 0 3483012 0
[pid=11301/tid=11302] ppid=11299 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/11301/task/11302/stat : 11302 (java) R 11299 11299 7585 0 -1 4202560 5721 0 0 0 27 3 0 0 20 0 15 0 106004020 14425288704 12098 33554432000 4194304 4196468 140731651283648 140182461890240 140182441739614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11303] ppid=11299 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004020 14425288704 12098 33554432000 4194304 4196468 140731651283648 140182372727312 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11304] ppid=11299 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004020 14425288704 12098 33554432000 4194304 4196468 140731651283648 140182371674768 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11305] ppid=11299 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004020 14425288704 12098 33554432000 4194304 4196468 140731651283648 140182370621712 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11306] ppid=11299 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11299 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106004020 14425288704 12098 33554432000 4194304 4196468 140731651283648 140182369569168 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11307] ppid=11299 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11299 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106004022 14425288704 12098 33554432000 4194304 4196468 140731651283648 140181931277040 140182457670274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11308] ppid=11299 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11299 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106004022 14425288704 12098 33554432000 4194304 4196468 140731651283648 140181930223264 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11309] ppid=11299 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11299 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106004022 14425288704 12098 33554432000 4194304 4196468 140731651283648 140181929170160 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11310] ppid=11299 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14425288704 12098 33554432000 4194304 4196468 140731651283648 140181928118736 140182457677723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11311] ppid=11299 vsize=14087196 memory=4628975386420216973 CPUtime=0.04 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11299 7585 0 -1 1077944384 775 0 0 0 4 0 0 0 20 0 15 0 106004025 14425288704 12098 33554432000 4194304 4196468 140731651283648 140181927065840 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11312] ppid=11299 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) R 11299 11299 7585 0 -1 4202560 156 0 0 0 4 0 0 0 20 0 15 0 106004025 14425288704 12098 33554432000 4194304 4196468 140731651283648 140181925999392 140182436905316 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11313] ppid=11299 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11299 7585 0 -1 1077944384 811 0 0 0 12 0 0 0 20 0 15 0 106004025 14425288704 12098 33554432000 4194304 4196468 140731651283648 140181924960240 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11314] ppid=11299 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14425288704 12098 33554432000 4194304 4196468 140731651283648 140181923907936 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11315] ppid=11299 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004025 14425288704 12098 33554432000 4194304 4196468 140731651283648 140181922855984 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49848 KiB
[startup+0.700909 s]
/proc/loadavg: 2.08 2.02 1.93 5/218 11315
/proc/meminfo: memFree=22707380/32770624 swapFree=67108496/67108860
[pid=11299] ppid=11296 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11299/stat : 11299 (xcsp3-exec) S 11296 11299 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106004019 115843072 364 33554432000 4194304 5098028 140737040631792 140737040629896 140133197963900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27000832 140737040634945 140737040635145 140737040635145 140737040637898 0
/proc/11299/statm: 28282 364 306 221 0 87 0
[pid=11301] ppid=11299 vsize=14087196 memory=291568 CPUtime=1.59 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11299 7585 0 -1 1077944320 11473 0 0 0 137 22 0 0 20 0 15 0 106004019 14425288704 72892 33554432000 4194304 4196468 140731651283648 140731651266192 140182457659127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
/proc/11301/statm: 3521799 72892 3323 1 0 3483012 0
[pid=11301/tid=11302] ppid=11299 vsize=14087196 memory=33 CPUtime=0.6 cores=0,2,4,6
/proc/11301/task/11302/stat : 11302 (java) R 11299 11299 7585 0 -1 4202560 5842 0 0 0 54 6 0 0 20 0 15 0 106004020 14425288704 72892 33554432000 4194304 4196468 140731651283648 140182461898256 140182457681053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11303] ppid=11299 vsize=14087196 memory=-7816663703405220396 CPUtime=0.05 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) S 11299 11299 7585 0 -1 1077944384 68 0 0 0 2 3 0 0 20 0 15 0 106004020 14425288704 72892 33554432000 4194304 4196468 140731651283648 140182372727312 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11304] ppid=11299 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11299 7585 0 -1 1077944384 55 0 0 0 2 3 0 0 20 0 15 0 106004020 14425288704 72892 33554432000 4194304 4196468 140731651283648 140182371674768 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11305] ppid=11299 vsize=14087196 memory=30204 CPUtime=0.05 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11299 7585 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 15 0 106004020 14425288704 72892 33554432000 4194304 4196468 140731651283648 140182370621712 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11306] ppid=11299 vsize=14087196 memory=1224 CPUtime=0.05 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11299 7585 0 -1 1077944384 59 0 0 0 2 3 0 0 20 0 15 0 106004020 14425288704 72892 33554432000 4194304 4196468 140731651283648 140182369569168 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11307] ppid=11299 vsize=14087196 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11299 7585 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 106004022 14425288704 72892 33554432000 4194304 4196468 140731651283648 140181931277040 140182457670274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11308] ppid=11299 vsize=14087196 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11299 7585 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 106004022 14425288704 72892 33554432000 4194304 4196468 140731651283648 140181930223264 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11309] ppid=11299 vsize=14087196 memory=860 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11299 7585 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106004022 14425288704 72892 33554432000 4194304 4196468 140731651283648 140181929170160 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11310] ppid=11299 vsize=14087196 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14425288704 72892 33554432000 4194304 4196468 140731651283648 140181928118736 140182457677723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11311] ppid=11299 vsize=14087196 memory=756 CPUtime=0.26 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11299 7585 0 -1 1077944384 1396 0 0 0 26 0 0 0 20 0 15 0 106004025 14425288704 72892 33554432000 4194304 4196468 140731651283648 140181927065840 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11312] ppid=11299 vsize=14087196 memory=1616 CPUtime=0.26 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11299 7585 0 -1 1077944384 1313 0 0 0 26 0 0 0 20 0 15 0 106004025 14425288704 72892 33554432000 4194304 4196468 140731651283648 140181926013296 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11313] ppid=11299 vsize=14087196 memory=1836 CPUtime=0.18 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) R 11299 11299 7585 0 -1 4202560 1292 0 0 0 18 0 0 0 20 0 15 0 106004025 14425288704 72892 33554432000 4194304 4196468 140731651283648 140181924960240 140182436599224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11314] ppid=11299 vsize=14087196 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14425288704 72892 33554432000 4194304 4196468 140731651283648 140181923907936 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11315] ppid=11299 vsize=14087196 memory=6396 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11299 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106004025 14425288704 72892 33554432000 4194304 4196468 140731651283648 140181922855984 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 293024 KiB
[startup+1.50096 s]
/proc/loadavg: 2.08 2.02 1.93 4/218 11315
/proc/meminfo: memFree=22369776/32770624 swapFree=67108496/67108860
[pid=11299] ppid=11296 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11299/stat : 11299 (xcsp3-exec) S 11296 11299 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106004019 115843072 364 33554432000 4194304 5098028 140737040631792 140737040629896 140133197963900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27000832 140737040634945 140737040635145 140737040635145 140737040637898 0
/proc/11299/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/11301/task/11309/stat : 11309 (java) S 11299 11299 7585 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106004022 14429560832 1653476 33554432000 4194304 4196468 140731651283648 140181929170176 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11310] ppid=11299 vsize=14091368 memory=6613904 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14429560832 1653476 33554432000 4194304 4196468 140731651283648 140181928118736 140182457677723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11311] ppid=11299 vsize=14091368 memory=1456 CPUtime=2.98 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11299 7585 0 -1 1077944384 11117 0 0 0 297 1 0 0 20 0 15 0 106004025 14429560832 1653476 33554432000 4194304 4196468 140731651283648 140181927065840 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11312] ppid=11299 vsize=14091368 memory=6791534058613427641 CPUtime=3.03 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11299 7585 0 -1 1077944384 8584 0 0 0 302 1 0 0 20 0 15 0 106004025 14429560832 1653476 33554432000 4194304 4196468 140731651283648 140181926013296 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11313] ppid=11299 vsize=14091368 memory=1224 CPUtime=1.05 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11299 7585 0 -1 1077944384 6685 0 0 0 103 2 0 0 20 0 15 0 106004025 14429560832 1653476 33554432000 4194304 4196468 140731651283648 140181924960240 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11314] ppid=11299 vsize=14091368 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14429560832 1653476 33554432000 4194304 4196468 140731651283648 140181923907936 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11315] ppid=11299 vsize=14091368 memory=1788 CPUtime=0.05 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11299 7585 0 -1 1077944384 720 0 0 0 3 2 0 0 20 0 15 0 106004025 14429560832 1653476 33554432000 4194304 4196468 140731651283648 140181922855984 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
Current children cumulated CPU time: 155.85 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 6615360 KiB
[startup+162.301 s]
/proc/loadavg: 2.07 2.06 1.96 3/217 11317
/proc/meminfo: memFree=16215436/32770624 swapFree=67108496/67108860
[pid=11299] ppid=11296 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11299/stat : 11299 (xcsp3-exec) S 11296 11299 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106004019 115843072 364 33554432000 4194304 5098028 140737040631792 140737040629896 140133197963900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27000832 140737040634945 140737040635145 140737040635145 140737040637898 0
/proc/11299/statm: 28282 364 306 221 0 87 0
[pid=11301] ppid=11299 vsize=14091368 memory=6617316 CPUtime=216.26 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11299 7585 0 -1 1077944320 140905 0 0 0 20959 667 0 0 20 0 15 0 106004019 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140731651266192 140182457659127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
/proc/11301/statm: 3522842 1654329 3429 1 0 3484036 0
[pid=11301/tid=11302] ppid=11299 vsize=14091368 memory=6617316 CPUtime=146.04 cores=0,2,4,6
/proc/11301/task/11302/stat : 11302 (java) R 11299 11299 7585 0 -1 4202560 24140 0 0 0 14577 27 0 0 20 0 15 0 106004020 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140182461896008 140182048479093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11303] ppid=11299 vsize=14091368 memory=6617316 CPUtime=15.56 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) S 11299 11299 7585 0 -1 1077944384 14341 0 0 0 1397 159 0 0 20 0 15 0 106004020 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140182372727312 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11304] ppid=11299 vsize=14091368 memory=6617316 CPUtime=15.44 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11299 7585 0 -1 1077944384 15881 0 0 0 1391 153 0 0 20 0 15 0 106004020 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140182371674768 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11305] ppid=11299 vsize=14091368 memory=1456 CPUtime=15.48 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11299 7585 0 -1 1077944384 16304 0 0 0 1394 154 0 0 20 0 15 0 106004020 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140182370621712 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11306] ppid=11299 vsize=14091368 memory=1456 CPUtime=15.55 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11299 7585 0 -1 1077944384 15759 0 0 0 1396 159 0 0 20 0 15 0 106004020 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140182369569168 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11307] ppid=11299 vsize=14091368 memory=164 CPUtime=0.56 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11299 7585 0 -1 1077944384 17898 0 0 0 54 2 0 0 20 0 15 0 106004022 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140181931277040 140182457670274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11308] ppid=11299 vsize=14091368 memory=6613940 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11299 7585 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 106004022 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140181930223328 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11309] ppid=11299 vsize=14091368 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11299 7585 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106004022 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140181929170176 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11310] ppid=11299 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140181928118736 140182457677723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11311] ppid=11299 vsize=14091368 memory=1456 CPUtime=3.27 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11299 7585 0 -1 1077944384 16531 0 0 0 325 2 0 0 20 0 15 0 106004025 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140181927065840 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11312] ppid=11299 vsize=14091368 memory=6613940 CPUtime=3.13 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11299 7585 0 -1 1077944384 10694 0 0 0 312 1 0 0 20 0 15 0 106004025 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140181926013296 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11313] ppid=11299 vsize=14091368 memory=6613908 CPUtime=1.05 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11299 7585 0 -1 1077944384 7189 0 0 0 103 2 0 0 20 0 15 0 106004025 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140181924960240 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11314] ppid=11299 vsize=14091368 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140181923907936 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11315] ppid=11299 vsize=14091368 memory=2260 CPUtime=0.08 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11299 7585 0 -1 1077944384 842 0 0 0 4 4 0 0 20 0 15 0 106004025 14429560832 1654329 33554432000 4194304 4196468 140731651283648 140181922855984 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
Current children cumulated CPU time: 216.26 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 6618772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+197.701 s]
/proc/loadavg: 1.92 2.02 1.95 3/217 11399
/proc/meminfo: memFree=17127084/32770624 swapFree=67108496/67108860
[pid=11299] ppid=11296 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11299/stat : 11299 (xcsp3-exec) S 11296 11299 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106004019 115843072 364 33554432000 4194304 5098028 140737040631792 140737040629896 140133197963900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27000832 140737040634945 140737040635145 140737040635145 140737040637898 0
/proc/11299/statm: 28282 364 306 221 0 87 0
[pid=11301] ppid=11299 vsize=14091368 memory=6617320 CPUtime=252.07 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11299 7585 0 -1 1077944320 149704 0 0 0 24539 668 0 0 20 0 15 0 106004019 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140731651266192 140182457659127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
/proc/11301/statm: 3522842 1654330 3429 1 0 3484036 0
[pid=11301/tid=11302] ppid=11299 vsize=14091368 memory=6617320 CPUtime=181.44 cores=0,2,4,6
/proc/11301/task/11302/stat : 11302 (java) R 11299 11299 7585 0 -1 4202560 26581 0 0 0 18117 27 0 0 20 0 15 0 106004020 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140182461894688 140182050595598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11303] ppid=11299 vsize=14091368 memory=6620448 CPUtime=15.56 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) S 11299 11299 7585 0 -1 1077944384 14341 0 0 0 1397 159 0 0 20 0 15 0 106004020 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140182372727312 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11304] ppid=11299 vsize=14091368 memory=6620448 CPUtime=15.44 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11299 7585 0 -1 1077944384 15881 0 0 0 1391 153 0 0 20 0 15 0 106004020 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140182371674768 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11305] ppid=11299 vsize=14091368 memory=6617320 CPUtime=15.48 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11299 7585 0 -1 1077944384 16304 0 0 0 1394 154 0 0 20 0 15 0 106004020 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140182370621712 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11306] ppid=11299 vsize=14091368 memory=1456 CPUtime=15.55 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11299 7585 0 -1 1077944384 15759 0 0 0 1396 159 0 0 20 0 15 0 106004020 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140182369569168 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11307] ppid=11299 vsize=14091368 memory=1456 CPUtime=0.56 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11299 7585 0 -1 1077944384 17947 0 0 0 54 2 0 0 20 0 15 0 106004022 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181931277040 140182457670274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11308] ppid=11299 vsize=14091368 memory=6617320 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11299 7585 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 106004022 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181930223328 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11309] ppid=11299 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11299 7585 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106004022 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181929170176 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11310] ppid=11299 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181928118736 140182457677723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11311] ppid=11299 vsize=14091368 memory=6620560 CPUtime=3.56 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11299 7585 0 -1 1077944384 20659 0 0 0 354 2 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181927065840 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11312] ppid=11299 vsize=14091368 memory=3872 CPUtime=3.22 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11299 7585 0 -1 1077944384 12065 0 0 0 321 1 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181926013296 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11313] ppid=11299 vsize=14091368 memory=30204 CPUtime=1.07 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11299 7585 0 -1 1077944384 7956 0 0 0 104 3 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181924960240 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11314] ppid=11299 vsize=14091368 memory=6617320 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181923907936 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11315] ppid=11299 vsize=14091368 memory=1456 CPUtime=0.1 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11299 7585 0 -1 1077944384 885 0 0 0 5 5 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181922855984 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 6618776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+197.71 s]
# the end of solver process 11299 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001176 s, system=0.001176 s
[startup+197.743 s]
# the end of solver process 11301 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.401 s, system=6.72546 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+197.701 s]
/proc/loadavg: 1.92 2.02 1.95 3/217 11399
/proc/meminfo: memFree=17127084/32770624 swapFree=67108496/67108860
[pid=11299] ppid=11296 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11299/stat : 11299 (xcsp3-exec) S 11296 11299 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106004019 115843072 364 33554432000 4194304 5098028 140737040631792 140737040629896 140133197963900 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27000832 140737040634945 140737040635145 140737040635145 140737040637898 0
/proc/11299/statm: 28282 364 306 221 0 87 0
[pid=11301] ppid=11299 vsize=14091368 memory=6617320 CPUtime=252.07 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11299 7585 0 -1 1077944320 149704 0 0 0 24539 668 0 0 20 0 15 0 106004019 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140731651266192 140182457659127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
/proc/11301/statm: 3522842 1654330 3429 1 0 3484036 0
[pid=11301/tid=11302] ppid=11299 vsize=14091368 memory=6617320 CPUtime=181.44 cores=0,2,4,6
/proc/11301/task/11302/stat : 11302 (java) R 11299 11299 7585 0 -1 4202560 26581 0 0 0 18117 27 0 0 20 0 15 0 106004020 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140182461894688 140182050595598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11303] ppid=11299 vsize=14091368 memory=6620448 CPUtime=15.56 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) S 11299 11299 7585 0 -1 1077944384 14341 0 0 0 1397 159 0 0 20 0 15 0 106004020 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140182372727312 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11304] ppid=11299 vsize=14091368 memory=6620448 CPUtime=15.44 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11299 7585 0 -1 1077944384 15881 0 0 0 1391 153 0 0 20 0 15 0 106004020 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140182371674768 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11305] ppid=11299 vsize=14091368 memory=6617320 CPUtime=15.48 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11299 7585 0 -1 1077944384 16304 0 0 0 1394 154 0 0 20 0 15 0 106004020 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140182370621712 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11306] ppid=11299 vsize=14091368 memory=1456 CPUtime=15.55 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11299 7585 0 -1 1077944384 15759 0 0 0 1396 159 0 0 20 0 15 0 106004020 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140182369569168 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11307] ppid=11299 vsize=14091368 memory=1456 CPUtime=0.56 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11299 7585 0 -1 1077944384 17947 0 0 0 54 2 0 0 20 0 15 0 106004022 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181931277040 140182457670274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11308] ppid=11299 vsize=14091368 memory=6617320 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11299 7585 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 106004022 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181930223328 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11309] ppid=11299 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11299 7585 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106004022 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181929170176 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11310] ppid=11299 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181928118736 140182457677723 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11311] ppid=11299 vsize=14091368 memory=6620560 CPUtime=3.56 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11299 7585 0 -1 1077944384 20659 0 0 0 354 2 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181927065840 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11312] ppid=11299 vsize=14091368 memory=3872 CPUtime=3.22 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11299 7585 0 -1 1077944384 12065 0 0 0 321 1 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181926013296 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11313] ppid=11299 vsize=14091368 memory=30204 CPUtime=1.07 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11299 7585 0 -1 1077944384 7956 0 0 0 104 3 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181924960240 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11314] ppid=11299 vsize=14091368 memory=6617320 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11299 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181923907936 140182457669333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
[pid=11301/tid=11315] ppid=11299 vsize=14091368 memory=1456 CPUtime=0.1 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11299 7585 0 -1 1077944384 885 0 0 0 5 5 0 0 20 0 15 0 106004025 14429560832 1654330 33554432000 4194304 4196468 140731651283648 140181922855984 140182457670274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140731651290252 140731651290422 140731651290422 140731651293135 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 6618776 KiB
Child status: 143
Real time (s): 197.743
CPU time (s): 252.127
CPU user time (s): 245.401
CPU system time (s): 6.72546
CPU usage (%): 127.502
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 6625252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.401
system time used= 6.72546
maximum resident set size= 6623796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8794
involuntary context switches= 876
# summary of solver processes directly reported to runsolver:
# pid: 11299,11301
# total CPU time (s): 252.127
# total CPU user time (s): 245.401
# total CPU system time (s): 6.72546
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1689 second user time and 2.03561 second system time
The end