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 (11031 MiB free)
memory of node 1: 16384 MiB (11794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292335-1532328173/watcher-4292335-1532328173 -o /tmp/evaluation-result-4292335-1532328173/solver-4292335-1532328173 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532328173-11339 --watchdog 2560 HOME/xcsp3-exec -seed 1360516818 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292335-1532328173.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=11374, runsolver pid=11371
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 0.69 0.78 1.02 4/218 11399
/proc/meminfo: memFree=23342952/32770624 swapFree=67108860/67108860
[pid=11374] ppid=11371 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11374/stat : 11374 (xcsp3-exec) S 11371 11374 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380507 115843072 363 33554432000 4194304 5098028 140737057018464 140737057016568 140547670422140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12099584 140737057023034 140737057023236 140737057023236 140737057025994 0
/proc/11374/statm: 28282 363 305 221 0 87 0
[pid=11376] ppid=11374 vsize=14082840 memory=31024 CPUtime=0.11 cores=1,3,5,7
/proc/11376/stat : 11376 (java) S 11374 11374 11307 0 -1 1077944320 5580 0 0 0 10 1 0 0 20 0 15 0 50380507 14420828160 7756 33554432000 4194304 4196468 140727833871312 140727833853856 140304091840247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
/proc/11376/statm: 3520710 7756 3001 1 0 3483008 0
[pid=11376/tid=11377] ppid=11374 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/11376/task/11377/stat : 11377 (java) R 11374 11374 11307 0 -1 4202560 3617 0 0 0 8 1 0 0 20 0 15 0 50380507 14420828160 7756 33554432000 4194304 4196468 140727833871312 140304096064048 140304091852182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11379] ppid=11374 vsize=14082840 memory=3472468369795773648 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11379/stat : 11379 (java) S 11374 11374 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380508 14420828160 7756 33554432000 4194304 4196468 140727833871312 140304044461200 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11380] ppid=11374 vsize=14082840 memory=140240900621952 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11380/stat : 11380 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380508 14420828160 7756 33554432000 4194304 4196468 140727833871312 140304043408400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11381] ppid=11374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11381/stat : 11381 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380508 14420828160 7756 33554432000 4194304 4196468 140727833871312 140304042355600 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11382] ppid=11374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11382/stat : 11382 (java) S 11374 11374 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380508 14420828160 7756 33554432000 4194304 4196468 140727833871312 140304041302800 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11385] ppid=11374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11385/stat : 11385 (java) S 11374 11374 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380510 14420828160 7756 33554432000 4194304 4196468 140727833871312 140303295326576 140304091851394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11386] ppid=11374 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11386/stat : 11386 (java) S 11374 11374 11307 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50380510 14420828160 7756 33554432000 4194304 4196468 140727833871312 140303204361248 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11387] ppid=11374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11387/stat : 11387 (java) S 11374 11374 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50380510 14420828160 7756 33554432000 4194304 4196468 140727833871312 140303203308400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11394] ppid=11374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11394/stat : 11394 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14420828160 7756 33554432000 4194304 4196468 140727833871312 140303202256720 140304091858843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11395] ppid=11374 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11395/stat : 11395 (java) S 11374 11374 11307 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 50380513 14420828160 7756 33554432000 4194304 4196468 140727833871312 140303201205104 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11396] ppid=11374 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11396/stat : 11396 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14420828160 7756 33554432000 4194304 4196468 140727833871312 140303200152304 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11397] ppid=11374 vsize=14082840 memory=140240900621952 CPUtime=0.01 cores=1,3,5,7
/proc/11376/task/11397/stat : 11397 (java) R 11374 11374 11307 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 50380513 14420828160 7756 33554432000 4194304 4196468 140727833871312 140303199099504 140304073077808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11398] ppid=11374 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11398/stat : 11398 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14420828160 7756 33554432000 4194304 4196468 140727833871312 140303198046944 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11399] ppid=11374 vsize=14082840 memory=140240900621952 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11399/stat : 11399 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380513 14420828160 7756 33554432000 4194304 4196468 140727833871312 140303196994224 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 32476 KiB
[startup+0.214018 s]*
/proc/loadavg: 0.69 0.78 1.02 3/218 11399
/proc/meminfo: memFree=23319708/32770624 swapFree=67108860/67108860
[pid=11374] ppid=11371 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11374/stat : 11374 (xcsp3-exec) S 11371 11374 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380507 115843072 363 33554432000 4194304 5098028 140737057018464 140737057016568 140547670422140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12099584 140737057023034 140737057023236 140737057023236 140737057025994 0
/proc/11374/statm: 28282 363 305 221 0 87 0
[pid=11376] ppid=11374 vsize=14087096 memory=43148 CPUtime=0.34 cores=1,3,5,7
/proc/11376/stat : 11376 (java) S 11374 11374 11307 0 -1 1077944320 8318 0 0 0 32 2 0 0 20 0 15 0 50380507 14425186304 10787 33554432000 4194304 4196468 140727833871312 140727833853856 140304091840247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
/proc/11376/statm: 3521774 10787 3152 1 0 3483008 0
[pid=11376/tid=11377] ppid=11374 vsize=14087096 memory=5854525152722518177 CPUtime=0.2 cores=1,3,5,7
/proc/11376/task/11377/stat : 11377 (java) R 11374 11374 11307 0 -1 4202560 5475 0 0 0 19 1 0 0 20 0 15 0 50380507 14425186304 10787 33554432000 4194304 4196468 140727833871312 140304096061240 140304091862173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11379] ppid=11374 vsize=14087096 memory=3472468369795773648 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11379/stat : 11379 (java) S 11374 11374 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380508 14425186304 10787 33554432000 4194304 4196468 140727833871312 140304044461200 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11380] ppid=11374 vsize=14087096 memory=140240900621952 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11380/stat : 11380 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380508 14425186304 10787 33554432000 4194304 4196468 140727833871312 140304043408400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11381] ppid=11374 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11381/stat : 11381 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380508 14425186304 10787 33554432000 4194304 4196468 140727833871312 140304042355600 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11382] ppid=11374 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11382/stat : 11382 (java) S 11374 11374 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380508 14425186304 10787 33554432000 4194304 4196468 140727833871312 140304041302800 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11385] ppid=11374 vsize=14087096 memory=140240900621952 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11385/stat : 11385 (java) S 11374 11374 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50380510 14425186304 10787 33554432000 4194304 4196468 140727833871312 140303295326576 140304091851394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11386] ppid=11374 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11386/stat : 11386 (java) S 11374 11374 11307 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50380510 14425186304 10787 33554432000 4194304 4196468 140727833871312 140303204361248 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11387] ppid=11374 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11387/stat : 11387 (java) S 11374 11374 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50380510 14425186304 10787 33554432000 4194304 4196468 140727833871312 140303203308400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11394] ppid=11374 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11394/stat : 11394 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14425186304 10814 33554432000 4194304 4196468 140727833871312 140303202256720 140304091858843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11395] ppid=11374 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11376/task/11395/stat : 11395 (java) S 11374 11374 11307 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 50380513 14425186304 10814 33554432000 4194304 4196468 140727833871312 140303201205104 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11396] ppid=11374 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11376/task/11396/stat : 11396 (java) S 11374 11374 11307 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 15 0 50380513 14425186304 10814 33554432000 4194304 4196468 140727833871312 140303200152304 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11397] ppid=11374 vsize=14087096 memory=140240900621952 CPUtime=0.08 cores=1,3,5,7
/proc/11376/task/11397/stat : 11397 (java) R 11374 11374 11307 0 -1 4202560 754 0 0 0 8 0 0 0 20 0 15 0 50380513 14425186304 10814 33554432000 4194304 4196468 140727833871312 140303199099504 140304075883877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11398] ppid=11374 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11398/stat : 11398 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14425186304 10814 33554432000 4194304 4196468 140727833871312 140303198046944 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11399] ppid=11374 vsize=14087096 memory=140240900621952 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11399/stat : 11399 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380513 14425186304 10814 33554432000 4194304 4196468 140727833871312 140303196994224 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 44600 KiB
[startup+0.310539 s]*
/proc/loadavg: 0.69 0.78 1.02 3/218 11399
/proc/meminfo: memFree=23306152/32770624 swapFree=67108860/67108860
[pid=11374] ppid=11371 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11374/stat : 11374 (xcsp3-exec) S 11371 11374 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380507 115843072 363 33554432000 4194304 5098028 140737057018464 140737057016568 140547670422140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12099584 140737057023034 140737057023236 140737057023236 140737057025994 0
/proc/11374/statm: 28282 363 305 221 0 87 0
[pid=11376] ppid=11374 vsize=14087096 memory=50088 CPUtime=0.51 cores=1,3,5,7
/proc/11376/stat : 11376 (java) S 11374 11374 11307 0 -1 1077944320 9100 0 0 0 48 3 0 0 20 0 15 0 50380507 14425186304 12522 33554432000 4194304 4196468 140727833871312 140727833853856 140304091840247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
/proc/11376/statm: 3521774 12522 3235 1 0 3483008 0
[pid=11376/tid=11377] ppid=11374 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/11376/task/11377/stat : 11377 (java) R 11374 11374 11307 0 -1 4202560 6158 0 0 0 28 1 0 0 20 0 15 0 50380507 14425186304 12522 33554432000 4194304 4196468 140727833871312 140304096074032 140304075920734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11379] ppid=11374 vsize=14087096 memory=3472468369795773648 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11379/stat : 11379 (java) S 11374 11374 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380508 14425186304 12522 33554432000 4194304 4196468 140727833871312 140304044461200 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11380] ppid=11374 vsize=14087096 memory=140240900621952 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11380/stat : 11380 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380508 14425186304 12522 33554432000 4194304 4196468 140727833871312 140304043408400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11381] ppid=11374 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11381/stat : 11381 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380508 14425186304 12522 33554432000 4194304 4196468 140727833871312 140304042355600 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11382] ppid=11374 vsize=14087096 memory=140240748685343 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11382/stat : 11382 (java) S 11374 11374 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380508 14425186304 12522 33554432000 4194304 4196468 140727833871312 140304041302800 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11385] ppid=11374 vsize=14087096 memory=280481497349920 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11385/stat : 11385 (java) S 11374 11374 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50380510 14425186304 12522 33554432000 4194304 4196468 140727833871312 140303295326576 140304091851394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11386] ppid=11374 vsize=14087096 memory=140240748662287 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11386/stat : 11386 (java) S 11374 11374 11307 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50380510 14425186304 12522 33554432000 4194304 4196468 140727833871312 140303204361248 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11387] ppid=11374 vsize=14087096 memory=280481649293408 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11387/stat : 11387 (java) S 11374 11374 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50380510 14425186304 12522 33554432000 4194304 4196468 140727833871312 140303203308400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11394] ppid=11374 vsize=14087096 memory=140240748666895 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11394/stat : 11394 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14425186304 12522 33554432000 4194304 4196468 140727833871312 140303202256720 140304091858843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11395] ppid=11374 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11376/task/11395/stat : 11395 (java) S 11374 11374 11307 0 -1 1077944384 532 0 0 0 4 0 0 0 20 0 15 0 50380513 14425186304 12522 33554432000 4194304 4196468 140727833871312 140303201205104 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11396] ppid=11374 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11376/task/11396/stat : 11396 (java) S 11374 11374 11307 0 -1 1077944384 303 0 0 0 3 0 0 0 20 0 15 0 50380513 14425186304 12522 33554432000 4194304 4196468 140727833871312 140303200152304 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11397] ppid=11374 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11376/task/11397/stat : 11397 (java) S 11374 11374 11307 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 15 0 50380513 14425186304 12522 33554432000 4194304 4196468 140727833871312 140303199099504 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11398] ppid=11374 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11398/stat : 11398 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14425186304 12522 33554432000 4194304 4196468 140727833871312 140303198046944 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11399] ppid=11374 vsize=14087096 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11399/stat : 11399 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380513 14425186304 12522 33554432000 4194304 4196468 140727833871312 140303196994224 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 51540 KiB
[startup+0.704822 s]
/proc/loadavg: 0.69 0.78 1.02 7/218 11399
/proc/meminfo: memFree=23261300/32770624 swapFree=67108860/67108860
[pid=11374] ppid=11371 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11374/stat : 11374 (xcsp3-exec) S 11371 11374 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380507 115843072 363 33554432000 4194304 5098028 140737057018464 140737057016568 140547670422140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12099584 140737057023034 140737057023236 140737057023236 140737057025994 0
/proc/11374/statm: 28282 363 305 221 0 87 0
[pid=11376] ppid=11374 vsize=14089220 memory=90480 CPUtime=1.43 cores=1,3,5,7
/proc/11376/stat : 11376 (java) S 11374 11374 11307 0 -1 1077944320 11704 0 0 0 139 4 0 0 20 0 15 0 50380507 14427361280 22620 33554432000 4194304 4196468 140727833871312 140727833853856 140304091840247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
/proc/11376/statm: 3522305 22620 3338 1 0 3483520 0
[pid=11376/tid=11377] ppid=11374 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7
/proc/11376/task/11377/stat : 11377 (java) R 11374 11374 11307 0 -1 4202560 6913 0 0 0 65 2 0 0 20 0 15 0 50380507 14427361280 22620 33554432000 4194304 4196468 140727833871312 140304096069024 140304091852182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11379] ppid=11374 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11379/stat : 11379 (java) S 11374 11374 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380508 14427361280 22620 33554432000 4194304 4196468 140727833871312 140304044461200 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11380] ppid=11374 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11380/stat : 11380 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380508 14427361280 22620 33554432000 4194304 4196468 140727833871312 140304043408400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11381] ppid=11374 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11381/stat : 11381 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380508 14427361280 22620 33554432000 4194304 4196468 140727833871312 140304042355600 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11382] ppid=11374 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11382/stat : 11382 (java) S 11374 11374 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50380508 14427361280 22620 33554432000 4194304 4196468 140727833871312 140304041302800 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11385] ppid=11374 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11385/stat : 11385 (java) S 11374 11374 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 22620 33554432000 4194304 4196468 140727833871312 140303295326576 140304091851394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11386] ppid=11374 vsize=14089220 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11386/stat : 11386 (java) S 11374 11374 11307 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 22620 33554432000 4194304 4196468 140727833871312 140303204361248 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11387] ppid=11374 vsize=14089220 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11387/stat : 11387 (java) S 11374 11374 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 22620 33554432000 4194304 4196468 140727833871312 140303203308400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11394] ppid=11374 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11394/stat : 11394 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 22620 33554432000 4194304 4196468 140727833871312 140303202256720 140304091858843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11395] ppid=11374 vsize=14089220 memory=16404 CPUtime=0.22 cores=1,3,5,7
/proc/11376/task/11395/stat : 11395 (java) R 11374 11374 11307 0 -1 4202560 1131 0 0 0 22 0 0 0 20 0 15 0 50380513 14427361280 22620 33554432000 4194304 4196468 140727833871312 140303201194896 140304069667066 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11396] ppid=11374 vsize=14089220 memory=1296 CPUtime=0.21 cores=1,3,5,7
/proc/11376/task/11396/stat : 11396 (java) R 11374 11374 11307 0 -1 4202560 917 0 0 0 21 0 0 0 20 0 15 0 50380513 14427361280 22620 33554432000 4194304 4196468 140727833871312 140303200138400 140304076955302 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11397] ppid=11374 vsize=14089220 memory=2412 CPUtime=0.3 cores=1,3,5,7
/proc/11376/task/11397/stat : 11397 (java) R 11374 11374 11307 0 -1 4202560 1455 0 0 0 30 0 0 0 20 0 15 0 50380513 14427361280 22620 33554432000 4194304 4196468 140727833871312 140303199099504 140304091861594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11398] ppid=11374 vsize=14089220 memory=7668012111147524688 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11398/stat : 11398 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 22620 33554432000 4194304 4196468 140727833871312 140303198046944 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11399] ppid=11374 vsize=14089220 memory=7451579857426993518 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11399/stat : 11399 (java) S 11374 11374 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 22620 33554432000 4194304 4196468 140727833871312 140303196994224 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 91932 KiB
[startup+1.50082 s]
/proc/loadavg: 0.96 0.83 1.03 5/218 11399
/proc/meminfo: memFree=23159240/32770624 swapFree=67108860/67108860
[pid=11374] ppid=11371 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11374/stat : 11374 (xcsp3-exec) S 11371 11374 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380507 115843072 363 33554432000 4194304 5098028 140737057018464 140737057016568 140547670422140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12099584 140737057023034 140737057023236 140737057023236 140737057025994 0
/proc/11374/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
[pid=11376/tid=11385] ppid=11374 vsize=14089220 memory=165056 CPUtime=0.06 cores=1,3,5,7
/proc/11376/task/11385/stat : 11385 (java) S 11374 11374 11307 0 -1 1077944384 3955 0 0 0 4 2 0 0 20 0 15 0 50380510 14427361280 41264 33554432000 4194304 4196468 140727833871312 140303295326576 140304091851394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11386] ppid=11374 vsize=14089220 memory=165056 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11386/stat : 11386 (java) S 11374 11374 11307 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 41264 33554432000 4194304 4196468 140727833871312 140303204361248 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11387] ppid=11374 vsize=14089220 memory=165056 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11387/stat : 11387 (java) S 11374 11374 11307 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 41264 33554432000 4194304 4196468 140727833871312 140303203308400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11394] ppid=11374 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11394/stat : 11394 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 41264 33554432000 4194304 4196468 140727833871312 140303202256720 140304091858843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11395] ppid=11374 vsize=14089220 memory=1452 CPUtime=2.39 cores=1,3,5,7
/proc/11376/task/11395/stat : 11395 (java) S 11374 11374 11307 0 -1 1077944384 17835 0 0 0 237 2 0 0 20 0 15 0 50380513 14427361280 41264 33554432000 4194304 4196468 140727833871312 140303201205104 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11396] ppid=11374 vsize=14089220 memory=1452 CPUtime=2.44 cores=1,3,5,7
/proc/11376/task/11396/stat : 11396 (java) S 11374 11374 11307 0 -1 1077944384 22445 0 0 0 242 2 0 0 20 0 15 0 50380513 14427361280 41264 33554432000 4194304 4196468 140727833871312 140303200152304 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11397] ppid=11374 vsize=14089220 memory=1452 CPUtime=0.59 cores=1,3,5,7
/proc/11376/task/11397/stat : 11397 (java) S 11374 11374 11307 0 -1 1077944384 9584 0 0 0 58 1 0 0 20 0 15 0 50380513 14427361280 41264 33554432000 4194304 4196468 140727833871312 140303199099504 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11398] ppid=11374 vsize=14089220 memory=165056 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11398/stat : 11398 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 41264 33554432000 4194304 4196468 140727833871312 140303198046944 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11399] ppid=11374 vsize=14089220 memory=165056 CPUtime=0.47 cores=1,3,5,7
/proc/11376/task/11399/stat : 11399 (java) S 11374 11374 11307 0 -1 1077944384 804 0 0 0 19 28 0 0 20 0 15 0 50380513 14427361280 41264 33554432000 4194304 4196468 140727833871312 140303196994224 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
Current children cumulated CPU time: 2328.54 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 166508 KiB
[startup+2382.3 s]
/proc/loadavg: 1.97 2.01 1.95 3/217 11494
/proc/meminfo: memFree=21709800/32770624 swapFree=67108860/67108860
[pid=11374] ppid=11371 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11374/stat : 11374 (xcsp3-exec) S 11371 11374 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380507 115843072 363 33554432000 4194304 5098028 140737057018464 140737057016568 140547670422140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12099584 140737057023034 140737057023236 140737057023236 140737057025994 0
/proc/11374/statm: 28282 363 305 221 0 87 0
[pid=11376] ppid=11374 vsize=14089220 memory=165060 CPUtime=2388.62 cores=1,3,5,7
/proc/11376/stat : 11376 (java) S 11374 11374 11307 0 -1 1077944320 87709 0 0 0 238817 45 0 0 20 0 15 0 50380507 14427361280 41265 33554432000 4194304 4196468 140727833871312 140727833853856 140304091840247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
/proc/11376/statm: 3522305 41265 3392 1 0 3483520 0
[pid=11376/tid=11377] ppid=11374 vsize=14089220 memory=165060 CPUtime=2382.17 cores=1,3,5,7
/proc/11376/task/11377/stat : 11377 (java) R 11374 11374 11307 0 -1 4202560 20740 0 0 0 238212 5 0 0 20 0 15 0 50380507 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304096079872 140303718682970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11379] ppid=11374 vsize=14089220 memory=165060 CPUtime=0.09 cores=1,3,5,7
/proc/11376/task/11379/stat : 11379 (java) S 11374 11374 11307 0 -1 1077944384 2531 0 0 0 7 2 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304044461200 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11380] ppid=11374 vsize=14089220 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/11376/task/11380/stat : 11380 (java) S 11374 11374 11307 0 -1 1077944384 2295 0 0 0 7 2 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304043408400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11381] ppid=11374 vsize=14089220 memory=165060 CPUtime=0.09 cores=1,3,5,7
/proc/11376/task/11381/stat : 11381 (java) S 11374 11374 11307 0 -1 1077944384 3498 0 0 0 7 2 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304042355600 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11382] ppid=11374 vsize=14089220 memory=165060 CPUtime=0.08 cores=1,3,5,7
/proc/11376/task/11382/stat : 11382 (java) S 11374 11374 11307 0 -1 1077944384 2035 0 0 0 7 1 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304041302800 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11385] ppid=11374 vsize=14089220 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/11376/task/11385/stat : 11385 (java) S 11374 11374 11307 0 -1 1077944384 4109 0 0 0 4 2 0 0 20 0 15 0 50380510 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303295326576 140304091851394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11386] ppid=11374 vsize=14089220 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11386/stat : 11386 (java) S 11374 11374 11307 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303204361248 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11387] ppid=11374 vsize=14089220 memory=16460 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11387/stat : 11387 (java) S 11374 11374 11307 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303203308400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11394] ppid=11374 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11394/stat : 11394 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303202256720 140304091858843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11395] ppid=11374 vsize=14089220 memory=1452 CPUtime=2.39 cores=1,3,5,7
/proc/11376/task/11395/stat : 11395 (java) S 11374 11374 11307 0 -1 1077944384 17978 0 0 0 237 2 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303201205104 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11396] ppid=11374 vsize=14089220 memory=1452 CPUtime=2.49 cores=1,3,5,7
/proc/11376/task/11396/stat : 11396 (java) S 11374 11374 11307 0 -1 1077944384 22726 0 0 0 247 2 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303200152304 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11397] ppid=11374 vsize=14089220 memory=4140 CPUtime=0.59 cores=1,3,5,7
/proc/11376/task/11397/stat : 11397 (java) S 11374 11374 11307 0 -1 1077944384 9650 0 0 0 58 1 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303199099504 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11398] ppid=11374 vsize=14089220 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11398/stat : 11398 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303198046944 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11399] ppid=11374 vsize=14089220 memory=16460 CPUtime=0.48 cores=1,3,5,7
/proc/11376/task/11399/stat : 11399 (java) S 11374 11374 11307 0 -1 1077944384 823 0 0 0 20 28 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303196994224 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
Current children cumulated CPU time: 2388.62 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 166512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2393.7 s]
/proc/loadavg: 1.82 1.98 1.94 4/217 11575
/proc/meminfo: memFree=23141724/32770624 swapFree=67108860/67108860
[pid=11374] ppid=11371 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11374/stat : 11374 (xcsp3-exec) S 11371 11374 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380507 115843072 363 33554432000 4194304 5098028 140737057018464 140737057016568 140547670422140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12099584 140737057023034 140737057023236 140737057023236 140737057025994 0
/proc/11374/statm: 28282 363 305 221 0 87 0
[pid=11376] ppid=11374 vsize=14089220 memory=165060 CPUtime=2400.02 cores=1,3,5,7
/proc/11376/stat : 11376 (java) S 11374 11374 11307 0 -1 1077944320 87723 0 0 0 239957 45 0 0 20 0 15 0 50380507 14427361280 41265 33554432000 4194304 4196468 140727833871312 140727833853856 140304091840247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
/proc/11376/statm: 3522305 41265 3392 1 0 3483520 0
[pid=11376/tid=11377] ppid=11374 vsize=14089220 memory=165060 CPUtime=2393.56 cores=1,3,5,7
/proc/11376/task/11377/stat : 11377 (java) R 11374 11374 11307 0 -1 4202560 20752 0 0 0 239351 5 0 0 20 0 15 0 50380507 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304096079872 140303717678951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11379] ppid=11374 vsize=14089220 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/11376/task/11379/stat : 11379 (java) S 11374 11374 11307 0 -1 1077944384 2531 0 0 0 7 2 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304044461200 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11380] ppid=11374 vsize=14089220 memory=16460 CPUtime=0.09 cores=1,3,5,7
/proc/11376/task/11380/stat : 11380 (java) S 11374 11374 11307 0 -1 1077944384 2295 0 0 0 7 2 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304043408400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11381] ppid=11374 vsize=14089220 memory=1296 CPUtime=0.09 cores=1,3,5,7
/proc/11376/task/11381/stat : 11381 (java) S 11374 11374 11307 0 -1 1077944384 3498 0 0 0 7 2 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304042355600 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11382] ppid=11374 vsize=14089220 memory=165060 CPUtime=0.08 cores=1,3,5,7
/proc/11376/task/11382/stat : 11382 (java) S 11374 11374 11307 0 -1 1077944384 2035 0 0 0 7 1 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304041302800 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11385] ppid=11374 vsize=14089220 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/11376/task/11385/stat : 11385 (java) S 11374 11374 11307 0 -1 1077944384 4109 0 0 0 4 2 0 0 20 0 15 0 50380510 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303295326576 140304091851394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11386] ppid=11374 vsize=14089220 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11386/stat : 11386 (java) S 11374 11374 11307 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303204361248 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11387] ppid=11374 vsize=14089220 memory=16460 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11387/stat : 11387 (java) S 11374 11374 11307 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303203308400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11394] ppid=11374 vsize=14089220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11394/stat : 11394 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303202256720 140304091858843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11395] ppid=11374 vsize=14089220 memory=1428 CPUtime=2.39 cores=1,3,5,7
/proc/11376/task/11395/stat : 11395 (java) S 11374 11374 11307 0 -1 1077944384 17978 0 0 0 237 2 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303201205104 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11396] ppid=11374 vsize=14089220 memory=-7374765715654991454 CPUtime=2.49 cores=1,3,5,7
/proc/11376/task/11396/stat : 11396 (java) S 11374 11374 11307 0 -1 1077944384 22726 0 0 0 247 2 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303200152304 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11397] ppid=11374 vsize=14089220 memory=3833443103590725682 CPUtime=0.59 cores=1,3,5,7
/proc/11376/task/11397/stat : 11397 (java) S 11374 11374 11307 0 -1 1077944384 9650 0 0 0 58 1 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303199099504 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11398] ppid=11374 vsize=14089220 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11398/stat : 11398 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303198046944 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11399] ppid=11374 vsize=14089220 memory=1724 CPUtime=0.48 cores=1,3,5,7
/proc/11376/task/11399/stat : 11399 (java) S 11374 11374 11307 0 -1 1077944384 825 0 0 0 20 28 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303196994224 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 166512 KiB
Sending SIGTERM to process tree (bottom up)
[startup+2393.98 s]
# the end of solver process 11374 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.85 s, system=0.460051 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.7 s]
/proc/loadavg: 1.82 1.98 1.94 4/217 11575
/proc/meminfo: memFree=23141724/32770624 swapFree=67108860/67108860
[pid=11374] ppid=11371 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11374/stat : 11374 (xcsp3-exec) S 11371 11374 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 50380507 115843072 363 33554432000 4194304 5098028 140737057018464 140737057016568 140547670422140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12099584 140737057023034 140737057023236 140737057023236 140737057025994 0
/proc/11374/statm: 28282 363 305 221 0 87 0
[pid=11376] ppid=11374 vsize=14089220 memory=165060 CPUtime=2400.02 cores=1,3,5,7
/proc/11376/stat : 11376 (java) S 11374 11374 11307 0 -1 1077944320 87723 0 0 0 239957 45 0 0 20 0 15 0 50380507 14427361280 41265 33554432000 4194304 4196468 140727833871312 140727833853856 140304091840247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
/proc/11376/statm: 3522305 41265 3392 1 0 3483520 0
[pid=11376/tid=11377] ppid=11374 vsize=14089220 memory=165060 CPUtime=2393.56 cores=1,3,5,7
/proc/11376/task/11377/stat : 11377 (java) R 11374 11374 11307 0 -1 4202560 20752 0 0 0 239351 5 0 0 20 0 15 0 50380507 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304096079872 140303717678951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11379] ppid=11374 vsize=14089220 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/11376/task/11379/stat : 11379 (java) S 11374 11374 11307 0 -1 1077944384 2531 0 0 0 7 2 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304044461200 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11380] ppid=11374 vsize=14089220 memory=16460 CPUtime=0.09 cores=1,3,5,7
/proc/11376/task/11380/stat : 11380 (java) S 11374 11374 11307 0 -1 1077944384 2295 0 0 0 7 2 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304043408400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11381] ppid=11374 vsize=14089220 memory=1296 CPUtime=0.09 cores=1,3,5,7
/proc/11376/task/11381/stat : 11381 (java) S 11374 11374 11307 0 -1 1077944384 3498 0 0 0 7 2 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304042355600 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11382] ppid=11374 vsize=14089220 memory=165060 CPUtime=0.08 cores=1,3,5,7
/proc/11376/task/11382/stat : 11382 (java) S 11374 11374 11307 0 -1 1077944384 2035 0 0 0 7 1 0 0 20 0 15 0 50380508 14427361280 41265 33554432000 4194304 4196468 140727833871312 140304041302800 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11385] ppid=11374 vsize=14089220 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/11376/task/11385/stat : 11385 (java) S 11374 11374 11307 0 -1 1077944384 4109 0 0 0 4 2 0 0 20 0 15 0 50380510 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303295326576 140304091851394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11386] ppid=11374 vsize=14089220 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11386/stat : 11386 (java) S 11374 11374 11307 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303204361248 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11387] ppid=11374 vsize=14089220 memory=16460 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11387/stat : 11387 (java) S 11374 11374 11307 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 50380510 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303203308400 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11394] ppid=11374 vsize=14089220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11394/stat : 11394 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303202256720 140304091858843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11395] ppid=11374 vsize=14089220 memory=1428 CPUtime=2.39 cores=1,3,5,7
/proc/11376/task/11395/stat : 11395 (java) S 11374 11374 11307 0 -1 1077944384 17978 0 0 0 237 2 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303201205104 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11396] ppid=11374 vsize=14089220 memory=-7374765715654991454 CPUtime=2.49 cores=1,3,5,7
/proc/11376/task/11396/stat : 11396 (java) S 11374 11374 11307 0 -1 1077944384 22726 0 0 0 247 2 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303200152304 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11397] ppid=11374 vsize=14089220 memory=3833443103590725682 CPUtime=0.59 cores=1,3,5,7
/proc/11376/task/11397/stat : 11397 (java) S 11374 11374 11307 0 -1 1077944384 9650 0 0 0 58 1 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303199099504 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11398] ppid=11374 vsize=14089220 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/11376/task/11398/stat : 11398 (java) S 11374 11374 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303198046944 140304091850453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
[pid=11376/tid=11399] ppid=11374 vsize=14089220 memory=1724 CPUtime=0.48 cores=1,3,5,7
/proc/11376/task/11399/stat : 11399 (java) S 11374 11374 11307 0 -1 1077944384 825 0 0 0 20 28 0 0 20 0 15 0 50380513 14427361280 41265 33554432000 4194304 4196468 140727833871312 140303196994224 140304091851394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 36753408 140727833879681 140727833879857 140727833879857 140727833882575 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 166512 KiB
Child status: 143
Real time (s): 2393.98
CPU time (s): 2400.31
CPU user time (s): 2399.85
CPU system time (s): 0.460051
CPU usage (%): 100.265
Max. virtual memory (cumulated for all children) (KiB): 14204320
Max. memory (cumulated for all children) (KiB): 247964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.85
system time used= 0.460051
maximum resident set size= 246520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55447
involuntary context switches= 996
# summary of solver processes directly reported to runsolver:
# pid: 11374
# total CPU time (s): 2400.31
# total CPU user time (s): 2399.85
# total CPU system time (s): 0.460051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2747 second user time and 19.5977 second system time
The end