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 (11695 MiB free)
memory of node 1: 16384 MiB (12367 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393457-1568354300/watcher-4393457-1568354300 -o /tmp/evaluation-result-4393457-1568354300/solver-4393457-1568354300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568354118-30104 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 582874924 HOME/instance-4393457-1568354300.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30261, runsolver pid=30258
Current StackSize limit: 8192 KiB
[startup+0.100653 s]*
/proc/loadavg: 5.95 2.83 1.74 7/233 30277
/proc/meminfo: memFree=24624960/32770624 swapFree=66957012/67108860
[pid=30261] ppid=30258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30261/stat : 30261 (xcsp3-exec) S 30258 30261 30073 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411343872 115843072 363 33554432000 4194304 5098028 140721101101248 140721101099352 140123479585404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8884224 140721101108091 140721101108333 140721101108333 140721101111242 0
/proc/30261/statm: 28282 363 304 221 0 87 0
[pid=30263] ppid=30261 vsize=15144768 memory=28808 CPUtime=0.13 cores=0,2,4,6
/proc/30263/stat : 30263 (java) S 30261 30261 30073 0 -1 1077944320 5625 0 0 0 12 1 0 0 20 0 15 0 411343872 15508242432 7202 33554432000 4194304 4196468 140727073693920 140727073676464 140636643299063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
/proc/30263/statm: 3786192 7202 3159 1 0 3748377 0
[pid=30263/tid=30264] ppid=30261 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/30263/task/30264/stat : 30264 (java) R 30261 30261 30073 0 -1 4202560 3563 0 0 0 8 1 0 0 20 0 15 0 411343872 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636647530384 140636643320410 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30265] ppid=30261 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30265/stat : 30265 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636571339024 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30266] ppid=30261 vsize=15144768 memory=140196854965888 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30266/stat : 30266 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636570286480 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30267] ppid=30261 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30267/stat : 30267 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636569233936 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30268] ppid=30261 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30268/stat : 30268 (java) S 30261 30261 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411343873 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636568181392 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30269] ppid=30261 vsize=15144768 memory=140196854965888 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30269/stat : 30269 (java) S 30261 30261 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411343874 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636111661552 140636643310210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30270] ppid=30261 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30270/stat : 30270 (java) S 30261 30261 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411343875 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636110607776 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30271] ppid=30261 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30271/stat : 30271 (java) S 30261 30261 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411343875 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636109555184 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30272] ppid=30261 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30272/stat : 30272 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411343877 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636108503760 140636643317659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30273] ppid=30261 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30273/stat : 30273 (java) R 30261 30261 30073 0 -1 4202560 435 0 0 0 0 0 0 0 20 0 15 0 411343877 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636107450352 140636626734801 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30274] ppid=30261 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30274/stat : 30274 (java) R 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343878 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636106397808 140636643310210 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30275] ppid=30261 vsize=15144768 memory=140196854965888 CPUtime=0.02 cores=0,2,4,6
/proc/30263/task/30275/stat : 30275 (java) R 30261 30261 30073 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 15 0 411343878 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636105345264 140636621891202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30276] ppid=30261 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30276/stat : 30276 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411343878 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636104292960 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30277] ppid=30261 vsize=15144768 memory=140196854965888 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30277/stat : 30277 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343878 15508242432 7202 33554432000 4194304 4196468 140727073693920 140636103240496 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30260 KiB
[startup+0.21074 s]*
/proc/loadavg: 5.95 2.83 1.74 6/233 30277
/proc/meminfo: memFree=24612884/32770624 swapFree=66957012/67108860
[pid=30261] ppid=30258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30261/stat : 30261 (xcsp3-exec) S 30258 30261 30073 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411343872 115843072 363 33554432000 4194304 5098028 140721101101248 140721101099352 140123479585404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8884224 140721101108091 140721101108333 140721101108333 140721101111242 0
/proc/30261/statm: 28282 363 304 221 0 87 0
[pid=30263] ppid=30261 vsize=15144768 memory=40492 CPUtime=0.34 cores=0,2,4,6
/proc/30263/stat : 30263 (java) S 30261 30261 30073 0 -1 1077944320 9309 0 0 0 32 2 0 0 20 0 15 0 411343872 15508242432 10123 33554432000 4194304 4196468 140727073693920 140727073676464 140636643299063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
/proc/30263/statm: 3786192 10123 3309 1 0 3748377 0
[pid=30263/tid=30264] ppid=30261 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30263/task/30264/stat : 30264 (java) R 30261 30261 30073 0 -1 4202560 6575 0 0 0 18 2 0 0 20 0 15 0 411343872 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636647533184 140636643310998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30265] ppid=30261 vsize=15144768 memory=8952 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30265/stat : 30265 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636571339024 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30266] ppid=30261 vsize=15144768 memory=4121837895814293152 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30266/stat : 30266 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636570286480 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30267] ppid=30261 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30267/stat : 30267 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636569233936 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30268] ppid=30261 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30268/stat : 30268 (java) S 30261 30261 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411343873 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636568181392 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30269] ppid=30261 vsize=15144768 memory=140196854965888 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30269/stat : 30269 (java) S 30261 30261 30073 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411343874 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636111661552 140636643310210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30270] ppid=30261 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30270/stat : 30270 (java) S 30261 30261 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411343875 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636110607776 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30271] ppid=30261 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30271/stat : 30271 (java) S 30261 30261 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411343875 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636109555184 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30272] ppid=30261 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30272/stat : 30272 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411343877 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636108503760 140636643317659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30273] ppid=30261 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30263/task/30273/stat : 30273 (java) S 30261 30261 30073 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 411343877 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636107450352 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30274] ppid=30261 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30263/task/30274/stat : 30274 (java) S 30261 30261 30073 0 -1 1077944384 142 0 0 0 3 0 0 0 20 0 15 0 411343878 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636106397808 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30275] ppid=30261 vsize=15144768 memory=140196854965888 CPUtime=0.08 cores=0,2,4,6
/proc/30263/task/30275/stat : 30275 (java) R 30261 30261 30073 0 -1 4202560 812 0 0 0 8 0 0 0 20 0 15 0 411343878 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636105345264 140636622252968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30276] ppid=30261 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30276/stat : 30276 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411343878 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636104292960 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30277] ppid=30261 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30277/stat : 30277 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343878 15508242432 10123 33554432000 4194304 4196468 140727073693920 140636103240496 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41944 KiB
[startup+0.312317 s]*
/proc/loadavg: 5.95 2.83 1.74 8/233 30277
/proc/meminfo: memFree=24607424/32770624 swapFree=66957012/67108860
[pid=30261] ppid=30258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30261/stat : 30261 (xcsp3-exec) S 30258 30261 30073 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411343872 115843072 363 33554432000 4194304 5098028 140721101101248 140721101099352 140123479585404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8884224 140721101108091 140721101108333 140721101108333 140721101111242 0
/proc/30261/statm: 28282 363 304 221 0 87 0
[pid=30263] ppid=30261 vsize=15149024 memory=49736 CPUtime=0.53 cores=0,2,4,6
/proc/30263/stat : 30263 (java) S 30261 30261 30073 0 -1 1077944320 10797 0 0 0 50 3 0 0 20 0 15 0 411343872 15512600576 12434 33554432000 4194304 4196468 140727073693920 140727073676464 140636643299063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
/proc/30263/statm: 3787256 12434 3370 1 0 3748377 0
[pid=30263/tid=30264] ppid=30261 vsize=15149024 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30263/task/30264/stat : 30264 (java) R 30261 30261 30073 0 -1 4202560 7702 0 0 0 27 2 0 0 20 0 15 0 411343872 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636647530176 140636627379550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30265] ppid=30261 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30265/stat : 30265 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636571339024 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30266] ppid=30261 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30266/stat : 30266 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636570286480 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30267] ppid=30261 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30267/stat : 30267 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636569233936 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30268] ppid=30261 vsize=15149024 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30268/stat : 30268 (java) S 30261 30261 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411343873 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636568181392 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30269] ppid=30261 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30269/stat : 30269 (java) S 30261 30261 30073 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411343874 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636111661552 140636643310210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30270] ppid=30261 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30270/stat : 30270 (java) S 30261 30261 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411343875 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636110607776 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30271] ppid=30261 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30271/stat : 30271 (java) S 30261 30261 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411343875 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636109555184 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30272] ppid=30261 vsize=15149024 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30272/stat : 30272 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411343877 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636108503760 140636643317659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30273] ppid=30261 vsize=15149024 memory=8508281356422055839 CPUtime=0.03 cores=0,2,4,6
/proc/30263/task/30273/stat : 30273 (java) S 30261 30261 30073 0 -1 1077944384 546 0 0 0 3 0 0 0 20 0 15 0 411343877 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636107450352 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30274] ppid=30261 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/30263/task/30274/stat : 30274 (java) R 30261 30261 30073 0 -1 4202560 259 0 0 0 5 0 0 0 20 0 15 0 411343878 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636106378920 140636622992167 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30275] ppid=30261 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30263/task/30275/stat : 30275 (java) S 30261 30261 30073 0 -1 1077944384 983 0 0 0 12 0 0 0 20 0 15 0 411343878 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636105345264 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30276] ppid=30261 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30276/stat : 30276 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411343878 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636104292960 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30277] ppid=30261 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30277/stat : 30277 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343878 15512600576 12434 33554432000 4194304 4196468 140727073693920 140636103240496 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51188 KiB
[startup+0.704177 s]
/proc/loadavg: 5.95 2.83 1.74 8/233 30277
/proc/meminfo: memFree=24584524/32770624 swapFree=66957012/67108860
[pid=30261] ppid=30258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30261/stat : 30261 (xcsp3-exec) S 30258 30261 30073 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411343872 115843072 363 33554432000 4194304 5098028 140721101101248 140721101099352 140123479585404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8884224 140721101108091 140721101108333 140721101108333 140721101111242 0
/proc/30261/statm: 28282 363 304 221 0 87 0
[pid=30263] ppid=30261 vsize=15151148 memory=119468 CPUtime=1.8 cores=0,2,4,6
/proc/30263/stat : 30263 (java) S 30261 30261 30073 0 -1 1077944320 14398 0 0 0 175 5 0 0 20 0 15 0 411343872 15514775552 29867 33554432000 4194304 4196468 140727073693920 140727073676464 140636643299063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
/proc/30263/statm: 3787787 29867 3447 1 0 3748889 0
[pid=30263/tid=30264] ppid=30261 vsize=15151148 memory=38908 CPUtime=0.68 cores=0,2,4,6
/proc/30263/task/30264/stat : 30264 (java) R 30261 30261 30073 0 -1 4202560 8361 0 0 0 64 4 0 0 20 0 15 0 411343872 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636647511536 140636635977077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30265] ppid=30261 vsize=15151148 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30265/stat : 30265 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636571339024 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30266] ppid=30261 vsize=15151148 memory=988 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30266/stat : 30266 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636570286480 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30267] ppid=30261 vsize=15151148 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30267/stat : 30267 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343873 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636569233936 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30268] ppid=30261 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30268/stat : 30268 (java) S 30261 30261 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411343873 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636568181392 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30269] ppid=30261 vsize=15151148 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30269/stat : 30269 (java) S 30261 30261 30073 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411343874 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636111661552 140636643310210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30270] ppid=30261 vsize=15151148 memory=6092 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30270/stat : 30270 (java) S 30261 30261 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411343875 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636110607776 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30271] ppid=30261 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30271/stat : 30271 (java) S 30261 30261 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411343875 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636109555184 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30272] ppid=30261 vsize=15151148 memory=732 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30272/stat : 30272 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411343877 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636108503760 140636643317659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30273] ppid=30261 vsize=15151148 memory=776 CPUtime=0.37 cores=0,2,4,6
/proc/30263/task/30273/stat : 30273 (java) R 30261 30261 30073 0 -1 4202560 1633 0 0 0 37 0 0 0 20 0 15 0 411343877 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636107435600 140636624709213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30274] ppid=30261 vsize=15151148 memory=1560 CPUtime=0.39 cores=0,2,4,6
/proc/30263/task/30274/stat : 30274 (java) R 30261 30261 30073 0 -1 4202560 1292 0 0 0 39 0 0 0 20 0 15 0 411343878 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636106385248 140636628916343 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30275] ppid=30261 vsize=15151148 memory=4008 CPUtime=0.33 cores=0,2,4,6
/proc/30263/task/30275/stat : 30275 (java) R 30261 30261 30073 0 -1 1077944384 1807 0 0 0 32 1 0 0 20 0 15 0 411343878 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636105343664 140636643309269 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30276] ppid=30261 vsize=15151148 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30276/stat : 30276 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411343878 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636104292960 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30277] ppid=30261 vsize=15151148 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30277/stat : 30277 (java) S 30261 30261 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411343878 15514775552 29867 33554432000 4194304 4196468 140727073693920 140636103240496 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 120920 KiB
[startup+1.5008 s]
/proc/loadavg: 5.95 2.83 1.74 9/233 30277
/proc/meminfo: memFree=24454888/32770624 swapFree=66957012/67108860
[pid=30261] ppid=30258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30261/stat : 30261 (xcsp3-exec) S 30258 30261 30073 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411343872 115843072 363 33554432000 4194304 5098028 140721101101248 140721101099352 140123479585404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8884224 140721101108091 140721101108333 140721101108333 140721101111242 0
/proc/30261/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/30263/stat : 30263 (java) S 30261 30261 30073 0 -1 1077944320 140575 0 0 0 230225 125 0 0 20 0 19 0 411343872 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140727073676464 140636643299063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
/proc/30263/statm: 3854863 1007350 3536 1 0 3815965 0
[pid=30263/tid=30264] ppid=30261 vsize=15419452 memory=1452 CPUtime=3.14 cores=0,2,4,6
/proc/30263/task/30264/stat : 30264 (java) S 30261 30261 30073 0 -1 1077944384 10578 0 0 0 305 9 0 0 20 0 19 0 411343872 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636647539840 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30265] ppid=30261 vsize=15419452 memory=4029400 CPUtime=0.55 cores=0,2,4,6
/proc/30263/task/30265/stat : 30265 (java) S 30261 30261 30073 0 -1 1077944384 937 0 0 0 45 10 0 0 20 0 19 0 411343873 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636571339024 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30266] ppid=30261 vsize=15419452 memory=4029400 CPUtime=0.5 cores=0,2,4,6
/proc/30263/task/30266/stat : 30266 (java) S 30261 30261 30073 0 -1 1077944384 2157 0 0 0 41 9 0 0 20 0 19 0 411343873 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636570286480 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30267] ppid=30261 vsize=15419452 memory=1452 CPUtime=0.56 cores=0,2,4,6
/proc/30263/task/30267/stat : 30267 (java) S 30261 30261 30073 0 -1 1077944384 3672 0 0 0 45 11 0 0 20 0 19 0 411343873 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636569233936 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30268] ppid=30261 vsize=15419452 memory=1452 CPUtime=0.51 cores=0,2,4,6
/proc/30263/task/30268/stat : 30268 (java) S 30261 30261 30073 0 -1 1077944384 3245 0 0 0 41 10 0 0 20 0 19 0 411343873 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636568181392 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30269] ppid=30261 vsize=15419452 memory=3512 CPUtime=0.05 cores=0,2,4,6
/proc/30263/task/30269/stat : 30269 (java) S 30261 30261 30073 0 -1 1077944384 4457 0 0 0 3 2 0 0 20 0 19 0 411343874 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636111661552 140636643310210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30270] ppid=30261 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30270/stat : 30270 (java) S 30261 30261 30073 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 411343875 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636110607840 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30271] ppid=30261 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30271/stat : 30271 (java) S 30261 30261 30073 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 411343875 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636109555200 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30272] ppid=30261 vsize=15419452 memory=4205264 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30272/stat : 30272 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411343877 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636108503760 140636643317659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30273] ppid=30261 vsize=15419452 memory=3512 CPUtime=4.79 cores=0,2,4,6
/proc/30263/task/30273/stat : 30273 (java) S 30261 30261 30073 0 -1 1077944384 20677 0 0 0 477 2 0 0 20 0 19 0 411343877 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636107450352 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30274] ppid=30261 vsize=15419452 memory=1452 CPUtime=4.97 cores=0,2,4,6
/proc/30263/task/30274/stat : 30274 (java) S 30261 30261 30073 0 -1 1077944384 26660 0 0 0 495 2 0 0 20 0 19 0 411343878 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636106397808 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30275] ppid=30261 vsize=15419452 memory=4029400 CPUtime=1.02 cores=0,2,4,6
/proc/30263/task/30275/stat : 30275 (java) S 30261 30261 30073 0 -1 1077944384 13763 0 0 0 100 2 0 0 20 0 19 0 411343878 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636105345264 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30276] ppid=30261 vsize=15419452 memory=4029400 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30276/stat : 30276 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411343878 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636104292960 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30277] ppid=30261 vsize=15419452 memory=20844 CPUtime=0.38 cores=0,2,4,6
/proc/30263/task/30277/stat : 30277 (java) S 30261 30261 30073 0 -1 1077944384 1607 0 0 0 20 18 0 0 20 0 19 0 411343878 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636103240496 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30353] ppid=30261 vsize=15419452 memory=38932 CPUtime=488.25 cores=0,2,4,6
/proc/30263/task/30353/stat : 30353 (java) R 30261 30261 30073 0 -1 4202560 2738 0 0 0 48824 1 0 0 20 0 19 0 411376918 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636093213296 140636246446239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30354] ppid=30261 vsize=15419452 memory=2020 CPUtime=490.7 cores=0,2,4,6
/proc/30263/task/30354/stat : 30354 (java) R 30261 30261 30073 0 -1 4202560 34503 0 0 0 49018 52 0 0 20 0 19 0 411376918 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636091109544 140636247279248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30355] ppid=30261 vsize=15419452 memory=0 CPUtime=489.23 cores=0,2,4,6
/proc/30263/task/30355/stat : 30355 (java) R 30261 30261 30073 0 -1 4202560 1743 0 0 0 48923 0 0 0 20 0 19 0 411376918 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636094267320 140636246441619 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30356] ppid=30261 vsize=15419452 memory=9126232286719478932 CPUtime=486.88 cores=0,2,4,6
/proc/30263/task/30356/stat : 30356 (java) R 30261 30261 30073 0 -1 4202560 3231 0 0 0 48688 0 0 0 20 0 19 0 411376918 15789518848 1007350 33554432000 4194304 4196468 140727073693920 140636092162264 140636247332309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
Current children cumulated CPU time: 2303.5 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4030852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+876.701 s]
/proc/loadavg: 8.19 7.45 5.07 9/238 2227
/proc/meminfo: memFree=20702184/32770624 swapFree=66957012/67108860
[pid=30261] ppid=30258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30261/stat : 30261 (xcsp3-exec) S 30258 30261 30073 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411343872 115843072 363 33554432000 4194304 5098028 140721101101248 140721101099352 140123479585404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8884224 140721101108091 140721101108333 140721101108333 140721101111242 0
/proc/30261/statm: 28282 363 304 221 0 87 0
[pid=30263] ppid=30261 vsize=15419452 memory=3972968 CPUtime=2520.11 cores=0,2,4,6
/proc/30263/stat : 30263 (java) S 30261 30261 30073 0 -1 1077944320 146986 0 0 0 251885 126 0 0 20 0 19 0 411343872 15789518848 993242 33554432000 4194304 4196468 140727073693920 140727073676464 140636643299063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
/proc/30263/statm: 3854863 993242 3536 1 0 3815965 0
[pid=30263/tid=30264] ppid=30261 vsize=15419452 memory=3972968 CPUtime=3.14 cores=0,2,4,6
/proc/30263/task/30264/stat : 30264 (java) S 30261 30261 30073 0 -1 1077944384 10578 0 0 0 305 9 0 0 20 0 19 0 411343872 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636647539840 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30265] ppid=30261 vsize=15419452 memory=3972968 CPUtime=0.56 cores=0,2,4,6
/proc/30263/task/30265/stat : 30265 (java) S 30261 30261 30073 0 -1 1077944384 977 0 0 0 46 10 0 0 20 0 19 0 411343873 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636571339024 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30266] ppid=30261 vsize=15419452 memory=3972968 CPUtime=0.52 cores=0,2,4,6
/proc/30263/task/30266/stat : 30266 (java) S 30261 30261 30073 0 -1 1077944384 2582 0 0 0 43 9 0 0 20 0 19 0 411343873 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636570286480 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30267] ppid=30261 vsize=15419452 memory=1452 CPUtime=0.57 cores=0,2,4,6
/proc/30263/task/30267/stat : 30267 (java) S 30261 30261 30073 0 -1 1077944384 3825 0 0 0 46 11 0 0 20 0 19 0 411343873 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636569233936 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30268] ppid=30261 vsize=15419452 memory=280393450858776 CPUtime=0.53 cores=0,2,4,6
/proc/30263/task/30268/stat : 30268 (java) S 30261 30261 30073 0 -1 1077944384 3325 0 0 0 43 10 0 0 20 0 19 0 411343873 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636568181392 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30269] ppid=30261 vsize=15419452 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/30263/task/30269/stat : 30269 (java) S 30261 30261 30073 0 -1 1077944384 4712 0 0 0 3 2 0 0 20 0 19 0 411343874 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636111661552 140636643310210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30270] ppid=30261 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30270/stat : 30270 (java) S 30261 30261 30073 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 411343875 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636110607840 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30271] ppid=30261 vsize=15419452 memory=4027860 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30271/stat : 30271 (java) S 30261 30261 30073 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 411343875 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636109555200 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30272] ppid=30261 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30272/stat : 30272 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411343877 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636108503760 140636643317659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30273] ppid=30261 vsize=15419452 memory=6944613755495348631 CPUtime=4.8 cores=0,2,4,6
/proc/30263/task/30273/stat : 30273 (java) S 30261 30261 30073 0 -1 1077944384 20916 0 0 0 478 2 0 0 20 0 19 0 411343877 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636107450352 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30274] ppid=30261 vsize=15419452 memory=1452 CPUtime=4.97 cores=0,2,4,6
/proc/30263/task/30274/stat : 30274 (java) S 30261 30261 30073 0 -1 1077944384 27178 0 0 0 495 2 0 0 20 0 19 0 411343878 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636106397808 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30275] ppid=30261 vsize=15419452 memory=3972968 CPUtime=1.02 cores=0,2,4,6
/proc/30263/task/30275/stat : 30275 (java) S 30261 30261 30073 0 -1 1077944384 13923 0 0 0 100 2 0 0 20 0 19 0 411343878 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636105345264 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30276] ppid=30261 vsize=15419452 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30276/stat : 30276 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411343878 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636104292960 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30277] ppid=30261 vsize=15419452 memory=38944 CPUtime=0.4 cores=0,2,4,6
/proc/30263/task/30277/stat : 30277 (java) S 30261 30261 30073 0 -1 1077944384 1665 0 0 0 21 19 0 0 20 0 19 0 411343878 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636103240496 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30353] ppid=30261 vsize=15419452 memory=1452 CPUtime=542.27 cores=0,2,4,6
/proc/30263/task/30353/stat : 30353 (java) R 30261 30261 30073 0 -1 4202560 3143 0 0 0 54226 1 0 0 20 0 19 0 411376918 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636093216272 140636239592987 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30354] ppid=30261 vsize=15419452 memory=3972968 CPUtime=544.84 cores=0,2,4,6
/proc/30263/task/30354/stat : 30354 (java) R 30261 30261 30073 0 -1 4202560 38192 0 0 0 54431 53 0 0 20 0 19 0 411376918 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636091109544 140636246504272 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30355] ppid=30261 vsize=15419452 memory=3972968 CPUtime=543.36 cores=0,2,4,6
/proc/30263/task/30355/stat : 30355 (java) R 30261 30261 30073 0 -1 4202560 1944 0 0 0 54336 0 0 0 20 0 19 0 411376918 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636094267072 140636246504272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30356] ppid=30261 vsize=15419452 memory=1452 CPUtime=541.13 cores=0,2,4,6
/proc/30263/task/30356/stat : 30356 (java) R 30261 30261 30073 0 -1 4202560 3419 0 0 0 54112 1 0 0 20 0 19 0 411376918 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636092162376 140636241067901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3974420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+876.735 s]
# the end of solver process 30261 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002262 s, system=0 s
[startup+876.803 s]
# the end of solver process 30263 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.17 s, system=1.29088 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+876.701 s]
/proc/loadavg: 8.19 7.45 5.07 9/238 2227
/proc/meminfo: memFree=20702184/32770624 swapFree=66957012/67108860
[pid=30261] ppid=30258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30261/stat : 30261 (xcsp3-exec) S 30258 30261 30073 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411343872 115843072 363 33554432000 4194304 5098028 140721101101248 140721101099352 140123479585404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8884224 140721101108091 140721101108333 140721101108333 140721101111242 0
/proc/30261/statm: 28282 363 304 221 0 87 0
[pid=30263] ppid=30261 vsize=15419452 memory=3972968 CPUtime=2520.11 cores=0,2,4,6
/proc/30263/stat : 30263 (java) S 30261 30261 30073 0 -1 1077944320 146986 0 0 0 251885 126 0 0 20 0 19 0 411343872 15789518848 993242 33554432000 4194304 4196468 140727073693920 140727073676464 140636643299063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
/proc/30263/statm: 3854863 993242 3536 1 0 3815965 0
[pid=30263/tid=30264] ppid=30261 vsize=15419452 memory=3972968 CPUtime=3.14 cores=0,2,4,6
/proc/30263/task/30264/stat : 30264 (java) S 30261 30261 30073 0 -1 1077944384 10578 0 0 0 305 9 0 0 20 0 19 0 411343872 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636647539840 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30265] ppid=30261 vsize=15419452 memory=3972968 CPUtime=0.56 cores=0,2,4,6
/proc/30263/task/30265/stat : 30265 (java) S 30261 30261 30073 0 -1 1077944384 977 0 0 0 46 10 0 0 20 0 19 0 411343873 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636571339024 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30266] ppid=30261 vsize=15419452 memory=3972968 CPUtime=0.52 cores=0,2,4,6
/proc/30263/task/30266/stat : 30266 (java) S 30261 30261 30073 0 -1 1077944384 2582 0 0 0 43 9 0 0 20 0 19 0 411343873 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636570286480 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30267] ppid=30261 vsize=15419452 memory=1452 CPUtime=0.57 cores=0,2,4,6
/proc/30263/task/30267/stat : 30267 (java) S 30261 30261 30073 0 -1 1077944384 3825 0 0 0 46 11 0 0 20 0 19 0 411343873 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636569233936 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30268] ppid=30261 vsize=15419452 memory=280393450858776 CPUtime=0.53 cores=0,2,4,6
/proc/30263/task/30268/stat : 30268 (java) S 30261 30261 30073 0 -1 1077944384 3325 0 0 0 43 10 0 0 20 0 19 0 411343873 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636568181392 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30269] ppid=30261 vsize=15419452 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/30263/task/30269/stat : 30269 (java) S 30261 30261 30073 0 -1 1077944384 4712 0 0 0 3 2 0 0 20 0 19 0 411343874 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636111661552 140636643310210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30270] ppid=30261 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30270/stat : 30270 (java) S 30261 30261 30073 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 411343875 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636110607840 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30271] ppid=30261 vsize=15419452 memory=4027860 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30271/stat : 30271 (java) S 30261 30261 30073 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 411343875 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636109555200 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30272] ppid=30261 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30272/stat : 30272 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411343877 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636108503760 140636643317659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30273] ppid=30261 vsize=15419452 memory=6944613755495348631 CPUtime=4.8 cores=0,2,4,6
/proc/30263/task/30273/stat : 30273 (java) S 30261 30261 30073 0 -1 1077944384 20916 0 0 0 478 2 0 0 20 0 19 0 411343877 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636107450352 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30274] ppid=30261 vsize=15419452 memory=1452 CPUtime=4.97 cores=0,2,4,6
/proc/30263/task/30274/stat : 30274 (java) S 30261 30261 30073 0 -1 1077944384 27178 0 0 0 495 2 0 0 20 0 19 0 411343878 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636106397808 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30275] ppid=30261 vsize=15419452 memory=3972968 CPUtime=1.02 cores=0,2,4,6
/proc/30263/task/30275/stat : 30275 (java) S 30261 30261 30073 0 -1 1077944384 13923 0 0 0 100 2 0 0 20 0 19 0 411343878 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636105345264 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30276] ppid=30261 vsize=15419452 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/30263/task/30276/stat : 30276 (java) S 30261 30261 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411343878 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636104292960 140636643309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30277] ppid=30261 vsize=15419452 memory=38944 CPUtime=0.4 cores=0,2,4,6
/proc/30263/task/30277/stat : 30277 (java) S 30261 30261 30073 0 -1 1077944384 1665 0 0 0 21 19 0 0 20 0 19 0 411343878 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636103240496 140636643310210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30353] ppid=30261 vsize=15419452 memory=1452 CPUtime=542.27 cores=0,2,4,6
/proc/30263/task/30353/stat : 30353 (java) R 30261 30261 30073 0 -1 4202560 3143 0 0 0 54226 1 0 0 20 0 19 0 411376918 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636093216272 140636239592987 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30354] ppid=30261 vsize=15419452 memory=3972968 CPUtime=544.84 cores=0,2,4,6
/proc/30263/task/30354/stat : 30354 (java) R 30261 30261 30073 0 -1 4202560 38192 0 0 0 54431 53 0 0 20 0 19 0 411376918 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636091109544 140636246504272 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30355] ppid=30261 vsize=15419452 memory=3972968 CPUtime=543.36 cores=0,2,4,6
/proc/30263/task/30355/stat : 30355 (java) R 30261 30261 30073 0 -1 4202560 1944 0 0 0 54336 0 0 0 20 0 19 0 411376918 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636094267072 140636246504272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
[pid=30263/tid=30356] ppid=30261 vsize=15419452 memory=1452 CPUtime=541.13 cores=0,2,4,6
/proc/30263/task/30356/stat : 30356 (java) R 30261 30261 30073 0 -1 4202560 3419 0 0 0 54112 1 0 0 20 0 19 0 411376918 15789518848 993242 33554432000 4194304 4196468 140727073693920 140636092162376 140636241067901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35524608 140727073702895 140727073703066 140727073703066 140727073705935 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 3974420 KiB
Child status: 143
Real time (s): 876.803
CPU time (s): 2520.46
CPU user time (s): 2519.17
CPU system time (s): 1.29088
CPU usage (%): 287.46
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 4211780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.17
system time used= 1.29088
maximum resident set size= 4215460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22752
involuntary context switches= 31368
# summary of solver processes directly reported to runsolver:
# pid: 30261,30263
# total CPU time (s): 2520.46
# total CPU user time (s): 2519.17
# total CPU system time (s): 1.29088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22217 second user time and 9.03148 second system time
The end