Trace number 3753264

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.07 1800.61

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo
MD5SUM51c830b3e31ed97e6a2590ce9584f929
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark0.590909
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1261
Number of bits of the biggest sum of numbers11
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.03	c run usual solver
4.87/4.91	o 688
4.87/4.91	c starting approximation
4.87/4.91	c factor = 2
4.87/4.91	c current bound: 344
26.85/26.96	c current bound: 344
48.65/48.74	c current bound: 344
70.25/70.32	c current bound: 344
92.22/92.39	c current bound: 344
114.60/114.72	c current bound: 344
136.33/136.48	c current bound: 344
157.93/158.05	c current bound: 344
179.80/179.95	c current bound: 344
201.51/201.69	c current bound: 344
223.77/223.96	c current bound: 344
245.98/246.18	c current bound: 344
268.47/268.69	c current bound: 344
290.38/290.56	c current bound: 344
312.47/312.65	c current bound: 344
334.33/334.52	c current bound: 344
355.81/356.00	c current bound: 344
378.15/378.39	c current bound: 344
399.82/400.07	c current bound: 344
422.29/422.50	c current bound: 344
444.13/444.32	c current bound: 344
465.89/466.11	c current bound: 344
488.12/488.35	c current bound: 344
510.31/510.57	c current bound: 344
532.20/532.48	c current bound: 344
553.88/554.17	c current bound: 344
576.19/576.48	c current bound: 344
597.89/598.10	c current bound: 344
619.57/619.86	c current bound: 344
641.76/642.06	c current bound: 344
663.54/663.83	c current bound: 344
685.85/686.16	c current bound: 344
707.44/707.76	c current bound: 344
729.32/729.63	c current bound: 344
751.05/751.39	c current bound: 344
775.03/775.36	c current bound: 344
797.39/797.71	c current bound: 344
818.91/819.28	c current bound: 344
841.01/841.36	c current bound: 344
862.70/863.08	c current bound: 344
884.86/885.20	c current bound: 344
906.59/906.96	c current bound: 344
928.18/928.56	c current bound: 344
950.25/950.63	c current bound: 344
972.76/973.18	c current bound: 344
994.65/995.07	c current bound: 344
1016.92/1017.33	c current bound: 344
1038.70/1039.10	c current bound: 344
1060.22/1060.62	c current bound: 344
1082.31/1082.73	c current bound: 344
1104.70/1105.13	c current bound: 344
1126.30/1126.72	c current bound: 344
1148.47/1148.91	c current bound: 344
1170.10/1170.56	c current bound: 344
1192.27/1192.72	c current bound: 344
1214.30/1214.77	c current bound: 344
1236.25/1236.71	c current bound: 344
1258.48/1258.94	c current bound: 344
1280.63/1281.10	c current bound: 344
1302.69/1303.15	c current bound: 344
1324.27/1324.75	c current bound: 344
1346.05/1346.58	c current bound: 344
1367.74/1368.24	c current bound: 344
1389.85/1390.37	c current bound: 344
1411.65/1412.19	c current bound: 344
1433.42/1433.92	c current bound: 344
1455.48/1456.00	c current bound: 344
1477.21/1477.78	c current bound: 344
1499.27/1499.80	c current bound: 344
1521.16/1521.70	c current bound: 344
1543.08/1543.62	c current bound: 344
1564.85/1565.41	c current bound: 344
1586.99/1587.57	c current bound: 344
1609.29/1609.80	c current bound: 344
1631.28/1631.85	c current bound: 344
1653.26/1653.87	c current bound: 344
1675.06/1675.67	c current bound: 344
1696.65/1697.25	c current bound: 344
1718.76/1719.38	c current bound: 344
1740.73/1741.33	c current bound: 344
1762.80/1763.41	c current bound: 344
1784.72/1785.34	c current bound: 344
1800.04/1800.61	./satsolver.sh: line 5: 29678 Terminated              ./glucose $1 > $2 2> /dev/null
1800.04/1800.61	c error: unexpected solver exit code
1800.04/1800.61	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-3753264-1339208456/watcher-3753264-1339208456 -o /tmp/evaluation-result-3753264-1339208456/solver-3753264-1339208456 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753264-1339208456.wbo 351148483 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.86 2.25 2.14 4/176 28829
/proc/meminfo: memFree=26918292/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0

[startup+0.0541421 s]
/proc/loadavg: 1.86 2.25 2.14 4/176 28829
/proc/meminfo: memFree=26918292/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100292 s]
/proc/loadavg: 1.86 2.25 2.14 4/176 28829
/proc/meminfo: memFree=26918292/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300235 s]
/proc/loadavg: 1.86 2.25 2.14 4/176 28829
/proc/meminfo: memFree=26918292/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700227 s]
/proc/loadavg: 1.86 2.25 2.14 4/176 28829
/proc/meminfo: memFree=26918292/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 1.86 2.25 2.14 4/184 28843
/proc/meminfo: memFree=26907096/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 1445 2691 0 1 2 0 14 0 20 0 1 0 386971661 3166208 376 33554432000 4194304 6006132 140736224180320 140736224174512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28831/statm: 773 376 158 443 0 326 0
[pid=28840] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28840/stat : 28840 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386971679 9367552 265 33554432000 4194304 5064252 140733695497120 140733695496032 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28840/statm: 2287 265 226 213 0 72 0
[pid=28842] ppid=28840 vsize=9232 CPUtime=1.3 cores=1,3,5,7
/proc/28842/stat : 28842 (glucose) R 28840 28829 28534 0 -1 4202496 2429 0 0 0 130 0 0 0 20 0 1 0 386971679 9453568 1678 33554432000 4194304 5208918 140734890210416 140734890208360 4212703 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28842/statm: 2308 1678 96 248 0 2057 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30620

[startup+3.10029 s]
/proc/loadavg: 1.86 2.25 2.14 4/184 28843
/proc/meminfo: memFree=26896192/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 1445 2691 0 1 2 0 14 0 20 0 1 0 386971661 3166208 376 33554432000 4194304 6006132 140736224180320 140736224174512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28831/statm: 773 376 158 443 0 326 0
[pid=28840] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28840/stat : 28840 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386971679 9367552 265 33554432000 4194304 5064252 140733695497120 140733695496032 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28840/statm: 2287 265 226 213 0 72 0
[pid=28842] ppid=28840 vsize=11504 CPUtime=2.9 cores=1,3,5,7
/proc/28842/stat : 28842 (glucose) R 28840 28829 28534 0 -1 4202496 3612 0 0 0 290 0 0 0 20 0 1 0 386971679 11780096 2454 33554432000 4194304 5208918 140734890210416 140734890208504 4229280 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28842/statm: 2876 2454 96 248 0 2625 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32892

[startup+6.30031 s]
/proc/loadavg: 1.88 2.25 2.14 4/184 28850
/proc/meminfo: memFree=26882680/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=4.9 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 2350 9842 0 1 4 1 483 2 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=28849] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28849/stat : 28849 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386972154 9367552 267 33554432000 4194304 5064252 140735614422640 140735614421552 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28849/statm: 2287 267 226 213 0 72 0
[pid=28850] ppid=28849 vsize=15092 CPUtime=1.35 cores=1,3,5,7
/proc/28850/stat : 28850 (glucose) R 28849 28829 28534 0 -1 4202496 3669 0 0 0 135 0 0 0 20 0 1 0 386972154 15454208 3173 33554432000 4194304 5208918 140735559290288 140735559288440 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28850/statm: 3773 3173 96 248 0 3522 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 40452

[startup+12.7003 s]
/proc/loadavg: 1.97 2.26 2.14 4/184 28850
/proc/meminfo: memFree=26868260/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=4.9 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 2350 9842 0 1 4 1 483 2 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=28849] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28849/stat : 28849 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386972154 9367552 267 33554432000 4194304 5064252 140735614422640 140735614421552 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28849/statm: 2287 267 226 213 0 72 0
[pid=28850] ppid=28849 vsize=25004 CPUtime=7.76 cores=1,3,5,7
/proc/28850/stat : 28850 (glucose) R 28849 28829 28534 0 -1 4202496 5259 0 0 0 775 1 0 0 20 0 1 0 386972154 25604096 5945 33554432000 4194304 5208918 140735559290288 140735559288232 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28850/statm: 6251 5945 96 248 0 6000 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 50364

[startup+25.5004 s]
/proc/loadavg: 1.97 2.25 2.14 4/183 28850
/proc/meminfo: memFree=26843904/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=4.9 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 2350 9842 0 1 4 1 483 2 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=28849] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28849/stat : 28849 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386972154 9367552 267 33554432000 4194304 5064252 140735614422640 140735614421552 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28849/statm: 2287 267 226 213 0 72 0
[pid=28850] ppid=28849 vsize=41116 CPUtime=20.55 cores=1,3,5,7
/proc/28850/stat : 28850 (glucose) R 28849 28829 28534 0 -1 4202496 5523 0 0 0 2054 1 0 0 20 0 1 0 386972154 42102784 9272 33554432000 4194304 5208918 140735559290288 140735559288152 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28850/statm: 10279 9272 96 248 0 10028 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 66476

[startup+51.1003 s]
/proc/loadavg: 1.98 2.23 2.14 4/183 28871
/proc/meminfo: memFree=26867924/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=48.72 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 4130 27974 0 1 7 2 4852 11 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=28870] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28870/stat : 28870 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386976537 9367552 266 33554432000 4194304 5064252 140735718506688 140735718505600 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28870/statm: 2287 266 226 213 0 72 0
[pid=28871] ppid=28870 vsize=17936 CPUtime=2.32 cores=1,3,5,7
/proc/28871/stat : 28871 (glucose) R 28870 28829 28534 0 -1 4202496 4361 0 0 0 232 0 0 0 20 0 1 0 386976537 18366464 4161 33554432000 4194304 5208918 140737009869936 140737009867880 4211740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28871/statm: 4484 4161 96 248 0 4233 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 43296

[startup+102.307 s]
/proc/loadavg: 1.99 2.19 2.13 4/183 28892
/proc/meminfo: memFree=26851540/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=92.34 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 5910 47204 0 1 10 2 9203 19 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=28891] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28891/stat : 28891 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386980901 9367552 267 33554432000 4194304 5064252 140736412101264 140736412100176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28891/statm: 2287 267 226 213 0 72 0
[pid=28892] ppid=28891 vsize=29424 CPUtime=9.89 cores=1,3,5,7
/proc/28892/stat : 28892 (glucose) R 28891 28829 28534 0 -1 4202496 5858 0 0 0 988 1 0 0 20 0 1 0 386980901 30130176 7034 33554432000 4194304 5208918 140736003108560 140736003106424 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28892/statm: 7356 7034 96 248 0 7105 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 54784

[startup+162.3 s]
/proc/loadavg: 2.06 2.17 2.12 4/183 28920
/proc/meminfo: memFree=26851872/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=158 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 8580 76849 0 1 14 3 15751 32 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=28919] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.01 4/183 29470
/proc/meminfo: memFree=26833820/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=1346.16 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 56640 597557 0 1 95 15 134230 276 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=29469] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29469/stat : 29469 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387106320 9367552 266 33554432000 4194304 5064252 140733906407264 140733906406176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29469/statm: 2287 266 226 213 0 72 0
[pid=29470] ppid=29469 vsize=29420 CPUtime=15.68 cores=1,3,5,7
/proc/29470/stat : 29470 (glucose) R 29469 28829 28534 0 -1 4202496 5737 0 0 0 1567 1 0 0 20 0 1 0 387106321 30126080 7034 33554432000 4194304 5208918 140733409849312 140733409847176 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29470/statm: 7355 7034 96 248 0 7104 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 54780

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 29503
/proc/meminfo: memFree=26875728/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=1411.77 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 59310 626849 0 1 99 16 140771 291 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=29497] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29497/stat : 29497 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387112882 9367552 267 33554432000 4194304 5064252 140733796470096 140733796469008 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29497/statm: 2287 267 226 213 0 72 0
[pid=29498] ppid=29497 vsize=29420 CPUtime=10.08 cores=1,3,5,7
/proc/29498/stat : 29498 (glucose) R 29497 28829 28534 0 -1 4202496 5513 0 0 0 1008 0 0 0 20 0 1 0 387112882 30126080 7033 33554432000 4194304 5208918 140733256012592 140733256010456 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29498/statm: 7355 7033 96 248 0 7104 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 54780

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 29534
/proc/meminfo: memFree=26863152/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=1477.33 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 61980 654004 0 1 104 17 147311 301 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=29533] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29533/stat : 29533 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387119440 9367552 267 33554432000 4194304 5064252 140736521161920 140736521160832 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29533/statm: 2287 267 226 213 0 72 0
[pid=29534] ppid=29533 vsize=25004 CPUtime=4.49 cores=1,3,5,7
/proc/29534/stat : 29534 (glucose) R 29533 28829 28534 0 -1 4202496 5623 0 0 0 448 1 0 0 20 0 1 0 387119441 25604096 5217 33554432000 4194304 5208918 140736578569104 140736578567192 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29534/statm: 6251 5217 96 248 0 6000 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 50364

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 29555
/proc/meminfo: memFree=26840680/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=1521.24 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 63760 674074 0 1 107 17 151691 309 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=29547] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29547/stat : 29547 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387123833 9367552 267 33554432000 4194304 5064252 140736142897008 140736142895920 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29547/statm: 2287 267 226 213 0 72 0
[pid=29548] ppid=29547 vsize=41116 CPUtime=20.55 cores=1,3,5,7
/proc/29548/stat : 29548 (glucose) R 29547 28829 28534 0 -1 4202496 6672 0 0 0 2054 1 0 0 20 0 1 0 387123833 42102784 9461 33554432000 4194304 5208918 140735800711648 140735800709640 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29548/statm: 10279 9461 96 248 0 10028 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 66476

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 4/183 29583
/proc/meminfo: memFree=26836636/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=1587.09 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 66430 703552 0 1 111 18 158258 322 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=29582] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29582/stat : 29582 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387130420 9367552 267 33554432000 4194304 5064252 140733462565392 140733462564304 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29582/statm: 2287 267 226 213 0 72 0
[pid=29583] ppid=29582 vsize=29424 CPUtime=14.7 cores=1,3,5,7
/proc/29583/stat : 29583 (glucose) R 29582 28829 28534 0 -1 4202496 6394 0 0 0 1469 1 0 0 20 0 1 0 387130420 30130176 7034 33554432000 4194304 5208918 140734309019968 140734309017832 4211652 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29583/statm: 7356 7034 96 248 0 7105 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 54784

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/183 29611
/proc/meminfo: memFree=26840748/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=1653.37 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 69100 733326 0 1 116 19 164867 335 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=29610] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29610/stat : 29610 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387137049 9367552 267 33554432000 4194304 5064252 140733580797792 140733580796704 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29610/statm: 2287 267 226 213 0 72 0
[pid=29611] ppid=29610 vsize=25000 CPUtime=8.4 cores=1,3,5,7
/proc/29611/stat : 29611 (glucose) R 29610 28829 28534 0 -1 4202496 5398 0 0 0 839 1 0 0 20 0 1 0 387137050 25600000 5946 33554432000 4194304 5208918 140735326302368 140735326300312 4211620 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29611/statm: 6250 5946 96 248 0 5999 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 50360

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 29639
/proc/meminfo: memFree=26847808/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=1718.86 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 71770 762334 0 1 120 20 171397 349 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=29638] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29638/stat : 29638 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387143601 9367552 267 33554432000 4194304 5064252 140737399958000 140737399956912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29638/statm: 2287 267 226 213 0 72 0
[pid=29639] ppid=29638 vsize=25004 CPUtime=2.89 cores=1,3,5,7
/proc/29639/stat : 29639 (glucose) R 29638 28829 28534 0 -1 4202496 4977 0 0 0 288 1 0 0 20 0 1 0 387143601 25604096 5742 33554432000 4194304 5208918 140734030270224 140734030268168 4211632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29639/statm: 6251 5742 96 248 0 6000 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 50364

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/184 29671
/proc/meminfo: memFree=26860180/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=1762.87 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 73550 782160 0 1 123 20 175785 359 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=29662] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29662/stat : 29662 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387148003 9367552 267 33554432000 4194304 5064252 140734904456464 140734904455376 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29662/statm: 2287 267 226 213 0 72 0
[pid=29663] ppid=29662 vsize=29620 CPUtime=18.86 cores=1,3,5,7
/proc/29663/stat : 29663 (glucose) R 29662 28829 28534 0 -1 4202496 6155 0 0 0 1885 1 0 0 20 0 1 0 387148003 30330880 7083 33554432000 4194304 5208918 140736196229456 140736196227320 4229528 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29663/statm: 7405 7083 96 248 0 7154 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 54980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 29704
/proc/meminfo: memFree=26891604/32873648 swapFree=7628/7628
[pid=28829] ppid=28827 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28829/stat : 28829 (npSolver-wbo-It) S 28827 28829 28534 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386971660 9367552 275 33554432000 4194304 5064252 140733679494256 140733679493168 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28829/statm: 2287 275 233 213 0 72 0
[pid=28831] ppid=28829 vsize=7064 CPUtime=1784.8 cores=1,3,5,7
/proc/28831/stat : 28831 (npSolver-wbo) S 28829 28829 28534 0 -1 4202496 74440 792228 0 1 125 20 177971 364 20 0 1 0 386971661 7233536 1137 33554432000 4194304 6006132 140736224180320 140736224171680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28831/statm: 1766 1137 177 443 0 1319 0
[pid=29677] ppid=28831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29677/stat : 29677 (satsolver.sh) S 28831 28829 28534 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387150196 9367552 267 33554432000 4194304 5064252 140736995282672 140736995281584 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29677/statm: 2287 267 226 213 0 72 0
[pid=29678] ppid=29677 vsize=29424 CPUtime=15.24 cores=1,3,5,7
/proc/29678/stat : 29678 (glucose) R 29677 28829 28534 0 -1 4202496 6088 0 0 0 1523 1 0 0 20 0 1 0 387150196 30130176 7035 33554432000 4194304 5208918 140736411771344 140736411769208 4211712 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29678/statm: 7356 7035 96 248 0 7105 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 54784

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1796.2
CPU system time (s): 3.87241
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 66480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.2
system time used= 3.87241
maximum resident set size= 39680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 873746
page faults= 1
swaps= 0
block input operations= 56
block output operations= 243384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5179
involuntary context switches= 3068

runsolver used 3.24451 second user time and 8.36673 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-09 04:20:57
IDJOB=3753264
IDBENCH=79244
IDSOLVER=2336
FILE ID=node122/3753264-1339208456
RUNJOBID= node122-1339208456-28803
PBS_JOBID= 14643894
Free space on /tmp= 64444 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224451--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-3753264-1339208456/watcher-3753264-1339208456 -o /tmp/evaluation-result-3753264-1339208456/solver-3753264-1339208456 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753264-1339208456.wbo 351148483 HOME HOME

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

MD5SUM BENCH= 51c830b3e31ed97e6a2590ce9584f929
RANDOM SEED=351148483

node122.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.533
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.06
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.533
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.533
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	: 5332.04
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.533
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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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	: 5438.54
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.533
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.533
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:        26919300 kB
Buffers:          217824 kB
Cached:          4748816 kB
SwapCached:         1896 kB
Active:          2155408 kB
Inactive:        2815580 kB
Active(anon):       1108 kB
Inactive(anon):     5820 kB
Active(file):    2154300 kB
Inactive(file):  2809760 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67099724 kB
Dirty:             17088 kB
Writeback:             0 kB
AnonPages:          9868 kB
Mapped:             8044 kB
Shmem:                 0 kB
Slab:             844300 kB
SReclaimable:     288364 kB
SUnreclaim:       555936 kB
KernelStack:        1400 kB
PageTables:         4416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     105612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 64432 MiB
End job on node122 at 2012-06-09 04:50:57