Trace number 4449825

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-GUROBI 2024-07-09? (TO) 3600.06 3606.91

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=11.opb
MD5SUM9b5c30834c5e817deb28aeb7d8484ce1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables403
Total number of constraints13065
Number of constraints which are clauses13052
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint14
Number of terms in the objective function 13
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 13
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.04/3606.90	HOME/run-glibc-2.34.sh: line 2: 1015085 Terminated              LD_LIBRARY_PATH=/home/evaluation/evaluation/priv/lib:/home/evaluation/evaluation/tools/lib64:/home/evaluation/evaluation/tools/lib:/usr/local/lib:/home/evaluation/evaluation/tools/glibc-2.34/lib/:/lib64 /home/evaluation/evaluation/tools/glibc-2.34/lib/ld-linux-x86-64.so.2 $*

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449825-1721403110/watcher-4449825-1721403110 -o /tmp/evaluation-result-4449825-1721403110/solver-4449825-1721403110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721399515-1013028 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4449825-1721403110.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100743 s]*
/proc/loadavg: 4.17 4.22 4.13 5/257 1015103
/proc/meminfo: memFree=128095280/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=137272 memory=26300 CPUtime=0.09 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 2246 0 0 0 7 2 0 0 20 0 2 0 192471228 140566528 6575 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 34318 6575 3312 46 0 6913 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=137272 memory=4026531971 CPUtime=0 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192471232 140566528 6575 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 147200 KiB
Current children cumulated memory: 29076 KiB

[startup+0.206744 s]*
/proc/loadavg: 4.17 4.22 4.13 5/256 1015108
/proc/meminfo: memFree=128051396/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=137924 memory=27088 CPUtime=0.19 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 2407 0 0 0 16 3 0 0 20 0 2 0 192471228 141234176 6772 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 34481 6772 3312 46 0 7076 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=137924 memory=8093824160770949251 CPUtime=0 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192471232 141234176 6772 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 147852 KiB
Current children cumulated memory: 29864 KiB

[startup+0.30559 s]*
/proc/loadavg: 4.17 4.22 4.13 5/263 1015119
/proc/meminfo: memFree=128046120/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=138124 memory=27088 CPUtime=0.28 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 2448 0 0 0 25 3 0 0 20 0 2 0 192471228 141438976 6772 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 34531 6772 3312 46 0 7126 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=138124 memory=4209241035544100993 CPUtime=0 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192471232 141438976 6772 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 148052 KiB
Current children cumulated memory: 29864 KiB

[startup+0.700273 s]
/proc/loadavg: 4.17 4.22 4.13 5/264 1015120
/proc/meminfo: memFree=128027304/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=138456 memory=27352 CPUtime=0.68 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 2531 0 0 0 61 7 0 0 20 0 2 0 192471228 141778944 6838 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 34614 6838 3312 46 0 7209 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=138456 memory=12740 CPUtime=0 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192471232 141778944 6838 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148384 KiB
Current children cumulated memory: 30128 KiB

[startup+1.50027 s]
/proc/loadavg: 4.17 4.22 4.13 5/264 1015122
/proc/meminfo: memFree=128023784/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=138588 memory=27616 CPUtime=1.47 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 2576 0 0 0 136 11 0 0 20 0 2 0 192471228 141914112 6904 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 34647 6904 3312 46 0 7242 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=138588 memory=12740 CPUtime=0 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192471232 141914112 6904 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 148516 KiB
Current children cumulated memory: 30392 KiB

[startup+3.1052 s]
/proc/loadavg: 4.15 4.22 4.13 4/259 1015184
/proc/meminfo: memFree=128110384/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=138984 memory=28232 CPUtime=3.07 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 3542 0 0 0 288 19 0 0 20 0 2 0 192471228 142319616 7058 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 34746 7058 3312 46 0 7341 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=138984 memory=4208122827923685505 CPUtime=0 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 192471232 142319616 7058 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 148912 KiB
Current children cumulated memory: 31008 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.22 4.13 5/264 1015218
/proc/meminfo: memFree=128091396/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=139644 memory=29736 CPUtime=6.26 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 4930 0 0 0 596 30 0 0 20 0 2 0 192471228 142995456 7434 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 34911 7434 3312 46 0 7506 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=139644 memory=11400 CPUtime=0 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 192471232 142995456 7434 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 149572 KiB
Current children cumulated memory: 32512 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.21 4.13 5/264 1015219
/proc/meminfo: memFree=128084772/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=142784 memory=31328 CPUtime=12.64 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 9111 0 0 0 1213 51 0 0 20 0 2 0 192471228 146210816 7832 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 35696 7832 3312 46 0 8291 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=142784 memory=2776 CPUtime=0 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 2 0 192471232 146210816 7832 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 152712 KiB
Current children cumulated memory: 34104 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.20 4.13 5/264 1015221
/proc/meminfo: memFree=128075648/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=144672 memory=34880 CPUtime=25.42 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 15522 0 0 0 2452 90 0 0 20 0 2 0 192471228 148144128 8720 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 36168 8720 3312 46 0 8763 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=144672 memory=0 CPUtime=0 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 2 0 192471232 148144128 8720 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 154600 KiB
Current children cumulated memory: 37656 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.20 4.13 5/264 1015225
/proc/meminfo: memFree=128053488/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=150404 memory=38104 CPUtime=50.96 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 27299 0 0 0 4932 164 0 0 20 0 2 0 192471228 154013696 9526 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 37601 9526 3312 46 0 10196 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=150404 memory=2776 CPUtime=0.01 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 40 0 0 0 0 1 0 0 20 0 2 0 192471232 154013696 9526 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 160332 KiB
Current children cumulated memory: 40880 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/263 1015234
/proc/meminfo: memFree=128008560/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=153460 memory=43684 CPUtime=102.03 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 39490 0 0 0 9893 310 0 0 20 0 2 0 192471228 157143040 10921 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 38365 10921 3312 46 0 10960 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=153460 memory=11400 CPUtime=0.03 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 50 0 0 0 1 2 0 0 20 0 2 0 192471232 157143040 10921 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 163388 KiB
Current children cumulated memory: 46460 KiB

[startup+162.3 s]

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

/proc/1015085/statm: 63319 30235 3312 46 0 35914 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=253276 memory=120932 CPUtime=1.96 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 207 0 0 0 68 128 0 0 20 0 2 0 192471232 259354624 30235 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3156.15 s
Current children cumulated vsize: 263204 KiB
Current children cumulated memory: 123716 KiB

[startup+3222.3 s]
/proc/loadavg: 3.11 3.14 3.19 4/255 1016794
/proc/meminfo: memFree=127611488/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=253276 memory=122988 CPUtime=3216.05 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 270630 0 0 0 316622 4983 0 0 20 0 2 0 192471228 259354624 30747 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 63319 30747 3312 46 0 35914 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=253276 memory=2776 CPUtime=2.03 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 210 0 0 0 71 132 0 0 20 0 2 0 192471232 259354624 30747 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3216.05 s
Current children cumulated vsize: 263204 KiB
Current children cumulated memory: 125764 KiB

[startup+3282.3 s]
/proc/loadavg: 3.49 3.25 3.23 4/255 1016804
/proc/meminfo: memFree=127601000/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=253276 memory=122992 CPUtime=3275.95 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 273486 0 0 0 322549 5046 0 0 20 0 2 0 192471228 259354624 30748 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 63319 30748 3312 46 0 35914 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=253276 memory=122992 CPUtime=2.07 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 213 0 0 0 72 135 0 0 20 0 2 0 192471232 259354624 30748 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3275.95 s
Current children cumulated vsize: 263204 KiB
Current children cumulated memory: 125768 KiB

[startup+3342.3 s]
/proc/loadavg: 3.23 3.22 3.22 4/255 1016815
/proc/meminfo: memFree=127589084/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=254300 memory=123532 CPUtime=3335.87 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 275620 0 0 0 328477 5110 0 0 20 0 2 0 192471228 260403200 30883 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 63575 30883 3312 46 0 36170 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=254300 memory=5600 CPUtime=2.13 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 216 0 0 0 74 139 0 0 20 0 2 0 192471232 260403200 30883 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3335.87 s
Current children cumulated vsize: 264228 KiB
Current children cumulated memory: 126308 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.19 3.20 4/257 1016995
/proc/meminfo: memFree=127571812/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=254816 memory=125868 CPUtime=3395.77 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 278463 0 0 0 334407 5170 0 0 20 0 2 0 192471228 260931584 31467 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 63704 31467 3312 46 0 36299 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=254816 memory=125868 CPUtime=2.19 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 219 0 0 0 77 142 0 0 20 0 2 0 192471232 260931584 31467 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3395.77 s
Current children cumulated vsize: 264744 KiB
Current children cumulated memory: 128644 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.18 3.20 4/257 1017005
/proc/meminfo: memFree=127566928/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=255328 memory=126140 CPUtime=3455.67 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 280632 0 0 0 340334 5233 0 0 20 0 2 0 192471228 261455872 31535 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 63832 31535 3312 46 0 36427 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=255328 memory=11400 CPUtime=2.25 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 222 0 0 0 79 146 0 0 20 0 2 0 192471232 261455872 31535 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3455.67 s
Current children cumulated vsize: 265256 KiB
Current children cumulated memory: 128916 KiB

[startup+3522.3 s]
/proc/loadavg: 3.65 3.29 3.23 4/257 1017073
/proc/meminfo: memFree=127562448/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=256352 memory=128856 CPUtime=3515.57 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 283056 0 0 0 346265 5292 0 0 20 0 2 0 192471228 262504448 32214 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 64088 32214 3312 46 0 36683 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=256352 memory=2776 CPUtime=2.3 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 225 0 0 0 81 149 0 0 20 0 2 0 192471232 262504448 32214 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3515.57 s
Current children cumulated vsize: 266280 KiB
Current children cumulated memory: 131632 KiB

[startup+3582.3 s]
/proc/loadavg: 3.34 3.27 3.23 4/257 1017084
/proc/meminfo: memFree=127534980/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=270160 memory=149640 CPUtime=3575.47 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 288423 0 0 0 352181 5366 0 0 20 0 2 0 192471228 276643840 37410 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 67540 37410 3503 46 0 40135 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=270160 memory=16160 CPUtime=2.36 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 228 0 0 0 84 152 0 0 20 0 2 0 192471232 276643840 37410 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3575.47 s
Current children cumulated vsize: 280088 KiB
Current children cumulated memory: 152416 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.9 s]
/proc/loadavg: 3.23 3.25 3.22 4/257 1017087
/proc/meminfo: memFree=127528612/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=276348 memory=155072 CPUtime=3600.04 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 289869 0 0 0 354600 5404 0 0 20 0 2 0 192471228 282980352 38768 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 69087 38768 3503 46 0 41682 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=276348 memory=2776 CPUtime=2.38 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 228 0 0 0 84 154 0 0 20 0 2 0 192471232 282980352 38768 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 286276 KiB
Current children cumulated memory: 157848 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3606.91 s]
# the end of solver process 1015083 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3546.01 s, system=54.0487 s

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

[startup+3606.9 s]
/proc/loadavg: 3.23 3.25 3.22 4/257 1017087
/proc/meminfo: memFree=127528612/131524600 swapFree=131071996/131071996
[pid=1015083] ppid=1015080 vsize=9928 memory=2776 CPUtime=0 cores=1,3
/proc/1015083/stat : 1015083 (run-glibc-2.34.) S 1015080 1015083 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471228 10166272 694 134679101440 93993477767168 93993478846488 140729032172704 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93993480944944 93993480992132 93993509810176 140729032176585 140729032176730 140729032176730 140729032183747 0
/proc/1015083/statm: 2482 694 613 264 0 133 0
[pid=1015085] ppid=1015083 vsize=276348 memory=155072 CPUtime=3600.04 cores=1,3
/proc/1015085/stat : 1015085 (ld-linux-x86-64) R 1015083 1015083 1013016 0 -1 4194304 289869 0 0 0 354600 5404 0 0 20 0 2 0 192471228 282980352 38768 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
/proc/1015085/statm: 69087 38768 3503 46 0 41682 0
[pid=1015085/tid=1015086] ppid=1015083 vsize=276348 memory=2776 CPUtime=2.38 cores=1,3
/proc/1015085/task/1015086/stat : 1015086 (ld-linux-x86-64) S 1015083 1015083 1013016 0 -1 1077936192 228 0 0 0 84 154 0 0 20 0 2 0 192471232 282980352 38768 134679101440 140476134432768 140476134620380 140721331145408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140476136721280 140476136730728 93825025146880 140721331147617 140721331147769 140721331147769 140721331154866 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 286276 KiB
Current children cumulated memory: 157848 KiB

Child status: 143

Real time (s): 3606.91
CPU time (s): 3600.06
CPU user time (s): 3546.01
CPU system time (s): 54.0487
CPU usage (%): 99.8102
Max. virtual memory (cumulated for all children) (KiB): 286276
Max. memory (cumulated for all children) (KiB): 157848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.01
system time used= 54.0487
maximum resident set size= 155136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357209
involuntary context switches= 2031


# summary of solver processes directly reported to runsolver:
#   pid: 1015083
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3546.01
#   total CPU system time (s): 54.0487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38958 second user time and 17.0317 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-19 17:32:02
IDJOB=4449825
IDBENCH=176148
IDSOLVER=3056
FILE ID=nodeC015/4449825-1721403110
RUNJOBID= nodeC015-1721399515-1013028
SLURM_JOB_ID= 7545427
Free space on /tmp= 889956 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=11.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449825-1721403110/watcher-4449825-1721403110 -o /tmp/evaluation-result-4449825-1721403110/solver-4449825-1721403110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721399515-1013028 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4449825-1721403110.opb

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

MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1
RANDOM SEED=976194533

nodeC015.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		: 3644.070
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.61
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		: 3669.479
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	: 7006.25
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		: 3602.610
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.61
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		: 3674.522
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	: 7006.25
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		: 3607.947
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.61
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		: 3672.879
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	: 7006.25
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		: 3611.689
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.61
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		: 3601.340
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128063072 kB
MemAvailable:   129422704 kB
Buffers:          527996 kB
Cached:          1666652 kB
SwapCached:            0 kB
Active:          1670520 kB
Inactive:        1155992 kB
Active(anon):       1572 kB
Inactive(anon):   676196 kB
Active(file):    1668948 kB
Inactive(file):   479796 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             42256 kB
Writeback:            60 kB
AnonPages:        626392 kB
Mapped:           121288 kB
Shmem:             45912 kB
KReclaimable:     101068 kB
Slab:             213912 kB
SReclaimable:     101068 kB
SUnreclaim:       112844 kB
KernelStack:        4124 kB
PageTables:        10704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1104392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    563200 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:      291540 kB
DirectMap2M:    38279168 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC015 at 2024-07-19 18:32:09