Trace number 3715981

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? (TO) 1800.08 1801.21

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
MD5SUM60c1b790b835b31f32d3b92e41ae62ac
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.830873
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4970
Total number of constraints141
Number of soft constraints141
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
Top cost 7546
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7545
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.57	c run usual solver
6.45/6.62	o 3688
6.45/6.62	c starting approximation
6.45/6.62	c factor = 2
6.45/6.62	c factor still to low - shrinking to 3.12005
6.45/6.62	c approx number of clauses: 1e+06
6.45/6.62	c current bound: 1844
35.23/35.42	c current bound: 1844
63.63/63.83	c current bound: 1844
91.26/91.92	c current bound: 1844
119.78/120.05	c current bound: 1844
148.28/148.53	c current bound: 1844
176.77/177.05	c current bound: 1844
204.79/205.49	c current bound: 1844
232.93/233.70	c current bound: 1844
261.78/262.56	c current bound: 1844
290.00/290.79	c current bound: 1844
320.00/320.77	c current bound: 1844
348.27/349.05	c current bound: 1844
377.14/377.53	c current bound: 1844
404.97/405.79	c current bound: 1844
432.93/433.95	c current bound: 1844
461.62/462.23	c current bound: 1844
489.40/490.45	c current bound: 1844
517.51/518.59	c current bound: 1844
546.29/546.99	c current bound: 1844
574.00/575.07	c current bound: 1844
602.28/602.98	c current bound: 1844
631.07/631.71	c current bound: 1844
659.35/660.05	c current bound: 1844
687.75/688.41	c current bound: 1844
716.63/717.37	c current bound: 1844
745.13/745.85	c current bound: 1844
773.61/774.38	c current bound: 1844
801.38/802.53	c current bound: 1844
829.81/830.58	c current bound: 1844
857.77/858.94	c current bound: 1844
886.59/887.30	c current bound: 1844
914.57/915.75	c current bound: 1844
943.07/943.82	c current bound: 1844
971.15/971.90	c current bound: 1844
999.22/1000.06	c current bound: 1844
1027.02/1028.23	c current bound: 1844
1055.15/1056.38	c current bound: 1844
1083.03/1084.26	c current bound: 1844
1111.47/1112.35	c current bound: 1844
1139.17/1140.48	c current bound: 1844
1167.46/1168.77	c current bound: 1844
1196.20/1197.14	c current bound: 1844
1224.11/1225.01	c current bound: 1844
1252.28/1253.27	c current bound: 1844
1279.92/1281.26	c current bound: 1844
1308.22/1309.62	c current bound: 1844
1336.58/1337.99	c current bound: 1844
1365.21/1366.26	c current bound: 1844
1393.24/1394.67	c current bound: 1844
1421.47/1422.93	c current bound: 1844
1449.89/1450.97	c current bound: 1844
1477.90/1479.38	c current bound: 1844
1506.12/1507.59	c current bound: 1844
1534.45/1535.60	c current bound: 1844
1562.55/1563.62	c current bound: 1844
1590.63/1591.74	c current bound: 1844
1618.83/1619.91	c current bound: 1844
1647.01/1648.12	c current bound: 1844
1675.38/1676.58	c current bound: 1844
1702.89/1704.46	c current bound: 1844
1731.68/1732.80	c current bound: 1844
1759.96/1761.17	c current bound: 1844
1787.79/1789.38	c current bound: 1844
1800.05/1801.21	./satsolver.sh: line 5:  4670 Terminated              ./glucose $1 > $2 2> /dev/null
1800.05/1801.21	c error: unexpected solver exit code
1800.05/1801.21	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-3715981-1338221241/watcher-3715981-1338221241 -o /tmp/evaluation-result-3715981-1338221241/solver-3715981-1338221241 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715981-1338221241.wbo 552099123 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: 1.95 1.96 1.91 3/179 1591
/proc/meminfo: memFree=28751852/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0

[startup+0.0377961 s]
/proc/loadavg: 1.95 1.96 1.91 3/179 1591
/proc/meminfo: memFree=28751852/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100232 s]
/proc/loadavg: 1.95 1.96 1.91 3/179 1591
/proc/meminfo: memFree=28751852/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300227 s]
/proc/loadavg: 1.95 1.96 1.91 3/179 1591
/proc/meminfo: memFree=28751852/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700235 s]
/proc/loadavg: 1.95 1.96 1.91 3/179 1591
/proc/meminfo: memFree=28751852/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 1.95 1.96 1.91 3/184 1598
/proc/meminfo: memFree=28627372/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=18784 CPUtime=0.57 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 3926 0 0 0 55 2 0 0 20 0 1 0 288248993 19234816 4005 33554432000 4194304 5990268 140736853237456 140736853230608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1592/statm: 4696 4005 156 439 0 4253 0
[pid=1594] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1594/stat : 1594 (cp2_pre.sh) S 1592 1591 2978 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 288249051 9367552 277 33554432000 4194304 5064252 140736267352592 140736267351296 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1594/statm: 2287 277 234 213 0 72 0
[pid=1595] ppid=1594 vsize=135076 CPUtime=0.9 cores=0,2,4,6
/proc/1595/stat : 1595 (coprocessor) R 1594 1591 2978 0 -1 4202496 23846 0 0 0 87 3 0 0 20 0 1 0 288249051 138317824 32737 33554432000 4194304 6586260 140735966920960 140735966917224 5599305 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/1595/statm: 33769 32737 191 584 0 33181 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 172156

[startup+3.10034 s]
/proc/loadavg: 1.96 1.96 1.91 3/183 1602
/proc/meminfo: memFree=28570260/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=18784 CPUtime=0.57 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 3926 0 0 0 55 2 0 0 20 0 1 0 288248993 19234816 4005 33554432000 4194304 5990268 140736853237456 140736853230608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1592/statm: 4696 4005 156 439 0 4253 0
[pid=1594] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1594/stat : 1594 (cp2_pre.sh) S 1592 1591 2978 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 288249051 9367552 277 33554432000 4194304 5064252 140736267352592 140736267351296 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1594/statm: 2287 277 234 213 0 72 0
[pid=1595] ppid=1594 vsize=135484 CPUtime=2.5 cores=0,2,4,6
/proc/1595/stat : 1595 (coprocessor) R 1594 1591 2978 0 -1 4202496 23916 0 0 0 247 3 0 0 20 0 1 0 288249051 138735616 32807 33554432000 4194304 6586260 140735966920960 140735966916552 5599287 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/1595/statm: 33871 32807 191 584 0 33283 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 172564

[startup+6.30018 s]
/proc/loadavg: 1.96 1.96 1.91 3/183 1625
/proc/meminfo: memFree=28699384/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=18784 CPUtime=6.03 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 3943 37592 0 0 55 2 484 62 20 0 1 0 288248993 19234816 4007 33554432000 4194304 5990268 140736853237456 140736853231184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1592/statm: 4696 4007 158 439 0 4253 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 27932

[startup+12.7004 s]
/proc/loadavg: 1.96 1.96 1.91 3/183 1675
/proc/meminfo: memFree=28599400/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=6.54 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 7322 44837 0 0 67 17 504 66 20 0 1 0 288248993 39854080 8663 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1592/statm: 9730 8663 180 439 0 9287 0
[pid=1641] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1641/stat : 1641 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288249663 9367552 267 33554432000 4194304 5064252 140734930142992 140734930141904 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1641/statm: 2287 267 226 213 0 72 0
[pid=1642] ppid=1641 vsize=81996 CPUtime=5.99 cores=0,2,4,6
/proc/1642/stat : 1642 (glucose) R 1641 1591 2978 0 -1 4202496 16710 0 0 0 595 4 0 0 20 0 1 0 288249663 83963904 17585 33554432000 4194304 5208918 140735012014624 140735012012472 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1642/statm: 20499 17585 103 248 0 20248 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 139212

[startup+25.5004 s]
/proc/loadavg: 1.97 1.96 1.91 3/183 1755
/proc/meminfo: memFree=28570004/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=6.54 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 7322 44837 0 0 67 17 504 66 20 0 1 0 288248993 39854080 8663 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1592/statm: 9730 8663 180 439 0 9287 0
[pid=1641] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1641/stat : 1641 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288249663 9367552 267 33554432000 4194304 5064252 140734930142992 140734930141904 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1641/statm: 2287 267 226 213 0 72 0
[pid=1642] ppid=1641 vsize=113116 CPUtime=18.79 cores=0,2,4,6
/proc/1642/stat : 1642 (glucose) R 1641 1591 2978 0 -1 4202496 17875 0 0 0 1874 5 0 0 20 0 1 0 288249663 115830784 25365 33554432000 4194304 5208918 140735012014624 140735012012568 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1642/statm: 28279 25365 103 248 0 28028 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 170332

[startup+51.1004 s]
/proc/loadavg: 1.98 1.96 1.91 3/183 1878
/proc/meminfo: memFree=28591424/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=35.34 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 10679 71974 0 0 75 19 3355 85 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=1855] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1855/stat : 1855 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288252543 9367552 266 33554432000 4194304 5064252 140736779145536 140736779144448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1855/statm: 2287 266 226 213 0 72 0
[pid=1856] ppid=1855 vsize=113116 CPUtime=15.58 cores=0,2,4,6
/proc/1856/stat : 1856 (glucose) R 1855 1591 2978 0 -1 4202496 17342 0 0 0 1554 4 0 0 20 0 1 0 288252544 115830784 24387 33554432000 4194304 5208918 140736533094224 140736533092168 4213101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1856/statm: 28279 24387 103 248 0 28028 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 170332

[startup+102.307 s]
/proc/loadavg: 1.99 1.97 1.91 3/183 1962
/proc/meminfo: memFree=28603764/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=91.81 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 17389 126175 0 0 90 21 8952 118 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=1947] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1947/stat : 1947 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288258193 9367552 267 33554432000 4194304 5064252 140737311388976 140737311387888 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1947/statm: 2287 267 226 213 0 72 0
[pid=1948] ppid=1947 vsize=94440 CPUtime=10.29 cores=0,2,4,6
/proc/1948/stat : 1948 (glucose) R 1947 1591 2978 0 -1 4202496 16505 0 0 0 1026 3 0 0 20 0 1 0 288258193 96706560 21039 33554432000 4194304 5208918 140736206183104 140736206180968 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1948/statm: 23610 21039 103 248 0 23359 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 151656

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/184 2063
/proc/meminfo: memFree=28601440/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=148.4 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 24099 180045 0 0 106 23 14560 151 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=2038] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2038/stat : 2038 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288263854 9367552 267 33554432000 4194304 5064252 140735026919008 140735026917920 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2038/statm: 2287 267 226 213 0 72 0
[pid=2039] ppid=2038 vsize=113116 CPUtime=13.67 cores=0,2,4,6
/proc/2039/stat : 2039 (glucose) R 2038 1591 2978 0 -1 4202496 19207 0 0 0 1363 4 0 0 20 0 1 0 288263854 115830784 24062 33554432000 4194304 5208918 140735044597776 140735044595720 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2039/statm: 28279 24062 103 248 0 28028 0
Current children cumulated CPU time (s) 162.07

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


[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/184 3983
/proc/meminfo: memFree=28589512/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=1337.1 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 165009 1319838 0 0 447 67 132333 863 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 19 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=3944] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3944/stat : 3944 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288382801 9367552 267 33554432000 4194304 5064252 140734259651792 140734259650704 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3944/statm: 2287 267 226 213 0 72 0
[pid=3945] ppid=3944 vsize=113120 CPUtime=24.2 cores=0,2,4,6
/proc/3945/stat : 3945 (glucose) R 3944 1591 2978 0 -1 4202496 17893 0 0 0 2417 3 0 0 20 0 1 0 288382801 115834880 23950 33554432000 4194304 5208918 140735387750000 140735387747944 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3945/statm: 28280 23950 103 248 0 28029 0
Current children cumulated CPU time (s) 1361.3
Current children cumulated vsize (KiB) 170336

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 1.94 3/183 4074
/proc/meminfo: memFree=28582060/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=1393.77 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 171719 1375200 0 0 464 69 137948 896 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 19 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=4038] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4038/stat : 4038 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288388469 9367552 267 33554432000 4194304 5064252 140734954686736 140734954685648 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4038/statm: 2287 267 226 213 0 72 0
[pid=4039] ppid=4038 vsize=113120 CPUtime=27.52 cores=0,2,4,6
/proc/4039/stat : 4039 (glucose) R 4038 1591 2978 0 -1 4202496 18433 0 0 0 2748 4 0 0 20 0 1 0 288388469 115834880 25622 33554432000 4194304 5208918 140736042128512 140736042126456 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4039/statm: 28280 25622 103 248 0 28029 0
Current children cumulated CPU time (s) 1421.29
Current children cumulated vsize (KiB) 170336

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/183 4179
/proc/meminfo: memFree=28619040/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=1478.45 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 181784 1457426 0 0 490 73 146331 951 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 19 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=4171] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4171/stat : 4171 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288396939 9367552 267 33554432000 4194304 5064252 140737119226304 140737119225216 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4171/statm: 2287 267 226 213 0 72 0
[pid=4172] ppid=4171 vsize=80904 CPUtime=2.83 cores=0,2,4,6
/proc/4172/stat : 4172 (glucose) R 4171 1591 2978 0 -1 4202496 15543 0 0 0 280 3 0 0 20 0 1 0 288396940 82845696 16940 33554432000 4194304 5208918 140733324784576 140733324782424 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4172/statm: 20226 16940 102 248 0 19975 0
Current children cumulated CPU time (s) 1481.28
Current children cumulated vsize (KiB) 138120

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/183 4270
/proc/meminfo: memFree=28615440/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=1534.64 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 188494 1511461 0 0 507 75 151899 983 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 19 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=4262] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4262/stat : 4262 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288402561 9367552 267 33554432000 4194304 5064252 140735221715120 140735221714032 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4262/statm: 2287 267 226 213 0 72 0
[pid=4263] ppid=4262 vsize=82160 CPUtime=6.6 cores=0,2,4,6
/proc/4263/stat : 4263 (glucose) R 4262 1591 2978 0 -1 4202496 16186 0 0 0 657 3 0 0 20 0 1 0 288402562 84131840 17651 33554432000 4194304 5208918 140736660285120 140736660283208 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4263/statm: 20540 17651 103 248 0 20289 0
Current children cumulated CPU time (s) 1541.24
Current children cumulated vsize (KiB) 139376

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/183 4369
/proc/meminfo: memFree=28607224/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=1590.76 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 195204 1565560 0 0 524 77 157458 1017 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 19 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=4354] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4354/stat : 4354 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288408176 9367552 266 33554432000 4194304 5064252 140735642349024 140735642347936 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4354/statm: 2287 266 226 213 0 72 0
[pid=4355] ppid=4354 vsize=94448 CPUtime=10.45 cores=0,2,4,6
/proc/4355/stat : 4355 (glucose) R 4354 1591 2978 0 -1 4202496 16561 0 0 0 1041 4 0 0 20 0 1 0 288408176 96714752 20430 33554432000 4194304 5208918 140736353994656 140736353992520 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4355/statm: 23612 20430 103 248 0 23361 0
Current children cumulated CPU time (s) 1601.21
Current children cumulated vsize (KiB) 151664

[startup+1662.3 s]
/proc/loadavg: 2.13 2.04 1.96 3/183 4460
/proc/meminfo: memFree=28592808/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=1647.1 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 201914 1618609 0 0 541 79 163038 1052 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 19 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=4445] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4445/stat : 4445 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288413813 9367552 267 33554432000 4194304 5064252 140733480603712 140733480602624 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4445/statm: 2287 267 226 213 0 72 0
[pid=4446] ppid=4445 vsize=113120 CPUtime=14.08 cores=0,2,4,6
/proc/4446/stat : 4446 (glucose) R 4445 1591 2978 0 -1 4202496 19073 0 0 0 1405 3 0 0 20 0 1 0 288413813 115834880 23392 33554432000 4194304 5208918 140736326532304 140736326530248 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4446/statm: 28280 23392 103 248 0 28029 0
Current children cumulated CPU time (s) 1661.18
Current children cumulated vsize (KiB) 170336

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/183 4558
/proc/meminfo: memFree=28587508/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=1703.43 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 208624 1674111 0 0 558 82 168618 1085 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 19 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=4536] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4536/stat : 4536 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288419447 9367552 267 33554432000 4194304 5064252 140736101628544 140736101627456 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4536/statm: 2287 267 226 213 0 72 0
[pid=4537] ppid=4536 vsize=113124 CPUtime=17.74 cores=0,2,4,6
/proc/4537/stat : 4537 (glucose) R 4536 1591 2978 0 -1 4202496 17195 0 0 0 1770 4 0 0 20 0 1 0 288419447 115838976 24781 33554432000 4194304 5208918 140734006449488 140734006447432 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4537/statm: 28281 24781 103 248 0 28030 0
Current children cumulated CPU time (s) 1721.17
Current children cumulated vsize (KiB) 170340

[startup+1782.3 s]
/proc/loadavg: 2.11 2.05 1.97 3/183 4649
/proc/meminfo: memFree=28585496/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=1760.12 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 215334 1727686 0 0 575 84 174233 1120 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 19 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=4620] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4620/stat : 4620 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288425118 9367552 267 33554432000 4194304 5064252 140737291789568 140737291788480 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4620/statm: 2287 267 226 213 0 72 0
[pid=4621] ppid=4620 vsize=113120 CPUtime=21.02 cores=0,2,4,6
/proc/4621/stat : 4621 (glucose) R 4620 1591 2978 0 -1 4202496 18742 0 0 0 2099 3 0 0 20 0 1 0 288425119 115834880 24872 33554432000 4194304 5208918 140736551941056 140736551939000 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4621/statm: 28280 24872 103 248 0 28029 0
Current children cumulated CPU time (s) 1781.14
Current children cumulated vsize (KiB) 170336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 2.08 2.05 1.97 3/183 4684
/proc/meminfo: memFree=28588032/32873844 swapFree=6856/6856
[pid=1591] ppid=1586 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1591/stat : 1591 (npSolver-wbo-It) S 1586 1591 2978 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288248993 9367552 274 33554432000 4194304 5064252 140737116720208 140737116719120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1591/statm: 2287 274 233 213 0 72 0
[pid=1592] ppid=1591 vsize=38920 CPUtime=1788.33 cores=0,2,4,6
/proc/1592/stat : 1592 (npSolver-wbo) S 1591 1591 2978 0 -1 4202496 218689 1755432 0 0 584 85 177028 1136 20 0 1 0 288248993 39854080 8609 33554432000 4194304 5990268 140736853237456 140736853228864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 19 0 0
/proc/1592/statm: 9730 8609 181 439 0 9287 0
[pid=4669] ppid=1592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4669/stat : 4669 (satsolver.sh) S 1592 1591 2978 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288427940 9367552 267 33554432000 4194304 5064252 140734830040304 140734830039216 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4669/statm: 2287 267 226 213 0 72 0
[pid=4670] ppid=4669 vsize=113120 CPUtime=11.72 cores=0,2,4,6
/proc/4670/stat : 4670 (glucose) R 4669 1591 2978 0 -1 4202496 17329 0 0 0 1169 3 0 0 20 0 1 0 288427940 115834880 24310 33554432000 4194304 5208918 140734805107424 140734805105368 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4670/statm: 28280 24310 103 248 0 28029 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 170336

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.21
CPU time (s): 1800.08
CPU user time (s): 1787.82
CPU system time (s): 12.2551
CPU usage (%): 99.937
Max. virtual memory (cumulated for all children) (KiB): 206508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.82
system time used= 12.2551
maximum resident set size= 162004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1992438
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1572736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40307
involuntary context switches= 2652

runsolver used 2.79458 second user time and 7.2659 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 18:07:21
IDJOB=3715981
IDBENCH=79171
IDSOLVER=2297
FILE ID=node144/3715981-1338221241
RUNJOBID= node144-1338192253-2994
PBS_JOBID= 14624577
Free space on /tmp= 71460 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715981-1338221241/watcher-3715981-1338221241 -o /tmp/evaluation-result-3715981-1338221241/solver-3715981-1338221241 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715981-1338221241.wbo 552099123 HOME HOME

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

MD5SUM BENCH= 60c1b790b835b31f32d3b92e41ae62ac
RANDOM SEED=552099123

node144.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.196
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	: 5332.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.90
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.196
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.196
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.196
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:        28754720 kB
Buffers:          538156 kB
Cached:          2699348 kB
SwapCached:            0 kB
Active:          1074824 kB
Inactive:        2193040 kB
Active(anon):      27580 kB
Inactive(anon):        0 kB
Active(file):    1047244 kB
Inactive(file):  2193040 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9004 kB
Writeback:             0 kB
AnonPages:         41652 kB
Mapped:            14980 kB
Shmem:               200 kB
Slab:             711172 kB
SReclaimable:     152032 kB
SUnreclaim:       559140 kB
KernelStack:        1520 kB
PageTables:         4148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     140868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71440 MiB
End job on node144 at 2012-05-28 18:37:22