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 (9775 MiB free)
memory of node 1: 16384 MiB (12893 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306738-1534108603/watcher-4306738-1534108603 -o /tmp/evaluation-result-4306738-1534108603/solver-4306738-1534108603 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534095837-31733 --watchdog 2580 HOME/xcsp3-exec -seed 1720402863 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306738-1534108603.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
solver pid=1379, runsolver pid=1376
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.82 1.69 1.62 4/217 1403
/proc/meminfo: memFree=23195300/32770624 swapFree=67108688/67108860
[pid=1379] ppid=1376 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1379/stat : 1379 (xcsp3-exec) S 1376 1379 31702 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228423133 115843072 364 33554432000 4194304 5098028 140731500295616 140731500293720 140542864654972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731500299322 140731500299524 140731500299524 140731500302282 0
/proc/1379/statm: 28282 364 306 221 0 87 0
[pid=1381] ppid=1379 vsize=14082940 memory=29012 CPUtime=0.11 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1379 1379 31702 0 -1 1077944320 5614 0 0 0 10 1 0 0 20 0 15 0 228423133 14420930560 7253 33554432000 4194304 4196468 140728554545520 140728554528064 140642607296247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
/proc/1381/statm: 3520735 7253 3015 1 0 3483012 0
[pid=1381/tid=1382] ppid=1379 vsize=14082940 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/1381/task/1382/stat : 1382 (java) R 1379 1379 31702 0 -1 4202560 3627 0 0 0 8 0 0 0 20 0 15 0 228423133 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642611528496 140642607308182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1383] ppid=1379 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) S 1379 1379 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228423134 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642537384464 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1384] ppid=1379 vsize=14082940 memory=139625945331328 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423134 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642536331920 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1385] ppid=1379 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423134 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642535278864 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1386] ppid=1379 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1379 1379 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228423134 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642534226320 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1387] ppid=1379 vsize=14082940 memory=139625945331328 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1379 1379 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228423135 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642081000176 140642607307394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1388] ppid=1379 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1379 1379 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228423136 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642079946400 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1390] ppid=1379 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1379 1379 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228423136 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642078893296 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1393] ppid=1379 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642077841872 140642607314843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1395] ppid=1379 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1379 1379 31702 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 228423139 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642076788976 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1400] ppid=1379 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1400/stat : 1400 (java) S 1379 1379 31702 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 228423139 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642075736432 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1401] ppid=1379 vsize=14082940 memory=139625945331328 CPUtime=0.01 cores=0,2,4,6
/proc/1381/task/1401/stat : 1401 (java) R 1379 1379 31702 0 -1 4202560 277 0 0 0 1 0 0 0 20 0 15 0 228423139 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642074683376 140642587010734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1402] ppid=1379 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1402/stat : 1402 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642073631072 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1403] ppid=1379 vsize=14082940 memory=139625945331328 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1403/stat : 1403 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423139 14420930560 7253 33554432000 4194304 4196468 140728554545520 140642072579120 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30468 KiB
[startup+0.214162 s]*
/proc/loadavg: 1.82 1.69 1.62 3/217 1403
/proc/meminfo: memFree=23184480/32770624 swapFree=67108688/67108860
[pid=1379] ppid=1376 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1379/stat : 1379 (xcsp3-exec) S 1376 1379 31702 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228423133 115843072 364 33554432000 4194304 5098028 140731500295616 140731500293720 140542864654972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731500299322 140731500299524 140731500299524 140731500302282 0
/proc/1379/statm: 28282 364 306 221 0 87 0
[pid=1381] ppid=1379 vsize=14087196 memory=40684 CPUtime=0.34 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1379 1379 31702 0 -1 1077944320 8229 0 0 0 32 2 0 0 20 0 15 0 228423133 14425288704 10171 33554432000 4194304 4196468 140728554545520 140728554528064 140642607296247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
/proc/1381/statm: 3521799 10171 3188 1 0 3483012 0
[pid=1381/tid=1382] ppid=1379 vsize=14087196 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1381/task/1382/stat : 1382 (java) R 1379 1379 31702 0 -1 4202560 5498 0 0 0 19 1 0 0 20 0 15 0 228423133 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642611517240 140642591376734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1383] ppid=1379 vsize=14087196 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) S 1379 1379 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228423134 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642537384464 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1384] ppid=1379 vsize=14087196 memory=139625945357956 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423134 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642536331920 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1385] ppid=1379 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423134 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642535278864 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1386] ppid=1379 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1379 1379 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228423134 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642534226320 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1387] ppid=1379 vsize=14087196 memory=139625945331328 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1379 1379 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228423135 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642081000176 140642607307394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1388] ppid=1379 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1379 1379 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228423136 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642079946400 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1390] ppid=1379 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1379 1379 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228423136 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642078893296 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1393] ppid=1379 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642077841872 140642607314843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1395] ppid=1379 vsize=14087196 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1379 1379 31702 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 15 0 228423139 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642076788976 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1400] ppid=1379 vsize=14087196 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/1381/task/1400/stat : 1400 (java) S 1379 1379 31702 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 15 0 228423139 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642075736432 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1401] ppid=1379 vsize=14087196 memory=139625945331328 CPUtime=0.08 cores=0,2,4,6
/proc/1381/task/1401/stat : 1401 (java) S 1379 1379 31702 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 228423139 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642074683376 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1402] ppid=1379 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1402/stat : 1402 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642073631072 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1403] ppid=1379 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1403/stat : 1403 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423139 14425288704 10171 33554432000 4194304 4196468 140728554545520 140642072579120 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42140 KiB
[startup+0.310574 s]*
/proc/loadavg: 1.82 1.69 1.62 4/217 1403
/proc/meminfo: memFree=23177656/32770624 swapFree=67108688/67108860
[pid=1379] ppid=1376 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1379/stat : 1379 (xcsp3-exec) S 1376 1379 31702 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228423133 115843072 364 33554432000 4194304 5098028 140731500295616 140731500293720 140542864654972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731500299322 140731500299524 140731500299524 140731500302282 0
/proc/1379/statm: 28282 364 306 221 0 87 0
[pid=1381] ppid=1379 vsize=14087196 memory=47732 CPUtime=0.53 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1379 1379 31702 0 -1 1077944320 9161 0 0 0 50 3 0 0 20 0 15 0 228423133 14425288704 11933 33554432000 4194304 4196468 140728554545520 140728554528064 140642607296247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
/proc/1381/statm: 3521799 11933 3251 1 0 3483012 0
[pid=1381/tid=1382] ppid=1379 vsize=14087196 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/1381/task/1382/stat : 1382 (java) R 1379 1379 31702 0 -1 4202560 6178 0 0 0 27 2 0 0 20 0 15 0 228423133 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642611527360 140642591376734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1383] ppid=1379 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) S 1379 1379 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228423134 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642537384464 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1384] ppid=1379 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423134 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642536331920 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1385] ppid=1379 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423134 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642535278864 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1386] ppid=1379 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1379 1379 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228423134 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642534226320 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1387] ppid=1379 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1379 1379 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228423135 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642081000176 140642607307394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1388] ppid=1379 vsize=14087196 memory=3472895575524712495 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1379 1379 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228423136 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642079946400 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1390] ppid=1379 vsize=14087196 memory=8102582798305931568 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1379 1379 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228423136 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642078893296 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1393] ppid=1379 vsize=14087196 memory=7526543146876230533 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642077841872 140642607314843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1395] ppid=1379 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1379 1379 31702 0 -1 1077944384 387 0 0 0 3 0 0 0 20 0 15 0 228423139 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642076788976 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1400] ppid=1379 vsize=14087196 memory=3544649777401967671 CPUtime=0.06 cores=0,2,4,6
/proc/1381/task/1400/stat : 1400 (java) S 1379 1379 31702 0 -1 1077944384 384 0 0 0 6 0 0 0 20 0 15 0 228423139 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642075736432 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1401] ppid=1379 vsize=14087196 memory=2320954823240820402 CPUtime=0.12 cores=0,2,4,6
/proc/1381/task/1401/stat : 1401 (java) S 1379 1379 31702 0 -1 1077944384 934 0 0 0 12 0 0 0 20 0 15 0 228423139 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642074683376 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1402] ppid=1379 vsize=14087196 memory=3467824627879784479 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1402/stat : 1402 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642073631072 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1403] ppid=1379 vsize=14087196 memory=3762952305483159220 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1403/stat : 1403 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423139 14425288704 12006 33554432000 4194304 4196468 140728554545520 140642072579120 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49188 KiB
[startup+0.700938 s]
/proc/loadavg: 1.91 1.72 1.62 4/217 1403
/proc/meminfo: memFree=23164196/32770624 swapFree=67108688/67108860
[pid=1379] ppid=1376 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1379/stat : 1379 (xcsp3-exec) S 1376 1379 31702 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228423133 115843072 364 33554432000 4194304 5098028 140731500295616 140731500293720 140542864654972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731500299322 140731500299524 140731500299524 140731500302282 0
/proc/1379/statm: 28282 364 306 221 0 87 0
[pid=1381] ppid=1379 vsize=14089320 memory=88340 CPUtime=1.61 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1379 1379 31702 0 -1 1077944320 13177 0 0 0 156 5 0 0 20 0 15 0 228423133 14427463680 22085 33554432000 4194304 4196468 140728554545520 140728554528064 140642607296247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
/proc/1381/statm: 3522330 22085 3360 1 0 3483524 0
[pid=1381/tid=1382] ppid=1379 vsize=14089320 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/1381/task/1382/stat : 1382 (java) R 1379 1379 31702 0 -1 4202560 7085 0 0 0 63 3 0 0 20 0 15 0 228423133 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642611534624 140642591376734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1383] ppid=1379 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) S 1379 1379 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228423134 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642537384464 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1384] ppid=1379 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423134 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642536331920 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1385] ppid=1379 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423134 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642535278864 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1386] ppid=1379 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1379 1379 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228423134 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642534226320 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1387] ppid=1379 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1379 1379 31702 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 228423135 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642081000176 140642607307394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1388] ppid=1379 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1379 1379 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228423136 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642079946400 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1390] ppid=1379 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1379 1379 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228423136 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642078893296 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1393] ppid=1379 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642077841872 140642607314843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1395] ppid=1379 vsize=14089320 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) R 1379 1379 31702 0 -1 4202560 1524 0 0 0 25 0 0 0 20 0 15 0 228423139 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642076770992 140642588821016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1400] ppid=1379 vsize=14089320 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/1381/task/1400/stat : 1400 (java) R 1379 1379 31702 0 -1 4202560 1026 0 0 0 24 0 0 0 20 0 15 0 228423139 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642075736560 140642592191200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1401] ppid=1379 vsize=14089320 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/1381/task/1401/stat : 1401 (java) S 1379 1379 31702 0 -1 1077944384 2232 0 0 0 42 0 0 0 20 0 15 0 228423139 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642074683376 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1402] ppid=1379 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1402/stat : 1402 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642073631072 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1403] ppid=1379 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1403/stat : 1403 (java) S 1379 1379 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228423139 14427463680 22085 33554432000 4194304 4196468 140728554545520 140642072579120 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 89796 KiB
[startup+1.50074 s]
/proc/loadavg: 1.91 1.72 1.62 5/217 1403
/proc/meminfo: memFree=23118296/32770624 swapFree=67108688/67108860
[pid=1379] ppid=1376 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1379/stat : 1379 (xcsp3-exec) S 1376 1379 31702 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228423133 115843072 364 33554432000 4194304 5098028 140731500295616 140731500293720 140542864654972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731500299322 140731500299524 140731500299524 140731500302282 0
/proc/1379/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
[pid=1381/tid=1387] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.37 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1379 1379 31702 0 -1 1077944384 5010 0 0 0 34 3 0 0 20 0 15 0 228423135 14429560832 50699 33554432000 4194304 4196468 140728554545520 140642081000176 140642607307394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1388] ppid=1379 vsize=14091368 memory=203824 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1379 1379 31702 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 228423136 14429560832 50699 33554432000 4194304 4196468 140728554545520 140642079946400 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1390] ppid=1379 vsize=14091368 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1379 1379 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 228423136 14429560832 50699 33554432000 4194304 4196468 140728554545520 140642078893296 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1393] ppid=1379 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14429560832 50699 33554432000 4194304 4196468 140728554545520 140642077841872 140642607314843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1395] ppid=1379 vsize=14091368 memory=203824 CPUtime=2.25 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1379 1379 31702 0 -1 1077944384 20166 0 0 0 223 2 0 0 20 0 15 0 228423139 14429560832 50699 33554432000 4194304 4196468 140728554545520 140642076788976 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1400] ppid=1379 vsize=14091368 memory=3732 CPUtime=2.54 cores=0,2,4,6
/proc/1381/task/1400/stat : 1400 (java) S 1379 1379 31702 0 -1 1077944384 20332 0 0 0 251 3 0 0 20 0 15 0 228423139 14429560832 50699 33554432000 4194304 4196468 140728554545520 140642075736432 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1401] ppid=1379 vsize=14091368 memory=12668 CPUtime=0.69 cores=0,2,4,6
/proc/1381/task/1401/stat : 1401 (java) S 1379 1379 31702 0 -1 1077944384 10887 0 0 0 67 2 0 0 20 0 15 0 228423139 14429560832 50699 33554432000 4194304 4196468 140728554545520 140642074683376 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1402] ppid=1379 vsize=14091368 memory=207412 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1402/stat : 1402 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14429560832 50699 33554432000 4194304 4196468 140728554545520 140642073631072 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1403] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.68 cores=0,2,4,6
/proc/1381/task/1403/stat : 1403 (java) S 1379 1379 31702 0 -1 1077944384 1692 0 0 0 32 36 0 0 20 0 15 0 228423139 14429560832 50699 33554432000 4194304 4196468 140728554545520 140642072579120 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
Current children cumulated CPU time: 2449.66 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 204252 KiB
[startup+2502.31 s]
/proc/loadavg: 1.77 1.73 1.76 3/217 1577
/proc/meminfo: memFree=23316896/32770624 swapFree=67108688/67108860
[pid=1379] ppid=1376 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1379/stat : 1379 (xcsp3-exec) S 1376 1379 31702 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228423133 115843072 364 33554432000 4194304 5098028 140731500295616 140731500293720 140542864654972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731500299322 140731500299524 140731500299524 140731500302282 0
/proc/1379/statm: 28282 364 306 221 0 87 0
[pid=1381] ppid=1379 vsize=14091368 memory=195096 CPUtime=2509.79 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1379 1379 31702 0 -1 1077944320 96169 0 0 0 250916 63 0 0 20 0 15 0 228423133 14429560832 48774 33554432000 4194304 4196468 140728554545520 140728554528064 140642607296247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
/proc/1381/statm: 3522842 48774 3414 1 0 3484036 0
[pid=1381/tid=1382] ppid=1379 vsize=14091368 memory=195096 CPUtime=2500.74 cores=0,2,4,6
/proc/1381/task/1382/stat : 1382 (java) R 1379 1379 31702 0 -1 4202560 22168 0 0 0 250062 12 0 0 20 0 15 0 228423133 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642611535680 140642215944964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1383] ppid=1379 vsize=14091368 memory=195096 CPUtime=0.59 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) S 1379 1379 31702 0 -1 1077944384 3420 0 0 0 55 4 0 0 20 0 15 0 228423134 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642537384464 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1384] ppid=1379 vsize=14091368 memory=195612 CPUtime=0.59 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1379 1379 31702 0 -1 1077944384 4255 0 0 0 56 3 0 0 20 0 15 0 228423134 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642536331920 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1385] ppid=1379 vsize=14091368 memory=197148 CPUtime=0.59 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1379 1379 31702 0 -1 1077944384 3891 0 0 0 54 5 0 0 20 0 15 0 228423134 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642535278864 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1386] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.59 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1379 1379 31702 0 -1 1077944384 2959 0 0 0 55 4 0 0 20 0 15 0 228423134 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642534226320 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1387] ppid=1379 vsize=14091368 memory=200228 CPUtime=0.4 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1379 1379 31702 0 -1 1077944384 5018 0 0 0 36 4 0 0 20 0 15 0 228423135 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642081000176 140642607307394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1388] ppid=1379 vsize=14091368 memory=195096 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1379 1379 31702 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 228423136 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642079946400 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1390] ppid=1379 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1379 1379 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 228423136 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642078893296 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1393] ppid=1379 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642077841872 140642607314843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1395] ppid=1379 vsize=14091368 memory=1456 CPUtime=2.25 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1379 1379 31702 0 -1 1077944384 20168 0 0 0 223 2 0 0 20 0 15 0 228423139 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642076788976 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1400] ppid=1379 vsize=14091368 memory=195612 CPUtime=2.54 cores=0,2,4,6
/proc/1381/task/1400/stat : 1400 (java) S 1379 1379 31702 0 -1 1077944384 20334 0 0 0 251 3 0 0 20 0 15 0 228423139 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642075736432 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1401] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.69 cores=0,2,4,6
/proc/1381/task/1401/stat : 1401 (java) S 1379 1379 31702 0 -1 1077944384 10889 0 0 0 67 2 0 0 20 0 15 0 228423139 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642074683376 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1402] ppid=1379 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1402/stat : 1402 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642073631072 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1403] ppid=1379 vsize=14091368 memory=195096 CPUtime=0.7 cores=0,2,4,6
/proc/1381/task/1403/stat : 1403 (java) S 1379 1379 31702 0 -1 1077944384 1696 0 0 0 33 37 0 0 20 0 15 0 228423139 14429560832 48774 33554432000 4194304 4196468 140728554545520 140642072579120 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
Current children cumulated CPU time: 2509.79 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 196552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.5 s]
/proc/loadavg: 1.72 1.72 1.76 3/217 1578
/proc/meminfo: memFree=23319484/32770624 swapFree=67108688/67108860
[pid=1379] ppid=1376 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1379/stat : 1379 (xcsp3-exec) S 1376 1379 31702 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228423133 115843072 364 33554432000 4194304 5098028 140731500295616 140731500293720 140542864654972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731500299322 140731500299524 140731500299524 140731500302282 0
/proc/1379/statm: 28282 364 306 221 0 87 0
[pid=1381] ppid=1379 vsize=14091368 memory=195092 CPUtime=2520.01 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1379 1379 31702 0 -1 1077944320 96191 0 0 0 251938 63 0 0 20 0 15 0 228423133 14429560832 48773 33554432000 4194304 4196468 140728554545520 140728554528064 140642607296247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
/proc/1381/statm: 3522842 48773 3414 1 0 3484036 0
[pid=1381/tid=1382] ppid=1379 vsize=14091368 memory=195092 CPUtime=2510.91 cores=0,2,4,6
/proc/1381/task/1382/stat : 1382 (java) R 1379 1379 31702 0 -1 4202560 22177 0 0 0 251079 12 0 0 20 0 15 0 228423133 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642611535680 140642216997566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1383] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.6 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) S 1379 1379 31702 0 -1 1077944384 3421 0 0 0 56 4 0 0 20 0 15 0 228423134 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642537384464 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1384] ppid=1379 vsize=14091368 memory=195092 CPUtime=0.6 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1379 1379 31702 0 -1 1077944384 4256 0 0 0 57 3 0 0 20 0 15 0 228423134 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642536331920 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1385] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.61 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1379 1379 31702 0 -1 1077944384 3895 0 0 0 55 6 0 0 20 0 15 0 228423134 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642535278864 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1386] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.6 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1379 1379 31702 0 -1 1077944384 2962 0 0 0 56 4 0 0 20 0 15 0 228423134 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642534226320 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1387] ppid=1379 vsize=14091368 memory=195092 CPUtime=0.4 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1379 1379 31702 0 -1 1077944384 5020 0 0 0 36 4 0 0 20 0 15 0 228423135 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642081000176 140642607307394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1388] ppid=1379 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1379 1379 31702 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 228423136 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642079946400 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1390] ppid=1379 vsize=14091368 memory=197664 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1379 1379 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 228423136 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642078893296 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1393] ppid=1379 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642077841872 140642607314843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1395] ppid=1379 vsize=14091368 memory=-3253322038155611931 CPUtime=2.25 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1379 1379 31702 0 -1 1077944384 20168 0 0 0 223 2 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642076788976 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1400] ppid=1379 vsize=14091368 memory=3868 CPUtime=2.54 cores=0,2,4,6
/proc/1381/task/1400/stat : 1400 (java) S 1379 1379 31702 0 -1 1077944384 20334 0 0 0 251 3 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642075736432 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1401] ppid=1379 vsize=14091368 memory=62180 CPUtime=0.69 cores=0,2,4,6
/proc/1381/task/1401/stat : 1401 (java) S 1379 1379 31702 0 -1 1077944384 10889 0 0 0 67 2 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642074683376 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1402] ppid=1379 vsize=14091368 memory=195092 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1402/stat : 1402 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642073631072 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1403] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.7 cores=0,2,4,6
/proc/1381/task/1403/stat : 1403 (java) S 1379 1379 31702 0 -1 1077944384 1698 0 0 0 33 37 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642072579120 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 196548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.51 s]
# the end of solver process 1379 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.39 s, system=0.636309 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.5 s]
/proc/loadavg: 1.72 1.72 1.76 3/217 1578
/proc/meminfo: memFree=23319484/32770624 swapFree=67108688/67108860
[pid=1379] ppid=1376 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1379/stat : 1379 (xcsp3-exec) S 1376 1379 31702 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228423133 115843072 364 33554432000 4194304 5098028 140731500295616 140731500293720 140542864654972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731500299322 140731500299524 140731500299524 140731500302282 0
/proc/1379/statm: 28282 364 306 221 0 87 0
[pid=1381] ppid=1379 vsize=14091368 memory=195092 CPUtime=2520.01 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1379 1379 31702 0 -1 1077944320 96191 0 0 0 251938 63 0 0 20 0 15 0 228423133 14429560832 48773 33554432000 4194304 4196468 140728554545520 140728554528064 140642607296247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
/proc/1381/statm: 3522842 48773 3414 1 0 3484036 0
[pid=1381/tid=1382] ppid=1379 vsize=14091368 memory=195092 CPUtime=2510.91 cores=0,2,4,6
/proc/1381/task/1382/stat : 1382 (java) R 1379 1379 31702 0 -1 4202560 22177 0 0 0 251079 12 0 0 20 0 15 0 228423133 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642611535680 140642216997566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1383] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.6 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) S 1379 1379 31702 0 -1 1077944384 3421 0 0 0 56 4 0 0 20 0 15 0 228423134 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642537384464 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1384] ppid=1379 vsize=14091368 memory=195092 CPUtime=0.6 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1379 1379 31702 0 -1 1077944384 4256 0 0 0 57 3 0 0 20 0 15 0 228423134 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642536331920 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1385] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.61 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1379 1379 31702 0 -1 1077944384 3895 0 0 0 55 6 0 0 20 0 15 0 228423134 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642535278864 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1386] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.6 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1379 1379 31702 0 -1 1077944384 2962 0 0 0 56 4 0 0 20 0 15 0 228423134 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642534226320 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1387] ppid=1379 vsize=14091368 memory=195092 CPUtime=0.4 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1379 1379 31702 0 -1 1077944384 5020 0 0 0 36 4 0 0 20 0 15 0 228423135 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642081000176 140642607307394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1388] ppid=1379 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1379 1379 31702 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 228423136 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642079946400 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1390] ppid=1379 vsize=14091368 memory=197664 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1379 1379 31702 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 228423136 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642078893296 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1393] ppid=1379 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642077841872 140642607314843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1395] ppid=1379 vsize=14091368 memory=-3253322038155611931 CPUtime=2.25 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1379 1379 31702 0 -1 1077944384 20168 0 0 0 223 2 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642076788976 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1400] ppid=1379 vsize=14091368 memory=3868 CPUtime=2.54 cores=0,2,4,6
/proc/1381/task/1400/stat : 1400 (java) S 1379 1379 31702 0 -1 1077944384 20334 0 0 0 251 3 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642075736432 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1401] ppid=1379 vsize=14091368 memory=62180 CPUtime=0.69 cores=0,2,4,6
/proc/1381/task/1401/stat : 1401 (java) S 1379 1379 31702 0 -1 1077944384 10889 0 0 0 67 2 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642074683376 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1402] ppid=1379 vsize=14091368 memory=195092 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1402/stat : 1402 (java) S 1379 1379 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642073631072 140642607306453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
[pid=1381/tid=1403] ppid=1379 vsize=14091368 memory=1456 CPUtime=0.7 cores=0,2,4,6
/proc/1381/task/1403/stat : 1403 (java) S 1379 1379 31702 0 -1 1077944384 1698 0 0 0 33 37 0 0 20 0 15 0 228423139 14429560832 48773 33554432000 4194304 4196468 140728554545520 140642072579120 140642607307394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728554550406 140728554550577 140728554550577 140728554553295 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 196548 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2512.51
CPU time (s): 2520.03
CPU user time (s): 2519.39
CPU system time (s): 0.636309
CPU usage (%): 100.299
Max. virtual memory (cumulated for all children) (KiB): 14206668
Max. memory (cumulated for all children) (KiB): 235372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.39
system time used= 0.636309
maximum resident set size= 237460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96942
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67423
involuntary context switches= 2763
# summary of solver processes directly reported to runsolver:
# pid: 1379
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.39
# total CPU system time (s): 0.636309
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.31 second user time and 20.3209 second system time
The end