PB'24 competition: WBO track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Cutting Planes 2024 2024-07-12	?	224.2	221.015

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 (62848 MiB free)
  memory of node 1: 64473 MiB (63530 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424664-1720894408/watcher-4424664-1720894408 -o /tmp/evaluation-result-4424664-1720894408/solver-4424664-1720894408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720894421-724935 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424664-1720894408.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=724981, runsolver pid=724978
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 1.93 2.31 2.84 10/285 725010
/proc/meminfo: memFree=129291164/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=18975048 memory=62644 CPUtime=0.13 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 7251 0 0 0 11 2 0 0 20 0 18 0 141608897 19430449152 15661 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4743762 15661 5539 1 0 549374 0
[pid=724981/tid=724984] ppid=724978 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 1078198336 5749 0 0 0 7 1 0 0 20 0 18 0 141608898 19430449152 15661 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=18975048 memory=224261325119 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141608900 19430449152 15661 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=18975048 memory=24353 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 141608900 19430449152 15661 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62644 KiB

[startup+0.205696 s]*
/proc/loadavg: 1.93 2.31 2.84 7/283 725010
/proc/meminfo: memFree=129160596/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=18975048 memory=84568 CPUtime=0.32 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 7784 0 0 0 29 3 0 0 20 0 18 0 141608897 19430449152 21142 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4743762 21142 5848 1 0 549697 0
[pid=724981/tid=724984] ppid=724978 vsize=18975048 memory=4027842860 CPUtime=0.17 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 1077936192 6017 0 0 0 15 2 0 0 20 0 18 0 141608898 19430449152 21142 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=18975048 memory=241424417075 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141608900 19430449152 21142 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=18975048 memory=32088 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 141608900 19430449152 21142 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84568 KiB

[startup+0.311489 s]*
/proc/loadavg: 1.93 2.31 2.84 10/306 725040
/proc/meminfo: memFree=129012900/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=166564 CPUtime=0.52 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 9487 0 0 0 47 5 0 0 20 0 19 0 141608897 19498610688 41641 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 41641 5864 1 0 550986 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=-8528808786764669628 CPUtime=0.25 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 6065 0 0 0 22 3 0 0 20 0 19 0 141608898 19498610688 41641 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 41641 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 41641 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166564 KiB

[startup+0.700488 s]
/proc/loadavg: 1.93 2.31 2.84 13/329 725068
/proc/meminfo: memFree=128177316/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=989752 CPUtime=1.24 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 14523 0 0 0 102 22 0 0 20 0 19 0 141608897 19498610688 247438 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 247438 5880 1 0 1129637 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=5464 CPUtime=0.6 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 6452 0 0 0 41 19 0 0 20 0 19 0 141608898 19498610688 247438 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 247438 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=5516 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 247438 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 989752 KiB

[startup+1.50049 s]
/proc/loadavg: 1.93 2.31 2.84 11/331 725070
/proc/meminfo: memFree=123336492/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=2639652 CPUtime=2.63 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 23186 0 0 0 208 55 0 0 20 0 19 0 141608897 19498610688 659913 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 659913 5880 1 0 1133456 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=5516 CPUtime=1.35 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 7247 0 0 0 85 50 0 0 20 0 19 0 141608898 19498610688 659913 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 659913 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 659913 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2639652 KiB

[startup+3.1065 s]
/proc/loadavg: 1.93 2.31 2.84 5/331 725072
/proc/meminfo: memFree=117045604/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=2780964 CPUtime=4.27 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 23475 0 0 0 369 58 0 0 20 0 19 0 141608897 19498610688 695241 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 695241 5880 1 0 1133462 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=13116 CPUtime=2.89 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 7496 0 0 0 236 53 0 0 20 0 19 0 141608898 19498610688 695241 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 695241 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 695241 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2780964 KiB

[startup+6.3005 s]
/proc/loadavg: 2.10 2.34 2.84 5/331 725072
/proc/meminfo: memFree=115580060/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=3331444 CPUtime=7.52 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 24495 0 0 0 683 69 0 0 20 0 19 0 141608897 19498610688 832861 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 832861 5880 1 0 1275511 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=1900 CPUtime=5.87 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 8153 0 0 0 524 63 0 0 20 0 19 0 141608898 19498610688 832861 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=35472 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 832861 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 832861 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 7.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3331444 KiB

[startup+12.7005 s]
/proc/loadavg: 2.33 2.38 2.85 5/331 725072
/proc/meminfo: memFree=113507216/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=3799576 CPUtime=14.09 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 25843 0 0 0 1331 78 0 0 20 0 19 0 141608897 19498610688 949894 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 949894 5880 1 0 1388313 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=-8599167639632650940 CPUtime=11.9 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 9066 0 0 0 1118 72 0 0 20 0 19 0 141608898 19498610688 949894 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=3352292 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 949894 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 949894 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 14.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3799576 KiB

[startup+25.5003 s]
/proc/loadavg: 2.77 2.48 2.88 5/331 725076
/proc/meminfo: memFree=112195740/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=3839056 CPUtime=27.04 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 29269 0 0 0 2622 82 0 0 20 0 19 0 141608897 19498610688 959764 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 959764 5880 1 0 1388314 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=3834940 CPUtime=24.11 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 9962 0 0 0 2339 72 0 0 20 0 19 0 141608898 19498610688 959764 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=35472 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 959764 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=5464 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 959764 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 27.04 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3839056 KiB

[startup+51.106 s]
/proc/loadavg: 3.19 2.60 2.91 5/331 725079
/proc/meminfo: memFree=111995736/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=3880608 CPUtime=52.89 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 33826 0 0 0 5204 85 0 0 20 0 19 0 141608897 19498610688 970152 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 970152 5880 1 0 1388314 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=3866036 CPUtime=48.98 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 12717 0 0 0 4825 73 0 0 20 0 19 0 141608898 19498610688 970152 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=3863916 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 970152 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=3799576 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 970152 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 52.89 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3880608 KiB

[startup+102.3 s]
/proc/loadavg: 3.27 2.72 2.94 4/305 725121
/proc/meminfo: memFree=116126656/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=3945124 CPUtime=104.39 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 42131 0 0 0 10347 92 0 0 20 0 19 0 141608897 19498610688 986281 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 986281 5880 1 0 1388314 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=3938968 CPUtime=99.07 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 16514 0 0 0 9832 75 0 0 20 0 19 0 141608898 19498610688 986281 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=3936920 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 986281 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=-8599167639632650940 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 100 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 986281 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 104.39 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3945124 KiB

[startup+162.3 s]
/proc/loadavg: 3.21 2.81 2.95 4/302 725132
/proc/meminfo: memFree=115957208/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=3990644 CPUtime=164.58 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 48255 0 0 0 16358 100 0 0 20 0 19 0 141608897 19498610688 997661 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 997661 5880 1 0 1388314 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=3947172 CPUtime=157.94 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 20733 0 0 0 15718 76 0 0 20 0 19 0 141608898 19498610688 997661 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=26092 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 997661 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=3990644 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 186 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 997661 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 164.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3990644 KiB

[startup+221.015 s]
# the end of solver process 724981 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=222.877 s, system=1.32321 s

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

[startup+179.2 s]
/proc/loadavg: 3.17 2.82 2.95 4/302 725135
/proc/meminfo: memFree=115925872/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=4000884 CPUtime=181.52 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 51420 0 0 0 18049 103 0 0 20 0 19 0 141608897 19498610688 1000221 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 1000221 5880 1 0 1388314 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=3996788 CPUtime=174.57 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 21467 0 0 0 17380 77 0 0 20 0 19 0 141608898 19498610688 1000221 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=-8599167639632650940 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1000221 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=1848 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 186 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1000221 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 181.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4000884 KiB

[startup+204.8 s]
/proc/loadavg: 3.17 2.85 2.96 4/302 725141
/proc/meminfo: memFree=115857816/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=4041844 CPUtime=207.21 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 52819 0 0 0 20615 106 0 0 20 0 19 0 141608897 19498610688 1010461 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 1010461 5880 1 0 1388314 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=3880608 CPUtime=199.68 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 22554 0 0 0 19891 77 0 0 20 0 19 0 141608898 19498610688 1010461 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=3982400 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1010461 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=4037748 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 248 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1010461 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 207.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4041844 KiB

[startup+211.2 s]
/proc/loadavg: 3.14 2.86 2.96 4/302 725141
/proc/meminfo: memFree=115843452/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=4045940 CPUtime=213.62 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 55313 0 0 0 21255 107 0 0 20 0 19 0 141608897 19498610688 1011485 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 1011485 5880 1 0 1388314 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=4041844 CPUtime=205.99 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 22989 0 0 0 20521 78 0 0 20 0 19 0 141608898 19498610688 1011485 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=2212 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1011485 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=1912 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 248 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1011485 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 213.62 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4045940 KiB

[startup+217.6 s]
/proc/loadavg: 3.13 2.86 2.96 4/302 725142
/proc/meminfo: memFree=115097832/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=4047988 CPUtime=220.02 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 55385 0 0 0 21894 108 0 0 20 0 19 0 141608897 19498610688 1011997 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 1011997 5880 1 0 1388314 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=35472 CPUtime=212.28 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 23010 0 0 0 21150 78 0 0 20 0 19 0 141608898 19498610688 1011997 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=11376 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1011997 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 248 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1011997 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 220.02 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4047988 KiB

[startup+219.2 s]
/proc/loadavg: 3.13 2.86 2.96 4/302 725142
/proc/meminfo: memFree=115093708/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=4050036 CPUtime=221.62 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 55390 0 0 0 22054 108 0 0 20 0 19 0 141608897 19498610688 1012509 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 1012509 5880 1 0 1388314 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=13116 CPUtime=213.86 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 23013 0 0 0 21308 78 0 0 20 0 19 0 141608898 19498610688 1012509 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=5464 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1012509 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=1912 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 248 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1012509 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4050036 KiB

[startup+220 s]*
/proc/loadavg: 3.20 2.88 2.97 4/302 725143
/proc/meminfo: memFree=113596496/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19041612 memory=5098888 CPUtime=222.43 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 56443 0 0 0 22114 129 0 0 20 0 19 0 141608897 19498610688 1274722 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4760403 1274722 5880 1 0 1388314 0
[pid=724981/tid=724984] ppid=724978 vsize=19041612 memory=19412 CPUtime=214.65 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 23768 0 0 0 21367 98 0 0 20 0 19 0 141608898 19498610688 1274722 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19041612 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1274722 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19041612 memory=26908 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 248 0 0 0 0 0 0 0 20 0 19 0 141608900 19498610688 1274722 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 222.43 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5098888 KiB

[startup+220.8 s]
/proc/loadavg: 3.20 2.88 2.97 4/302 725143
/proc/meminfo: memFree=113596496/131524600 swapFree=131071996/131071996
[pid=724981] ppid=724978 vsize=19174740 memory=5103196 CPUtime=223.85 cores=0,2
/proc/724981/stat : 724981 (java) S 724978 724981 722508 0 -1 1077936128 63936 0 0 0 22255 130 0 0 20 0 21 0 141608897 19634933760 1275799 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
/proc/724981/statm: 4793685 1275799 5918 1 0 1389181 0
[pid=724981/tid=724984] ppid=724978 vsize=19174740 memory=2256 CPUtime=215.41 cores=0,2
/proc/724981/task/724984/stat : 724984 (java) R 724978 724981 722508 0 -1 4194368 26789 0 0 0 21443 98 0 0 20 0 21 0 141608898 19634933760 1275799 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725003] ppid=724978 vsize=19174740 memory=31528 CPUtime=0 cores=0,2
/proc/724981/task/725003/stat : 725003 (Finalizer) S 724978 724981 722508 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 141608900 19634933760 1275799 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
[pid=724981/tid=725010] ppid=724978 vsize=19174740 memory=11376 CPUtime=0 cores=0,2
/proc/724981/task/725010/stat : 725010 (Common-Cleaner) S 724978 724981 722508 0 -1 1077936192 248 0 0 0 0 0 0 0 20 0 21 0 141608900 19634933760 1275799 134679101440 94308199653376 94308199657072 140727010218256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308199664888 94308199665680 94308215201792 140727010227219 140727010227327 140727010227327 140727010234312 0
Current children cumulated CPU time: 223.85 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 5103196 KiB

[startup+221 s]*
/proc/loadavg: 3.20 2.88 2.97 6/285 725147
/proc/meminfo: memFree=113593808/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1

Real time (s): 221.015
CPU time (s): 224.2
CPU user time (s): 222.877
CPU system time (s): 1.32321
CPU usage (%): 101.441
Max. virtual memory (cumulated for all children) (KiB): 19174740
Max. memory (cumulated for all children) (KiB): 5103196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.877
system time used= 1.32321
maximum resident set size= 5104936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21518
involuntary context switches= 2049


# summary of solver processes directly reported to runsolver:
#   pid: 724981
#   total CPU time (s): 224.2
#   total CPU user time (s): 222.877
#   total CPU system time (s): 1.32321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.372673 second user time and 1.27088 second system time

The end

Begin job on nodeC030 at 2024-07-13 20:13:41
IDJOB=4424664
IDBENCH=144140
IDSOLVER=3036
FILE ID=nodeC030/4424664-1720894408
RUNJOBID= nodeC030-1720894421-724935
SLURM_JOB_ID= 7485819
Free space on /tmp= 890024 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph05_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424664-1720894408/watcher-4424664-1720894408 -o /tmp/evaluation-result-4424664-1720894408/solver-4424664-1720894408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720894421-724935 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424664-1720894408.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 6dcf243f3bd81c615377274654cfc335
RANDOM SEED=1177297713

nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3667.335
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.830
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.057
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.803
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3664.508
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3664.847
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.219
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3635.065
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129446992 kB
MemAvailable:   129737896 kB
Buffers:          326808 kB
Cached:           807020 kB
SwapCached:            0 kB
Active:           488276 kB
Inactive:        1022032 kB
Active(anon):       1452 kB
Inactive(anon):   412800 kB
Active(file):     486824 kB
Inactive(file):   609232 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65544 kB
Writeback:            20 kB
AnonPages:        376256 kB
Mapped:           101288 kB
Shmem:             37720 kB
KReclaimable:      69340 kB
Slab:             168448 kB
SReclaimable:      69340 kB
SUnreclaim:        99108 kB
KernelStack:        3940 kB
PageTables:         9692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     772996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56384 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7960576 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889920 MiB
End job on nodeC030 at 2024-07-13 20:17:22

Name	PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo
MD5SUM	6dcf243f3bd81c615377274654cfc335
Bench Category	PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark	MSAT
Best cost obtained on this benchmark	6744
Best CPU time to get the best result obtained on this benchmark	3601.05
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	3708
Total number of constraints	521269
Number of soft constraints	521169
Number of constraints which are clauses	521169
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	44
Top cost	229599
Min constraint cost	1
Max constraint cost	1000
Sum of constraints costs	117319947
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	45
Number of bits of the biggest sum of numbers	6
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4424664

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data