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 (14921 MiB free)
memory of node 1: 16384 MiB (15484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394359-1568328411/watcher-4394359-1568328411 -o /tmp/evaluation-result-4394359-1568328411/solver-4394359-1568328411 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2034749494 HOME/instance-4394359-1568328411.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=32131, runsolver pid=32128
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.61 8.47 8.17 7/233 32147
/proc/meminfo: memFree=31119964/32770624 swapFree=66933624/67108860
[pid=32131] ppid=32128 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32131/stat : 32131 (xcsp3-exec) S 32128 32131 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112596 115843072 362 33554432000 4194304 5098028 140724916084208 140724916082312 140443482780284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20791296 140724916089722 140724916089965 140724916089965 140724916092874 0
/proc/32131/statm: 28282 362 304 221 0 87 0
[pid=32133] ppid=32131 vsize=15144768 memory=28996 CPUtime=0.13 cores=1,3,5,7
/proc/32133/stat : 32133 (java) S 32131 32131 25300 0 -1 1077944320 5714 0 0 0 12 1 0 0 20 0 15 0 409112596 15508242432 7249 33554432000 4194304 4196468 140731014887792 140731014870336 140290791710455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
/proc/32133/statm: 3786192 7249 3159 1 0 3748377 0
[pid=32133/tid=32134] ppid=32131 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/32133/task/32134/stat : 32134 (java) R 32131 32131 25300 0 -1 4202560 3571 0 0 0 8 1 0 0 20 0 15 0 409112597 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290795941456 140290791722390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32135] ppid=32131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32135/stat : 32135 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290748262928 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32136] ppid=32131 vsize=15144768 memory=140317132719744 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32136/stat : 32136 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290747210384 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32137] ppid=32131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32137/stat : 32137 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290746157328 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32138] ppid=32131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32138/stat : 32138 (java) S 32131 32131 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409112597 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290380978576 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32139] ppid=32131 vsize=15144768 memory=140317132719744 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32139/stat : 32139 (java) S 32131 32131 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409112599 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290260142832 140290791721602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32140] ppid=32131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32140/stat : 32140 (java) S 32131 32131 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409112599 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290259089056 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32141] ppid=32131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32141/stat : 32141 (java) S 32131 32131 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409112599 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290258035952 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32142] ppid=32131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32142/stat : 32142 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112602 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290256984528 140290791729051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32143] ppid=32131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32143/stat : 32143 (java) S 32131 32131 25300 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 409112602 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290255931632 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32144] ppid=32131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32144/stat : 32144 (java) S 32131 32131 25300 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 409112602 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290254879088 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32145] ppid=32131 vsize=15144768 memory=140317132719744 CPUtime=0.02 cores=1,3,5,7
/proc/32133/task/32145/stat : 32145 (java) R 32131 32131 25300 0 -1 4202560 382 0 0 0 2 0 0 0 20 0 15 0 409112602 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290253821760 140290775790942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32146] ppid=32131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32146/stat : 32146 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112602 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290252773728 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32147] ppid=32131 vsize=15144768 memory=140317132719744 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32147/stat : 32147 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112602 15508242432 7249 33554432000 4194304 4196468 140731014887792 140290251721776 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30444 KiB
[startup+0.210755 s]*
/proc/loadavg: 8.61 8.47 8.17 8/233 32147
/proc/meminfo: memFree=31106612/32770624 swapFree=66933624/67108860
[pid=32131] ppid=32128 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32131/stat : 32131 (xcsp3-exec) S 32128 32131 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112596 115843072 362 33554432000 4194304 5098028 140724916084208 140724916082312 140443482780284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20791296 140724916089722 140724916089965 140724916089965 140724916092874 0
/proc/32131/statm: 28282 362 304 221 0 87 0
[pid=32133] ppid=32131 vsize=15144768 memory=40844 CPUtime=0.34 cores=1,3,5,7
/proc/32133/stat : 32133 (java) S 32131 32131 25300 0 -1 1077944320 9446 0 0 0 31 3 0 0 20 0 15 0 409112596 15508242432 10211 33554432000 4194304 4196468 140731014887792 140731014870336 140290791710455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
/proc/32133/statm: 3786192 10211 3266 1 0 3748377 0
[pid=32133/tid=32134] ppid=32131 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32133/task/32134/stat : 32134 (java) R 32131 32131 25300 0 -1 4202560 6609 0 0 0 18 2 0 0 20 0 15 0 409112597 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290795944384 140290791732381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32135] ppid=32131 vsize=15144768 memory=2964501 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32135/stat : 32135 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290748262928 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32136] ppid=32131 vsize=15144768 memory=288370693284431488 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32136/stat : 32136 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290747210384 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32137] ppid=32131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32137/stat : 32137 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290746157328 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32138] ppid=32131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32138/stat : 32138 (java) S 32131 32131 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409112597 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290380978576 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32139] ppid=32131 vsize=15144768 memory=140317132719744 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32139/stat : 32139 (java) S 32131 32131 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409112599 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290260142832 140290791721602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32140] ppid=32131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32140/stat : 32140 (java) S 32131 32131 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409112599 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290259089056 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32141] ppid=32131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32141/stat : 32141 (java) S 32131 32131 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409112599 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290258035952 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32142] ppid=32131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32142/stat : 32142 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112602 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290256984528 140290791729051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32143] ppid=32131 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32133/task/32143/stat : 32143 (java) S 32131 32131 25300 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 15 0 409112602 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290255931632 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32144] ppid=32131 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/32133/task/32144/stat : 32144 (java) S 32131 32131 25300 0 -1 1077944384 524 0 0 0 3 0 0 0 20 0 15 0 409112602 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290254879088 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32145] ppid=32131 vsize=15144768 memory=140317132719744 CPUtime=0.08 cores=1,3,5,7
/proc/32133/task/32145/stat : 32145 (java) S 32131 32131 25300 0 -1 1077944384 794 0 0 0 8 0 0 0 20 0 15 0 409112602 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290253826032 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32146] ppid=32131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32146/stat : 32146 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112602 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290252773728 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32147] ppid=32131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32147/stat : 32147 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112602 15508242432 10211 33554432000 4194304 4196468 140731014887792 140290251721776 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42292 KiB
[startup+0.316867 s]*
/proc/loadavg: 8.61 8.47 8.17 7/233 32147
/proc/meminfo: memFree=31099060/32770624 swapFree=66933624/67108860
[pid=32131] ppid=32128 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32131/stat : 32131 (xcsp3-exec) S 32128 32131 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112596 115843072 362 33554432000 4194304 5098028 140724916084208 140724916082312 140443482780284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20791296 140724916089722 140724916089965 140724916089965 140724916092874 0
/proc/32131/statm: 28282 362 304 221 0 87 0
[pid=32133] ppid=32131 vsize=15149024 memory=50652 CPUtime=0.53 cores=1,3,5,7
/proc/32133/stat : 32133 (java) S 32131 32131 25300 0 -1 1077944320 10936 0 0 0 50 3 0 0 20 0 15 0 409112596 15512600576 12663 33554432000 4194304 4196468 140731014887792 140731014870336 140290791710455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
/proc/32133/statm: 3787256 12663 3365 1 0 3748377 0
[pid=32133/tid=32134] ppid=32131 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/32133/task/32134/stat : 32134 (java) R 32131 32131 25300 0 -1 4202560 7862 0 0 0 28 2 0 0 20 0 15 0 409112597 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290795938224 140290775790942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32135] ppid=32131 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32135/stat : 32135 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290748262928 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32136] ppid=32131 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32136/stat : 32136 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290747210384 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32137] ppid=32131 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32137/stat : 32137 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290746157328 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32138] ppid=32131 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32138/stat : 32138 (java) S 32131 32131 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409112597 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290380978576 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32139] ppid=32131 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32139/stat : 32139 (java) S 32131 32131 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409112599 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290260142832 140290791721602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32140] ppid=32131 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32140/stat : 32140 (java) S 32131 32131 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409112599 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290259089056 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32141] ppid=32131 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32141/stat : 32141 (java) S 32131 32131 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409112599 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290258035952 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32142] ppid=32131 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32142/stat : 32142 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112602 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290256984528 140290791729051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32143] ppid=32131 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/32133/task/32143/stat : 32143 (java) S 32131 32131 25300 0 -1 1077944384 341 0 0 0 4 0 0 0 20 0 15 0 409112602 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290255931632 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32144] ppid=32131 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/32133/task/32144/stat : 32144 (java) S 32131 32131 25300 0 -1 1077944384 543 0 0 0 5 0 0 0 20 0 15 0 409112602 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290254879088 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32145] ppid=32131 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32133/task/32145/stat : 32145 (java) S 32131 32131 25300 0 -1 1077944384 887 0 0 0 12 0 0 0 20 0 15 0 409112602 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290253826032 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32146] ppid=32131 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32146/stat : 32146 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112602 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290252773728 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32147] ppid=32131 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32147/stat : 32147 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112602 15512600576 12663 33554432000 4194304 4196468 140731014887792 140290251721776 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52100 KiB
[startup+0.700866 s]
/proc/loadavg: 8.61 8.47 8.17 9/233 32147
/proc/meminfo: memFree=31079024/32770624 swapFree=66933624/67108860
[pid=32131] ppid=32128 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32131/stat : 32131 (xcsp3-exec) S 32128 32131 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112596 115843072 362 33554432000 4194304 5098028 140724916084208 140724916082312 140443482780284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20791296 140724916089722 140724916089965 140724916089965 140724916092874 0
/proc/32131/statm: 28282 362 304 221 0 87 0
[pid=32133] ppid=32131 vsize=15151148 memory=95228 CPUtime=1.74 cores=1,3,5,7
/proc/32133/stat : 32133 (java) S 32131 32131 25300 0 -1 1077944320 14945 0 0 0 169 5 0 0 20 0 15 0 409112596 15514775552 23807 33554432000 4194304 4196468 140731014887792 140731014870336 140290791710455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
/proc/32133/statm: 3787787 23807 3439 1 0 3748889 0
[pid=32133/tid=32134] ppid=32131 vsize=15151148 memory=20204 CPUtime=0.67 cores=1,3,5,7
/proc/32133/task/32134/stat : 32134 (java) R 32131 32131 25300 0 -1 4202560 9083 0 0 0 64 3 0 0 20 0 15 0 409112597 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290795937360 140290425957518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32135] ppid=32131 vsize=15151148 memory=984 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32135/stat : 32135 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290748262928 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32136] ppid=32131 vsize=15151148 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32136/stat : 32136 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290747210384 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32137] ppid=32131 vsize=15151148 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32137/stat : 32137 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112597 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290746157328 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32138] ppid=32131 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32138/stat : 32138 (java) S 32131 32131 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409112597 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290380978576 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32139] ppid=32131 vsize=15151148 memory=976 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32139/stat : 32139 (java) S 32131 32131 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409112599 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290260142832 140290791721602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32140] ppid=32131 vsize=15151148 memory=772 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32140/stat : 32140 (java) S 32131 32131 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409112599 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290259089056 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32141] ppid=32131 vsize=15151148 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32141/stat : 32141 (java) S 32131 32131 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409112599 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290258035952 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32142] ppid=32131 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32142/stat : 32142 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112602 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290256984528 140290791729051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32143] ppid=32131 vsize=15151148 memory=1548 CPUtime=0.33 cores=1,3,5,7
/proc/32133/task/32143/stat : 32143 (java) R 32131 32131 25300 0 -1 4202560 1094 0 0 0 33 0 0 0 20 0 15 0 409112602 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290255913040 140290775999312 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32144] ppid=32131 vsize=15151148 memory=1056 CPUtime=0.36 cores=1,3,5,7
/proc/32133/task/32144/stat : 32144 (java) R 32131 32131 25300 0 -1 4202560 1544 0 0 0 36 0 0 0 20 0 15 0 409112602 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290254871024 140290775207243 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32145] ppid=32131 vsize=15151148 memory=744 CPUtime=0.35 cores=1,3,5,7
/proc/32133/task/32145/stat : 32145 (java) R 32131 32131 25300 0 -1 4202560 1918 0 0 0 35 0 0 0 20 0 15 0 409112602 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290253826032 140290791731802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32146] ppid=32131 vsize=15151148 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32146/stat : 32146 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409112602 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290252773728 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32147] ppid=32131 vsize=15151148 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32147/stat : 32147 (java) S 32131 32131 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409112602 15514775552 23807 33554432000 4194304 4196468 140731014887792 140290251721776 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 96676 KiB
[startup+1.50087 s]
/proc/loadavg: 8.61 8.47 8.17 8/233 32147
/proc/meminfo: memFree=30996440/32770624 swapFree=66933624/67108860
[pid=32131] ppid=32128 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32131/stat : 32131 (xcsp3-exec) S 32128 32131 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112596 115843072 362 33554432000 4194304 5098028 140724916084208 140724916082312 140443482780284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20791296 140724916089722 140724916089965 140724916089965 140724916092874 0
/proc/32131/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/32133/task/32143/stat : 32143 (java) S 32131 32131 25300 0 -1 1077944384 10840 0 0 0 220 1 0 0 20 0 19 0 409112602 15789518848 207030 33554432000 4194304 4196468 140731014887792 140290255931632 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32144] ppid=32131 vsize=15419452 memory=417 CPUtime=2.15 cores=1,3,5,7
/proc/32133/task/32144/stat : 32144 (java) S 32131 32131 25300 0 -1 1077944384 7664 0 0 0 214 1 0 0 20 0 19 0 409112602 15789518848 207030 33554432000 4194304 4196468 140731014887792 140290254879088 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32145] ppid=32131 vsize=15419452 memory=288230376154938738 CPUtime=0.8 cores=1,3,5,7
/proc/32133/task/32145/stat : 32145 (java) S 32131 32131 25300 0 -1 1077944384 6315 0 0 0 78 2 0 0 20 0 19 0 409112602 15789518848 207030 33554432000 4194304 4196468 140731014887792 140290253826032 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32146] ppid=32131 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32146/stat : 32146 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112602 15789518848 207030 33554432000 4194304 4196468 140731014887792 140290252773728 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32147] ppid=32131 vsize=15419452 memory=1448 CPUtime=0.17 cores=1,3,5,7
/proc/32133/task/32147/stat : 32147 (java) S 32131 32131 25300 0 -1 1077944384 407 0 0 0 17 0 0 0 20 0 19 0 409112602 15789518848 207030 33554432000 4194304 4196468 140731014887792 140290251721776 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32152] ppid=32131 vsize=15419452 memory=6791534058613427641 CPUtime=513.75 cores=1,3,5,7
/proc/32133/task/32152/stat : 32152 (java) R 32131 32131 25300 0 -1 4202560 1891 0 0 0 51373 2 0 0 20 0 19 0 409112775 15789518848 207030 33554432000 4194304 4196468 140731014887792 140290239589864 140290433571287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32153] ppid=32131 vsize=15419452 memory=976 CPUtime=513.73 cores=1,3,5,7
/proc/32133/task/32153/stat : 32153 (java) R 32131 32131 25300 0 -1 4202560 3498 0 0 0 51369 4 0 0 20 0 19 0 409112775 15789518848 207030 33554432000 4194304 4196468 140731014887792 140290241696024 140290433683618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32154] ppid=32131 vsize=15419452 memory=6791534058613427641 CPUtime=513.56 cores=1,3,5,7
/proc/32133/task/32154/stat : 32154 (java) R 32131 32131 25300 0 -1 4202560 2318 0 0 0 51354 2 0 0 20 0 19 0 409112775 15789518848 207030 33554432000 4194304 4196468 140731014887792 140290242751040 140290433571410 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32155] ppid=32131 vsize=15419452 memory=2596 CPUtime=512.71 cores=1,3,5,7
/proc/32133/task/32155/stat : 32155 (java) R 32131 32131 25300 0 -1 4202560 3290 0 0 0 51268 3 0 0 20 0 19 0 409112775 15789518848 207030 33554432000 4194304 4196468 140731014887792 140290240643360 140290434126785 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
Current children cumulated CPU time: 2068.5 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 829568 KiB
[startup+582.301 s]
/proc/loadavg: 8.72 8.41 8.25 9/238 32314
/proc/meminfo: memFree=29553856/32770624 swapFree=66933636/67108860
[pid=32131] ppid=32128 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32131/stat : 32131 (xcsp3-exec) S 32128 32131 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112596 115843072 362 33554432000 4194304 5098028 140724916084208 140724916082312 140443482780284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20791296 140724916089722 140724916089965 140724916089965 140724916092874 0
/proc/32131/statm: 28282 362 304 221 0 87 0
[pid=32133] ppid=32131 vsize=15419452 memory=828656 CPUtime=2305.94 cores=1,3,5,7
/proc/32133/stat : 32133 (java) S 32131 32131 25300 0 -1 1077944320 79715 0 0 0 230515 79 0 0 20 0 19 0 409112596 15789518848 207164 33554432000 4194304 4196468 140731014887792 140731014870336 140290791710455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
/proc/32133/statm: 3854863 207164 3549 1 0 3815965 0
[pid=32133/tid=32134] ppid=32131 vsize=15419452 memory=828656 CPUtime=1.66 cores=1,3,5,7
/proc/32133/task/32134/stat : 32134 (java) S 32131 32131 25300 0 -1 1077944384 11945 0 0 0 161 5 0 0 20 0 19 0 409112597 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290795951232 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32135] ppid=32131 vsize=15419452 memory=1448 CPUtime=1.82 cores=1,3,5,7
/proc/32133/task/32135/stat : 32135 (java) S 32131 32131 25300 0 -1 1077944384 3346 0 0 0 168 14 0 0 20 0 19 0 409112597 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290748262928 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32136] ppid=32131 vsize=15419452 memory=828656 CPUtime=1.82 cores=1,3,5,7
/proc/32133/task/32136/stat : 32136 (java) S 32131 32131 25300 0 -1 1077944384 4540 0 0 0 170 12 0 0 20 0 19 0 409112597 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290747210384 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32137] ppid=32131 vsize=15419452 memory=828656 CPUtime=1.8 cores=1,3,5,7
/proc/32133/task/32137/stat : 32137 (java) S 32131 32131 25300 0 -1 1077944384 4239 0 0 0 166 14 0 0 20 0 19 0 409112597 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290746157328 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32138] ppid=32131 vsize=15419452 memory=828656 CPUtime=1.82 cores=1,3,5,7
/proc/32133/task/32138/stat : 32138 (java) S 32131 32131 25300 0 -1 1077944384 4481 0 0 0 168 14 0 0 20 0 19 0 409112597 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290380978576 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32139] ppid=32131 vsize=15419452 memory=828656 CPUtime=1.11 cores=1,3,5,7
/proc/32133/task/32139/stat : 32139 (java) S 32131 32131 25300 0 -1 1077944384 12639 0 0 0 101 10 0 0 20 0 19 0 409112599 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290260142832 140290791721602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32140] ppid=32131 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32140/stat : 32140 (java) S 32131 32131 25300 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 409112599 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290259089120 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32141] ppid=32131 vsize=15419452 memory=828656 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32141/stat : 32141 (java) S 32131 32131 25300 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 409112599 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290258035968 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32142] ppid=32131 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32142/stat : 32142 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112602 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290256984528 140290791729051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32143] ppid=32131 vsize=15419452 memory=3620 CPUtime=2.21 cores=1,3,5,7
/proc/32133/task/32143/stat : 32143 (java) S 32131 32131 25300 0 -1 1077944384 10843 0 0 0 220 1 0 0 20 0 19 0 409112602 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290255931632 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32144] ppid=32131 vsize=15419452 memory=1448 CPUtime=2.16 cores=1,3,5,7
/proc/32133/task/32144/stat : 32144 (java) S 32131 32131 25300 0 -1 1077944384 7666 0 0 0 215 1 0 0 20 0 19 0 409112602 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290254879088 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32145] ppid=32131 vsize=15419452 memory=1448 CPUtime=0.8 cores=1,3,5,7
/proc/32133/task/32145/stat : 32145 (java) S 32131 32131 25300 0 -1 1077944384 6317 0 0 0 78 2 0 0 20 0 19 0 409112602 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290253826032 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32146] ppid=32131 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32146/stat : 32146 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112602 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290252773728 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32147] ppid=32131 vsize=15419452 memory=828656 CPUtime=0.19 cores=1,3,5,7
/proc/32133/task/32147/stat : 32147 (java) S 32131 32131 25300 0 -1 1077944384 416 0 0 0 19 0 0 0 20 0 19 0 409112602 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290251721776 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32152] ppid=32131 vsize=15419452 memory=1448 CPUtime=572.88 cores=1,3,5,7
/proc/32133/task/32152/stat : 32152 (java) R 32131 32131 25300 0 -1 4202560 2123 0 0 0 57286 2 0 0 20 0 19 0 409112775 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290239589864 140290433212343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32153] ppid=32131 vsize=15419452 memory=828656 CPUtime=572.81 cores=1,3,5,7
/proc/32133/task/32153/stat : 32153 (java) R 32131 32131 25300 0 -1 4202560 3648 0 0 0 57277 4 0 0 20 0 19 0 409112775 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290241695440 140290433683641 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32154] ppid=32131 vsize=15419452 memory=1448 CPUtime=572.84 cores=1,3,5,7
/proc/32133/task/32154/stat : 32154 (java) R 32131 32131 25300 0 -1 4202560 2502 0 0 0 57282 2 0 0 20 0 19 0 409112775 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290242748824 140290427010656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32155] ppid=32131 vsize=15419452 memory=828656 CPUtime=571.76 cores=1,3,5,7
/proc/32133/task/32155/stat : 32155 (java) R 32131 32131 25300 0 -1 4202560 3496 0 0 0 57173 3 0 0 20 0 19 0 409112775 15789518848 207164 33554432000 4194304 4196468 140731014887792 140290240646128 140290433305930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
Current children cumulated CPU time: 2305.94 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 830104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+606.112 s]
/proc/loadavg: 8.77 8.44 8.27 9/238 32314
/proc/meminfo: memFree=29524928/32770624 swapFree=66933636/67108860
[pid=32131] ppid=32128 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32131/stat : 32131 (xcsp3-exec) S 32128 32131 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409112596 115843072 362 33554432000 4194304 5098028 140724916084208 140724916082312 140443482780284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20791296 140724916089722 140724916089965 140724916089965 140724916092874 0
/proc/32131/statm: 28282 362 304 221 0 87 0
[pid=32133] ppid=32131 vsize=15419452 memory=828824 CPUtime=2400.36 cores=1,3,5,7
/proc/32133/stat : 32133 (java) S 32131 32131 25300 0 -1 1077944320 80574 0 0 0 239956 80 0 0 20 0 19 0 409112596 15789518848 207206 33554432000 4194304 4196468 140731014887792 140731014870336 140290791710455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
/proc/32133/statm: 3854863 207206 3549 1 0 3815965 0
[pid=32133/tid=32134] ppid=32131 vsize=15419452 memory=1448 CPUtime=1.66 cores=1,3,5,7
/proc/32133/task/32134/stat : 32134 (java) S 32131 32131 25300 0 -1 1077944384 11945 0 0 0 161 5 0 0 20 0 19 0 409112597 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290795951232 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32135] ppid=32131 vsize=15419452 memory=828824 CPUtime=1.92 cores=1,3,5,7
/proc/32133/task/32135/stat : 32135 (java) S 32131 32131 25300 0 -1 1077944384 3369 0 0 0 178 14 0 0 20 0 19 0 409112597 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290748262928 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32136] ppid=32131 vsize=15419452 memory=828824 CPUtime=1.91 cores=1,3,5,7
/proc/32133/task/32136/stat : 32136 (java) S 32131 32131 25300 0 -1 1077944384 4562 0 0 0 179 12 0 0 20 0 19 0 409112597 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290747210384 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32137] ppid=32131 vsize=15419452 memory=1448 CPUtime=1.89 cores=1,3,5,7
/proc/32133/task/32137/stat : 32137 (java) S 32131 32131 25300 0 -1 1077944384 4267 0 0 0 175 14 0 0 20 0 19 0 409112597 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290746157328 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32138] ppid=32131 vsize=15419452 memory=828688 CPUtime=1.91 cores=1,3,5,7
/proc/32133/task/32138/stat : 32138 (java) S 32131 32131 25300 0 -1 1077944384 5020 0 0 0 177 14 0 0 20 0 19 0 409112597 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290380978576 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32139] ppid=32131 vsize=15419452 memory=828656 CPUtime=1.17 cores=1,3,5,7
/proc/32133/task/32139/stat : 32139 (java) S 32131 32131 25300 0 -1 1077944384 12643 0 0 0 106 11 0 0 20 0 19 0 409112599 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290260142832 140290791721602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32140] ppid=32131 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32140/stat : 32140 (java) S 32131 32131 25300 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 409112599 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290259089120 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32141] ppid=32131 vsize=15419452 memory=828688 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32141/stat : 32141 (java) S 32131 32131 25300 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 409112599 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290258035968 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32142] ppid=32131 vsize=15419452 memory=828824 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32142/stat : 32142 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112602 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290256984528 140290791729051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32143] ppid=32131 vsize=15419452 memory=828824 CPUtime=2.21 cores=1,3,5,7
/proc/32133/task/32143/stat : 32143 (java) S 32131 32131 25300 0 -1 1077944384 10843 0 0 0 220 1 0 0 20 0 19 0 409112602 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290255931632 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32144] ppid=32131 vsize=15419452 memory=1448 CPUtime=2.16 cores=1,3,5,7
/proc/32133/task/32144/stat : 32144 (java) S 32131 32131 25300 0 -1 1077944384 7666 0 0 0 215 1 0 0 20 0 19 0 409112602 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290254879088 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32145] ppid=32131 vsize=15419452 memory=1448 CPUtime=0.8 cores=1,3,5,7
/proc/32133/task/32145/stat : 32145 (java) S 32131 32131 25300 0 -1 1077944384 6317 0 0 0 78 2 0 0 20 0 19 0 409112602 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290253826032 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32146] ppid=32131 vsize=15419452 memory=828824 CPUtime=0 cores=1,3,5,7
/proc/32133/task/32146/stat : 32146 (java) S 32131 32131 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409112602 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290252773728 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32147] ppid=32131 vsize=15419452 memory=1448 CPUtime=0.2 cores=1,3,5,7
/proc/32133/task/32147/stat : 32147 (java) S 32131 32131 25300 0 -1 1077944384 418 0 0 0 20 0 0 0 20 0 19 0 409112602 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290251721776 140290791721602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32152] ppid=32131 vsize=15419452 memory=1448 CPUtime=596.43 cores=1,3,5,7
/proc/32133/task/32152/stat : 32152 (java) R 32131 32131 25300 0 -1 4202560 2189 0 0 0 59641 2 0 0 20 0 19 0 409112775 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290239589864 140290771435552 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32153] ppid=32131 vsize=15419452 memory=3620 CPUtime=596.28 cores=1,3,5,7
/proc/32133/task/32153/stat : 32153 (java) R 32131 32131 25300 0 -1 4202560 3685 0 0 0 59624 4 0 0 20 0 19 0 409112775 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290241695184 140290433571292 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32154] ppid=32131 vsize=15419452 memory=1448 CPUtime=596.34 cores=1,3,5,7
/proc/32133/task/32154/stat : 32154 (java) R 32131 32131 25300 0 -1 4202560 2552 0 0 0 59632 2 0 0 20 0 19 0 409112775 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290242748824 140290433571185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32155] ppid=32131 vsize=15419452 memory=1448 CPUtime=595.23 cores=1,3,5,7
/proc/32133/task/32155/stat : 32155 (java) R 32131 32131 25300 0 -1 4202560 3584 0 0 0 59519 4 0 0 20 0 19 0 409112775 15789518848 207206 33554432000 4194304 4196468 140731014887792 140290240646128 140290434379262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
Current children cumulated CPU time: 2400.36 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 830272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+606.144 s]
# the end of solver process 32131 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001171 s, system=0.001171 s
[startup+606.251 s]
# the end of solver process 32133 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.04 s, system=0.817891 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+606.233 s]*
/proc/loadavg: 8.77 8.44 8.27 10/237 32316
/proc/meminfo: memFree=29516720/32770624 swapFree=66933636/67108860
[pid=32133] ppid=32128 vsize=15552580 memory=837300 CPUtime=2400.83 cores=1,3,5,7
/proc/32133/stat : 32133 (java) S 32128 32131 25300 0 -1 1077944320 84995 0 0 0 240003 80 0 0 20 0 19 0 409112596 15925841920 209325 33554432000 4194304 4196468 140731014887792 140731014870336 140290791710455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
/proc/32133/statm: 3888145 209325 3550 1 0 3849247 0
[pid=32133/tid=32134] ppid=32128 vsize=15552580 memory=6791534058613427641 CPUtime=1.66 cores=1,3,5,7
/proc/32133/task/32134/stat : 32134 (java) S 32128 32131 25300 0 -1 1077944384 11945 0 0 0 161 5 0 0 20 0 19 0 409112597 15925841920 209325 33554432000 4194304 4196468 140731014887792 140290795951232 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32135] ppid=32128 vsize=15552580 memory=4126316290023845779 CPUtime=1.95 cores=1,3,5,7
/proc/32133/task/32135/stat : 32135 (java) S 32128 32131 25300 0 -1 1077944384 3416 0 0 0 181 14 0 0 20 0 19 0 409112597 15925841920 209325 33554432000 4194304 4196468 140731014887792 140290748262928 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32136] ppid=32128 vsize=15552580 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/32133/task/32136/stat : 32136 (java) S 32128 32131 25300 0 -1 1077944384 4594 0 0 0 182 12 0 0 20 0 19 0 409112597 15925841920 209325 33554432000 4194304 4196468 140731014887792 140290747210384 140290791720661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32137] ppid=32128 vsize=15552580 memory=0 CPUtime=1.93 cores=1,3,5,7
/proc/32133/task/32137/stat : 32137 (java) R 32128 32131 25300 0 -1 1077944384 4338 0 0 0 179 14 0 0 20 0 19 0 409112597 15925841920 209384 33554432000 4194304 4196468 140731014887792 140290746157328 140290791720661 256 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
[pid=32133/tid=32143] ppid=32128 vsize=15552580 memory=0 CPUtime=2.21 cores=1,3,5,7
/proc/32133/task/32143/stat : 32143 (java) R 32128 32131 25300 0 -1 1077944384 10843 0 0 0 220 1 0 0 20 0 2 0 409112602 15925841920 209469 33554432000 4194304 4196468 140731014887792 140290255931632 140290791721602 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30326784 140731014890479 140731014890650 140731014890650 140731014893519 0
Current cumulated CPU time of completed processes: 0.002342 s
Current children cumulated CPU time: 2400.83 s
Current children cumulated vsize: 15552580 KiB
Current children cumulated memory: 837300 KiB
Child status: 143
Real time (s): 606.251
CPU time (s): 2400.86
CPU user time (s): 2400.04
CPU system time (s): 0.817891
CPU usage (%): 396.017
Max. virtual memory (cumulated for all children) (KiB): 15552580
Max. memory (cumulated for all children) (KiB): 944592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.817891
maximum resident set size= 981336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58290
involuntary context switches= 44895
# summary of solver processes directly reported to runsolver:
# pid: 32131,32133
# total CPU time (s): 2400.86
# total CPU user time (s): 2400.04
# total CPU system time (s): 0.817891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8674 second user time and 7.15826 second system time
The end