Trace number 3697739

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 NameAnswerCPU timeWall clock time
npSolver inc-topDown? (TO) 1800.01 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_0.opb
MD5SUMca79c3a72fcbc528e4a81e658af79fe0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4272093
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 100330219838
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 100330219838
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.35	c run inc solver
0.00/0.35	c [INC SYSTEM] run initial solver
0.00/0.35	c [INC SYSTEM] preprocess with white file
2.57/2.69	c [INC SYSTEM] finished preprocessing in 2 s
2.57/2.69	c [INC SYSTEM] execute solver
4.17/4.27	c [INC SEARCH] formula is SAT
4.17/4.28	c [INC SYSTEM] solved the initial formula
4.29/4.32	c model valid
4.29/4.32	c current solution ok
5.18/5.21	o 147202997
5.18/5.21	c [INC SYSTEM] there exists a inc, kill it!
5.18/5.21	c write failed with 2
5.18/5.22	c [INC SEARCH] iteration: 0
5.18/5.22	c [INC BOUNDS] best value:147203067 search for 147203066
5.18/5.22	c [INC SYSTEM] create new solver instance
5.18/5.22	c [INC] encode full formula
5.18/5.22	c fallback to adder encoding
6.69/6.70	c set iterative enc to: adder
6.69/6.70	c set iterative enc to: none
6.89/6.94	c [INC SEARCH] isOptimum variable: 0
19.28/19.33	c formula is SAT
19.28/19.38	c [INC SEARCH] copied best model
19.28/19.38	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
19.39/19.41	c model valid
19.39/19.41	c current solution ok
19.39/19.41	o 34460389
19.39/19.41	c [INC SEARCH] iteration: 1
19.39/19.41	c [INC BOUNDS] best value:34460459 search for 34460458
19.39/19.41	c [INC SYSTEM] there exists a inc, kill it!
19.39/19.41	c write failed with 2
19.39/19.44	c [INC SYSTEM] create new solver instance
19.39/19.44	c [INC] encode full formula
19.39/19.44	c fallback to adder encoding
20.59/20.67	c set iterative enc to: adder
20.59/20.67	c set iterative enc to: none
20.80/20.89	c [INC SEARCH] isOptimum variable: 0
220.32/220.42	c formula is SAT
220.32/220.46	c [INC SEARCH] copied best model
220.32/220.46	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
220.32/220.50	c model valid
220.32/220.50	c current solution ok
220.32/220.50	o 33871159
220.32/220.50	c [INC SEARCH] iteration: 2
220.32/220.50	c [INC BOUNDS] best value:33871229 search for 33871228
220.32/220.50	c [INC SYSTEM] there exists a inc, kill it!
220.32/220.50	c write failed with 2
220.41/220.51	c [INC SYSTEM] create new solver instance
220.41/220.51	c [INC] encode full formula
220.41/220.51	c fallback to adder encoding
221.62/221.76	c set iterative enc to: adder
221.62/221.76	c set iterative enc to: none
221.82/221.97	c [INC SEARCH] isOptimum variable: 0
228.62/228.75	c formula is SAT
228.62/228.79	c [INC SEARCH] copied best model
228.62/228.80	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
228.73/228.83	c model valid
228.73/228.83	c current solution ok
228.73/228.83	o 26616003
228.73/228.83	c [INC SEARCH] iteration: 3
228.73/228.83	c [INC BOUNDS] best value:26616073 search for 26616072
228.73/228.83	c [INC SYSTEM] there exists a inc, kill it!
228.73/228.83	c write failed with 2
228.73/228.85	c [INC SYSTEM] create new solver instance
228.73/228.85	c [INC] encode full formula
228.73/228.85	c fallback to adder encoding
229.93/230.01	c set iterative enc to: adder
229.93/230.01	c set iterative enc to: none
230.13/230.21	c [INC SEARCH] isOptimum variable: 0
441.87/442.07	c formula is SAT
441.97/442.11	c [INC SEARCH] copied best model
441.97/442.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
441.97/442.14	c model valid
441.97/442.14	c current solution ok
441.97/442.14	o 20492113
441.97/442.14	c [INC SEARCH] iteration: 4
441.97/442.14	c [INC BOUNDS] best value:20492183 search for 20492182
441.97/442.14	c [INC SYSTEM] there exists a inc, kill it!
441.97/442.14	c write failed with 2
441.97/442.16	c [INC SYSTEM] create new solver instance
441.97/442.16	c [INC] encode full formula
441.97/442.16	c fallback to adder encoding
443.09/443.27	c set iterative enc to: adder
443.09/443.27	c set iterative enc to: none
443.28/443.47	c [INC SEARCH] isOptimum variable: 0
519.92/520.10	c formula is SAT
519.92/520.14	c [INC SEARCH] copied best model
519.92/520.14	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
519.92/520.17	c model valid
519.92/520.17	c current solution ok
519.92/520.17	o 16102559
519.92/520.17	c [INC SEARCH] iteration: 5
519.92/520.17	c [INC BOUNDS] best value:16102629 search for 16102628
519.92/520.17	c [INC SYSTEM] there exists a inc, kill it!
519.92/520.17	c write failed with 2
519.92/520.18	c [INC SYSTEM] create new solver instance
519.92/520.18	c [INC] encode full formula
519.92/520.18	c fallback to adder encoding
521.04/521.22	c set iterative enc to: adder
521.04/521.22	c set iterative enc to: none
521.15/521.40	c [INC SEARCH] isOptimum variable: 0
778.06/778.32	c formula is SAT
778.06/778.36	c [INC SEARCH] copied best model
778.06/778.36	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
778.06/778.39	c model valid
778.06/778.39	c current solution ok
778.06/778.39	o 15032887
778.06/778.39	c [INC SEARCH] iteration: 6
778.06/778.39	c [INC BOUNDS] best value:15032957 search for 15032956
778.06/778.39	c [INC SYSTEM] there exists a inc, kill it!
778.06/778.39	c write failed with 2
778.16/778.40	c [INC SYSTEM] create new solver instance
778.16/778.40	c [INC] encode full formula
778.16/778.40	c fallback to adder encoding
779.15/779.41	c set iterative enc to: adder
779.15/779.41	c set iterative enc to: none
779.25/779.59	c [INC SEARCH] isOptimum variable: 0
1064.58/1064.91	c formula is SAT
1064.58/1064.94	c [INC SEARCH] copied best model
1064.58/1064.94	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1064.58/1064.97	c model valid
1064.58/1064.97	c current solution ok
1064.58/1064.97	o 8184523
1064.58/1064.97	c [INC SEARCH] iteration: 7
1064.58/1064.97	c [INC BOUNDS] best value:8184593 search for 8184592
1064.58/1064.97	c [INC SYSTEM] there exists a inc, kill it!
1064.58/1064.97	c write failed with 2
1064.58/1064.98	c [INC SYSTEM] create new solver instance
1064.58/1064.98	c [INC] encode full formula
1064.58/1064.98	c fallback to adder encoding
1065.49/1065.84	c set iterative enc to: adder
1065.49/1065.84	c set iterative enc to: none
1065.68/1066.00	c [INC SEARCH] isOptimum variable: 0
1800.01/1800.51	HOME/npSolver-pbo-Itd.sh: line 18: 16040 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3697739-1338133768/watcher-3697739-1338133768 -o /tmp/evaluation-result-3697739-1338133768/solver-3697739-1338133768 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697739-1338133768.opb 481157262 HOME HOME 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 16039
/proc/meminfo: memFree=28912644/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0

[startup+0.01079 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 16039
/proc/meminfo: memFree=28912644/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100262 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 16039
/proc/meminfo: memFree=28912644/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300296 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 16039
/proc/meminfo: memFree=28912644/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700331 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 16039
/proc/meminfo: memFree=28912644/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50045 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 16043
/proc/meminfo: memFree=28749440/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=30344 CPUtime=0.35 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 5790 0 0 0 31 4 0 0 20 0 1 0 279501836 31072256 6279 33554432000 4194304 5992684 140734604116608 140734604111056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16040/statm: 7586 6279 172 440 0 7142 0
[pid=16042] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16042/stat : 16042 (cp2_pre.sh) S 16040 16039 14200 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279501872 9367552 277 33554432000 4194304 5064252 140736027390400 140736027389104 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16042/statm: 2287 277 234 213 0 72 0
[pid=16043] ppid=16042 vsize=153432 CPUtime=1.11 cores=1,3,5,7
/proc/16043/stat : 16043 (coprocessor) R 16042 16039 14200 0 -1 4202496 28727 0 0 0 106 5 0 0 20 0 1 0 279501873 157114368 37185 33554432000 4194304 6586260 140733374828688 140733374824616 4768675 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/16043/statm: 38358 37185 182 584 0 37770 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 202072

[startup+3.10036 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 16043
/proc/meminfo: memFree=28693228/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=30344 CPUtime=2.67 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 5805 34755 0 0 31 4 203 29 20 0 1 0 279501836 31072256 6281 33554432000 4194304 5992684 140734604116608 140734604102872 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16040/statm: 7586 6281 174 440 0 7142 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 39492

[startup+6.3004 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 16046
/proc/meminfo: memFree=28820872/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=191508 CPUtime=6.29 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) R 16039 16039 14200 0 -1 4202496 13806 51457 0 0 154 83 357 35 20 0 1 0 279501836 196104192 32235 33554432000 4194304 5992684 140734604116608 140734604108952 4524964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16040/statm: 47877 32235 190 440 0 47433 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 200656

[startup+12.7004 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 16048
/proc/meminfo: memFree=28397952/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=60436 CPUtime=6.93 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 14574 51973 0 0 198 101 357 37 20 0 1 0 279501836 61886464 13794 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 15109 13794 191 440 0 14665 0
[pid=16048] ppid=16040 vsize=349728 CPUtime=5.74 cores=1,3,5,7
/proc/16048/stat : 16048 (glucosInc) R 16040 16039 14200 0 -1 4202496 58796 0 0 0 556 18 0 0 20 0 1 0 279502529 358121472 76715 33554432000 4194304 5654031 140736870078624 140736870066440 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16048/statm: 87432 76715 141 357 0 87072 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 419312

[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 16050
/proc/meminfo: memFree=28531448/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=50348 CPUtime=20.88 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 23354 111959 0 0 330 119 1576 63 20 0 1 0 279501836 51556352 11304 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 12587 11304 191 440 0 12143 0
[pid=16050] ppid=16040 vsize=302764 CPUtime=4.6 cores=1,3,5,7
/proc/16050/stat : 16050 (glucosInc) R 16040 16039 14200 0 -1 4202496 52193 0 0 0 446 14 0 0 20 0 1 0 279503924 310030336 65970 33554432000 4194304 5654031 140735533776192 140735533764008 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16050/statm: 75691 65970 140 357 0 75331 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 362260

[startup+51.1004 s]
/proc/loadavg: 2.07 2.03 2.00 3/182 16053
/proc/meminfo: memFree=28486136/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=50348 CPUtime=20.88 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 23354 111959 0 0 330 119 1576 63 20 0 1 0 279501836 51556352 11304 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 12587 11304 191 440 0 12143 0
[pid=16050] ppid=16040 vsize=305716 CPUtime=30.19 cores=1,3,5,7
/proc/16050/stat : 16050 (glucosInc) R 16040 16039 14200 0 -1 4202496 52881 0 0 0 3005 14 0 0 20 0 1 0 279503924 313053184 68188 33554432000 4194304 5654031 140735533776192 140735533764008 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16050/statm: 76429 68188 140 357 0 76069 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 365212

[startup+102.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 16054
/proc/meminfo: memFree=28466428/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=50348 CPUtime=20.88 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 23354 111959 0 0 330 119 1576 63 20 0 1 0 279501836 51556352 11304 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 12587 11304 191 440 0 12143 0
[pid=16050] ppid=16040 vsize=306948 CPUtime=81.39 cores=1,3,5,7
/proc/16050/stat : 16050 (glucosInc) R 16040 16039 14200 0 -1 4202496 53876 0 0 0 8121 18 0 0 20 0 1 0 279503924 314314752 70594 33554432000 4194304 5654031 140735533776192 140735533764008 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16050/statm: 76737 70594 141 357 0 76377 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 366444

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 16054
/proc/meminfo: memFree=28456344/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=50348 CPUtime=20.88 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 23354 111959 0 0 330 119 1576 63 20 0 1 0 279501836 51556352 11304 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 12587 11304 191 440 0 12143 0
[pid=16050] ppid=16040 vsize=308496 CPUtime=141.36 cores=1,3,5,7
/proc/16050/stat : 16050 (glucosInc) R 16040 16039 14200 0 -1 4202496 54208 0 0 0 14118 18 0 0 20 0 1 0 279503924 315899904 71930 33554432000 4194304 5654031 140735533776192 140735533764008 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16050/statm: 77124 71930 141 357 0 76764 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 367992

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16056
/proc/meminfo: memFree=28691272/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=49604 CPUtime=221.9 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 32975 169745 0 0 463 138 21496 93 20 0 1 0 279501836 50794496 11118 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 12401 11118 191 440 0 11957 0
[pid=16056] ppid=16040 vsize=121116 CPUtime=0.31 cores=1,3,5,7
/proc/16056/stat : 16056 (glucosInc) R 16040 16039 14200 0 -1 4202496 20149 0 0 0 27 4 0 0 20 0 1 0 279524033 124022784 24163 33554432000 4194304 5654031 140733215613712 140734604103672 4801472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16056/statm: 30279 24165 109 357 0 29919 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 179868

[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 16058
/proc/meminfo: memFree=28470952/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/loadavg: 2.02 2.02 2.00 3/181 16166
/proc/meminfo: memFree=28451904/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=46452 CPUtime=1065.69 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 69234 424740 0 0 1017 219 105126 207 20 0 1 0 279501836 47566848 10330 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 11613 10330 191 440 0 11169 0
[pid=16158] ppid=16040 vsize=243264 CPUtime=296.19 cores=1,3,5,7
/proc/16158/stat : 16158 (glucosInc) R 16040 16039 14200 0 -1 4202496 47791 0 0 0 29600 19 0 0 20 0 1 0 279608436 249102336 55686 33554432000 4194304 5654031 140733451505536 140733451493352 4214977 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16158/statm: 60816 55686 141 357 0 60456 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 298864

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 16166
/proc/meminfo: memFree=28423600/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=46452 CPUtime=1065.69 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 69234 424740 0 0 1017 219 105126 207 20 0 1 0 279501836 47566848 10330 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 11613 10330 191 440 0 11169 0
[pid=16158] ppid=16040 vsize=274084 CPUtime=356.18 cores=1,3,5,7
/proc/16158/stat : 16158 (glucosInc) R 16040 16039 14200 0 -1 4202496 48379 0 0 0 35598 20 0 0 20 0 1 0 279608436 280662016 58315 33554432000 4194304 5654031 140733451505536 140733451493352 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16158/statm: 68521 58315 141 357 0 68161 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 329684

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16166
/proc/meminfo: memFree=28396592/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=46452 CPUtime=1065.69 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 69234 424740 0 0 1017 219 105126 207 20 0 1 0 279501836 47566848 10330 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 11613 10330 191 440 0 11169 0
[pid=16158] ppid=16040 vsize=275404 CPUtime=416.17 cores=1,3,5,7
/proc/16158/stat : 16158 (glucosInc) R 16040 16039 14200 0 -1 4202496 49559 0 0 0 41594 23 0 0 20 0 1 0 279608436 282013696 60259 33554432000 4194304 5654031 140733451505536 140733451493352 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16158/statm: 68851 60259 141 357 0 68491 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 331004

[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 16166
/proc/meminfo: memFree=28365484/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=46452 CPUtime=1065.69 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 69234 424740 0 0 1017 219 105126 207 20 0 1 0 279501836 47566848 10330 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 11613 10330 191 440 0 11169 0
[pid=16158] ppid=16040 vsize=327336 CPUtime=476.16 cores=1,3,5,7
/proc/16158/stat : 16158 (glucosInc) R 16040 16039 14200 0 -1 4202496 51450 0 0 0 47590 26 0 0 20 0 1 0 279608436 335192064 67973 33554432000 4194304 5654031 140733451505536 140733451503624 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16158/statm: 81834 67973 141 357 0 81474 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 382936

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 16170
/proc/meminfo: memFree=28425724/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=46452 CPUtime=1065.69 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 69234 424740 0 0 1017 219 105126 207 20 0 1 0 279501836 47566848 10330 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 11613 10330 191 440 0 11169 0
[pid=16158] ppid=16040 vsize=281360 CPUtime=536.15 cores=1,3,5,7
/proc/16158/stat : 16158 (glucosInc) R 16040 16039 14200 0 -1 4202496 52811 0 0 0 53587 28 0 0 20 0 1 0 279608436 288112640 62865 33554432000 4194304 5654031 140733451505536 140733451493352 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16158/statm: 70340 62865 141 357 0 69980 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 336960

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 16173
/proc/meminfo: memFree=28407180/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=46452 CPUtime=1065.69 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 69234 424740 0 0 1017 219 105126 207 20 0 1 0 279501836 47566848 10330 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 11613 10330 191 440 0 11169 0
[pid=16158] ppid=16040 vsize=281360 CPUtime=596.13 cores=1,3,5,7
/proc/16158/stat : 16158 (glucosInc) R 16040 16039 14200 0 -1 4202496 52949 0 0 0 59585 28 0 0 20 0 1 0 279608436 288112640 65592 33554432000 4194304 5654031 140733451505536 140733451493352 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16158/statm: 70340 65592 141 357 0 69980 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 336960

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 16173
/proc/meminfo: memFree=28428548/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=46452 CPUtime=1065.69 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 69234 424740 0 0 1017 219 105126 207 20 0 1 0 279501836 47566848 10330 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 11613 10330 191 440 0 11169 0
[pid=16158] ppid=16040 vsize=250540 CPUtime=656.13 cores=1,3,5,7
/proc/16158/stat : 16158 (glucosInc) R 16040 16039 14200 0 -1 4202496 53960 0 0 0 65582 31 0 0 20 0 1 0 279608436 256552960 58114 33554432000 4194304 5654031 140733451505536 140733451493352 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16158/statm: 62635 58114 141 357 0 62275 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 306140

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16175
/proc/meminfo: memFree=28424564/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=46452 CPUtime=1065.69 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 69234 424740 0 0 1017 219 105126 207 20 0 1 0 279501836 47566848 10330 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 11613 10330 191 440 0 11169 0
[pid=16158] ppid=16040 vsize=281360 CPUtime=716.11 cores=1,3,5,7
/proc/16158/stat : 16158 (glucosInc) R 16040 16039 14200 0 -1 4202496 54603 0 0 0 71580 31 0 0 20 0 1 0 279608436 288112640 63866 33554432000 4194304 5654031 140733451505536 140733451493352 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16158/statm: 70340 63866 141 357 0 69980 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 336960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16175
/proc/meminfo: memFree=28414576/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=46452 CPUtime=1065.69 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 69234 424740 0 0 1017 219 105126 207 20 0 1 0 279501836 47566848 10330 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 11613 10330 191 440 0 11169 0
[pid=16158] ppid=16040 vsize=283176 CPUtime=734.32 cores=1,3,5,7
/proc/16158/stat : 16158 (glucosInc) R 16040 16039 14200 0 -1 4202496 54668 0 0 0 73401 31 0 0 20 0 1 0 279608436 289972224 64953 33554432000 4194304 5654031 140733451505536 140733451493352 4214957 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16158/statm: 70794 64953 141 357 0 70434 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 338776

Sending SIGTERM to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16175
/proc/meminfo: memFree=28414576/32873844 swapFree=7116/7116
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-pbo-It) S 16037 16039 14200 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279501835 9367552 275 33554432000 4194304 5064252 140736218147312 140736218146224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 275 233 213 0 72 0
[pid=16040] ppid=16039 vsize=46452 CPUtime=1065.69 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-pbo) S 16039 16039 14200 0 -1 4202496 69234 424740 0 0 1017 219 105126 207 20 0 1 0 279501836 47566848 10330 33554432000 4194304 5992684 140734604116608 140734604102440 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16040/statm: 11613 10330 191 440 0 11169 0
[pid=16158] ppid=16040 vsize=283176 CPUtime=734.32 cores=1,3,5,7
/proc/16158/stat : 16158 (glucosInc) R 16040 16039 14200 0 -1 4202496 54668 0 0 0 73401 31 0 0 20 0 1 0 279608436 289972224 64953 33554432000 4194304 5654031 140733451505536 140733451493352 4214957 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16158/statm: 70794 64953 141 357 0 70434 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 338776

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16039 and gives
#  childrusage.ru_utime.tv_sec=1061
#  childrusage.ru_utime.tv_usec=440636
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=273350
# CPU time returned by wait4() is 1065.71
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.52
CPU time (s): 1800.01
CPU user time (s): 1795.44
CPU system time (s): 4.57
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 540264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1061.44
system time used= 4.27335
maximum resident set size= 386520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1504440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9295
involuntary context switches= 1189

runsolver used 2.90956 second user time and 8.5567 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-27 17:49:28
IDJOB=3697739
IDBENCH=92754
IDSOLVER=2275
FILE ID=node138/3697739-1338133768
RUNJOBID= node138-1338124125-14217
PBS_JOBID= 14624507
Free space on /tmp= 71456 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3697739-1338133768/watcher-3697739-1338133768 -o /tmp/evaluation-result-3697739-1338133768/solver-3697739-1338133768 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3697739-1338133768.opb 481157262 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ca79c3a72fcbc528e4a81e658af79fe0
RANDOM SEED=481157262

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28912908 kB
Buffers:          419888 kB
Cached:          2440152 kB
SwapCached:          212 kB
Active:          1121888 kB
Inactive:        1939896 kB
Active(anon):     192624 kB
Inactive(anon):    11368 kB
Active(file):     929264 kB
Inactive(file):  1928528 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108644 kB
Dirty:              8960 kB
Writeback:             0 kB
AnonPages:        235276 kB
Mapped:            15644 kB
Shmem:               200 kB
Slab:             732028 kB
SReclaimable:     174524 kB
SUnreclaim:       557504 kB
KernelStack:        1472 kB
PageTables:         4516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     359624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71312 MiB
End job on node138 at 2012-05-27 18:19:28