Trace number 3702691

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.09 1803.91

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10270
Best CPU time to get the best result obtained on this benchmark26.399
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

7.57/7.60	c run inc solver
7.57/7.60	c [INC SYSTEM] run initial solver
7.57/7.60	c [INC SYSTEM] preprocess with white file
42.02/42.28	c [INC SYSTEM] finished preprocessing in 34 s
42.02/42.28	c [INC SYSTEM] execute solver
46.81/47.03	c [INC SEARCH] formula is SAT
46.81/47.04	c [INC SYSTEM] solved the initial formula
46.92/47.10	c model valid
46.92/47.10	c current solution ok
51.80/52.34	o -1360
51.80/52.34	c starting approximation
51.80/52.34	c factor = 8
51.80/52.34	c factor still to low - shrinking to 20.9466
51.80/52.34	c approx number of clauses: 1e+06
51.80/52.34	c current bound: 4889
77.07/77.69	c model valid
77.07/77.69	c current solution ok
77.50/77.98	c current bound: 4889
103.00/103.25	c model valid
103.00/103.25	c current solution ok
103.30/103.54	c current bound: 4889
128.51/128.74	c model valid
128.51/128.74	c current solution ok
128.78/131.55	c current bound: 4889
153.98/156.84	c model valid
153.98/156.84	c current solution ok
154.02/157.13	c current bound: 4889
179.06/182.27	c model valid
179.06/182.27	c current solution ok
179.46/182.56	c current bound: 4889
204.98/207.82	c model valid
204.98/207.82	c current solution ok
205.28/208.11	c current bound: 4889
231.77/234.60	c model valid
231.77/234.60	c current solution ok
231.78/234.89	c current bound: 4889
257.87/260.71	c model valid
257.87/260.71	c current solution ok
257.88/261.00	c current bound: 4889
284.45/287.35	c model valid
284.45/287.35	c current solution ok
284.51/287.64	c current bound: 4889
311.05/313.94	c model valid
311.05/313.94	c current solution ok
311.10/314.24	c current bound: 4889
336.84/339.77	c model valid
336.84/339.77	c current solution ok
337.13/340.06	c current bound: 4889
362.73/365.66	c model valid
362.73/365.66	c current solution ok
362.79/365.95	c current bound: 4889
387.89/391.17	c model valid
387.89/391.17	c current solution ok
388.30/391.46	c current bound: 4889
413.09/416.39	c model valid
413.09/416.39	c current solution ok
413.51/416.68	c current bound: 4889
438.89/441.80	c model valid
438.89/441.80	c current solution ok
438.90/442.09	c current bound: 4889
463.85/467.18	c model valid
463.85/467.18	c current solution ok
464.26/467.47	c current bound: 4889
489.25/492.54	c model valid
489.25/492.54	c current solution ok
489.55/492.88	c current bound: 4889
514.54/517.82	c model valid
514.54/517.82	c current solution ok
514.84/518.15	c current bound: 4889
539.61/542.90	c model valid
539.61/542.90	c current solution ok
539.62/543.23	c current bound: 4889
564.70/568.03	c model valid
564.70/568.03	c current solution ok
564.73/568.37	c current bound: 4889
590.08/593.43	c model valid
590.08/593.43	c current solution ok
590.12/593.73	c current bound: 4889
615.48/618.81	c model valid
615.48/618.81	c current solution ok
615.50/619.10	c current bound: 4889
640.56/643.92	c model valid
640.56/643.92	c current solution ok
640.59/644.21	c current bound: 4889
667.04/670.79	c model valid
667.04/670.79	c current solution ok
667.65/671.08	c current bound: 4889
693.55/696.95	c model valid
693.55/696.95	c current solution ok
693.60/697.24	c current bound: 4889
719.74/723.14	c model valid
719.74/723.14	c current solution ok
719.78/723.43	c current bound: 4889
746.43/749.83	c model valid
746.43/749.83	c current solution ok
746.46/750.12	c current bound: 4889
772.01/775.42	c model valid
772.01/775.42	c current solution ok
772.31/775.71	c current bound: 4889
797.43/800.86	c model valid
797.43/800.86	c current solution ok
797.48/801.15	c current bound: 4889
823.00/826.49	c model valid
823.00/826.49	c current solution ok
823.10/826.78	c current bound: 4889
848.17/851.97	c model valid
848.17/851.97	c current solution ok
848.58/852.26	c current bound: 4889
874.80/878.26	c model valid
874.80/878.26	c current solution ok
874.86/878.55	c current bound: 4889
900.58/904.00	c model valid
900.58/904.00	c current solution ok
900.78/904.29	c current bound: 4889
926.18/929.65	c model valid
926.18/929.65	c current solution ok
926.22/929.94	c current bound: 4889
951.56/955.39	c model valid
951.56/955.39	c current solution ok
951.97/955.68	c current bound: 4889
978.56/982.02	c model valid
978.56/982.02	c current solution ok
978.86/982.32	c current bound: 4889
1004.03/1007.52	c model valid
1004.03/1007.52	c current solution ok
1004.32/1007.80	c current bound: 4889
1029.62/1033.12	c model valid
1029.62/1033.12	c current solution ok
1029.65/1033.41	c current bound: 4889
1054.99/1058.59	c model valid
1054.99/1058.59	c current solution ok
1055.10/1058.87	c current bound: 4889
1080.89/1084.40	c model valid
1080.89/1084.40	c current solution ok
1081.09/1084.69	c current bound: 4889
1106.48/1110.09	c model valid
1106.48/1110.09	c current solution ok
1106.58/1110.38	c current bound: 4889
1133.06/1136.62	c model valid
1133.06/1136.62	c current solution ok
1133.08/1136.91	c current bound: 4889
1158.15/1161.72	c model valid
1158.15/1161.72	c current solution ok
1158.17/1162.01	c current bound: 4889
1184.32/1187.90	c model valid
1184.32/1187.90	c current solution ok
1184.52/1188.19	c current bound: 4889
1209.61/1213.26	c model valid
1209.61/1213.26	c current solution ok
1209.91/1213.55	c current bound: 4889
1235.49/1239.14	c model valid
1235.49/1239.14	c current solution ok
1235.53/1239.43	c current bound: 4889
1260.78/1264.43	c model valid
1260.78/1264.43	c current solution ok
1260.82/1264.72	c current bound: 4889
1286.46/1290.12	c model valid
1286.46/1290.12	c current solution ok
1286.76/1290.42	c current bound: 4889
1311.52/1315.57	c model valid
1311.52/1315.57	c current solution ok
1312.15/1315.86	c current bound: 4889
1338.64/1342.38	c model valid
1338.64/1342.38	c current solution ok
1338.74/1342.68	c current bound: 4889
1364.34/1368.04	c model valid
1364.34/1368.04	c current solution ok
1364.38/1368.33	c current bound: 4889
1390.93/1394.63	c model valid
1390.93/1394.63	c current solution ok
1391.23/1394.93	c current bound: 4889
1416.43/1420.10	c model valid
1416.43/1420.10	c current solution ok
1416.43/1420.39	c current bound: 4889
1441.71/1445.49	c model valid
1441.71/1445.49	c current solution ok
1441.81/1445.79	c current bound: 4889
1467.42/1471.14	c model valid
1467.42/1471.14	c current solution ok
1467.46/1471.43	c current bound: 4889
1492.82/1496.50	c model valid
1492.82/1496.50	c current solution ok
1492.83/1496.80	c current bound: 4889
1519.30/1523.06	c model valid
1519.30/1523.06	c current solution ok
1519.37/1523.35	c current bound: 4889
1545.69/1549.40	c model valid
1545.69/1549.40	c current solution ok
1545.69/1549.69	c current bound: 4889
1570.85/1574.98	c model valid
1570.85/1574.98	c current solution ok
1571.48/1575.27	c current bound: 4889
1596.38/1600.50	c model valid
1596.38/1600.50	c current solution ok
1596.79/1600.79	c current bound: 4889
1622.38/1626.11	c model valid
1622.38/1626.11	c current solution ok
1622.40/1626.40	c current bound: 4889
1647.68/1651.44	c model valid
1647.68/1651.44	c current solution ok
1647.72/1651.73	c current bound: 4889
1673.16/1676.91	c model valid
1673.16/1676.91	c current solution ok
1673.18/1677.20	c current bound: 4889
1699.35/1703.14	c model valid
1699.35/1703.14	c current solution ok
1699.40/1703.44	c current bound: 4889
1725.04/1728.82	c model valid
1725.04/1728.82	c current solution ok
1725.06/1729.11	c current bound: 4889
1750.12/1753.94	c model valid
1750.12/1753.94	c current solution ok
1750.17/1754.24	c current bound: 4889
1775.71/1779.51	c model valid
1775.71/1779.51	c current solution ok
1776.01/1779.80	c current bound: 4889
1800.09/1803.91	c error: unexpected solver exit code
1800.09/1803.91	s UNKNOWN

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-3702691-1338051089/watcher-3702691-1338051089 -o /tmp/evaluation-result-3702691-1338051089/solver-3702691-1338051089 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702691-1338051089.opb 1172579789 HOME HOME 

running on 4 cores: 0,2,4,6

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.02 2.01 2.11 3/178 14918
/proc/meminfo: memFree=27288052/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0

[startup+0.073479 s]
/proc/loadavg: 2.02 2.01 2.11 3/178 14918
/proc/meminfo: memFree=27288052/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100265 s]
/proc/loadavg: 2.02 2.01 2.11 3/178 14918
/proc/meminfo: memFree=27288052/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300243 s]
/proc/loadavg: 2.02 2.01 2.11 3/178 14918
/proc/meminfo: memFree=27288052/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700252 s]
/proc/loadavg: 2.02 2.01 2.11 3/178 14918
/proc/meminfo: memFree=27288052/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 2.11 3/179 14960
/proc/meminfo: memFree=27609084/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=67820 CPUtime=1.49 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) R 14918 14918 5668 0 -1 4202496 3509 0 0 0 148 1 0 0 20 0 1 0 271236178 69447680 10622 33554432000 4194304 5992684 140733342438480 140733342430280 4768552 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14919/statm: 16955 10622 146 440 0 16511 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76968

[startup+3.10027 s]
/proc/loadavg: 2.02 2.01 2.11 3/179 14960
/proc/meminfo: memFree=27506896/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=133356 CPUtime=3.09 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) R 14918 14918 5668 0 -1 4202496 4074 0 0 0 306 3 0 0 20 0 1 0 271236178 136556544 21375 33554432000 4194304 5992684 140733342438480 140733342434600 4523485 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14919/statm: 33339 21375 146 440 0 32895 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142504

[startup+6.30026 s]
/proc/loadavg: 2.02 2.01 2.11 3/179 14960
/proc/meminfo: memFree=27170656/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=265408 CPUtime=6.29 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) R 14918 14918 5668 0 -1 4202496 4921 0 0 0 623 6 0 0 20 0 1 0 271236178 271777792 44131 33554432000 4194304 5992684 140733342438480 140733342434600 4571359 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14919/statm: 66352 44131 146 440 0 65908 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 274556

[startup+12.7004 s]
/proc/loadavg: 2.09 2.02 2.12 3/181 14962
/proc/meminfo: memFree=25923060/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=275736 CPUtime=7.57 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 8258 0 0 0 721 36 0 0 20 0 1 0 271236178 282353664 54900 33554432000 4194304 5992684 140733342438480 140733342432928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/14919/statm: 68934 54900 170 440 0 68490 0
[pid=14961] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14961/stat : 14961 (cp2_pre.sh) S 14919 14918 5668 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 271236938 9367552 277 33554432000 4194304 5064252 140736190407232 140736190405936 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14961/statm: 2287 277 234 213 0 72 0
[pid=14962] ppid=14961 vsize=582624 CPUtime=5.08 cores=0,2,4,6
/proc/14962/stat : 14962 (coprocessor) R 14961 14918 5668 0 -1 4202496 105615 0 0 0 485 23 0 0 20 0 1 0 271236938 596606976 134804 33554432000 4194304 6586260 140737354702416 140737354698680 4768675 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/14962/statm: 145656 134804 175 584 0 145068 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 876656

[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.11 3/183 14964
/proc/meminfo: memFree=24004656/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=275736 CPUtime=7.57 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 8258 0 0 0 721 36 0 0 20 0 1 0 271236178 282353664 54900 33554432000 4194304 5992684 140733342438480 140733342432928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/14919/statm: 68934 54900 170 440 0 68490 0
[pid=14961] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14961/stat : 14961 (cp2_pre.sh) S 14919 14918 5668 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 271236938 9367552 277 33554432000 4194304 5064252 140736190407232 140736190405936 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14961/statm: 2287 277 234 213 0 72 0
[pid=14962] ppid=14961 vsize=582624 CPUtime=17.87 cores=0,2,4,6
/proc/14962/stat : 14962 (coprocessor) R 14961 14918 5668 0 -1 4202496 105622 0 0 0 1764 23 0 0 20 0 1 0 271236938 596606976 134811 33554432000 4194304 6586260 140737354702416 140737354698440 4758304 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/14962/statm: 145656 134811 182 584 0 145068 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 876656

[startup+51.1004 s]
/proc/loadavg: 2.32 2.08 2.13 3/182 14966
/proc/meminfo: memFree=22391152/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=280180 CPUtime=46.17 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) R 14918 14918 5668 0 -1 4202496 9766 111628 0 0 803 361 3378 75 20 0 1 0 271236178 286904320 56064 33554432000 4194304 5992684 140733342438480 140733342432664 5179696 0 0 4096 0 0 0 0 17 2 0 0 2 0 0
/proc/14919/statm: 70045 56064 179 440 0 69601 0
[pid=14966] ppid=14919 vsize=353628 CPUtime=4.74 cores=0,2,4,6
/proc/14966/stat : 14966 (glucosInc) S 14919 14918 5668 0 -1 4202496 37276 0 0 0 463 11 0 0 20 0 1 0 271240406 362115072 69440 33554432000 4194304 5654031 140736348590624 140736348588936 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14966/statm: 88407 69440 146 357 0 88047 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 642956

[startup+102.3 s]
/proc/loadavg: 2.58 2.19 2.16 2/184 14979
/proc/meminfo: memFree=18383172/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=294332 CPUtime=73.14 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 13839 170314 0 0 838 438 5860 178 20 0 1 0 271236178 301395968 59638 33554432000 4194304 5992684 140733342438480 140733342430768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/14919/statm: 73583 59638 194 440 0 73139 0
[pid=14966] ppid=14919 vsize=353628 CPUtime=4.74 cores=0,2,4,6
/proc/14966/stat : 14966 (glucosInc) S 14919 14918 5668 0 -1 4202496 37276 0 0 0 463 11 0 0 20 0 1 0 271240406 362115072 69440 33554432000 4194304 5654031 140736348590624 140736348588936 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14966/statm: 88407 69440 146 357 0 88047 0
[pid=14977] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14977/stat : 14977 (satsolver.sh) S 14919 14918 5668 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271243984 9367552 267 33554432000 4194304 5064252 140737119156096 140737119155008 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14977/statm: 2287 267 226 213 0 72 0
[pid=14978] ppid=14977 vsize=419976 CPUtime=24.23 cores=0,2,4,6
/proc/14978/stat : 14978 (glucose) R 14977 14918 5668 0 -1 4202496 52064 0 0 0 2409 14 0 0 20 0 1 0 271243984 430055424 87652 33554432000 4194304 5208918 140735543176944 140735543174792 4229006 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14978/statm: 104994 87652 104 248 0 104743 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 1086232

[startup+162.3 s]
/proc/loadavg: 3.01 2.43 2.25 3/184 15068
/proc/meminfo: memFree=26434828/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=294332 CPUtime=149.66 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 22244 343975 0 0 881 441 13296 348 20 0 1 0 271236178 301395968 59638 33554432000 4194304 5992684 140733342438480 140733342430768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/14919/statm: 73583 59638 194 440 0 73139 0
[pid=14966] ppid=14919 vsize=353628 CPUtime=4.74 cores=0,2,4,6
/proc/14966/stat : 14966 (glucosInc) S 14919 14918 5668 0 -1 4202496 37276 0 0 0 463 11 0 0 20 0 1 0 271240406 362115072 69440 33554432000 4194304 5654031 140736348590624 140736348588936 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14966/statm: 88407 69440 146 357 0 88047 0
[pid=15065] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15065/stat : 15065 (satsolver.sh) S 14919 14918 5668 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271251898 9367552 266 33554432000 4194304 5064252 140733294015376 140733294014288 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15065/statm: 2287 266 226 213 0 72 0
[pid=15066] ppid=15065 vsize=387600 CPUtime=5.08 cores=0,2,4,6
/proc/15066/stat : 15066 (glucose) R 15065 14918 5668 0 -1 4202496 45567 0 0 0 494 14 0 0 20 0 1 0 271251899 396902400 79558 33554432000 4194304 5208918 140733435929072 140733435926920 4211027 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15066/statm: 96900 79558 103 248 0 96649 0
Current children cumulated CPU time (s) 159.48
Current children cumulated vsize (KiB) 1053856

[startup+222.307 s]
/proc/loadavg: 2.37 2.35 2.23 3/183 15084
/proc/meminfo: memFree=26418256/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=294332 CPUtime=200.64 cores=0,2,4,6

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

/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 165125 3325892 0 0 1604 492 140916 3297 20 0 1 0 271236178 301395968 59638 33554432000 4194304 5992684 140733342438480 140733342430768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0
/proc/14919/statm: 73583 59638 194 440 0 73139 0
[pid=14966] ppid=14919 vsize=353628 CPUtime=4.74 cores=0,2,4,6
/proc/14966/stat : 14966 (glucosInc) S 14919 14918 5668 0 -1 4202496 37276 0 0 0 463 11 0 0 20 0 1 0 271240406 362115072 70346 33554432000 4194304 5654031 140736348590624 140736348588936 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14966/statm: 88407 70346 146 357 0 88047 0
[pid=15464] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15464/stat : 15464 (satsolver.sh) S 14919 14918 5668 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271383328 9367552 266 33554432000 4194304 5064252 140736872561648 140736872560560 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15464/statm: 2287 266 226 213 0 72 0
[pid=15465] ppid=15464 vsize=399268 CPUtime=10.78 cores=0,2,4,6
/proc/15465/stat : 15465 (glucose) R 15464 14918 5668 0 -1 4202496 47020 0 0 0 1064 14 0 0 20 0 1 0 271383329 408850432 82058 33554432000 4194304 5208918 140733214539664 140733214537512 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15465/statm: 99817 82058 104 248 0 99566 0
Current children cumulated CPU time (s) 1478.61
Current children cumulated vsize (KiB) 1065524

[startup+1542.31 s]
/proc/loadavg: 2.07 2.07 2.09 3/183 15479
/proc/meminfo: memFree=26237524/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=294332 CPUtime=1515 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 170729 3442885 0 0 1632 494 145963 3411 20 0 1 0 271236178 301395968 59638 33554432000 4194304 5992684 140733342438480 140733342430768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0
/proc/14919/statm: 73583 59638 194 440 0 73139 0
[pid=14966] ppid=14919 vsize=353628 CPUtime=4.74 cores=0,2,4,6
/proc/14966/stat : 14966 (glucosInc) S 14919 14918 5668 0 -1 4202496 37276 0 0 0 463 11 0 0 20 0 1 0 271240406 362115072 70346 33554432000 4194304 5654031 140736348590624 140736348588936 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14966/statm: 88407 70346 146 357 0 88047 0
[pid=15478] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15478/stat : 15478 (satsolver.sh) S 14919 14918 5668 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271388521 9367552 267 33554432000 4194304 5064252 140735204575904 140735204574816 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15478/statm: 2287 267 226 213 0 72 0
[pid=15479] ppid=15478 vsize=413216 CPUtime=18.85 cores=0,2,4,6
/proc/15479/stat : 15479 (glucose) R 15478 14918 5668 0 -1 4202496 50732 0 0 0 1871 14 0 0 20 0 1 0 271388521 423133184 84761 33554432000 4194304 5208918 140734465414016 140734465411848 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15479/statm: 103304 84761 104 248 0 103053 0
Current children cumulated CPU time (s) 1538.59
Current children cumulated vsize (KiB) 1079472

[startup+1602.3 s]
/proc/loadavg: 2.10 2.08 2.09 3/183 15500
/proc/meminfo: memFree=26472624/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=294332 CPUtime=1592.42 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 179133 3617620 0 0 1675 497 153487 3583 20 0 1 0 271236178 301395968 59638 33554432000 4194304 5992684 140733342438480 140733342430768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0
/proc/14919/statm: 73583 59638 194 440 0 73139 0
[pid=14966] ppid=14919 vsize=353628 CPUtime=4.74 cores=0,2,4,6
/proc/14966/stat : 14966 (glucosInc) S 14919 14918 5668 0 -1 4202496 37276 0 0 0 463 11 0 0 20 0 1 0 271240406 362115072 70346 33554432000 4194304 5654031 140736348590624 140736348588936 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14966/statm: 88407 70346 146 357 0 88047 0
[pid=15499] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15499/stat : 15499 (satsolver.sh) S 14919 14918 5668 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271396265 9367552 267 33554432000 4194304 5064252 140734200435712 140734200434624 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15499/statm: 2287 267 226 213 0 72 0
[pid=15500] ppid=15499 vsize=207436 CPUtime=1.42 cores=0,2,4,6
/proc/15500/stat : 15500 (glucose) R 15499 14918 5668 0 -1 4202496 20449 0 0 0 134 8 0 0 20 0 1 0 271396265 212414464 46267 33554432000 4194304 5208918 140733615600560 140733614550200 4241379 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15500/statm: 51859 46267 70 248 0 51608 0
Current children cumulated CPU time (s) 1598.58
Current children cumulated vsize (KiB) 873692

[startup+1662.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 15515
/proc/meminfo: memFree=26268936/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=294332 CPUtime=1643.35 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 184736 3733874 0 0 1703 499 158429 3704 20 0 1 0 271236178 301395968 59638 33554432000 4194304 5992684 140733342438480 140733342430768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0
/proc/14919/statm: 73583 59638 194 440 0 73139 0
[pid=14966] ppid=14919 vsize=353628 CPUtime=4.74 cores=0,2,4,6
/proc/14966/stat : 14966 (glucosInc) S 14919 14918 5668 0 -1 4202496 37276 0 0 0 463 11 0 0 20 0 1 0 271240406 362115072 70346 33554432000 4194304 5654031 140736348590624 140736348588936 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14966/statm: 88407 70346 146 357 0 88047 0
[pid=15514] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15514/stat : 15514 (satsolver.sh) S 14919 14918 5668 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271401359 9367552 267 33554432000 4194304 5064252 140736296853488 140736296852400 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15514/statm: 2287 267 226 213 0 72 0
[pid=15515] ppid=15514 vsize=398792 CPUtime=10.47 cores=0,2,4,6
/proc/15515/stat : 15515 (glucose) R 15514 14918 5668 0 -1 4202496 46868 0 0 0 1035 12 0 0 20 0 1 0 271401359 408363008 82451 33554432000 4194304 5208918 140733642545344 140733642543192 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15515/statm: 99698 82451 104 248 0 99447 0
Current children cumulated CPU time (s) 1658.56
Current children cumulated vsize (KiB) 1065048

[startup+1722.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/184 15532
/proc/meminfo: memFree=26202356/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=294332 CPUtime=1695.03 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 190340 3849263 0 0 1731 501 163453 3818 20 0 1 0 271236178 301395968 59638 33554432000 4194304 5992684 140733342438480 140733342430768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0
/proc/14919/statm: 73583 59638 194 440 0 73139 0
[pid=14966] ppid=14919 vsize=353628 CPUtime=4.74 cores=0,2,4,6
/proc/14966/stat : 14966 (glucosInc) S 14919 14918 5668 0 -1 4202496 37276 0 0 0 463 11 0 0 20 0 1 0 271240406 362115072 70346 33554432000 4194304 5654031 140736348590624 140736348588936 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14966/statm: 88407 70346 146 357 0 88047 0
[pid=15528] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (satsolver.sh) S 14919 14918 5668 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271406529 9367552 265 33554432000 4194304 5064252 140736929297296 140736929296208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15528/statm: 2287 265 226 213 0 72 0
[pid=15529] ppid=15528 vsize=414024 CPUtime=18.75 cores=0,2,4,6
/proc/15529/stat : 15529 (glucose) R 15528 14918 5668 0 -1 4202496 50483 0 0 0 1861 14 0 0 20 0 1 0 271406530 423960576 86023 33554432000 4194304 5208918 140733981834608 140733981832440 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 103506 86023 104 248 0 103255 0
Current children cumulated CPU time (s) 1718.52
Current children cumulated vsize (KiB) 1080280

[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 2.09 3/183 15553
/proc/meminfo: memFree=26269728/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=294332 CPUtime=1771.36 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 198746 4026049 0 0 1773 504 170871 3988 20 0 1 0 271236178 301395968 59638 33554432000 4194304 5992684 140733342438480 140733342430768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0
/proc/14919/statm: 73583 59638 194 440 0 73139 0
[pid=14966] ppid=14919 vsize=353628 CPUtime=4.74 cores=0,2,4,6
/proc/14966/stat : 14966 (glucosInc) S 14919 14918 5668 0 -1 4202496 37276 0 0 0 463 11 0 0 20 0 1 0 271240406 362115072 70346 33554432000 4194304 5654031 140736348590624 140736348588936 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14966/statm: 88407 70346 146 357 0 88047 0
[pid=15552] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15552/stat : 15552 (satsolver.sh) S 14919 14918 5668 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271414166 9367552 267 33554432000 4194304 5064252 140734367596560 140734367595472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15552/statm: 2287 267 226 213 0 72 0
[pid=15553] ppid=15552 vsize=368156 CPUtime=2.39 cores=0,2,4,6
/proc/15553/stat : 15553 (glucose) R 15552 14918 5668 0 -1 4202496 39852 0 0 0 225 14 0 0 20 0 1 0 271414166 376991744 74945 33554432000 4194304 5208918 140734780638672 140734780636520 4205631 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15553/statm: 92039 74945 94 248 0 91788 0
Current children cumulated CPU time (s) 1778.49
Current children cumulated vsize (KiB) 1034412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.9 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 15553
/proc/meminfo: memFree=26174180/32873648 swapFree=6336/6336
[pid=14918] ppid=14916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14918/stat : 14918 (npSolver-pbo-It) S 14916 14918 5668 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271236177 9367552 275 33554432000 4194304 5064252 140736291098560 140736291097472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14918/statm: 2287 275 233 213 0 72 0
[pid=14919] ppid=14918 vsize=294332 CPUtime=1771.36 cores=0,2,4,6
/proc/14919/stat : 14919 (npSolver-pbo) S 14918 14918 5668 0 -1 4202496 198746 4026049 0 0 1773 504 170871 3988 20 0 1 0 271236178 301395968 59638 33554432000 4194304 5992684 140733342438480 140733342430768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 14 0 0
/proc/14919/statm: 73583 59638 194 440 0 73139 0
[pid=14966] ppid=14919 vsize=353628 CPUtime=4.74 cores=0,2,4,6
/proc/14966/stat : 14966 (glucosInc) S 14919 14918 5668 0 -1 4202496 37276 0 0 0 463 11 0 0 20 0 1 0 271240406 362115072 70346 33554432000 4194304 5654031 140736348590624 140736348588936 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14966/statm: 88407 70346 146 357 0 88047 0
[pid=15552] ppid=14919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15552/stat : 15552 (satsolver.sh) S 14919 14918 5668 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271414166 9367552 267 33554432000 4194304 5064252 140734367596560 140734367595472 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15552/statm: 2287 267 226 213 0 72 0
[pid=15553] ppid=15552 vsize=418824 CPUtime=23.99 cores=0,2,4,6
/proc/15553/stat : 15553 (glucose) R 15552 14918 5668 0 -1 4202496 51459 0 0 0 2382 17 0 0 20 0 1 0 271414166 428875776 87056 33554432000 4194304 5208918 140734780638672 140734780636504 4211019 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15553/statm: 104706 87056 104 248 0 104455 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1085080

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14918 and gives
#  childrusage.ru_utime.tv_sec=1726
#  childrusage.ru_utime.tv_usec=449539
#  childrusage.ru_stime.tv_sec=44
#  childrusage.ru_stime.tv_usec=937168
# CPU time returned by wait4() is 1771.39
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.05176e-05
#  lost CPU user time (s): 0
#  lost CPU system time (s): 9.53674e-07

Real time (s): 1803.91
CPU time (s): 1800.09
CPU user time (s): 1754.89
CPU system time (s): 45.2
CPU usage (%): 99.788
Max. virtual memory (cumulated for all children) (KiB): 1086668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1726.45
system time used= 44.9372
maximum resident set size= 571920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4225774
page faults= 0
swaps= 0
block input operations= 24
block output operations= 27318960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45928
involuntary context switches= 3727

runsolver used 4.24235 second user time and 11.5422 second system time

The end

Launcher Data 

Begin job on node112 at 2012-05-26 18:51:29
IDJOB=3702691
IDBENCH=1878
IDSOLVER=2278
FILE ID=node112/3702691-1338051089
RUNJOBID= node112-1338048643-8955
PBS_JOBID= 14624359
Free space on /tmp= 71556 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702691-1338051089/watcher-3702691-1338051089 -o /tmp/evaluation-result-3702691-1338051089/solver-3702691-1338051089 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702691-1338051089.opb 1172579789 HOME HOME

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

MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992
RANDOM SEED=1172579789

node112.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.763
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.52
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.763
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.763
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.763
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.763
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.763
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.92
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.763
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.763
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:       32873648 kB
MemFree:        27288060 kB
Buffers:          288800 kB
Cached:          4120484 kB
SwapCached:            0 kB
Active:          1077572 kB
Inactive:        3701508 kB
Active(anon):     372276 kB
Inactive(anon):        0 kB
Active(file):     705296 kB
Inactive(file):  3701508 kB
Unevictable:        6336 kB
Mlocked:            6336 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9668 kB
Writeback:            20 kB
AnonPages:        388120 kB
Mapped:            15700 kB
Shmem:               200 kB
Slab:             670136 kB
SReclaimable:     113836 kB
SUnreclaim:       556300 kB
KernelStack:        1504 kB
PageTables:         4912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     517884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71208 MiB
End job on node112 at 2012-05-26 19:21:33