Trace number 3715521

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.07 1788.41

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
spot5/normalized-spot5-503_wcsp.wbo
MD5SUM08f4b88f9040f70d336d7e223b6d5133
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark11113
Best CPU time to get the best result obtained on this benchmark754.069
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables402
Total number of constraints1077
Number of soft constraints934
Number of constraints which are clauses934
Number of constraints which are cardinality constraints (but not clauses)143
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 20210
Min constraint cost 1
Max constraint cost 20210
Sum of constraints costs 16006319
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.00	c run usual solver
0.00/0.03	o 5113130
0.00/0.03	c starting approximation
0.00/0.03	c factor = 2
0.00/0.03	c factor still to low - shrinking to 14327
0.00/0.03	c approx number of clauses: 1e+06
0.00/0.03	c current bound: 2556565
13.23/13.49	c current bound: 2556565
26.77/27.03	c current bound: 2556565
40.31/40.57	c current bound: 2556565
53.97/54.08	c current bound: 2556565
67.38/67.64	c current bound: 2556565
80.91/81.18	c current bound: 2556565
94.67/94.75	c current bound: 2556565
108.00/108.26	c current bound: 2556565
121.57/121.84	c current bound: 2556565
135.35/135.44	c current bound: 2556565
148.70/148.98	c current bound: 2556565
162.25/162.54	c current bound: 2556565
175.94/176.08	c current bound: 2556565
189.38/189.66	c current bound: 2556565
202.86/203.16	c current bound: 2556565
216.37/216.66	c current bound: 2556565
230.02/230.12	c current bound: 2556565
243.40/243.71	c current bound: 2556565
256.89/257.20	c current bound: 2556565
270.62/270.76	c current bound: 2556565
283.94/284.25	c current bound: 2556565
297.50/297.81	c current bound: 2556565
311.20/311.36	c current bound: 2556565
324.58/324.91	c current bound: 2556565
338.17/338.50	c current bound: 2556565
351.66/352.00	c current bound: 2556565
365.17/365.51	c current bound: 2556565
378.68/379.02	c current bound: 2556565
392.19/392.53	c current bound: 2556565
405.86/406.02	c current bound: 2556565
419.26/419.62	c current bound: 2556565
432.83/433.18	c current bound: 2556565
446.65/446.81	c current bound: 2556565
459.98/460.36	c current bound: 2556565
473.60/473.97	c current bound: 2556565
487.18/487.55	c current bound: 2556565
500.75/501.12	c current bound: 2556565
514.29/514.68	c current bound: 2556565
527.87/528.26	c current bound: 2556565
541.43/541.81	c current bound: 2556565
555.03/555.42	c current bound: 2556565
568.72/568.90	c current bound: 2556565
582.08/582.48	c current bound: 2556565
595.75/596.15	c current bound: 2556565
609.34/609.76	c current bound: 2556565
622.95/623.36	c current bound: 2556565
636.72/636.98	c current bound: 2556565
650.19/650.60	c current bound: 2556565
663.86/664.28	c current bound: 2556565
677.43/677.86	c current bound: 2556565
691.07/691.51	c current bound: 2556565
704.59/705.05	c current bound: 2556565
718.10/718.56	c current bound: 2556565
731.49/731.93	c current bound: 2556565
743.01/743.47	c current bound: 2556565
756.20/756.65	c current bound: 2556565
769.08/769.55	c current bound: 2556565
781.84/782.18	c current bound: 2556565
795.22/795.50	c current bound: 2556565
808.21/808.54	c current bound: 2556565
820.77/821.33	c current bound: 2556565
832.57/833.13	c current bound: 2556565
846.13/846.70	c current bound: 2556565
859.84/860.25	c current bound: 2556565
873.17/873.75	c current bound: 2556565
886.36/886.95	c current bound: 2556565
899.42/899.90	c current bound: 2556565
911.50/911.96	c current bound: 2556565
922.93/923.55	c current bound: 2556565
936.13/936.76	c current bound: 2556565
949.09/949.73	c current bound: 2556565
961.69/962.35	c current bound: 2556565
974.98/975.65	c current bound: 2556565
987.83/988.51	c current bound: 2556565
1000.65/1001.13	c current bound: 2556565
1012.98/1013.65	c current bound: 2556565
1026.05/1026.75	c current bound: 2556565
1039.00/1039.58	c current bound: 2556565
1051.40/1052.13	c current bound: 2556565
1063.75/1064.48	c current bound: 2556565
1076.76/1077.49	c current bound: 2556565
1089.68/1090.22	c current bound: 2556565
1101.44/1102.19	c current bound: 2556565
1114.95/1115.52	c current bound: 2556565
1127.79/1128.57	c current bound: 2556565
1140.53/1141.31	c current bound: 2556565
1152.42/1153.21	c current bound: 2556565
1165.70/1166.49	c current bound: 2556565
1178.65/1179.46	c current bound: 2556565
1191.38/1192.21	c current bound: 2556565
1204.11/1204.70	c current bound: 2556565
1217.20/1217.85	c current bound: 2556565
1229.85/1230.68	c current bound: 2556565
1241.84/1242.68	c current bound: 2556565
1255.02/1255.88	c current bound: 2556565
1268.76/1269.47	c current bound: 2556565
1282.20/1283.06	c current bound: 2556565
1295.47/1296.36	c current bound: 2556565
1308.45/1309.34	c current bound: 2556565
1321.13/1322.02	c current bound: 2556565
1334.42/1335.31	c current bound: 2556565
1347.46/1348.39	c current bound: 2556565
1360.23/1361.16	c current bound: 2556565
1372.13/1373.07	c current bound: 2556565
1385.34/1386.28	c current bound: 2556565
1398.56/1399.34	c current bound: 2556565
1411.10/1412.05	c current bound: 2556565
1423.06/1423.80	c current bound: 2556565
1436.35/1437.32	c current bound: 2556565
1450.15/1450.95	c current bound: 2556565
1463.40/1464.38	c current bound: 2556565
1476.55/1477.55	c current bound: 2556565
1489.40/1490.39	c current bound: 2556565
1501.98/1502.99	c current bound: 2556565
1515.28/1516.28	c current bound: 2556565
1528.27/1529.44	c current bound: 2556565
1541.24/1542.23	c current bound: 2556565
1552.73/1553.93	c current bound: 2556565
1565.88/1567.09	c current bound: 2556565
1578.79/1580.00	c current bound: 2556565
1591.36/1592.58	c current bound: 2556565
1602.93/1604.16	c current bound: 2556565
1616.47/1617.70	c current bound: 2556565
1630.02/1631.25	c current bound: 2556565
1643.58/1644.66	c current bound: 2556565
1656.76/1657.81	c current bound: 2556565
1669.36/1670.63	c current bound: 2556565
1682.05/1683.12	c current bound: 2556565
1695.44/1696.72	c current bound: 2556565
1709.00/1710.28	c current bound: 2556565
1722.73/1723.81	c current bound: 2556565
1735.92/1737.03	c current bound: 2556565
1748.65/1749.96	c current bound: 2556565
1761.22/1762.54	c current bound: 2556565
1774.54/1775.92	c current bound: 2556565
1787.26/1788.40	./satsolver.sh: line 5: 26105 Terminated              ./glucose $1 > $2 2> /dev/null
1787.26/1788.40	c error: unexpected solver exit code
1787.26/1788.40	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-3715521-1338257201/watcher-3715521-1338257201 -o /tmp/evaluation-result-3715521-1338257201/solver-3715521-1338257201 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715521-1338257201.wbo 1484079650 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.92 1.98 2.14 3/179 18468
/proc/meminfo: memFree=29468584/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0

[startup+0.0649531 s]
/proc/loadavg: 1.92 1.98 2.14 3/179 18468
/proc/meminfo: memFree=29468584/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100284 s]
/proc/loadavg: 1.92 1.98 2.14 3/179 18468
/proc/meminfo: memFree=29468584/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300287 s]
/proc/loadavg: 1.92 1.98 2.14 3/179 18468
/proc/meminfo: memFree=29468584/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700276 s]
/proc/loadavg: 1.92 1.98 2.14 3/179 18468
/proc/meminfo: memFree=29468584/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5004 s]
/proc/loadavg: 1.92 1.98 2.14 3/183 18482
/proc/meminfo: memFree=29413012/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=11232 CPUtime=0.1 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 2852 5388 0 0 7 1 1 1 20 0 1 0 291844558 11501568 1988 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18469/statm: 2808 1988 174 439 0 2365 0
[pid=18481] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18481/stat : 18481 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 291844570 9367552 267 33554432000 4194304 5064252 140734587340800 140734587339712 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 2287 267 226 213 0 72 0
[pid=18482] ppid=18481 vsize=49460 CPUtime=1.36 cores=1,3,5,7
/proc/18482/stat : 18482 (glucose) R 18481 18468 3996 0 -1 4202496 10128 0 0 0 135 1 0 0 20 0 1 0 291844571 50647040 10823 33554432000 4194304 5208918 140733539871664 140733539869608 4229039 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18482/statm: 12365 10823 95 248 0 12114 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 78988

[startup+3.1004 s]
/proc/loadavg: 1.92 1.98 2.14 3/183 18482
/proc/meminfo: memFree=29411880/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=11232 CPUtime=0.1 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 2852 5388 0 0 7 1 1 1 20 0 1 0 291844558 11501568 1988 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18469/statm: 2808 1988 174 439 0 2365 0
[pid=18481] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18481/stat : 18481 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 291844570 9367552 267 33554432000 4194304 5064252 140734587340800 140734587339712 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 2287 267 226 213 0 72 0
[pid=18482] ppid=18481 vsize=54160 CPUtime=2.96 cores=1,3,5,7
/proc/18482/stat : 18482 (glucose) R 18481 18468 3996 0 -1 4202496 10503 0 0 0 295 1 0 0 20 0 1 0 291844571 55459840 11191 33554432000 4194304 5208918 140733539871664 140733539869512 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18482/statm: 13540 11191 95 248 0 13289 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 83688

[startup+6.30043 s]
/proc/loadavg: 1.93 1.98 2.14 3/183 18482
/proc/meminfo: memFree=29410736/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=11232 CPUtime=0.1 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 2852 5388 0 0 7 1 1 1 20 0 1 0 291844558 11501568 1988 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18469/statm: 2808 1988 174 439 0 2365 0
[pid=18481] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18481/stat : 18481 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 291844570 9367552 267 33554432000 4194304 5064252 140734587340800 140734587339712 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 2287 267 226 213 0 72 0
[pid=18482] ppid=18481 vsize=51356 CPUtime=6.16 cores=1,3,5,7
/proc/18482/stat : 18482 (glucose) R 18481 18468 3996 0 -1 4202496 11745 0 0 0 614 2 0 0 20 0 1 0 291844571 52588544 11418 33554432000 4194304 5208918 140733539871664 140733539869496 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18482/statm: 12839 11418 104 248 0 12588 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 80884

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 2.14 3/183 18482
/proc/meminfo: memFree=29391636/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=11232 CPUtime=0.1 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 2852 5388 0 0 7 1 1 1 20 0 1 0 291844558 11501568 1988 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18469/statm: 2808 1988 174 439 0 2365 0
[pid=18481] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18481/stat : 18481 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 291844570 9367552 267 33554432000 4194304 5064252 140734587340800 140734587339712 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18481/statm: 2287 267 226 213 0 72 0
[pid=18482] ppid=18481 vsize=69920 CPUtime=12.57 cores=1,3,5,7
/proc/18482/stat : 18482 (glucose) R 18481 18468 3996 0 -1 4202496 13006 0 0 0 1254 3 0 0 20 0 1 0 291844571 71598080 15885 33554432000 4194304 5208918 140733539871664 140733539869528 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18482/statm: 17480 15885 104 248 0 17229 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 99448

[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 2.13 3/183 18489
/proc/meminfo: memFree=29384472/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=13.55 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 4820 23088 0 0 14 2 1323 16 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=18488] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18488/stat : 18488 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291845916 9367552 267 33554432000 4194304 5064252 140737099019472 140737099018384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18488/statm: 2287 267 226 213 0 72 0
[pid=18489] ppid=18488 vsize=69928 CPUtime=11.91 cores=1,3,5,7
/proc/18489/stat : 18489 (glucose) R 18488 18468 3996 0 -1 4202496 12738 0 0 0 1188 3 0 0 20 0 1 0 291845916 71606272 15715 33554432000 4194304 5208918 140735849673952 140735849671816 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18489/statm: 17482 15715 104 248 0 17231 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 107644

[startup+51.1005 s]
/proc/loadavg: 2.03 2.00 2.13 3/182 18503
/proc/meminfo: memFree=29386636/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=40.63 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 8754 56400 0 0 29 4 3986 44 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=18502] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18502/stat : 18502 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291848623 9367552 267 33554432000 4194304 5064252 140734751934112 140734751933024 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18502/statm: 2287 267 226 213 0 72 0
[pid=18503] ppid=18502 vsize=69920 CPUtime=10.43 cores=1,3,5,7
/proc/18503/stat : 18503 (glucose) R 18502 18468 3996 0 -1 4202496 12108 0 0 0 1040 3 0 0 20 0 1 0 291848624 71598080 15099 33554432000 4194304 5208918 140736974629120 140736974627064 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18503/statm: 17480 15099 104 248 0 17229 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 107636

[startup+102.3 s]
/proc/loadavg: 2.06 2.01 2.13 3/183 18532
/proc/meminfo: memFree=29402980/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=94.8 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 16622 124958 0 0 56 10 9316 98 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=18531] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18531/stat : 18531 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 291854042 9367552 267 33554432000 4194304 5064252 140736177226768 140736177225680 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18531/statm: 2287 267 226 213 0 72 0
[pid=18532] ppid=18531 vsize=51228 CPUtime=7.46 cores=1,3,5,7
/proc/18532/stat : 18532 (glucose) R 18531 18468 3996 0 -1 4202496 11374 0 0 0 743 3 0 0 20 0 1 0 291854042 52457472 10897 33554432000 4194304 5208918 140733748535600 140733748533688 4215245 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18532/statm: 12807 10897 104 248 0 12556 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 88944

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.12 3/183 18560
/proc/meminfo: memFree=29385680/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=149.02 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 24490 193508 0 0 85 14 14648 155 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=18559] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7

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

[pid=18469] ppid=18468 vsize=19424 CPUtime=1541.35 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) R 18468 18468 3996 0 -1 4202496 232989 2019837 0 0 830 141 151541 1623 20 0 1 0 291844558 19890176 4179 33554432000 4194304 5990268 140734490968224 140734490960208 5043537 0 0 4096 0 0 0 0 17 1 0 0 4 0 0
/proc/18469/statm: 4856 4179 175 439 0 4413 0
Current children cumulated CPU time (s) 1541.35
Current children cumulated vsize (KiB) 28572

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.07 3/183 24940
/proc/meminfo: memFree=30837240/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=1591.67 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 240860 2089941 0 0 859 146 156484 1678 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 4 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=24886] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24886/stat : 24886 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 292003825 9367552 266 33554432000 4194304 5064252 140733856259952 140733856258864 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24886/statm: 2287 266 226 213 0 72 0
[pid=24887] ppid=24886 vsize=69924 CPUtime=9.62 cores=1,3,5,7
/proc/24887/stat : 24887 (glucose) R 24886 18468 3996 0 -1 4202496 12741 0 0 0 958 4 0 0 20 0 1 0 292003825 71602176 15139 33554432000 4194304 5208918 140737149140112 140737149137976 4228965 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24887/statm: 17481 15139 104 248 0 17230 0
Current children cumulated CPU time (s) 1601.29
Current children cumulated vsize (KiB) 107640

[startup+1662.3 s]
/proc/loadavg: 1.98 2.03 2.06 3/183 25346
/proc/meminfo: memFree=30854324/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=1656.87 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 250695 2176207 0 0 894 151 162892 1750 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 4 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=25320] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25320/stat : 25320 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 292010348 9367552 266 33554432000 4194304 5064252 140734026932368 140734026931280 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25320/statm: 2287 266 226 213 0 72 0
[pid=25321] ppid=25320 vsize=51356 CPUtime=4.38 cores=1,3,5,7
/proc/25321/stat : 25321 (glucose) R 25320 18468 3996 0 -1 4202496 10242 0 0 0 437 1 0 0 20 0 1 0 292010348 52588544 10730 33554432000 4194304 5208918 140736816915376 140736816913208 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25321/statm: 12839 10730 104 248 0 12588 0
Current children cumulated CPU time (s) 1661.25
Current children cumulated vsize (KiB) 89072

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.06 3/183 25738
/proc/meminfo: memFree=30834424/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=1709.32 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 258563 2245103 0 0 923 156 168050 1803 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 4 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=25670] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25670/stat : 25670 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 292015594 9367552 266 33554432000 4194304 5064252 140733917518624 140733917517536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25670/statm: 2287 266 226 213 0 72 0
[pid=25671] ppid=25670 vsize=69924 CPUtime=11.93 cores=1,3,5,7
/proc/25671/stat : 25671 (glucose) R 25670 18468 3996 0 -1 4202496 13208 0 0 0 1190 3 0 0 20 0 1 0 292015595 71602176 15562 33554432000 4194304 5208918 140736631482448 140736631480312 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25671/statm: 17481 15562 104 248 0 17230 0
Current children cumulated CPU time (s) 1721.25
Current children cumulated vsize (KiB) 107640

############
# WARNING:
# current cumulated CPU time (1722.84 s) is less than in the last sample (1735.62 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (12.78 s) to the 'lost time'.

[startup+1736.7 s]
/proc/loadavg: 2.05 2.03 2.06 3/183 25836
/proc/meminfo: memFree=30874640/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=1722.84 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 260530 2262512 0 0 930 157 169379 1818 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 4 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=25758] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25758/stat : 25758 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 292016948 9367552 266 33554432000 4194304 5064252 140737400152368 140737400151280 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25758/statm: 2287 266 226 213 0 72 0
[pid=25759] ppid=25758 vsize=69920 CPUtime=12.78 cores=1,3,5,7
/proc/25759/stat : 25759 (glucose) R 25758 18468 3996 0 -1 4202496 12791 0 0 0 1276 2 0 0 20 0 1 0 292016948 71598080 15206 33554432000 4194304 5208918 140736007838560 140736007836424 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25759/statm: 17480 15206 104 248 0 17229 0
Current children cumulated CPU time (s) 1735.62
Current children cumulated vsize (KiB) 107636

[startup+1736.8 s]
/proc/loadavg: 2.05 2.03 2.06 3/183 25836
/proc/meminfo: memFree=30874640/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=1722.84 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 260530 2262512 0 0 930 157 169379 1818 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 4 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
Current children cumulated CPU time (s) 1722.84
Current children cumulated vsize (KiB) 28568
#
############


[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.06 3/183 26144
/proc/meminfo: memFree=30855652/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=1774.87 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 268398 2334272 0 0 958 162 174492 1875 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=26104] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26104/stat : 26104 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 292022158 9367552 266 33554432000 4194304 5064252 140737156439008 140737156437920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26104/statm: 2287 266 226 213 0 72 0
[pid=26105] ppid=26104 vsize=51356 CPUtime=6.28 cores=1,3,5,7
/proc/26105/stat : 26105 (glucose) R 26104 18468 3996 0 -1 4202496 11234 0 0 0 627 1 0 0 20 0 1 0 292022159 52588544 10959 33554432000 4194304 5208918 140737259085968 140737259083800 4229032 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26105/statm: 12839 10959 104 248 0 12588 0
Current children cumulated CPU time (s) 1781.15
Current children cumulated vsize (KiB) 89072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.4 s]
/proc/loadavg: 2.08 2.04 2.06 3/184 26182
/proc/meminfo: memFree=30871720/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=1774.87 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 268398 2334272 0 0 958 162 174492 1875 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=26104] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26104/stat : 26104 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 292022158 9367552 266 33554432000 4194304 5064252 140737156439008 140737156437920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26104/statm: 2287 266 226 213 0 72 0
[pid=26105] ppid=26104 vsize=69920 CPUtime=12.39 cores=1,3,5,7
/proc/26105/stat : 26105 (glucose) R 26104 18468 3996 0 -1 4202496 12303 0 0 0 1237 2 0 0 20 0 1 0 292022159 71598080 15290 33554432000 4194304 5208918 140737259085968 140737259083832 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26105/statm: 17480 15290 104 248 0 17229 0
Current children cumulated CPU time (s) 1787.26
Current children cumulated vsize (KiB) 107636

Sending SIGTERM to process tree (bottom up)

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

[startup+1788.4 s]
/proc/loadavg: 2.08 2.04 2.06 3/184 26182
/proc/meminfo: memFree=30871720/32873648 swapFree=6612/6612
[pid=18468] ppid=18466 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (npSolver-wbo-It) S 18466 18468 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291844558 9367552 275 33554432000 4194304 5064252 140736857350640 140736857349552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18468/statm: 2287 275 233 213 0 72 0
[pid=18469] ppid=18468 vsize=19420 CPUtime=1774.87 cores=1,3,5,7
/proc/18469/stat : 18469 (npSolver-wbo) S 18468 18468 3996 0 -1 4202496 268398 2334272 0 0 958 162 174492 1875 20 0 1 0 291844558 19886080 4179 33554432000 4194304 5990268 140734490968224 140734490959632 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/18469/statm: 4855 4179 175 439 0 4412 0
[pid=26104] ppid=18469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26104/stat : 26104 (satsolver.sh) S 18469 18468 3996 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 292022158 9367552 266 33554432000 4194304 5064252 140737156439008 140737156437920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26104/statm: 2287 266 226 213 0 72 0
[pid=26105] ppid=26104 vsize=69920 CPUtime=12.39 cores=1,3,5,7
/proc/26105/stat : 26105 (glucose) R 26104 18468 3996 0 -1 4202496 12303 0 0 0 1237 2 0 0 20 0 1 0 292022159 71598080 15290 33554432000 4194304 5208918 140737259085968 140737259083832 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26105/statm: 17480 15290 104 248 0 17229 0
Current children cumulated CPU time (s) 1787.26
Current children cumulated vsize (KiB) 107636

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 12.78
#  lost CPU user time (s): 12.76
#  lost CPU system time (s): 0.0200005

Real time (s): 1788.41
CPU time (s): 1800.07
CPU user time (s): 1779.64
CPU system time (s): 20.4259
CPU usage (%): 100.652
Max. virtual memory (cumulated for all children) (KiB): 107644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.88
system time used= 20.4059
maximum resident set size= 65140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2615963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1636848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32098
involuntary context switches= 3588

runsolver used 3.64644 second user time and 8.94864 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-29 04:06:41
IDJOB=3715521
IDBENCH=79611
IDSOLVER=2297
FILE ID=node148/3715521-1338257201
RUNJOBID= node148-1338239740-5119
PBS_JOBID= 14624655
Free space on /tmp= 71340 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-503_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715521-1338257201/watcher-3715521-1338257201 -o /tmp/evaluation-result-3715521-1338257201/solver-3715521-1338257201 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715521-1338257201.wbo 1484079650 HOME HOME

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

MD5SUM BENCH= 08f4b88f9040f70d336d7e223b6d5133
RANDOM SEED=1484079650

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29469336 kB
Buffers:          519616 kB
Cached:           813408 kB
SwapCached:          708 kB
Active:          2156896 kB
Inactive:         351592 kB
Active(anon):    1163852 kB
Inactive(anon):    11700 kB
Active(file):     993044 kB
Inactive(file):   339892 kB
Unevictable:        6612 kB
Mlocked:            6612 kB
SwapTotal:      67108856 kB
SwapFree:       67107892 kB
Dirty:              8160 kB
Writeback:             0 kB
AnonPages:       1178936 kB
Mapped:            12052 kB
Shmem:                80 kB
Slab:             757400 kB
SReclaimable:     201552 kB
SUnreclaim:       555848 kB
KernelStack:        1480 kB
PageTables:         6432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1579892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    573440 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= 71668 MiB
End job on node148 at 2012-05-29 04:36:29