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 (12892 MiB free)
memory of node 1: 16384 MiB (13732 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292290-1532353792/watcher-4292290-1532353792 -o /tmp/evaluation-result-4292290-1532353792/solver-4292290-1532353792 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14414 --watchdog 2560 HOME/xcsp3-exec -seed 1223411417 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292290-1532353792.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=19271, runsolver pid=19268
Current StackSize limit: 8192 KiB
[startup+0.102523 s]*
/proc/loadavg: 1.82 1.69 1.62 3/222 19287
/proc/meminfo: memFree=27246580/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 14382 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 52942367 115843072 363 33554432000 4194304 5098028 140735448563232 140735448561336 139979047236220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140735448564794 140735448564996 140735448564996 140735448567754 0
/proc/19271/statm: 28282 363 306 221 0 87 0
[pid=19273] ppid=19271 vsize=14082840 memory=28772 CPUtime=0.11 cores=1,3,5,7
/proc/19273/stat : 19273 (java) S 19271 19271 14382 0 -1 1077944320 5481 0 0 0 10 1 0 0 20 0 15 0 52942367 14420828160 7193 33554432000 4194304 4196468 140731619172992 140731619155536 140078662127351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
/proc/19273/statm: 3520710 7193 3037 1 0 3483008 0
[pid=19273/tid=19274] ppid=19271 vsize=14082840 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 14382 0 -1 4202560 3481 0 0 0 8 1 0 0 20 0 15 0 52942367 14420828160 7193 33554432000 4194304 4196468 140731619172992 140078666359600 140078662139286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19275] ppid=19271 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14420828160 7193 33554432000 4194304 4196468 140731619172992 140078614748176 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19276] ppid=19271 vsize=14082840 memory=140011150136960 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14420828160 7193 33554432000 4194304 4196468 140731619172992 140078257204368 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19277] ppid=19271 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14420828160 7193 33554432000 4194304 4196468 140731619172992 140078256151312 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19278] ppid=19271 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52942368 14420828160 7193 33554432000 4194304 4196468 140731619172992 140078255098768 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19279] ppid=19271 vsize=14082840 memory=140011150136960 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52942369 14420828160 7193 33554432000 4194304 4196468 140731619172992 140077574617328 140078662138498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19280] ppid=19271 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52942370 14420828160 7193 33554432000 4194304 4196468 140731619172992 140077573563552 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19281] ppid=19271 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52942370 14420828160 7193 33554432000 4194304 4196468 140731619172992 140077572510448 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19282] ppid=19271 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14420828160 7193 33554432000 4194304 4196468 140731619172992 140077571459024 140078662145947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19283] ppid=19271 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 14382 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 52942373 14420828160 7193 33554432000 4194304 4196468 140731619172992 140077570407152 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19284] ppid=19271 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14420828160 7193 33554432000 4194304 4196468 140731619172992 140077569354608 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19285] ppid=19271 vsize=14082840 memory=140011150136960 CPUtime=0.01 cores=1,3,5,7
/proc/19273/task/19285/stat : 19285 (java) R 19271 19271 14382 0 -1 4202560 292 0 0 0 1 0 0 0 20 0 15 0 52942373 14420828160 7193 33554432000 4194304 4196468 140731619172992 140077568301552 140078662139286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19286] ppid=19271 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14420828160 7193 33554432000 4194304 4196468 140731619172992 140077567249248 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19287] ppid=19271 vsize=14082840 memory=140011150136960 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942373 14420828160 7193 33554432000 4194304 4196468 140731619172992 140077566196272 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30224 KiB
[startup+0.211856 s]*
/proc/loadavg: 1.82 1.69 1.62 3/222 19287
/proc/meminfo: memFree=27234780/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 14382 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 52942367 115843072 363 33554432000 4194304 5098028 140735448563232 140735448561336 139979047236220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140735448564794 140735448564996 140735448564996 140735448567754 0
/proc/19271/statm: 28282 363 306 221 0 87 0
[pid=19273] ppid=19271 vsize=14082840 memory=41012 CPUtime=0.33 cores=1,3,5,7
/proc/19273/stat : 19273 (java) S 19271 19271 14382 0 -1 1077944320 8296 0 0 0 31 2 0 0 20 0 15 0 52942367 14420828160 10253 33554432000 4194304 4196468 140731619172992 140731619155536 140078662127351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
/proc/19273/statm: 3520710 10253 3176 1 0 3483008 0
[pid=19273/tid=19274] ppid=19271 vsize=14082840 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 14382 0 -1 4202560 5391 0 0 0 18 1 0 0 20 0 15 0 52942367 14420828160 10253 33554432000 4194304 4196468 140731619172992 140078666362336 140078646207868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19275] ppid=19271 vsize=14082840 memory=13660 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14420828160 10253 33554432000 4194304 4196468 140731619172992 140078614748176 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19276] ppid=19271 vsize=14082840 memory=288370387301848704 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14420828160 10253 33554432000 4194304 4196468 140731619172992 140078257204368 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19277] ppid=19271 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14420828160 10253 33554432000 4194304 4196468 140731619172992 140078256151312 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19278] ppid=19271 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52942368 14420828160 10253 33554432000 4194304 4196468 140731619172992 140078255098768 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19279] ppid=19271 vsize=14082840 memory=140011150136960 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52942369 14420828160 10253 33554432000 4194304 4196468 140731619172992 140077574617328 140078662138498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19280] ppid=19271 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52942370 14420828160 10253 33554432000 4194304 4196468 140731619172992 140077573563552 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19281] ppid=19271 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52942370 14420828160 10253 33554432000 4194304 4196468 140731619172992 140077572510448 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19282] ppid=19271 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14420828160 10253 33554432000 4194304 4196468 140731619172992 140077571459024 140078662145947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19283] ppid=19271 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 14382 0 -1 1077944384 664 0 0 0 2 0 0 0 20 0 15 0 52942373 14420828160 10253 33554432000 4194304 4196468 140731619172992 140077570407152 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19284] ppid=19271 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 14382 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 52942373 14420828160 10253 33554432000 4194304 4196468 140731619172992 140077569354608 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19285] ppid=19271 vsize=14082840 memory=140011150136960 CPUtime=0.08 cores=1,3,5,7
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 14382 0 -1 1077944384 772 0 0 0 8 0 0 0 20 0 15 0 52942373 14420828160 10253 33554432000 4194304 4196468 140731619172992 140077568301552 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19286] ppid=19271 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14420828160 10253 33554432000 4194304 4196468 140731619172992 140077567249248 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19287] ppid=19271 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942373 14420828160 10253 33554432000 4194304 4196468 140731619172992 140077566196272 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42464 KiB
[startup+0.311011 s]*
/proc/loadavg: 1.82 1.69 1.62 3/222 19287
/proc/meminfo: memFree=27228824/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 14382 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 52942367 115843072 363 33554432000 4194304 5098028 140735448563232 140735448561336 139979047236220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140735448564794 140735448564996 140735448564996 140735448567754 0
/proc/19271/statm: 28282 363 306 221 0 87 0
[pid=19273] ppid=19271 vsize=14087096 memory=47548 CPUtime=0.51 cores=1,3,5,7
/proc/19273/stat : 19273 (java) S 19271 19271 14382 0 -1 1077944320 9085 0 0 0 48 3 0 0 20 0 15 0 52942367 14425186304 11887 33554432000 4194304 4196468 140731619172992 140731619155536 140078662127351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
/proc/19273/statm: 3521774 11887 3211 1 0 3483008 0
[pid=19273/tid=19274] ppid=19271 vsize=14087096 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 14382 0 -1 4202560 6101 0 0 0 27 2 0 0 20 0 15 0 52942367 14425186304 11887 33554432000 4194304 4196468 140731619172992 140078666358464 140078662149277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19275] ppid=19271 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14425186304 11887 33554432000 4194304 4196468 140731619172992 140078614748176 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19276] ppid=19271 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14425186304 11887 33554432000 4194304 4196468 140731619172992 140078257204368 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19277] ppid=19271 vsize=14087096 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14425186304 11887 33554432000 4194304 4196468 140731619172992 140078256151312 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19278] ppid=19271 vsize=14087096 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52942368 14425186304 11887 33554432000 4194304 4196468 140731619172992 140078255098768 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19279] ppid=19271 vsize=14087096 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52942369 14425186304 11887 33554432000 4194304 4196468 140731619172992 140077574617328 140078662138498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19280] ppid=19271 vsize=14087096 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52942370 14425186304 11887 33554432000 4194304 4196468 140731619172992 140077573563552 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19281] ppid=19271 vsize=14087096 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52942370 14425186304 11887 33554432000 4194304 4196468 140731619172992 140077572510448 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19282] ppid=19271 vsize=14087096 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14425186304 11887 33554432000 4194304 4196468 140731619172992 140077571459024 140078662145947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19283] ppid=19271 vsize=14087096 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 14382 0 -1 1077944384 670 0 0 0 3 0 0 0 20 0 15 0 52942373 14425186304 11887 33554432000 4194304 4196468 140731619172992 140077570407152 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19284] ppid=19271 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 14382 0 -1 1077944384 183 0 0 0 4 0 0 0 20 0 15 0 52942373 14425186304 11887 33554432000 4194304 4196468 140731619172992 140077569354608 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19285] ppid=19271 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 14382 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 15 0 52942373 14425186304 11887 33554432000 4194304 4196468 140731619172992 140077568301552 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19286] ppid=19271 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14425186304 11887 33554432000 4194304 4196468 140731619172992 140077567249248 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19287] ppid=19271 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942373 14425186304 11887 33554432000 4194304 4196468 140731619172992 140077566196272 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49000 KiB
[startup+0.700808 s]
/proc/loadavg: 1.82 1.69 1.62 4/222 19287
/proc/meminfo: memFree=27209224/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 14382 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 52942367 115843072 363 33554432000 4194304 5098028 140735448563232 140735448561336 139979047236220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140735448564794 140735448564996 140735448564996 140735448567754 0
/proc/19271/statm: 28282 363 306 221 0 87 0
[pid=19273] ppid=19271 vsize=14089220 memory=72812 CPUtime=1.61 cores=1,3,5,7
/proc/19273/stat : 19273 (java) S 19271 19271 14382 0 -1 1077944320 13367 0 0 0 158 3 0 0 20 0 15 0 52942367 14427361280 18203 33554432000 4194304 4196468 140731619172992 140731619155536 140078662127351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
/proc/19273/statm: 3522305 18203 3343 1 0 3483520 0
[pid=19273/tid=19274] ppid=19271 vsize=14089220 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 14382 0 -1 4202560 6918 0 0 0 65 2 0 0 20 0 15 0 52942367 14427361280 18203 33554432000 4194304 4196468 140731619172992 140078666363664 140078298522452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19275] ppid=19271 vsize=14089220 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14427361280 18203 33554432000 4194304 4196468 140731619172992 140078614748176 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19276] ppid=19271 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14427361280 18203 33554432000 4194304 4196468 140731619172992 140078257204368 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19277] ppid=19271 vsize=14089220 memory=17180 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942368 14427361280 18203 33554432000 4194304 4196468 140731619172992 140078256151312 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19278] ppid=19271 vsize=14089220 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52942368 14427361280 18203 33554432000 4194304 4196468 140731619172992 140078255098768 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19279] ppid=19271 vsize=14089220 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52942369 14427361280 18203 33554432000 4194304 4196468 140731619172992 140077574617328 140078662138498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19280] ppid=19271 vsize=14089220 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52942370 14427361280 18203 33554432000 4194304 4196468 140731619172992 140077573563552 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19281] ppid=19271 vsize=14089220 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52942370 14427361280 18203 33554432000 4194304 4196468 140731619172992 140077572510448 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19282] ppid=19271 vsize=14089220 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 18203 33554432000 4194304 4196468 140731619172992 140077571459024 140078662145947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19283] ppid=19271 vsize=14089220 memory=796 CPUtime=0.3 cores=1,3,5,7
/proc/19273/task/19283/stat : 19283 (java) R 19271 19271 14382 0 -1 4202560 1873 0 0 0 30 0 0 0 20 0 15 0 52942373 14427361280 18203 33554432000 4194304 4196468 140731619172992 140077570393032 140078643648785 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19284] ppid=19271 vsize=14089220 memory=4616 CPUtime=0.29 cores=1,3,5,7
/proc/19273/task/19284/stat : 19284 (java) R 19271 19271 14382 0 -1 4202560 1368 0 0 0 29 0 0 0 20 0 15 0 52942373 14427361280 18203 33554432000 4194304 4196468 140731619172992 140077569341176 140078654416805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19285] ppid=19271 vsize=14089220 memory=1424 CPUtime=0.32 cores=1,3,5,7
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 14382 0 -1 1077944384 1901 0 0 0 32 0 0 0 20 0 15 0 52942373 14427361280 18203 33554432000 4194304 4196468 140731619172992 140077568301552 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19286] ppid=19271 vsize=14089220 memory=10940 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 18203 33554432000 4194304 4196468 140731619172992 140077567249248 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19287] ppid=19271 vsize=14089220 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 18203 33554432000 4194304 4196468 140731619172992 140077566196272 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 74264 KiB
[startup+1.50078 s]
/proc/loadavg: 1.82 1.69 1.62 5/222 19287
/proc/meminfo: memFree=27195644/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 14382 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 52942367 115843072 363 33554432000 4194304 5098028 140735448563232 140735448561336 139979047236220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140735448564794 140735448564996 140735448564996 140735448567754 0
/proc/19271/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 14382 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 52942370 14427361280 59078 33554432000 4194304 4196468 140731619172992 140077572510448 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19282] ppid=19271 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 59078 33554432000 4194304 4196468 140731619172992 140077571459024 140078662145947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19283] ppid=19271 vsize=14089220 memory=0 CPUtime=2.12 cores=1,3,5,7
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 14382 0 -1 1077944384 12582 0 0 0 211 1 0 0 20 0 15 0 52942373 14427361280 59078 33554432000 4194304 4196468 140731619172992 140077570407152 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19284] ppid=19271 vsize=14089220 memory=0 CPUtime=2.01 cores=1,3,5,7
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 14382 0 -1 1077944384 14812 0 0 0 201 0 0 0 20 0 15 0 52942373 14427361280 59078 33554432000 4194304 4196468 140731619172992 140077569354608 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19285] ppid=19271 vsize=14089220 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 14382 0 -1 1077944384 7866 0 0 0 52 1 0 0 20 0 15 0 52942373 14427361280 59078 33554432000 4194304 4196468 140731619172992 140077568301552 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19286] ppid=19271 vsize=14089220 memory=236312 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 59078 33554432000 4194304 4196468 140731619172992 140077567249248 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19287] ppid=19271 vsize=14089220 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 14382 0 -1 1077944384 860 0 0 0 21 27 0 0 20 0 15 0 52942373 14427361280 59078 33554432000 4194304 4196468 140731619172992 140077566196272 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
Current children cumulated CPU time: 2270.16 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 237764 KiB
[startup+2322.3 s]
/proc/loadavg: 1.74 1.64 1.56 3/221 19464
/proc/meminfo: memFree=26095372/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 14382 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 52942367 115843072 363 33554432000 4194304 5098028 140735448563232 140735448561336 139979047236220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140735448564794 140735448564996 140735448564996 140735448567754 0
/proc/19271/statm: 28282 363 306 221 0 87 0
[pid=19273] ppid=19271 vsize=14089220 memory=238488 CPUtime=2330.23 cores=1,3,5,7
/proc/19273/stat : 19273 (java) S 19271 19271 14382 0 -1 1077944320 70766 0 0 0 232958 65 0 0 20 0 15 0 52942367 14427361280 59622 33554432000 4194304 4196468 140731619172992 140731619155536 140078662127351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
/proc/19273/statm: 3522305 59622 3390 1 0 3483520 0
[pid=19273/tid=19274] ppid=19271 vsize=14089220 memory=238488 CPUtime=2319.52 cores=1,3,5,7
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 14382 0 -1 4202560 19146 0 0 0 231945 7 0 0 20 0 15 0 52942367 14427361280 59622 33554432000 4194304 4196468 140731619172992 140078666366816 140078300868337 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19275] ppid=19271 vsize=14089220 memory=238488 CPUtime=1.09 cores=1,3,5,7
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 14382 0 -1 1077944384 3319 0 0 0 99 10 0 0 20 0 15 0 52942368 14427361280 59622 33554432000 4194304 4196468 140731619172992 140078614748176 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19276] ppid=19271 vsize=14089220 memory=238488 CPUtime=1.09 cores=1,3,5,7
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 14382 0 -1 1077944384 1917 0 0 0 100 9 0 0 20 0 15 0 52942368 14427361280 59622 33554432000 4194304 4196468 140731619172992 140078257204368 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19277] ppid=19271 vsize=14089220 memory=238488 CPUtime=1.1 cores=1,3,5,7
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 14382 0 -1 1077944384 2433 0 0 0 101 9 0 0 20 0 15 0 52942368 14427361280 59622 33554432000 4194304 4196468 140731619172992 140078256151312 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19278] ppid=19271 vsize=14089220 memory=238488 CPUtime=1.08 cores=1,3,5,7
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 14382 0 -1 1077944384 2658 0 0 0 99 9 0 0 20 0 15 0 52942368 14427361280 59622 33554432000 4194304 4196468 140731619172992 140078255098768 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19279] ppid=19271 vsize=14089220 memory=1452 CPUtime=1.12 cores=1,3,5,7
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 14382 0 -1 1077944384 3811 0 0 0 105 7 0 0 20 0 15 0 52942369 14427361280 59622 33554432000 4194304 4196468 140731619172992 140077574617328 140078662138498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19280] ppid=19271 vsize=14089220 memory=238488 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 14382 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 52942370 14427361280 59622 33554432000 4194304 4196468 140731619172992 140077573563552 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19281] ppid=19271 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 14382 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 52942370 14427361280 59622 33554432000 4194304 4196468 140731619172992 140077572510448 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19282] ppid=19271 vsize=14089220 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 59622 33554432000 4194304 4196468 140731619172992 140077571459024 140078662145947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19283] ppid=19271 vsize=14089220 memory=10940 CPUtime=2.12 cores=1,3,5,7
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 14382 0 -1 1077944384 12584 0 0 0 211 1 0 0 20 0 15 0 52942373 14427361280 59622 33554432000 4194304 4196468 140731619172992 140077570407152 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19284] ppid=19271 vsize=14089220 memory=238488 CPUtime=2.01 cores=1,3,5,7
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 14382 0 -1 1077944384 14814 0 0 0 201 0 0 0 20 0 15 0 52942373 14427361280 59622 33554432000 4194304 4196468 140731619172992 140077569354608 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19285] ppid=19271 vsize=14089220 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 14382 0 -1 1077944384 7868 0 0 0 52 1 0 0 20 0 15 0 52942373 14427361280 59622 33554432000 4194304 4196468 140731619172992 140077568301552 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19286] ppid=19271 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 59622 33554432000 4194304 4196468 140731619172992 140077567249248 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19287] ppid=19271 vsize=14089220 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 14382 0 -1 1077944384 866 0 0 0 21 27 0 0 20 0 15 0 52942373 14427361280 59622 33554432000 4194304 4196468 140731619172992 140077566196272 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
Current children cumulated CPU time: 2330.23 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 239940 KiB
[startup+2382.3 s]
/proc/loadavg: 1.59 1.62 1.55 3/222 19466
/proc/meminfo: memFree=26093536/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 14382 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 52942367 115843072 363 33554432000 4194304 5098028 140735448563232 140735448561336 139979047236220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140735448564794 140735448564996 140735448564996 140735448567754 0
/proc/19271/statm: 28282 363 306 221 0 87 0
[pid=19273] ppid=19271 vsize=14089220 memory=239000 CPUtime=2390.3 cores=1,3,5,7
/proc/19273/stat : 19273 (java) S 19271 19271 14382 0 -1 1077944320 71159 0 0 0 238963 67 0 0 20 0 15 0 52942367 14427361280 59750 33554432000 4194304 4196468 140731619172992 140731619155536 140078662127351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
/proc/19273/statm: 3522305 59750 3390 1 0 3483520 0
[pid=19273/tid=19274] ppid=19271 vsize=14089220 memory=239000 CPUtime=2379.46 cores=1,3,5,7
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 14382 0 -1 4202560 19284 0 0 0 237939 7 0 0 20 0 15 0 52942367 14427361280 59750 33554432000 4194304 4196468 140731619172992 140078666366928 140078298386318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19275] ppid=19271 vsize=14089220 memory=1452 CPUtime=1.12 cores=1,3,5,7
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 14382 0 -1 1077944384 3322 0 0 0 102 10 0 0 20 0 15 0 52942368 14427361280 59750 33554432000 4194304 4196468 140731619172992 140078614748176 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19276] ppid=19271 vsize=14089220 memory=239000 CPUtime=1.11 cores=1,3,5,7
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 14382 0 -1 1077944384 1925 0 0 0 102 9 0 0 20 0 15 0 52942368 14427361280 59750 33554432000 4194304 4196468 140731619172992 140078257204368 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19277] ppid=19271 vsize=14089220 memory=1452 CPUtime=1.12 cores=1,3,5,7
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 14382 0 -1 1077944384 2456 0 0 0 103 9 0 0 20 0 15 0 52942368 14427361280 59750 33554432000 4194304 4196468 140731619172992 140078256151312 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19278] ppid=19271 vsize=14089220 memory=5404 CPUtime=1.1 cores=1,3,5,7
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 14382 0 -1 1077944384 2710 0 0 0 101 9 0 0 20 0 15 0 52942368 14427361280 59750 33554432000 4194304 4196468 140731619172992 140078255098768 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19279] ppid=19271 vsize=14089220 memory=796 CPUtime=1.14 cores=1,3,5,7
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 14382 0 -1 1077944384 3965 0 0 0 107 7 0 0 20 0 15 0 52942369 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077574617328 140078662138498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19280] ppid=19271 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 14382 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 52942370 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077573563552 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19281] ppid=19271 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 14382 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 52942370 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077572510448 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19282] ppid=19271 vsize=14089220 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077571459024 140078662145947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19283] ppid=19271 vsize=14089220 memory=17240 CPUtime=2.12 cores=1,3,5,7
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 14382 0 -1 1077944384 12584 0 0 0 211 1 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077570407152 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19284] ppid=19271 vsize=14089220 memory=1408 CPUtime=2.01 cores=1,3,5,7
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 14382 0 -1 1077944384 14814 0 0 0 201 0 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077569354608 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19285] ppid=19271 vsize=14089220 memory=3292 CPUtime=0.53 cores=1,3,5,7
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 14382 0 -1 1077944384 7868 0 0 0 52 1 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077568301552 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19286] ppid=19271 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077567249248 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19287] ppid=19271 vsize=14089220 memory=239000 CPUtime=0.5 cores=1,3,5,7
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 14382 0 -1 1077944384 881 0 0 0 22 28 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077566196272 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
Current children cumulated CPU time: 2390.3 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 240452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392 s]*
/proc/loadavg: 1.65 1.63 1.56 3/222 19466
/proc/meminfo: memFree=26094032/32770624 swapFree=67108860/67108860
[pid=19271] ppid=19268 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19271/stat : 19271 (xcsp3-exec) S 19268 19271 14382 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 52942367 115843072 363 33554432000 4194304 5098028 140735448563232 140735448561336 139979047236220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140735448564794 140735448564996 140735448564996 140735448567754 0
/proc/19271/statm: 28282 363 306 221 0 87 0
[pid=19273] ppid=19271 vsize=14089220 memory=239000 CPUtime=2400.02 cores=1,3,5,7
/proc/19273/stat : 19273 (java) S 19271 19271 14382 0 -1 1077944320 71165 0 0 0 239935 67 0 0 20 0 15 0 52942367 14427361280 59750 33554432000 4194304 4196468 140731619172992 140731619155536 140078662127351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
/proc/19273/statm: 3522305 59750 3390 1 0 3483520 0
[pid=19273/tid=19274] ppid=19271 vsize=14089220 memory=1452 CPUtime=2389.16 cores=1,3,5,7
/proc/19273/task/19274/stat : 19274 (java) R 19271 19271 14382 0 -1 4202560 19290 0 0 0 238909 7 0 0 20 0 15 0 52942367 14427361280 59750 33554432000 4194304 4196468 140731619172992 140078666366928 140078299513356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19275] ppid=19271 vsize=14089220 memory=1123164 CPUtime=1.12 cores=1,3,5,7
/proc/19273/task/19275/stat : 19275 (java) S 19271 19271 14382 0 -1 1077944384 3322 0 0 0 102 10 0 0 20 0 15 0 52942368 14427361280 59750 33554432000 4194304 4196468 140731619172992 140078614748176 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19276] ppid=19271 vsize=14089220 memory=4126316290023845779 CPUtime=1.11 cores=1,3,5,7
/proc/19273/task/19276/stat : 19276 (java) S 19271 19271 14382 0 -1 1077944384 1925 0 0 0 102 9 0 0 20 0 15 0 52942368 14427361280 59750 33554432000 4194304 4196468 140731619172992 140078257204368 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19277] ppid=19271 vsize=14089220 memory=4126316290023845779 CPUtime=1.12 cores=1,3,5,7
/proc/19273/task/19277/stat : 19277 (java) S 19271 19271 14382 0 -1 1077944384 2456 0 0 0 103 9 0 0 20 0 15 0 52942368 14427361280 59750 33554432000 4194304 4196468 140731619172992 140078256151312 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19278] ppid=19271 vsize=14089220 memory=239000 CPUtime=1.11 cores=1,3,5,7
/proc/19273/task/19278/stat : 19278 (java) S 19271 19271 14382 0 -1 1077944384 2710 0 0 0 102 9 0 0 20 0 15 0 52942368 14427361280 59750 33554432000 4194304 4196468 140731619172992 140078255098768 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19279] ppid=19271 vsize=14089220 memory=1408 CPUtime=1.14 cores=1,3,5,7
/proc/19273/task/19279/stat : 19279 (java) S 19271 19271 14382 0 -1 1077944384 3965 0 0 0 107 7 0 0 20 0 15 0 52942369 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077574617328 140078662138498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19280] ppid=19271 vsize=14089220 memory=3124 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19280/stat : 19280 (java) S 19271 19271 14382 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 52942370 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077573563552 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19281] ppid=19271 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19281/stat : 19281 (java) S 19271 19271 14382 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 52942370 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077572510448 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19282] ppid=19271 vsize=14089220 memory=1123164 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19282/stat : 19282 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077571459024 140078662145947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19283] ppid=19271 vsize=14089220 memory=6791534058613427641 CPUtime=2.12 cores=1,3,5,7
/proc/19273/task/19283/stat : 19283 (java) S 19271 19271 14382 0 -1 1077944384 12584 0 0 0 211 1 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077570407152 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19284] ppid=19271 vsize=14089220 memory=4126316290023845779 CPUtime=2.01 cores=1,3,5,7
/proc/19273/task/19284/stat : 19284 (java) S 19271 19271 14382 0 -1 1077944384 14814 0 0 0 201 0 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077569354608 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19285] ppid=19271 vsize=14089220 memory=916 CPUtime=0.53 cores=1,3,5,7
/proc/19273/task/19285/stat : 19285 (java) S 19271 19271 14382 0 -1 1077944384 7868 0 0 0 52 1 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077568301552 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19286] ppid=19271 vsize=14089220 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/19273/task/19286/stat : 19286 (java) S 19271 19271 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077567249248 140078662137557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
[pid=19273/tid=19287] ppid=19271 vsize=14089220 memory=2588 CPUtime=0.5 cores=1,3,5,7
/proc/19273/task/19287/stat : 19287 (java) S 19271 19271 14382 0 -1 1077944384 881 0 0 0 22 28 0 0 20 0 15 0 52942373 14427361280 59750 33554432000 4194304 4196468 140731619172992 140077566196272 140078662138498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 27095040 140731619177601 140731619177777 140731619177777 140731619180495 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 240452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.02 s]
# the end of solver process 19271 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002241 s, system=0 s
[startup+2392.03 s]
# the end of solver process 19273 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.37 s, system=0.6814 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
Child status: 143
Real time (s): 2392.03
CPU time (s): 2400.05
CPU user time (s): 2399.37
CPU system time (s): 0.6814
CPU usage (%): 100.335
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 240452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.37
system time used= 0.6814
maximum resident set size= 239588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84153
involuntary context switches= 2644
# summary of solver processes directly reported to runsolver:
# pid: 19271,19273
# total CPU time (s): 2400.05
# total CPU user time (s): 2399.37
# total CPU system time (s): 0.6814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8103 second user time and 22.6179 second system time
The end