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 (5200 MiB free)
memory of node 1: 16384 MiB (7647 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387570-1568285995/watcher-4387570-1568285995 -o /tmp/evaluation-result-4387570-1568285995/solver-4387570-1568285995 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4193 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387570-1568285995.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
Current StackSize limit: 8192 KiB
solver pid=4337, runsolver pid=4334
[startup+0.100166 s]*
/proc/loadavg: 1.88 1.97 2.03 3/229 4354
/proc/meminfo: memFree=13060132/32770624 swapFree=66939824/67108860
[pid=4337] ppid=4334 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4337/stat : 4337 (scop.sh) S 4334 4337 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404514476 115843072 349 33554432000 4194304 5098028 140736991105952 140736991103208 140038847345276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11190272 140736991109987 140736991110256 140736991110256 140736991113165 0
/proc/4337/statm: 28282 349 296 221 0 87 0
[pid=4340] ppid=4337 vsize=15013720 memory=72908 CPUtime=0.11 cores=0,2,4,6
/proc/4340/stat : 4340 (java) S 4337 4337 3344 0 -1 1077944320 7022 0 0 0 10 1 0 0 20 0 15 0 404514476 15374049280 18161 33554432000 4194304 4196468 140735585101616 140735585084160 139914353229559 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
/proc/4340/statm: 3753430 18227 2887 1 0 3715835 0
[pid=4340/tid=4341] ppid=4337 vsize=15014680 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/4340/task/4341/stat : 4341 (java) R 4337 4337 3344 0 -1 4202560 5082 0 0 0 8 1 0 0 20 0 15 0 404514476 15375032320 18491 33554432000 4194304 4196468 140735585101616 139914325013808 139914345909277 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4342] ppid=4337 vsize=15014680 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4342/stat : 4342 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15375032320 18491 33554432000 4194304 4196468 140735585101616 139914357471888 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4343] ppid=4337 vsize=15014680 memory=140277580510848 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4343/stat : 4343 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15375032320 18491 33554432000 4194304 4196468 140735585101616 139914133174800 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4344] ppid=4337 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4344/stat : 4344 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15375032320 18491 33554432000 4194304 4196468 140735585101616 139914132122000 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4345] ppid=4337 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4345/stat : 4345 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15375032320 18491 33554432000 4194304 4196468 140735585101616 139914131069200 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4346] ppid=4337 vsize=15014680 memory=140277580510848 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4346/stat : 4346 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514479 15375032320 18557 33554432000 4194304 4196468 140735585101616 139913323338608 139914353240706 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4347] ppid=4337 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4347/stat : 4347 (java) S 4337 4337 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404514480 15375032320 18557 33554432000 4194304 4196468 140735585101616 139912921736736 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4348] ppid=4337 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4348/stat : 4348 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514480 15375032320 18557 33554432000 4194304 4196468 140735585101616 139912653301104 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4349] ppid=4337 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4349/stat : 4349 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514482 15375032320 18623 33554432000 4194304 4196468 140735585101616 139912278792528 139914353248155 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4350] ppid=4337 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4350/stat : 4350 (java) S 4337 4337 3344 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 404514482 15375032320 18623 33554432000 4194304 4196468 140735585101616 139913322285424 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4351] ppid=4337 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4351/stat : 4351 (java) S 4337 4337 3344 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 404514482 15375032320 18623 33554432000 4194304 4196468 140735585101616 139913321232624 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4352] ppid=4337 vsize=15014680 memory=140277580510848 CPUtime=0.01 cores=0,2,4,6
/proc/4340/task/4352/stat : 4352 (java) S 4337 4337 3344 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 15 0 404514482 15375032320 18623 33554432000 4194304 4196468 140735585101616 139913320179824 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4353] ppid=4337 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4353/stat : 4353 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514483 15375032320 18623 33554432000 4194304 4196468 140735585101616 139911780886752 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4354] ppid=4337 vsize=15014680 memory=140277580510848 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4354/stat : 4354 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514483 15375032320 18623 33554432000 4194304 4196468 140735585101616 139913319128240 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 74304 KiB
[startup+0.211141 s]*
/proc/loadavg: 1.88 1.97 2.03 3/229 4354
/proc/meminfo: memFree=13003136/32770624 swapFree=66939824/67108860
[pid=4337] ppid=4334 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4337/stat : 4337 (scop.sh) S 4334 4337 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404514476 115843072 349 33554432000 4194304 5098028 140736991105952 140736991103208 140038847345276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11190272 140736991109987 140736991110256 140736991110256 140736991113165 0
/proc/4337/statm: 28282 349 296 221 0 87 0
[pid=4340] ppid=4337 vsize=15012696 memory=85624 CPUtime=0.24 cores=0,2,4,6
/proc/4340/stat : 4340 (java) S 4337 4337 3344 0 -1 1077944320 11464 0 0 0 21 3 0 0 20 0 15 0 404514476 15373000704 21406 33554432000 4194304 4196468 140735585101616 140735585084160 139914353229559 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
/proc/4340/statm: 3753174 21406 2912 1 0 3715579 0
[pid=4340/tid=4341] ppid=4337 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4340/task/4341/stat : 4341 (java) R 4337 4337 3344 0 -1 4202560 9193 0 0 0 17 3 0 0 20 0 15 0 404514476 15373000704 21406 33554432000 4194304 4196468 140735585101616 139914325050912 139914353251485 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4342] ppid=4337 vsize=15012696 memory=11077 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4342/stat : 4342 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15373000704 21406 33554432000 4194304 4196468 140735585101616 139914357471888 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4343] ppid=4337 vsize=15012696 memory=4265815055976890400 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4343/stat : 4343 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15373000704 21406 33554432000 4194304 4196468 140735585101616 139914133174800 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4344] ppid=4337 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4344/stat : 4344 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15373000704 21406 33554432000 4194304 4196468 140735585101616 139914132122000 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4345] ppid=4337 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4345/stat : 4345 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15373000704 21406 33554432000 4194304 4196468 140735585101616 139914131069200 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4346] ppid=4337 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4346/stat : 4346 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514479 15373000704 21406 33554432000 4194304 4196468 140735585101616 139913323338608 139914353240706 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4347] ppid=4337 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4347/stat : 4347 (java) S 4337 4337 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404514480 15373000704 21406 33554432000 4194304 4196468 140735585101616 139912921736736 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4348] ppid=4337 vsize=15012696 memory=140277580510848 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4348/stat : 4348 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514480 15373000704 21406 33554432000 4194304 4196468 140735585101616 139912653301104 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4349] ppid=4337 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4349/stat : 4349 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514482 15373000704 21406 33554432000 4194304 4196468 140735585101616 139912278792528 139914353248155 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4350] ppid=4337 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4350/stat : 4350 (java) S 4337 4337 3344 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 404514482 15373000704 21406 33554432000 4194304 4196468 140735585101616 139913322285424 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4351] ppid=4337 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4351/stat : 4351 (java) S 4337 4337 3344 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 404514482 15373000704 21406 33554432000 4194304 4196468 140735585101616 139913321232624 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4352] ppid=4337 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4340/task/4352/stat : 4352 (java) R 4337 4337 3344 0 -1 4202560 463 0 0 0 2 0 0 0 20 0 15 0 404514482 15373000704 21406 33554432000 4194304 4196468 140735585101616 139913320179824 139914331855936 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4353] ppid=4337 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4353/stat : 4353 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514483 15373000704 21406 33554432000 4194304 4196468 140735585101616 139911780886752 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4354] ppid=4337 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4354/stat : 4354 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514483 15373000704 21406 33554432000 4194304 4196468 140735585101616 139913319128240 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87020 KiB
[startup+0.31048 s]*
/proc/loadavg: 1.88 1.97 2.03 3/229 4354
/proc/meminfo: memFree=12963908/32770624 swapFree=66939824/67108860
[pid=4337] ppid=4334 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4337/stat : 4337 (scop.sh) S 4334 4337 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404514476 115843072 349 33554432000 4194304 5098028 140736991105952 140736991103208 140038847345276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11190272 140736991109987 140736991110256 140736991110256 140736991113165 0
/proc/4337/statm: 28282 349 296 221 0 87 0
[pid=4340] ppid=4337 vsize=15012696 memory=89740 CPUtime=0.43 cores=0,2,4,6
/proc/4340/stat : 4340 (java) S 4337 4337 3344 0 -1 1077944320 12535 0 0 0 39 4 0 0 20 0 15 0 404514476 15373000704 22435 33554432000 4194304 4196468 140735585101616 140735585084160 139914353229559 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
/proc/4340/statm: 3753174 22435 3033 1 0 3715579 0
[pid=4340/tid=4341] ppid=4337 vsize=15012696 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/4340/task/4341/stat : 4341 (java) R 4337 4337 3344 0 -1 4202560 10058 0 0 0 26 3 0 0 20 0 15 0 404514476 15373000704 22435 33554432000 4194304 4196468 140735585101616 139914325059632 139914333504871 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4342] ppid=4337 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4342/stat : 4342 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15373000704 22435 33554432000 4194304 4196468 140735585101616 139914357471888 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4343] ppid=4337 vsize=15012696 memory=15821084157608463 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4343/stat : 4343 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15373000704 22435 33554432000 4194304 4196468 140735585101616 139914133174800 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4344] ppid=4337 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4344/stat : 4344 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15373000704 22435 33554432000 4194304 4196468 140735585101616 139914132122000 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4345] ppid=4337 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4345/stat : 4345 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15373000704 22435 33554432000 4194304 4196468 140735585101616 139914131069200 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4346] ppid=4337 vsize=15012696 memory=140277580510848 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4346/stat : 4346 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514479 15373000704 22435 33554432000 4194304 4196468 140735585101616 139913323338608 139914353240706 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4347] ppid=4337 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4347/stat : 4347 (java) S 4337 4337 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404514480 15373000704 22435 33554432000 4194304 4196468 140735585101616 139912921736736 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4348] ppid=4337 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4348/stat : 4348 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514480 15373000704 22435 33554432000 4194304 4196468 140735585101616 139912653301104 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4349] ppid=4337 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4349/stat : 4349 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514482 15373000704 22435 33554432000 4194304 4196468 140735585101616 139912278792528 139914353248155 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4350] ppid=4337 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4340/task/4350/stat : 4350 (java) S 4337 4337 3344 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 15 0 404514482 15373000704 22435 33554432000 4194304 4196468 140735585101616 139913322285424 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4351] ppid=4337 vsize=15012696 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4340/task/4351/stat : 4351 (java) S 4337 4337 3344 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 15 0 404514482 15373000704 22435 33554432000 4194304 4196468 140735585101616 139913321232624 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4352] ppid=4337 vsize=15012696 memory=140277580510848 CPUtime=0.07 cores=0,2,4,6
/proc/4340/task/4352/stat : 4352 (java) S 4337 4337 3344 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 15 0 404514482 15373000704 22435 33554432000 4194304 4196468 140735585101616 139913320179824 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4353] ppid=4337 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4353/stat : 4353 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514483 15373000704 22435 33554432000 4194304 4196468 140735585101616 139911780886752 139914353239765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4354] ppid=4337 vsize=15012696 memory=140277580510848 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4354/stat : 4354 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514483 15373000704 22435 33554432000 4194304 4196468 140735585101616 139913319128240 139914353240706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91136 KiB
[startup+0.708095 s]
/proc/loadavg: 1.88 1.97 2.03 3/229 4354
/proc/meminfo: memFree=12866896/32770624 swapFree=66939824/67108860
[pid=4337] ppid=4334 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4337/stat : 4337 (scop.sh) S 4334 4337 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404514476 115843072 349 33554432000 4194304 5098028 140736991105952 140736991103208 140038847345276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11190272 140736991109987 140736991110256 140736991110256 140736991113165 0
/proc/4337/statm: 28282 349 296 221 0 87 0
[pid=4340] ppid=4337 vsize=15021092 memory=130216 CPUtime=1.04 cores=0,2,4,6
/proc/4340/stat : 4340 (java) S 4337 4337 3344 0 -1 1077944320 20324 0 0 0 97 7 0 0 20 0 15 0 404514476 15381598208 32554 33554432000 4194304 4196468 140735585101616 140735585084160 139914353229559 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
/proc/4340/statm: 3755273 32554 3193 1 0 3716603 0
[pid=4340/tid=4341] ppid=4337 vsize=15021092 memory=2116 CPUtime=0.68 cores=0,2,4,6
/proc/4340/task/4341/stat : 4341 (java) R 4337 4337 3344 0 -1 4202560 17277 0 0 0 63 5 0 0 20 0 15 0 404514476 15381598208 32554 33554432000 4194304 4196468 140735585101616 139914325061296 139914337310046 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4342] ppid=4337 vsize=15021092 memory=520 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4342/stat : 4342 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15381598208 32554 33554432000 4194304 4196468 140735585101616 139914357471888 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4343] ppid=4337 vsize=15021092 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4343/stat : 4343 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15381598208 32554 33554432000 4194304 4196468 140735585101616 139914133174800 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4344] ppid=4337 vsize=15021092 memory=924 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4344/stat : 4344 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15381598208 32554 33554432000 4194304 4196468 140735585101616 139914132122000 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4345] ppid=4337 vsize=15021092 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4345/stat : 4345 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15381598208 32554 33554432000 4194304 4196468 140735585101616 139914131069200 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4346] ppid=4337 vsize=15021092 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4346/stat : 4346 (java) S 4337 4337 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404514479 15381598208 32554 33554432000 4194304 4196468 140735585101616 139913323338608 139914353240706 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4347] ppid=4337 vsize=15021092 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4347/stat : 4347 (java) S 4337 4337 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404514480 15381598208 32554 33554432000 4194304 4196468 140735585101616 139912921736736 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4348] ppid=4337 vsize=15021092 memory=804 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4348/stat : 4348 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514480 15381598208 32554 33554432000 4194304 4196468 140735585101616 139912653301104 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4349] ppid=4337 vsize=15021092 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4349/stat : 4349 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514482 15381598208 32554 33554432000 4194304 4196468 140735585101616 139912278792528 139914353248155 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4350] ppid=4337 vsize=15021092 memory=7453282923444726100 CPUtime=0.08 cores=0,2,4,6
/proc/4340/task/4350/stat : 4350 (java) S 4337 4337 3344 0 -1 1077944384 673 0 0 0 8 0 0 0 20 0 15 0 404514482 15381598208 32554 33554432000 4194304 4196468 140735585101616 139913322285424 139914353240706 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4351] ppid=4337 vsize=15021092 memory=5792825802846453857 CPUtime=0.08 cores=0,2,4,6
/proc/4340/task/4351/stat : 4351 (java) R 4337 4337 3344 0 -1 4202560 378 0 0 0 8 0 0 0 20 0 15 0 404514482 15381598208 32554 33554432000 4194304 4196468 140735585101616 139913321219104 139914332484535 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4352] ppid=4337 vsize=15021092 memory=8514726395715219869 CPUtime=0.16 cores=0,2,4,6
/proc/4340/task/4352/stat : 4352 (java) S 4337 4337 3344 0 -1 1077944384 661 0 0 0 16 0 0 0 20 0 15 0 404514482 15381598208 32554 33554432000 4194304 4196468 140735585101616 139913320179824 139914353240706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4353] ppid=4337 vsize=15021092 memory=7811885441042836050 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4353/stat : 4353 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514483 15381598208 32619 33554432000 4194304 4196468 140735585101616 139911780886752 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4354] ppid=4337 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4354/stat : 4354 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514483 15381598208 32619 33554432000 4194304 4196468 140735585101616 139913319128240 139914353240706 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131612 KiB
[startup+1.21699 s]
# the end of solver process 4337 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.01344 s, system=0.095604 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80283 s]
/proc/loadavg: 1.88 1.97 2.03 3/229 4354
/proc/meminfo: memFree=12866896/32770624 swapFree=66939824/67108860
[pid=4337] ppid=4334 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4337/stat : 4337 (scop.sh) S 4334 4337 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404514476 115843072 349 33554432000 4194304 5098028 140736991105952 140736991103208 140038847345276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11190272 140736991109987 140736991110256 140736991110256 140736991113165 0
/proc/4337/statm: 28282 349 296 221 0 87 0
[pid=4340] ppid=4337 vsize=15021092 memory=134240 CPUtime=1.28 cores=0,2,4,6
/proc/4340/stat : 4340 (java) S 4337 4337 3344 0 -1 1077944320 20888 0 0 0 121 7 0 0 20 0 15 0 404514476 15381598208 33560 33554432000 4194304 4196468 140735585101616 140735585084160 139914353229559 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
/proc/4340/statm: 3755273 33560 3222 1 0 3716603 0
[pid=4340/tid=4341] ppid=4337 vsize=15021092 memory=1608 CPUtime=0.77 cores=0,2,4,6
/proc/4340/task/4341/stat : 4341 (java) R 4337 4337 3344 0 -1 4202560 17591 0 0 0 72 5 0 0 20 0 15 0 404514476 15381598208 33560 33554432000 4194304 4196468 140735585101616 139914325066384 139913811073857 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4342] ppid=4337 vsize=15021092 memory=7980 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4342/stat : 4342 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15381598208 33560 33554432000 4194304 4196468 140735585101616 139914357471888 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4343] ppid=4337 vsize=15021092 memory=9580 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4343/stat : 4343 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15381598208 33560 33554432000 4194304 4196468 140735585101616 139914133174800 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4344] ppid=4337 vsize=15021092 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4344/stat : 4344 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15381598208 33560 33554432000 4194304 4196468 140735585101616 139914132122000 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4345] ppid=4337 vsize=15021092 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4345/stat : 4345 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15381598208 33560 33554432000 4194304 4196468 140735585101616 139914131069200 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4346] ppid=4337 vsize=15021092 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4346/stat : 4346 (java) S 4337 4337 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404514479 15381598208 33560 33554432000 4194304 4196468 140735585101616 139913323338608 139914353240706 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4347] ppid=4337 vsize=15021092 memory=668 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4347/stat : 4347 (java) S 4337 4337 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404514480 15381598208 33560 33554432000 4194304 4196468 140735585101616 139912921736736 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4348] ppid=4337 vsize=15021092 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4348/stat : 4348 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514480 15381598208 33560 33554432000 4194304 4196468 140735585101616 139912653301104 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4349] ppid=4337 vsize=15021092 memory=4639098309541127782 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4349/stat : 4349 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514482 15381598208 33560 33554432000 4194304 4196468 140735585101616 139912278792528 139914353248155 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4350] ppid=4337 vsize=15021092 memory=6081102367496366441 CPUtime=0.11 cores=0,2,4,6
/proc/4340/task/4350/stat : 4350 (java) R 4337 4337 3344 0 -1 4202560 710 0 0 0 11 0 0 0 20 0 15 0 404514482 15381598208 33560 33554432000 4194304 4196468 140735585101616 139913322271304 139914330511610 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4351] ppid=4337 vsize=15021092 memory=7881696724453321575 CPUtime=0.11 cores=0,2,4,6
/proc/4340/task/4351/stat : 4351 (java) R 4337 4337 3344 0 -1 1077944384 401 0 0 0 11 0 0 0 20 0 15 0 404514482 15381598208 33560 33554432000 4194304 4196468 140735585101616 139913321223952 139914353239765 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4352] ppid=4337 vsize=15021092 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/4340/task/4352/stat : 4352 (java) R 4337 4337 3344 0 -1 4202560 850 0 0 0 24 0 0 0 20 0 15 0 404514482 15381598208 33560 33554432000 4194304 4196468 140735585101616 139913320179824 139914331852144 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4353] ppid=4337 vsize=15021092 memory=280554914402400 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4353/stat : 4353 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514483 15381598208 33560 33554432000 4194304 4196468 140735585101616 139911780886752 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4354] ppid=4337 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4354/stat : 4354 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514483 15381598208 33560 33554432000 4194304 4196468 140735585101616 139913319128240 139914353240706 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 135636 KiB
[startup+1.20078 s]
/proc/loadavg: 1.88 1.97 2.03 3/229 4354
/proc/meminfo: memFree=12657576/32770624 swapFree=66939824/67108860
[pid=4337] ppid=4334 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4337/stat : 4337 (scop.sh) S 4334 4337 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404514476 115843072 349 33554432000 4194304 5098028 140736991105952 140736991103208 140038847345276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11190272 140736991109987 140736991110256 140736991110256 140736991113165 0
/proc/4337/statm: 28282 349 296 221 0 87 0
[pid=4340] ppid=4337 vsize=15023140 memory=154388 CPUtime=2.07 cores=0,2,4,6
/proc/4340/stat : 4340 (java) S 4337 4337 3344 0 -1 1077944320 22876 0 0 0 199 8 0 0 20 0 15 0 404514476 15383695360 38597 33554432000 4194304 4196468 140735585101616 140735585084160 139914353229559 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
/proc/4340/statm: 3755785 38597 3235 1 0 3717115 0
[pid=4340/tid=4341] ppid=4337 vsize=15023140 memory=924 CPUtime=1.17 cores=0,2,4,6
/proc/4340/task/4341/stat : 4341 (java) R 4337 4337 3344 0 -1 4202560 18662 0 0 0 112 5 0 0 20 0 15 0 404514476 15383695360 38597 33554432000 4194304 4196468 140735585101616 139914325061872 139914353241494 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4342] ppid=4337 vsize=15023140 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4342/stat : 4342 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15383695360 38597 33554432000 4194304 4196468 140735585101616 139914357471888 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4343] ppid=4337 vsize=15023140 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4343/stat : 4343 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15383695360 38597 33554432000 4194304 4196468 140735585101616 139914133174800 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4344] ppid=4337 vsize=15023140 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4344/stat : 4344 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15383695360 38597 33554432000 4194304 4196468 140735585101616 139914132122000 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4345] ppid=4337 vsize=15023140 memory=804 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4345/stat : 4345 (java) S 4337 4337 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404514478 15383695360 38597 33554432000 4194304 4196468 140735585101616 139914131069200 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4346] ppid=4337 vsize=15023140 memory=280554915060320 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4346/stat : 4346 (java) S 4337 4337 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404514479 15383695360 38597 33554432000 4194304 4196468 140735585101616 139913323338608 139914353240706 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4347] ppid=4337 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4347/stat : 4347 (java) S 4337 4337 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404514480 15383695360 38597 33554432000 4194304 4196468 140735585101616 139912921736736 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4348] ppid=4337 vsize=15023140 memory=140277457655732 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4348/stat : 4348 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514480 15383695360 38597 33554432000 4194304 4196468 140735585101616 139912653301104 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4349] ppid=4337 vsize=15023140 memory=808 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4349/stat : 4349 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514482 15383695360 38597 33554432000 4194304 4196468 140735585101616 139912278792528 139914353248155 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4350] ppid=4337 vsize=15023140 memory=1808 CPUtime=0.19 cores=0,2,4,6
/proc/4340/task/4350/stat : 4350 (java) S 4337 4337 3344 0 -1 1077944384 768 0 0 0 18 1 0 0 20 0 15 0 404514482 15383695360 38597 33554432000 4194304 4196468 140735585101616 139913322285424 139914353240706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4351] ppid=4337 vsize=15023140 memory=924 CPUtime=0.23 cores=0,2,4,6
/proc/4340/task/4351/stat : 4351 (java) S 4337 4337 3344 0 -1 1077944384 720 0 0 0 23 0 0 0 20 0 15 0 404514482 15383695360 38597 33554432000 4194304 4196468 140735585101616 139913321232624 139914353240706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4352] ppid=4337 vsize=15023140 memory=1396 CPUtime=0.45 cores=0,2,4,6
/proc/4340/task/4352/stat : 4352 (java) R 4337 4337 3344 0 -1 4202560 1390 0 0 0 45 0 0 0 20 0 15 0 404514482 15383695360 38597 33554432000 4194304 4196468 140735585101616 139913320179824 139914331906192 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4353] ppid=4337 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4353/stat : 4353 (java) S 4337 4337 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514483 15383695360 38597 33554432000 4194304 4196468 140735585101616 139911780886752 139914353239765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
[pid=4340/tid=4354] ppid=4337 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4354/stat : 4354 (java) S 4337 4337 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514483 15383695360 38597 33554432000 4194304 4196468 140735585101616 139913319128240 139914353240706 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140735585108778 140735585109146 140735585109146 140735585112015 0
Current children cumulated CPU time: 2.07 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 155784 KiB
Child status: 0
Real time (s): 1.21704
CPU time (s): 2.10905
CPU user time (s): 2.01344
CPU system time (s): 0.095604
CPU usage (%): 173.293
Max. virtual memory (cumulated for all children) (KiB): 15136268
Max. memory (cumulated for all children) (KiB): 155784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.01344
system time used= 0.095604
maximum resident set size= 155144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23825
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2411
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 4337
# total CPU time (s): 2.10905
# total CPU user time (s): 2.01344
# total CPU system time (s): 0.095604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039555 second user time and 0.050207 second system time
The end