Trace number 3751692

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-quickBound (fixed)? (TO) 1800.1 1801.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_9.opb
MD5SUM9dfe9f707e4bec0ff7b60653d14cbd16
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4065875
Best CPU time to get the best result obtained on this benchmark1800.37
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 126506008
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 91840906354
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 126506008
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 91840906354
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.07	c old isEQ: 0, new EQ is 1
0.00/0.35	c old isEQ: 192, new EQ is 1
0.00/0.44	c old isEQ: 1, new EQ is 1
0.00/0.52	c run inc solver
0.00/0.52	c [INC SYSTEM] run initial solver
0.00/0.52	c [INC SYSTEM] preprocess with white file
5.15/5.72	c [INC SYSTEM] finished preprocessing in 5 s
5.15/5.72	c [INC SYSTEM] execute solver
5.15/6.45	c [INC SEARCH] formula is SAT
5.15/6.46	c [INC SYSTEM] solved the initial formula
5.15/6.50	c model valid
5.15/6.50	c current solution ok
6.80/7.41	o 53468887
6.80/7.41	c starting approximation
6.80/7.41	c factor = 2
6.80/7.41	c factor still to low - shrinking to 1.56076e+06
6.80/7.41	c approx number of clauses: 1e+06
6.80/7.41	c current bound: 26734478
7.40/8.00	c leaving approximation
7.40/8.00	c finished approximation
7.40/8.00	c [INC SYSTEM] there exists a inc, kill it!
7.40/8.00	c write failed with 2
7.40/8.01	c [INC SEARCH] iteration: 0
7.40/8.01	c [INC BOUNDS] best value:53468957 search for 53468956
7.40/8.01	c [INC SYSTEM] create new solver instance
7.40/8.01	c [INC] encode full formula
7.40/8.01	c fallback to adder encoding
8.74/9.34	c set iterative enc to: adder
8.74/9.34	c set iterative enc to: none
8.91/9.57	c [INC SEARCH] isOptimum variable: 0
31.50/32.13	c formula is SAT
31.50/32.18	c [INC SEARCH] copied best model
31.50/32.18	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
31.60/32.21	c model valid
31.60/32.21	c current solution ok
31.60/32.21	o 43042339
31.60/32.21	c [INC SEARCH] iteration: 1
31.60/32.21	c [INC BOUNDS] best value:43042409 search for 43042408
31.60/32.21	c [INC SYSTEM] there exists a inc, kill it!
31.60/32.21	c write failed with 2
31.60/32.23	c [INC SYSTEM] create new solver instance
31.60/32.23	c [INC] encode full formula
31.60/32.23	c fallback to adder encoding
32.90/33.54	c set iterative enc to: adder
32.90/33.54	c set iterative enc to: none
33.10/33.79	c [INC SEARCH] isOptimum variable: 0
70.38/71.03	c formula is SAT
70.38/71.08	c [INC SEARCH] copied best model
70.38/71.08	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
70.48/71.11	c model valid
70.48/71.11	c current solution ok
70.48/71.11	o 42540205
70.48/71.11	c [INC SEARCH] iteration: 2
70.48/71.11	c [INC BOUNDS] best value:42540275 search for 42540274
70.48/71.11	c [INC SYSTEM] there exists a inc, kill it!
70.48/71.11	c write failed with 2
70.48/71.13	c [INC SYSTEM] create new solver instance
70.48/71.13	c [INC] encode full formula
70.48/71.13	c fallback to adder encoding
71.79/72.43	c set iterative enc to: adder
71.79/72.43	c set iterative enc to: none
72.00/72.65	c [INC SEARCH] isOptimum variable: 0
121.57/122.20	c formula is SAT
121.57/122.25	c [INC SEARCH] copied best model
121.57/122.25	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
121.57/122.28	c model valid
121.57/122.28	c current solution ok
121.57/122.28	o 41159475
121.57/122.28	c [INC SEARCH] iteration: 3
121.57/122.28	c [INC BOUNDS] best value:41159545 search for 41159544
121.57/122.28	c [INC SYSTEM] there exists a inc, kill it!
121.57/122.28	c write failed with 2
121.68/122.30	c [INC SYSTEM] create new solver instance
121.68/122.30	c [INC] encode full formula
121.68/122.30	c fallback to adder encoding
122.98/123.60	c set iterative enc to: adder
122.98/123.60	c set iterative enc to: none
123.18/123.82	c [INC SEARCH] isOptimum variable: 0
261.80/262.57	c formula is SAT
261.90/262.61	c [INC SEARCH] copied best model
261.90/262.61	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
261.90/262.65	c model valid
261.90/262.65	c current solution ok
261.90/262.65	o 35986765
261.90/262.65	c [INC SEARCH] iteration: 4
261.90/262.65	c [INC BOUNDS] best value:35986835 search for 35986834
261.90/262.65	c [INC SYSTEM] there exists a inc, kill it!
261.90/262.65	c write failed with 2
261.90/262.66	c [INC SYSTEM] create new solver instance
261.90/262.66	c [INC] encode full formula
261.90/262.66	c fallback to adder encoding
263.22/263.94	c set iterative enc to: adder
263.22/263.94	c set iterative enc to: none
263.41/264.16	c [INC SEARCH] isOptimum variable: 0
493.87/494.62	c formula is SAT
493.87/494.66	c [INC SEARCH] copied best model
493.87/494.67	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
493.97/494.70	c model valid
493.97/494.70	c current solution ok
493.97/494.70	o 26810669
493.97/494.70	c [INC SEARCH] iteration: 5
493.97/494.70	c [INC BOUNDS] best value:26810739 search for 26810738
493.97/494.70	c [INC SYSTEM] there exists a inc, kill it!
493.97/494.70	c write failed with 2
493.97/494.72	c [INC SYSTEM] create new solver instance
493.97/494.72	c [INC] encode full formula
493.97/494.72	c fallback to adder encoding
495.07/495.88	c set iterative enc to: adder
495.07/495.88	c set iterative enc to: none
495.27/496.09	c [INC SEARCH] isOptimum variable: 0
512.76/513.53	c formula is SAT
512.76/513.57	c [INC SEARCH] copied best model
512.76/513.58	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
512.86/513.61	c model valid
512.86/513.61	c current solution ok
512.86/513.61	o 26208347
512.86/513.61	c [INC SEARCH] iteration: 6
512.86/513.61	c [INC BOUNDS] best value:26208417 search for 26208416
512.86/513.61	c [INC SYSTEM] there exists a inc, kill it!
512.86/513.61	c write failed with 2
512.86/513.63	c [INC SYSTEM] create new solver instance
512.86/513.63	c [INC] encode full formula
512.86/513.63	c fallback to adder encoding
513.97/514.80	c set iterative enc to: adder
513.97/514.80	c set iterative enc to: none
514.27/515.01	c [INC SEARCH] isOptimum variable: 0
558.95/559.76	c formula is SAT
558.95/559.80	c [INC SEARCH] copied best model
558.95/559.80	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
559.05/559.84	c model valid
559.05/559.84	c current solution ok
559.05/559.84	o 19991101
559.05/559.84	c [INC SEARCH] iteration: 7
559.05/559.84	c [INC BOUNDS] best value:19991171 search for 19991170
559.05/559.84	c [INC SYSTEM] there exists a inc, kill it!
559.05/559.84	c write failed with 2
559.05/559.85	c [INC SYSTEM] create new solver instance
559.05/559.85	c [INC] encode full formula
559.05/559.85	c fallback to adder encoding
560.17/560.99	c set iterative enc to: adder
560.17/560.99	c set iterative enc to: none
560.36/561.18	c [INC SEARCH] isOptimum variable: 0
563.95/564.77	c formula is SAT
564.36/565.13	c [INC SEARCH] copied best model
564.36/565.13	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
564.36/565.13	c model valid
564.36/565.13	c current solution ok
564.36/565.13	o 18469393
564.36/565.13	c [INC SEARCH] iteration: 8
564.36/565.13	c [INC BOUNDS] best value:18469463 search for 18469462
564.36/565.13	c [INC SYSTEM] there exists a inc, kill it!
564.36/565.13	c write failed with 2
564.36/565.13	c [INC SYSTEM] create new solver instance
564.36/565.13	c [INC] encode full formula
564.36/565.13	c fallback to adder encoding
565.16/565.97	c set iterative enc to: adder
565.16/565.97	c set iterative enc to: none
565.42/566.42	c [INC SEARCH] isOptimum variable: 0
686.67/687.79	c formula is SAT
686.78/687.83	c [INC SEARCH] copied best model
686.78/687.84	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
686.78/687.87	c model valid
686.78/687.87	c current solution ok
686.78/687.87	o 17572179
686.78/687.87	c [INC SEARCH] iteration: 9
686.78/687.87	c [INC BOUNDS] best value:17572249 search for 17572248
686.78/687.87	c [INC SYSTEM] there exists a inc, kill it!
686.78/687.87	c write failed with 2
686.78/687.89	c [INC SYSTEM] create new solver instance
686.78/687.89	c [INC] encode full formula
686.78/687.89	c fallback to adder encoding
687.88/688.98	c set iterative enc to: adder
687.88/688.98	c set iterative enc to: none
688.08/689.17	c [INC SEARCH] isOptimum variable: 0
927.12/928.23	c formula is SAT
927.12/928.27	c [INC SEARCH] copied best model
927.12/928.27	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
927.22/928.30	c model valid
927.22/928.30	c current solution ok
927.22/928.30	o 13235461
927.22/928.30	c [INC SEARCH] iteration: 10
927.22/928.30	c [INC BOUNDS] best value:13235531 search for 13235530
927.22/928.30	c [INC SYSTEM] there exists a inc, kill it!
927.22/928.30	c write failed with 2
927.22/928.32	c [INC SYSTEM] create new solver instance
927.22/928.32	c [INC] encode full formula
927.22/928.32	c fallback to adder encoding
928.22/929.34	c set iterative enc to: adder
928.22/929.34	c set iterative enc to: none
928.43/929.52	c [INC SEARCH] isOptimum variable: 0
1145.72/1146.91	c formula is SAT
1145.72/1146.94	c [INC SEARCH] copied best model
1145.72/1146.95	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1145.72/1146.98	c model valid
1145.72/1146.98	c current solution ok
1145.72/1146.98	o 8319837
1145.72/1146.98	c [INC SEARCH] iteration: 11
1145.72/1146.98	c [INC BOUNDS] best value:8319907 search for 8319906
1145.72/1146.98	c [INC SYSTEM] there exists a inc, kill it!
1145.72/1146.98	c write failed with 2
1145.72/1146.99	c [INC SYSTEM] create new solver instance
1145.72/1146.99	c [INC] encode full formula
1145.72/1146.99	c fallback to adder encoding
1146.65/1147.87	c set iterative enc to: adder
1146.65/1147.87	c set iterative enc to: none
1146.84/1148.03	c [INC SEARCH] isOptimum variable: 0
1800.06/1801.41	c [INC SYSTEM] an unexpexted return value has been received, exit
1800.06/1801.41	s UNKNOWN
1800.06/1801.41	c [INC SYSTEM] there exists a inc, kill it!
1800.06/1801.41	c write failed with -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-3751692-1339177813/watcher-3751692-1339177813 -o /tmp/evaluation-result-3751692-1339177813/solver-3751692-1339177813 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751692-1339177813.opb 612676406 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.00 2.00 2.00 3/179 13490
/proc/meminfo: memFree=29834488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) R 13488 13490 12876 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 273 33554432000 4194304 5064252 140736579145344 140736712880232 226329317724 0 65538 4100 65536 0 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 274 232 213 0 72 0

[startup+0.0204001 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13490
/proc/meminfo: memFree=29834488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13490
/proc/meminfo: memFree=29834488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13490
/proc/meminfo: memFree=29834488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13490
/proc/meminfo: memFree=29834488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 13505
/proc/meminfo: memFree=29828460/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=37592 CPUtime=0.52 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 8590 0 0 0 47 5 0 0 20 0 1 0 383909771 38494208 7712 33554432000 4194304 6004724 140735507157296 140735507151760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13491/statm: 9398 7712 164 442 0 8952 0
[pid=13493] ppid=13491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13493/stat : 13493 (cp2_pre.sh) S 13491 13490 12876 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383909824 9367552 277 33554432000 4194304 5064252 140737099244160 140737099242864 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13493/statm: 2287 277 234 213 0 72 0
[pid=13494] ppid=13493 vsize=163032 CPUtime=0.96 cores=1,3,5,7
/proc/13494/stat : 13494 (coprocessor) R 13493 13490 12876 0 -1 4202496 29858 0 0 0 90 6 0 0 20 0 1 0 383909824 166944768 39592 33554432000 4194304 6586260 140733503907648 140733503903912 4768489 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/13494/statm: 40758 39592 176 584 0 40170 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 218920

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13534
/proc/meminfo: memFree=29684496/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=37592 CPUtime=0.52 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 8590 0 0 0 47 5 0 0 20 0 1 0 383909771 38494208 7712 33554432000 4194304 6004724 140735507157296 140735507151760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13491/statm: 9398 7712 164 442 0 8952 0
[pid=13493] ppid=13491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13493/stat : 13493 (cp2_pre.sh) S 13491 13490 12876 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383909824 9367552 277 33554432000 4194304 5064252 140737099244160 140737099242864 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13493/statm: 2287 277 234 213 0 72 0
[pid=13494] ppid=13493 vsize=188432 CPUtime=2.56 cores=1,3,5,7
/proc/13494/stat : 13494 (coprocessor) R 13493 13490 12876 0 -1 4202496 33337 0 0 0 249 7 0 0 20 0 1 0 383909824 192954368 46137 33554432000 4194304 6586260 140733503907648 140733503902968 5599209 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/13494/statm: 47108 46137 192 584 0 46520 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 244320

[startup+6.30036 s]
/proc/loadavg: 2.08 2.02 2.01 2/182 13537
/proc/meminfo: memFree=29420980/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=37592 CPUtime=5.15 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 8608 35634 0 0 47 5 447 16 20 0 1 0 383909771 38494208 7715 33554432000 4194304 6004724 140735507157296 140735507143576 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13491/statm: 9398 7715 167 442 0 8952 0
Current children cumulated CPU time (s) 5.15
Current children cumulated vsize (KiB) 46740

[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.00 3/180 13550
/proc/meminfo: memFree=29286772/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=52716 CPUtime=8.98 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 18621 81355 0 0 207 99 558 34 20 0 1 0 383909771 53981184 11528 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/13491/statm: 13179 11528 199 442 0 12733 0
[pid=13550] ppid=13491 vsize=341468 CPUtime=3.11 cores=1,3,5,7
/proc/13550/stat : 13550 (glucosInc) R 13491 13490 12876 0 -1 4202496 55038 0 0 0 295 16 0 0 20 0 1 0 383910728 349663232 69957 33554432000 4194304 5654031 140734994628384 140734994626072 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13550/statm: 85367 69957 141 357 0 85007 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 403332

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 13560
/proc/meminfo: memFree=28811480/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=52716 CPUtime=8.98 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 18621 81355 0 0 207 99 558 34 20 0 1 0 383909771 53981184 11528 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/13491/statm: 13179 11528 199 442 0 12733 0
[pid=13550] ppid=13491 vsize=348252 CPUtime=15.91 cores=1,3,5,7
/proc/13550/stat : 13550 (glucosInc) R 13491 13490 12876 0 -1 4202496 55972 0 0 0 1575 16 0 0 20 0 1 0 383910728 356610048 71402 33554432000 4194304 5654031 140734994628384 140734994616200 4215932 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13550/statm: 87063 71402 141 357 0 86703 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 410116

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13562
/proc/meminfo: memFree=28813952/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=43436 CPUtime=33.18 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 26211 138282 0 0 346 120 2795 57 20 0 1 0 383909771 44478464 9241 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/13491/statm: 10859 9241 200 442 0 10413 0
[pid=13562] ppid=13491 vsize=338372 CPUtime=17.3 cores=1,3,5,7
/proc/13562/stat : 13562 (glucosInc) R 13491 13490 12876 0 -1 4202496 53365 0 0 0 1716 14 0 0 20 0 1 0 383913149 346492928 72214 33554432000 4194304 5654031 140735078169504 140735078157320 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13562/statm: 84593 72214 140 357 0 84233 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 390956

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13565
/proc/meminfo: memFree=28809236/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=43340 CPUtime=72.05 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 34283 192627 0 0 485 139 6504 77 20 0 1 0 383909771 44380160 9217 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/13491/statm: 10835 9217 200 442 0 10389 0
[pid=13564] ppid=13491 vsize=333576 CPUtime=29.64 cores=1,3,5,7
/proc/13564/stat : 13564 (glucosInc) R 13491 13490 12876 0 -1 4202496 53938 0 0 0 2948 16 0 0 20 0 1 0 383917036 341581824 71189 33554432000 4194304 5654031 140734173535648 140734173533336 4233306 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13564/statm: 83394 71189 140 357 0 83034 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 386064

[startup+162.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 13571
/proc/meminfo: memFree=29099348/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=43276 CPUtime=123.21 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 42722 248026 0 0 624 158 11440 99 20 0 1 0 383909771 44314624 9201 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/13491/statm: 10819 9201 200 442 0 10373 0
[pid=13567] ppid=13491 vsize=337576 CPUtime=38.44 cores=1,3,5,7
/proc/13567/stat : 13567 (glucosInc) R 13491 13490 12876 0 -1 4202496 54293 0 0 0 3828 16 0 0 20 0 1 0 383922153 345677824 73147 33554432000 4194304 5654031 140737245096768 140737245084584 4232434 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13567/statm: 84394 73147 141 357 0 84034 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 390000

[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 13571
/proc/meminfo: memFree=28729464/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=43276 CPUtime=123.21 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 42722 248026 0 0 624 158 11440 99 20 0 1 0 383909771 44314624 9201 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/13491/statm: 10819 9201 200 442 0 10373 0
[pid=13567] ppid=13491 vsize=387664 CPUtime=98.4 cores=1,3,5,7
/proc/13567/stat : 13567 (glucosInc) R 13491 13490 12876 0 -1 4202496 62405 0 0 0 9801 39 0 0 20 0 1 0 383922153 396967936 83176 33554432000 4194304 5654031 140737245096768 140737245094856 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13567/statm: 96916 83176 141 357 0 96556 0
Current children cumulated CPU time (s) 221.61

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

/proc/meminfo: memFree=28663960/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=323392 CPUtime=94.23 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 46848 0 0 0 9404 19 0 0 20 0 1 0 384024574 331153408 75117 33554432000 4194304 5654031 140734059017488 140734059015576 4215374 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 80848 75117 142 357 0 80488 0
Current children cumulated CPU time (s) 1241.11
Current children cumulated vsize (KiB) 372092

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13620
/proc/meminfo: memFree=28488776/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=325148 CPUtime=154.22 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 49148 0 0 0 15401 21 0 0 20 0 1 0 384024574 332951552 75365 33554432000 4194304 5654031 140734059017488 140734059005304 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 81287 75365 142 357 0 80927 0
Current children cumulated CPU time (s) 1301.1
Current children cumulated vsize (KiB) 373848

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13620
/proc/meminfo: memFree=28370860/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=278256 CPUtime=214.21 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 50073 0 0 0 21398 23 0 0 20 0 1 0 384024574 284934144 63971 33554432000 4194304 5654031 140734059017488 140734059005304 4216337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 69564 63971 142 357 0 69204 0
Current children cumulated CPU time (s) 1361.09
Current children cumulated vsize (KiB) 326956

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13620
/proc/meminfo: memFree=28459088/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=541992 CPUtime=274.2 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 56404 0 0 0 27383 37 0 0 20 0 1 0 384024574 554999808 99929 33554432000 4194304 5654031 140734059017488 140734059015576 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 135498 99929 142 357 0 135138 0
Current children cumulated CPU time (s) 1421.08
Current children cumulated vsize (KiB) 590692

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13620
/proc/meminfo: memFree=28398892/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=411180 CPUtime=334.19 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 61552 0 0 0 33364 55 0 0 20 0 1 0 384024574 421048320 80351 33554432000 4194304 5654031 140734059017488 140734059015576 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 102795 80351 142 357 0 102435 0
Current children cumulated CPU time (s) 1481.07
Current children cumulated vsize (KiB) 459880

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13621
/proc/meminfo: memFree=28165964/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=545100 CPUtime=394.17 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 64270 0 0 0 39352 65 0 0 20 0 1 0 384024574 558182400 104263 33554432000 4194304 5654031 140734059017488 140734059015576 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 136275 104263 142 357 0 135915 0
Current children cumulated CPU time (s) 1541.05
Current children cumulated vsize (KiB) 593800

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13621
/proc/meminfo: memFree=28545688/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=418512 CPUtime=454.14 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 66552 0 0 0 45342 72 0 0 20 0 1 0 384024574 428556288 83363 33554432000 4194304 5654031 140734059017488 140734059015576 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 104628 83363 142 357 0 104268 0
Current children cumulated CPU time (s) 1601.02
Current children cumulated vsize (KiB) 467212

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13622
/proc/meminfo: memFree=28371508/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=420836 CPUtime=514.12 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 66588 0 0 0 51339 73 0 0 20 0 1 0 384024574 430936064 89514 33554432000 4194304 5654031 140734059017488 140734059005304 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 105209 89514 142 357 0 104849 0
Current children cumulated CPU time (s) 1661
Current children cumulated vsize (KiB) 469536

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 13622
/proc/meminfo: memFree=28303336/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=341276 CPUtime=574.1 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 67762 0 0 0 57335 75 0 0 20 0 1 0 384024574 349466624 71012 33554432000 4194304 5654031 140734059017488 140734059005304 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 85319 71012 142 357 0 84959 0
Current children cumulated CPU time (s) 1720.98
Current children cumulated vsize (KiB) 389976

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13622
/proc/meminfo: memFree=28664488/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=291188 CPUtime=634.08 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 68507 0 0 0 63332 76 0 0 20 0 1 0 384024574 298176512 63922 33554432000 4194304 5654031 140734059017488 140734059005304 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 72797 63922 142 357 0 72437 0
Current children cumulated CPU time (s) 1780.96
Current children cumulated vsize (KiB) 339888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 13625
/proc/meminfo: memFree=28610736/32873844 swapFree=7124/7124
[pid=13490] ppid=13488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (npSolver-pbo-It) S 13488 13490 12876 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383909770 9367552 275 33554432000 4194304 5064252 140736579145344 140736579144256 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13490/statm: 2287 275 233 213 0 72 0
[pid=13491] ppid=13490 vsize=39552 CPUtime=1146.88 cores=1,3,5,7
/proc/13491/stat : 13491 (npSolver-pbo) S 13490 13490 12876 0 -1 4202496 102654 685626 0 0 1573 292 112493 330 20 0 1 0 383909771 40501248 8270 33554432000 4194304 6004724 140735507157296 140735507143144 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/13491/statm: 9888 8270 200 442 0 9442 0
[pid=13616] ppid=13491 vsize=293028 CPUtime=653.18 cores=1,3,5,7
/proc/13616/stat : 13616 (glucosInc) R 13491 13490 12876 0 -1 4202496 68539 0 0 0 65242 76 0 0 20 0 1 0 384024574 300060672 64976 33554432000 4194304 5654031 140734059017488 140734059005304 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13616/statm: 73257 64976 142 357 0 72897 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 341728

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1801.41
CPU time (s): 1800.1
CPU user time (s): 1793.1
CPU system time (s): 7.00494
CPU usage (%): 99.9272
Max. virtual memory (cumulated for all children) (KiB): 783964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.1
system time used= 7.00493
maximum resident set size= 620528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 857198
page faults= 0
swaps= 0
block input operations= 16
block output operations= 2281640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14781
involuntary context switches= 2201

runsolver used 6.34304 second user time and 8.47471 second system time

The end

Launcher Data

Begin job on node110 at 2012-06-08 19:50:13
IDJOB=3751692
IDBENCH=92731
IDSOLVER=2335
FILE ID=node110/3751692-1339177813
RUNJOBID= node110-1339170234-12893
PBS_JOBID= 14643839
Free space on /tmp= 69080 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_9.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3751692-1339177813/watcher-3751692-1339177813 -o /tmp/evaluation-result-3751692-1339177813/solver-3751692-1339177813 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751692-1339177813.opb 612676406 HOME HOME

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

MD5SUM BENCH= 9dfe9f707e4bec0ff7b60653d14cbd16
RANDOM SEED=612676406

node110.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		: 2666.893
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	: 5333.78
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		: 2666.893
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		: 2666.893
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.92
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		: 2666.893
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		: 2666.893
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.92
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		: 2666.893
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.90
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		: 2666.893
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.91
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		: 2666.893
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:        29835156 kB
Buffers:          105408 kB
Cached:          1917476 kB
SwapCached:         2280 kB
Active:          2173708 kB
Inactive:          14628 kB
Active(anon):     161388 kB
Inactive(anon):     5920 kB
Active(file):    2012320 kB
Inactive(file):     8708 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67098372 kB
Dirty:              8976 kB
Writeback:             0 kB
AnonPages:        119964 kB
Mapped:            10608 kB
Shmem:                 0 kB
Slab:             710204 kB
SReclaimable:     151040 kB
SUnreclaim:       559164 kB
KernelStack:        1512 kB
PageTables:         4256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     300472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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= 68820 MiB
End job on node110 at 2012-06-08 20:20:15