runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (62534 MiB free)
  memory of node 1: 64473 MiB (63289 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450354-1721410932/watcher-4450354-1721410932 -o /tmp/evaluation-result-4450354-1721410932/solver-4450354-1721410932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721410942-1024585 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4450354-1721410932.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1024834, runsolver pid=1024831

[startup+0.102404 s]*
/proc/loadavg: 1.76 1.68 2.74 6/331 1024852
/proc/meminfo: memFree=128798016/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=18975048 memory=62896 CPUtime=0.14 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 7237 0 0 0 12 2 0 0 20 0 18 0 193259381 19430449152 15724 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4743762 15724 5593 1 0 549344 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 5748 0 0 0 7 1 0 0 20 0 18 0 193259381 19430449152 15724 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 193259384 19430449152 15724 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=18975048 memory=13845278874243994 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 193259384 19430449152 15724 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62896 KiB

[startup+0.205946 s]*
/proc/loadavg: 1.76 1.68 2.74 7/332 1024853
/proc/meminfo: memFree=128787632/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19041612 memory=69928 CPUtime=0.33 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 8853 0 0 0 31 2 0 0 20 0 19 0 193259381 19498610688 17482 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4760403 17482 5857 1 0 550427 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 5939 0 0 0 17 1 0 0 20 0 19 0 193259381 19498610688 17482 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19041612 memory=1676398 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 17482 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19041612 memory=15544020042516215 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 17482 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193259396 19498610688 17482 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69928 KiB

[startup+0.305945 s]*
/proc/loadavg: 1.76 1.68 2.74 6/332 1024853
/proc/meminfo: memFree=128779232/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19041612 memory=73408 CPUtime=0.53 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 9636 0 0 0 51 2 0 0 20 0 19 0 193259381 19498610688 18352 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4760403 18352 5857 1 0 550764 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19041612 memory=-7524491859965798495 CPUtime=0.27 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 5942 0 0 0 26 1 0 0 20 0 19 0 193259381 19498610688 18352 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 18352 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 18352 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193259396 19498610688 18352 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73408 KiB

[startup+0.702946 s]
/proc/loadavg: 1.76 1.68 2.74 6/332 1024853
/proc/meminfo: memFree=128764968/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19041612 memory=86024 CPUtime=1.29 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 12255 0 0 0 127 2 0 0 20 0 19 0 193259381 19498610688 21506 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4760403 21506 5873 1 0 552868 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19041612 memory=47456 CPUtime=0.64 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 5995 0 0 0 63 1 0 0 20 0 19 0 193259381 19498610688 21506 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 21506 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19041612 memory=2248 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 21506 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19041612 memory=39476 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193259396 19498610688 21506 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86024 KiB

[startup+1.50094 s]
/proc/loadavg: 1.76 1.68 2.74 8/332 1024853
/proc/meminfo: memFree=128741764/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19041612 memory=94916 CPUtime=2.45 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 15119 0 0 0 242 3 0 0 20 0 19 0 193259381 19498610688 23729 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4760403 23729 5873 1 0 552886 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19041612 memory=12420 CPUtime=1.43 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 6317 0 0 0 142 1 0 0 20 0 19 0 193259381 19498610688 23729 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 23729 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19041612 memory=2248 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 23729 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19041612 memory=39476 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193259396 19498610688 23729 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94916 KiB

[startup+3.10571 s]
/proc/loadavg: 1.94 1.72 2.74 5/334 1024857
/proc/meminfo: memFree=128610004/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19041612 memory=109364 CPUtime=4.07 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 15871 0 0 0 404 3 0 0 20 0 19 0 193259381 19498610688 27341 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4760403 27341 5873 1 0 552888 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19041612 memory=0 CPUtime=3.02 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 6601 0 0 0 300 2 0 0 20 0 19 0 193259381 19498610688 27341 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19041612 memory=-7524491859965798495 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 27341 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 27341 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19041612 memory=2248 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193259396 19498610688 27341 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109364 KiB

[startup+6.30026 s]
/proc/loadavg: 1.94 1.72 2.74 5/334 1024857
/proc/meminfo: memFree=128489680/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19041612 memory=124816 CPUtime=7.3 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 18659 0 0 0 726 4 0 0 20 0 19 0 193259381 19498610688 31204 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4760403 31204 5873 1 0 552888 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19041612 memory=2248 CPUtime=6.21 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 7136 0 0 0 619 2 0 0 20 0 19 0 193259381 19498610688 31204 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 31204 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 31204 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19041612 memory=-2832536777585008440 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193259396 19498610688 31204 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 7.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 124816 KiB

[startup+12.7003 s]
/proc/loadavg: 2.26 1.79 2.76 5/334 1024924
/proc/meminfo: memFree=128250488/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19041612 memory=159640 CPUtime=13.68 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 20026 0 0 0 1364 4 0 0 20 0 19 0 193259381 19498610688 39910 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4760403 39910 5873 1 0 552888 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19041612 memory=12420 CPUtime=12.59 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 8061 0 0 0 1257 2 0 0 20 0 19 0 193259381 19498610688 39910 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19041612 memory=211984 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 39910 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19041612 memory=141200 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193259384 19498610688 39910 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19041612 memory=11664 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193259396 19498610688 39910 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 13.68 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159640 KiB

[startup+25.5003 s]
/proc/loadavg: 2.73 1.91 2.79 5/335 1024928
/proc/meminfo: memFree=127875940/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19108176 memory=174632 CPUtime=26.46 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 22879 0 0 0 2641 5 0 0 20 0 20 0 193259381 19566772224 43658 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4777044 43658 5921 1 0 553177 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19108176 memory=-7524491859965798495 CPUtime=25.34 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 9038 0 0 0 2532 2 0 0 20 0 20 0 193259381 19566772224 43658 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19108176 memory=12420 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 43658 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19108176 memory=12420 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 43658 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19108176 memory=5468 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193259396 19566772224 43658 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 26.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174632 KiB

[startup+51.1058 s]
/proc/loadavg: 3.38 2.13 2.84 5/334 1025330
/proc/meminfo: memFree=127928228/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19108176 memory=182924 CPUtime=52.01 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 25615 0 0 0 5195 6 0 0 20 0 20 0 193259381 19566772224 45731 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4777044 45731 5937 1 0 553177 0

################
# More data... #
################

/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 139 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 58635 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19108176 memory=234540 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193259396 19566772224 58635 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 103.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 234540 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 2.80 3.00 5/335 1025350
/proc/meminfo: memFree=126688752/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19108176 memory=285740 CPUtime=163.04 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 32477 0 0 0 16294 10 0 0 20 0 20 0 193259381 19566772224 71435 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4777044 71435 5937 1 0 553177 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19108176 memory=182924 CPUtime=161.59 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 13207 0 0 0 16156 3 0 0 20 0 20 0 193259381 19566772224 71435 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19108176 memory=234540 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 71435 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 233 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 71435 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19108176 memory=-7524491859965798495 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193259396 19566772224 71435 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 163.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 285740 KiB

[startup+202.627 s]
# the end of solver process 1024834 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=204.113 s, system=0.160503 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+179.2 s]
/proc/loadavg: 4.10 2.87 3.02 6/332 1025354
/proc/meminfo: memFree=126551680/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19108176 memory=330828 CPUtime=179.96 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 33687 0 0 0 17984 12 0 0 20 0 20 0 193259381 19566772224 82707 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4777044 82707 5937 1 0 553177 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19108176 memory=259116 CPUtime=178.4 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 13501 0 0 0 17837 3 0 0 20 0 20 0 193259381 19566772224 82707 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19108176 memory=285740 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 82707 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19108176 memory=39476 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 233 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 82707 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19108176 memory=16156 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193259396 19566772224 82707 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 179.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 330828 KiB

[startup+192 s]*
/proc/loadavg: 4.09 2.91 3.04 5/332 1025355
/proc/meminfo: memFree=126533332/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19108176 memory=348832 CPUtime=193.14 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 46047 0 0 0 19301 13 0 0 20 0 20 0 193259381 19566772224 87208 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4777044 87208 5937 1 0 556011 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19108176 memory=-7452434265927543652 CPUtime=191.17 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 14526 0 0 0 19114 3 0 0 20 0 20 0 193259381 19566772224 87208 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19108176 memory=7096 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 87208 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19108176 memory=6600 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 233 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 87208 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19108176 memory=8048 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193259396 19566772224 87208 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 193.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 348832 KiB

[startup+198.4 s]
/proc/loadavg: 4.15 2.96 3.05 5/332 1025357
/proc/meminfo: memFree=126445580/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19108176 memory=337780 CPUtime=199.53 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 46167 0 0 0 19939 14 0 0 20 0 20 0 193259381 19566772224 84445 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4777044 84445 5937 1 0 556011 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19108176 memory=11664 CPUtime=197.55 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 14590 0 0 0 19752 3 0 0 20 0 20 0 193259381 19566772224 84445 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19108176 memory=330844 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 84445 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 282 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 84445 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19108176 memory=47456 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193259396 19566772224 84445 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 199.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 337780 KiB

[startup+200 s]*
/proc/loadavg: 4.15 2.96 3.05 5/332 1025357
/proc/meminfo: memFree=126431928/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19108176 memory=351504 CPUtime=201.34 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 50474 0 0 0 20120 14 0 0 20 0 20 0 193259381 19566772224 87876 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4777044 87876 5937 1 0 556560 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19108176 memory=-7452434265927543652 CPUtime=199.15 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 14628 0 0 0 19912 3 0 0 20 0 20 0 193259381 19566772224 87876 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19108176 memory=2788 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 87876 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19108176 memory=4756 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 282 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 87876 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19108176 memory=337780 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193259396 19566772224 87876 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 201.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 351504 KiB

[startup+201.6 s]
/proc/loadavg: 4.15 2.96 3.05 5/332 1025357
/proc/meminfo: memFree=126445096/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19108176 memory=338252 CPUtime=203.16 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 50910 0 0 0 20301 15 0 0 20 0 20 0 193259381 19566772224 84563 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4777044 84563 5937 1 0 556560 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19108176 memory=348832 CPUtime=200.74 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 14664 0 0 0 20071 3 0 0 20 0 20 0 193259381 19566772224 84563 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19108176 memory=5468 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 84563 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19108176 memory=16156 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 282 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 84563 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19108176 memory=337780 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193259396 19566772224 84563 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 203.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 338252 KiB

[startup+202.4 s]
/proc/loadavg: 4.15 2.96 3.05 5/332 1025357
/proc/meminfo: memFree=126445068/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19108176 memory=338416 CPUtime=204 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 50920 0 0 0 20385 15 0 0 20 0 20 0 193259381 19566772224 84604 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4777044 84604 5937 1 0 556560 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19108176 memory=47456 CPUtime=201.54 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) R 1024831 1024834 1024572 0 -1 4194368 14665 0 0 0 20151 3 0 0 20 0 20 0 193259381 19566772224 84604 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19108176 memory=351504 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 84604 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19108176 memory=16156 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 282 0 0 0 0 0 0 0 20 0 20 0 193259384 19566772224 84604 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024853] ppid=1024831 vsize=19108176 memory=-7524491859965798495 CPUtime=0 cores=5,7
/proc/1024834/task/1024853/stat : 1024853 (Timer-0) S 1024831 1024834 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193259396 19566772224 84604 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 204 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 338416 KiB

[startup+202.604 s]
/proc/loadavg: 4.15 2.96 3.05 5/332 1025357
/proc/meminfo: memFree=126445068/131524600 swapFree=131071996/131071996
[pid=1024834] ppid=1024831 vsize=19241304 memory=339080 CPUtime=204.24 cores=5,7
/proc/1024834/stat : 1024834 (java) S 1024831 1024834 1024572 0 -1 1077936128 52316 0 0 0 20409 15 0 0 20 0 20 0 193259381 19703095296 84770 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
/proc/1024834/statm: 4810326 84770 5936 1 0 557178 0
[pid=1024834/tid=1024836] ppid=1024831 vsize=19241304 memory=198340509722 CPUtime=201.68 cores=5,7
/proc/1024834/task/1024836/stat : 1024836 (java) S 1024831 1024834 1024572 0 -1 1077936192 15540 0 0 0 20165 3 0 0 20 0 20 0 193259381 19703095296 84770 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024845] ppid=1024831 vsize=19241304 memory=1676315 CPUtime=0 cores=5,7
/proc/1024834/task/1024845/stat : 1024845 (Finalizer) S 1024831 1024834 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193259384 19703095296 84770 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
[pid=1024834/tid=1024852] ppid=1024831 vsize=19241304 memory=1676900 CPUtime=0 cores=5,7
/proc/1024834/task/1024852/stat : 1024852 (Common-Cleaner) S 1024831 1024834 1024572 0 -1 1077936192 282 0 0 0 0 0 0 0 20 0 20 0 193259384 19703095296 84770 134679101440 94702809571328 94702809575024 140725214130160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94702809582840 94702809583632 94702824112128 140725214139397 140725214139487 140725214139487 140725214146504 0
Current children cumulated CPU time: 204.24 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 339080 KiB

Child status: 20

Real time (s): 202.627
CPU time (s): 204.274
CPU user time (s): 204.113
CPU system time (s): 0.160503
CPU usage (%): 100.813
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 351504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 204.113
system time used= 0.160503
maximum resident set size= 352540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6750
involuntary context switches= 304


# summary of solver processes directly reported to runsolver:
#   pid: 1024834
#   total CPU time (s): 204.274
#   total CPU user time (s): 204.113
#   total CPU system time (s): 0.160503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.458871 second user time and 1.03783 second system time

The end