PB'24 competition: WBO track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j Cutting Planes 2024 2024-07-12	?	210.833	207.414

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: 63931 MiB (62954 MiB free)
  memory of node 1: 64510 MiB (63738 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424666-1720894403/watcher-4424666-1720894403 -o /tmp/evaluation-result-4424666-1720894403/solver-4424666-1720894403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720894415-715723 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424666-1720894403.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=716282, runsolver pid=716279

[startup+0.101386 s]*
/proc/loadavg: 4.09 4.17 4.09 5/266 716324
/proc/meminfo: memFree=129653604/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=18975048 memory=63344 CPUtime=0.14 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 7254 0 0 0 12 2 0 0 20 0 18 0 141605232 19430449152 15836 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4743762 15836 5684 1 0 549383 0
[pid=716282/tid=716284] ppid=716279 vsize=18975048 memory=4026531957 CPUtime=0.08 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 1078198336 5767 0 0 0 7 1 0 0 20 0 18 0 141605233 19430449152 15836 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=18975048 memory=241407623517 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141605235 19430449152 15836 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=18975048 memory=14975555351112017 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141605235 19430449152 15836 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63344 KiB

[startup+0.207051 s]*
/proc/loadavg: 4.09 4.17 4.09 7/258 716338
/proc/meminfo: memFree=129668216/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=18975048 memory=92464 CPUtime=0.33 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 7810 0 0 0 30 3 0 0 20 0 18 0 141605232 19430449152 23116 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4743762 23116 5841 1 0 549723 0
[pid=716282/tid=716284] ppid=716279 vsize=18975048 memory=4027769025 CPUtime=0.18 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 6043 0 0 0 16 2 0 0 20 0 18 0 141605233 19430449152 23116 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=18975048 memory=219932787024 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141605235 19430449152 23116 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=18975048 memory=55199876275705 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141605235 19430449152 23116 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 92464 KiB

[startup+0.311041 s]*
/proc/loadavg: 4.09 4.17 4.09 9/307 716399
/proc/meminfo: memFree=129520228/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=164864 CPUtime=0.53 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 8724 0 0 0 48 5 0 0 20 0 19 0 141605232 19498610688 41216 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 41216 5873 1 0 550546 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=8390339637985935414 CPUtime=0.26 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 6085 0 0 0 23 3 0 0 20 0 19 0 141605233 19498610688 41216 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=4210021459478988014 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 41216 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=28235 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 41216 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164864 KiB

[startup+0.701044 s]
/proc/loadavg: 4.09 4.17 4.09 9/305 716421
/proc/meminfo: memFree=128901152/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=752324 CPUtime=1.26 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 12550 0 0 0 109 17 0 0 20 0 19 0 141605232 19498610688 188081 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 188081 5873 1 0 553027 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=2280 CPUtime=0.61 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 6360 0 0 0 47 14 0 0 20 0 19 0 141605233 19498610688 188081 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=13072 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 188081 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=32188 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 188081 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 752324 KiB

[startup+1.50026 s]
/proc/loadavg: 4.56 4.27 4.12 11/330 716451
/proc/meminfo: memFree=125730404/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=2580436 CPUtime=2.68 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 23247 0 0 0 214 54 0 0 20 0 19 0 141605232 19498610688 645109 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 645109 5873 1 0 1118882 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=0 CPUtime=1.37 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 7232 0 0 0 89 48 0 0 20 0 19 0 141605233 19498610688 645109 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=13072 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 645109 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 645109 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2580436 KiB

[startup+3.10622 s]
/proc/loadavg: 4.56 4.27 4.12 6/330 716451
/proc/meminfo: memFree=117289064/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=3530708 CPUtime=4.32 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 23736 0 0 0 359 73 0 0 20 0 19 0 141605232 19498610688 882677 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 882677 5873 1 0 1118890 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=13072 CPUtime=2.92 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 7687 0 0 0 226 66 0 0 20 0 19 0 141605233 19498610688 882677 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 882677 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=19060 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 882677 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3530708 KiB

[startup+6.30028 s]
/proc/loadavg: 4.59 4.28 4.12 5/330 716451
/proc/meminfo: memFree=116473020/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=3521176 CPUtime=7.61 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 23986 0 0 0 688 73 0 0 20 0 19 0 141605232 19498610688 880294 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 880294 5873 1 0 1118894 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=13072 CPUtime=5.95 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 7874 0 0 0 529 66 0 0 20 0 19 0 141605233 19498610688 880294 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=19060 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 880294 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 880294 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 7.61 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3521176 KiB

[startup+12.7003 s]
/proc/loadavg: 4.63 4.29 4.13 5/330 716453
/proc/meminfo: memFree=114260716/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=4482468 CPUtime=14.14 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 25878 0 0 0 1321 93 0 0 20 0 19 0 141605232 19498610688 1120617 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1120617 5889 1 0 1357032 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=0 CPUtime=11.95 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 9089 0 0 0 1110 85 0 0 20 0 19 0 141605233 19498610688 1120617 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=4476324 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1120617 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=4467868 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1120617 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 14.14 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4482468 KiB

[startup+25.5003 s]
/proc/loadavg: 4.53 4.28 4.13 5/330 716455
/proc/meminfo: memFree=112353888/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=4952948 CPUtime=27.16 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 30188 0 0 0 2612 104 0 0 20 0 19 0 141605232 19498610688 1238237 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1238237 5889 1 0 1467745 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=-8527117733602960060 CPUtime=24.26 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 10688 0 0 0 2332 94 0 0 20 0 19 0 141605233 19498610688 1238237 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=-8527117733602960060 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1238237 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1238237 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 27.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4952948 KiB

[startup+51.1063 s]
/proc/loadavg: 4.38 4.27 4.13 5/330 716460
/proc/meminfo: memFree=112149436/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=5004724 CPUtime=52.96 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 34555 0 0 0 5187 109 0 0 20 0 19 0 141605232 19498610688 1251181 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1251181 5889 1 0 1467745 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=4946780 CPUtime=48.98 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 12662 0 0 0 4803 95 0 0 20 0 19 0 141605233 19498610688 1251181 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=5000512 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1251181 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=13072 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1251181 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 52.96 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5004724 KiB

[startup+102.3 s]
/proc/loadavg: 3.93 4.17 4.10 4/303 716502
/proc/meminfo: memFree=116673296/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=5075580 CPUtime=104.49 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 40829 0 0 0 10332 117 0 0 20 0 19 0 141605232 19498610688 1268895 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1268895 5889 1 0 1467745 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=5055076 CPUtime=99.12 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 16681 0 0 0 9816 96 0 0 20 0 19 0 141605233 19498610688 1268895 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=5053028 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1268895 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=5050864 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 126 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1268895 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 104.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5075580 KiB

[startup+162.3 s]
/proc/loadavg: 3.42 3.98 4.04 4/303 716512
/proc/meminfo: memFree=116504376/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=5122772 CPUtime=164.8 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 49250 0 0 0 16354 126 0 0 20 0 19 0 141605232 19498610688 1280693 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1280693 5889 1 0 1467745 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=5096144 CPUtime=158.12 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 20580 0 0 0 15715 97 0 0 20 0 19 0 141605233 19498610688 1280693 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=5108432 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1280693 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=11436 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 218 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1280693 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 164.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5122772 KiB

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

# cumulated CPU time of all completed processes:  user=209.486 s, system=1.34756 s

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

[startup+179.2 s]
/proc/loadavg: 3.33 3.93 4.02 4/303 716515
/proc/meminfo: memFree=116475208/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=5133012 CPUtime=181.77 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 50411 0 0 0 18049 128 0 0 20 0 19 0 141605232 19498610688 1283253 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1283253 5889 1 0 1467745 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=35248 CPUtime=174.79 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 21455 0 0 0 17382 97 0 0 20 0 19 0 141605233 19498610688 1283253 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1283253 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=5516 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 218 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1283253 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 181.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5133012 KiB

[startup+192 s]*
/proc/loadavg: 3.25 3.88 4.00 4/301 716518
/proc/meminfo: memFree=116444196/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=5141204 CPUtime=194.63 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 53655 0 0 0 19333 130 0 0 20 0 19 0 141605232 19498610688 1285301 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1285301 5889 1 0 1467745 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=-8528522909463257788 CPUtime=187.42 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 22537 0 0 0 18645 97 0 0 20 0 19 0 141605233 19498610688 1285301 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=40444 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1285301 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=8140 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 309 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1285301 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 194.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5141204 KiB

[startup+198.4 s]
/proc/loadavg: 3.23 3.87 3.99 4/301 716519
/proc/meminfo: memFree=116417516/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=5143252 CPUtime=201.05 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 53805 0 0 0 19974 131 0 0 20 0 19 0 141605232 19498610688 1285813 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1285813 5889 1 0 1467745 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=5139156 CPUtime=193.7 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 22606 0 0 0 19273 97 0 0 20 0 19 0 141605233 19498610688 1285813 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=-8528522909463257788 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1285813 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=13072 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 309 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1285813 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 201.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5143252 KiB

[startup+201.6 s]
/proc/loadavg: 3.21 3.85 3.99 4/301 716519
/proc/meminfo: memFree=116413392/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=5145300 CPUtime=204.25 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 53956 0 0 0 20294 131 0 0 20 0 19 0 141605232 19498610688 1286325 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1286325 5889 1 0 1467745 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=-8527117733602960060 CPUtime=196.86 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 22734 0 0 0 19589 97 0 0 20 0 19 0 141605233 19498610688 1286325 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=5145300 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1286325 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=-8527117733602960060 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 309 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1286325 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 204.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5145300 KiB

[startup+204.8 s]
/proc/loadavg: 3.21 3.85 3.99 4/301 716519
/proc/meminfo: memFree=116407260/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=5147348 CPUtime=207.46 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 54152 0 0 0 20615 131 0 0 20 0 19 0 141605232 19498610688 1286837 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1286837 5889 1 0 1467745 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=11436 CPUtime=200.02 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 22902 0 0 0 19905 97 0 0 20 0 19 0 141605233 19498610688 1286837 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=5118676 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1286837 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=5124820 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 309 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1286837 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 207.46 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5147348 KiB

[startup+206.4 s]
/proc/loadavg: 3.28 3.85 3.99 4/301 716519
/proc/meminfo: memFree=116405156/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19041612 memory=5147348 CPUtime=209.07 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 54306 0 0 0 20776 131 0 0 20 0 19 0 141605232 19498610688 1286837 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4760403 1286837 5889 1 0 1467745 0
[pid=716282/tid=716284] ppid=716279 vsize=19041612 memory=5147348 CPUtime=201.6 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 23048 0 0 0 20063 97 0 0 20 0 19 0 141605233 19498610688 1286837 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19041612 memory=7883642903033154147 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1286837 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19041612 memory=5528 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 309 0 0 0 0 0 0 0 20 0 19 0 141605235 19498610688 1286837 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 209.07 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5147348 KiB

[startup+207.2 s]
/proc/loadavg: 3.28 3.85 3.99 6/301 716519
/proc/meminfo: memFree=116398092/131524600 swapFree=131071996/131071996
[pid=716282] ppid=716279 vsize=19108176 memory=5152992 CPUtime=210.43 cores=5,7
/proc/716282/stat : 716282 (java) S 716279 716282 713405 0 -1 1077936128 61546 0 0 0 20910 133 0 0 20 0 20 0 141605232 19566772224 1288248 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
/proc/716282/statm: 4777044 1288248 5926 1 0 1468363 0
[pid=716282/tid=716284] ppid=716279 vsize=19108176 memory=5516 CPUtime=202.36 cores=5,7
/proc/716282/task/716284/stat : 716284 (java) R 716279 716282 713405 0 -1 4194368 26315 0 0 0 20138 98 0 0 20 0 20 0 141605233 19566772224 1288248 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716295] ppid=716279 vsize=19108176 memory=1908 CPUtime=0 cores=5,7
/proc/716282/task/716295/stat : 716295 (Finalizer) S 716279 716282 713405 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141605235 19566772224 1288248 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
[pid=716282/tid=716304] ppid=716279 vsize=19108176 memory=32188 CPUtime=0 cores=5,7
/proc/716282/task/716304/stat : 716304 (Common-Cleaner) S 716279 716282 713405 0 -1 1077936192 309 0 0 0 0 0 0 0 20 0 20 0 141605235 19566772224 1288248 134679101440 94541136388096 94541136391792 140722296131088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94541136399608 94541136400400 94541152587776 140722296136723 140722296136831 140722296136831 140722296143816 0
Current children cumulated CPU time: 210.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5152992 KiB

[startup+207.4 s]*
/proc/loadavg: 3.28 3.85 3.99 4/284 716522
/proc/meminfo: memFree=116405564/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): 207.414
CPU time (s): 210.833
CPU user time (s): 209.486
CPU system time (s): 1.34756
CPU usage (%): 101.648
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5153184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.486
system time used= 1.34756
maximum resident set size= 5154660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61953
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19624
involuntary context switches= 838


# summary of solver processes directly reported to runsolver:
#   pid: 716282
#   total CPU time (s): 210.833
#   total CPU user time (s): 209.486
#   total CPU system time (s): 1.34756

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.451654 second user time and 1.1279 second system time

The end

Begin job on nodeC024 at 2024-07-13 20:13:36
IDJOB=4424666
IDBENCH=144135
IDSOLVER=3036
FILE ID=nodeC024/4424666-1720894403
RUNJOBID= nodeC024-1720894415-715723
SLURM_JOB_ID= 7485807
Free space on /tmp= 890068 MiB

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

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

MD5SUM BENCH= 9031472e82cc640e2367b3bed0c7412c
RANDOM SEED=1086994902

nodeC024.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		: 3584.499
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.60
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		: 3615.258
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	: 7007.08
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		: 3607.642
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.60
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		: 3629.970
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	: 7007.08
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		: 3634.195
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.60
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		: 3648.669
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	: 7007.08
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		: 3644.755
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.60
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		: 3562.139
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129736196 kB
MemAvailable:   129736592 kB
Buffers:          324692 kB
Cached:           523356 kB
SwapCached:            0 kB
Active:           488948 kB
Inactive:         746308 kB
Active(anon):       1524 kB
Inactive(anon):   423704 kB
Active(file):     487424 kB
Inactive(file):   322604 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18596 kB
Writeback:             0 kB
AnonPages:        387444 kB
Mapped:           120776 kB
Shmem:             37720 kB
KReclaimable:      60028 kB
Slab:             156704 kB
SReclaimable:      60028 kB
SUnreclaim:        96676 kB
KernelStack:        4360 kB
PageTables:        10256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2909940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53920 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      189140 kB
DirectMap2M:     7972864 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC024 at 2024-07-13 20:17:04

Name	PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo
MD5SUM	9031472e82cc640e2367b3bed0c7412c
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	7358
Best CPU time to get the best result obtained on this benchmark	3600.48
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	5160
Total number of constraints	512485
Number of soft constraints	512344
Number of constraints which are clauses	512344
Number of constraints which are cardinality constraints (but not clauses)	141
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	44
Top cost	463736
Min constraint cost	1
Max constraint cost	1000
Sum of constraints costs	146536849
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 4424666

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data