Trace number 3715615

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.13 1783.91

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
MD5SUMa6a99f7cb7296aed3ef8f4a1cd1ac483
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark72.388
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1777
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 90281
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90280
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
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
0.00/0.16	o 519
0.00/0.16	c starting approximation
0.00/0.16	c factor = 2
0.00/0.16	c factor still to low - shrinking to 2.80883
0.00/0.16	c approx number of clauses: 1e+06
0.00/0.16	c current bound: 259
18.30/18.60	c current bound: 259
36.07/36.10	c current bound: 259
53.96/54.02	c current bound: 259
71.93/72.23	c current bound: 259
90.36/90.65	c current bound: 259
108.83/109.13	c current bound: 259
126.42/126.71	c current bound: 259
144.45/144.77	c current bound: 259
162.35/162.68	c current bound: 259
180.81/181.13	c current bound: 259
199.35/199.66	c current bound: 259
216.82/217.13	c current bound: 259
234.53/234.85	c current bound: 259
252.55/252.86	c current bound: 259
271.05/271.37	c current bound: 259
289.58/289.91	c current bound: 259
307.43/307.76	c current bound: 259
324.92/325.25	c current bound: 259
343.08/343.41	c current bound: 259
361.32/361.66	c current bound: 259
379.75/380.09	c current bound: 259
398.24/398.58	c current bound: 259
415.61/415.73	c current bound: 259
433.69/434.04	c current bound: 259
452.09/452.24	c current bound: 259
470.60/470.76	c current bound: 259
487.69/488.06	c current bound: 259
505.49/505.86	c current bound: 259
523.56/523.93	c current bound: 259
542.17/542.55	c current bound: 259
560.50/560.88	c current bound: 259
578.36/578.59	c current bound: 259
595.67/596.07	c current bound: 259
613.65/614.17	c current bound: 259
631.78/632.30	c current bound: 259
650.15/650.69	c current bound: 259
667.49/668.02	c current bound: 259
685.14/685.68	c current bound: 259
703.25/703.78	c current bound: 259
721.49/722.02	c current bound: 259
740.32/740.60	c current bound: 259
757.81/758.36	c current bound: 259
775.40/775.94	c current bound: 259
793.73/794.00	c current bound: 259
811.51/811.84	c current bound: 259
829.81/830.36	c current bound: 259
847.90/848.21	c current bound: 259
864.96/865.53	c current bound: 259
883.00/883.57	c current bound: 259
901.60/902.17	c current bound: 259
920.19/920.50	c current bound: 259
937.26/937.84	c current bound: 259
954.89/955.46	c current bound: 259
973.27/973.66	c current bound: 259
991.41/992.04	c current bound: 259
1009.66/1010.29	c current bound: 259
1027.12/1027.53	c current bound: 259
1044.83/1045.46	c current bound: 259
1062.90/1063.54	c current bound: 259
1081.40/1082.06	c current bound: 259
1100.07/1100.72	c current bound: 259
1118.81/1119.48	c current bound: 259
1136.22/1136.90	c current bound: 259
1153.99/1154.67	c current bound: 259
1172.50/1172.90	c current bound: 259
1190.82/1191.50	c current bound: 259
1209.20/1209.89	c current bound: 259
1226.74/1227.42	c current bound: 259
1244.79/1245.20	c current bound: 259
1262.72/1263.42	c current bound: 259
1281.15/1281.66	c current bound: 259
1299.65/1300.11	c current bound: 259
1317.88/1318.59	c current bound: 259
1335.65/1336.37	c current bound: 259
1353.73/1354.24	c current bound: 259
1371.87/1372.59	c current bound: 259
1390.35/1391.25	c current bound: 259
1408.78/1409.68	c current bound: 259
1426.25/1427.16	c current bound: 259
1444.16/1445.06	c current bound: 259
1462.44/1463.15	c current bound: 259
1481.06/1481.76	c current bound: 259
1499.24/1500.14	c current bound: 259
1516.77/1517.68	c current bound: 259
1534.31/1535.35	c current bound: 259
1552.58/1553.63	c current bound: 259
1571.02/1571.86	c current bound: 259
1589.38/1590.42	c current bound: 259
1607.92/1608.97	c current bound: 259
1626.31/1627.37	c current bound: 259
1644.03/1645.08	c current bound: 259
1662.30/1663.19	c current bound: 259
1680.62/1681.68	c current bound: 259
1698.88/1699.94	c current bound: 259
1716.46/1717.53	c current bound: 259
1734.24/1735.29	c current bound: 259
1752.60/1753.47	c current bound: 259
1770.85/1771.92	c current bound: 259
1783.09/1783.91	./satsolver.sh: line 5: 23000 Terminated              ./glucose $1 > $2 2> /dev/null
1783.09/1783.91	c error: unexpected solver exit code
1783.09/1783.91	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715615-1338197240/watcher-3715615-1338197240 -o /tmp/evaluation-result-3715615-1338197240/solver-3715615-1338197240 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715615-1338197240.wbo 480445869 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.91 1.98 1.99 3/179 11032
/proc/meminfo: memFree=30870752/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0

[startup+0.028264 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 11032
/proc/meminfo: memFree=30870752/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100215 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 11032
/proc/meminfo: memFree=30870752/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300275 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 11032
/proc/meminfo: memFree=30870752/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700224 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 11032
/proc/meminfo: memFree=30870752/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 11050
/proc/meminfo: memFree=30774872/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=11704 CPUtime=0.24 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 3027 6776 0 0 11 2 9 2 20 0 1 0 285852622 11984896 2406 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 2926 2406 176 439 0 2483 0
[pid=11047] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11047/stat : 11047 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285852648 9367552 267 33554432000 4194304 5064252 140735438289520 140735438288432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11047/statm: 2287 267 226 213 0 72 0
[pid=11048] ppid=11047 vsize=48084 CPUtime=1.23 cores=1,3,5,7
/proc/11048/stat : 11048 (glucose) R 11047 11032 30917 0 -1 4202496 10045 0 0 0 122 1 0 0 20 0 1 0 285852648 49238016 10791 33554432000 4194304 5208918 140736044184208 140736044182616 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11048/statm: 12021 10791 95 248 0 11770 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 78084

[startup+3.10034 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 11057
/proc/meminfo: memFree=30775716/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=11704 CPUtime=0.24 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 3027 6776 0 0 11 2 9 2 20 0 1 0 285852622 11984896 2406 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 2926 2406 176 439 0 2483 0
[pid=11047] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11047/stat : 11047 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285852648 9367552 267 33554432000 4194304 5064252 140735438289520 140735438288432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11047/statm: 2287 267 226 213 0 72 0
[pid=11048] ppid=11047 vsize=48084 CPUtime=2.83 cores=1,3,5,7
/proc/11048/stat : 11048 (glucose) R 11047 11032 30917 0 -1 4202496 10047 0 0 0 282 1 0 0 20 0 1 0 285852648 49238016 10793 33554432000 4194304 5208918 140736044184208 140736044182616 4211537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11048/statm: 12021 10793 95 248 0 11770 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 78084

[startup+6.30033 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 11078
/proc/meminfo: memFree=30774988/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=11704 CPUtime=0.24 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 3027 6776 0 0 11 2 9 2 20 0 1 0 285852622 11984896 2406 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 2926 2406 176 439 0 2483 0
[pid=11047] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11047/stat : 11047 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285852648 9367552 267 33554432000 4194304 5064252 140735438289520 140735438288432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11047/statm: 2287 267 226 213 0 72 0
[pid=11048] ppid=11047 vsize=48216 CPUtime=6.03 cores=1,3,5,7
/proc/11048/stat : 11048 (glucose) R 11047 11032 30917 0 -1 4202496 10204 0 0 0 602 1 0 0 20 0 1 0 285852648 49373184 10950 33554432000 4194304 5208918 140736044184208 140736044182056 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11048/statm: 12054 10950 95 248 0 11803 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 78216

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 11120
/proc/meminfo: memFree=30773288/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=11704 CPUtime=0.24 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 3027 6776 0 0 11 2 9 2 20 0 1 0 285852622 11984896 2406 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 2926 2406 176 439 0 2483 0
[pid=11047] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11047/stat : 11047 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285852648 9367552 267 33554432000 4194304 5064252 140735438289520 140735438288432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11047/statm: 2287 267 226 213 0 72 0
[pid=11048] ppid=11047 vsize=52768 CPUtime=12.42 cores=1,3,5,7
/proc/11048/stat : 11048 (glucose) R 11047 11032 30917 0 -1 4202496 10420 0 0 0 1241 1 0 0 20 0 1 0 285852648 54034432 11675 33554432000 4194304 5208918 140736044184208 140736044182056 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11048/statm: 13192 11675 95 248 0 12941 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 82768

[startup+25.5003 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 11211
/proc/meminfo: memFree=30769268/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=18.67 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 3833 22890 0 0 19 3 1829 16 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=11168] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11168/stat : 11168 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285854491 9367552 267 33554432000 4194304 5064252 140736243494832 140736243493744 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11168/statm: 2287 267 226 213 0 72 0
[pid=11169] ppid=11168 vsize=52644 CPUtime=6.79 cores=1,3,5,7
/proc/11169/stat : 11169 (glucose) R 11168 11032 30917 0 -1 4202496 10857 0 0 0 678 1 0 0 20 0 1 0 285854491 53907456 10993 33554432000 4194304 5208918 140733757724016 140733757722168 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11169/statm: 13161 10993 95 248 0 12910 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 90832

[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 1.99 3/183 11379
/proc/meminfo: memFree=30765084/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=36.16 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 4638 39790 0 0 27 4 3554 31 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=11287] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285856241 9367552 266 33554432000 4194304 5064252 140736109460976 140736109459888 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11287/statm: 2287 266 226 213 0 72 0
[pid=11288] ppid=11287 vsize=52768 CPUtime=14.88 cores=1,3,5,7
/proc/11288/stat : 11288 (glucose) R 11287 11032 30917 0 -1 4202496 9952 0 0 0 1487 1 0 0 20 0 1 0 285856242 54034432 11909 33554432000 4194304 5208918 140737165283536 140737165281384 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11288/statm: 13192 11909 95 248 0 12941 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 90956

[startup+102.307 s]
/proc/loadavg: 2.04 2.00 1.99 3/183 11730
/proc/meminfo: memFree=30764516/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=90.72 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 7053 88170 0 0 51 8 8937 76 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=11659] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11659/stat : 11659 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285861696 9367552 267 33554432000 4194304 5064252 140733469467056 140733469465968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11659/statm: 2287 267 226 213 0 72 0
[pid=11660] ppid=11659 vsize=52768 CPUtime=11.54 cores=1,3,5,7
/proc/11660/stat : 11660 (glucose) R 11659 11032 30917 0 -1 4202496 10943 0 0 0 1152 2 0 0 20 0 1 0 285861697 54034432 11617 33554432000 4194304 5208918 140735060503968 140735060501816 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11660/statm: 13192 11617 95 248 0 12941 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 90956

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 12132
/proc/meminfo: memFree=30765076/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=144.82 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 9468 137818 0 0 74 12 14276 120 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=12019] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/meminfo: memFree=30761184/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1409.15 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 65818 1271740 0 0 634 102 139048 1131 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=20558] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20558/stat : 20558 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285993600 9367552 266 33554432000 4194304 5064252 140735589319344 140735589318256 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20558/statm: 2287 266 226 213 0 72 0
[pid=20559] ppid=20558 vsize=52772 CPUtime=12.51 cores=1,3,5,7
/proc/20559/stat : 20559 (glucose) R 20558 11032 30917 0 -1 4202496 10903 0 0 0 1249 2 0 0 20 0 1 0 285993600 54038528 11561 33554432000 4194304 5208918 140735198601088 140735198598936 4211738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20559/statm: 13193 11561 95 248 0 12942 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 90960

[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 21042
/proc/meminfo: memFree=30798312/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1481.22 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 69038 1335200 0 0 667 107 146159 1189 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
Current children cumulated CPU time (s) 1481.22
Current children cumulated vsize (KiB) 29040

[startup+1542.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 21452
/proc/meminfo: memFree=30763788/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1534.67 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 71453 1382886 0 0 691 110 151431 1235 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=21409] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21409/stat : 21409 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286006166 9367552 267 33554432000 4194304 5064252 140733577273840 140733577272752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21409/statm: 2287 267 226 213 0 72 0
[pid=21410] ppid=21409 vsize=52636 CPUtime=6.84 cores=1,3,5,7
/proc/21410/stat : 21410 (glucose) R 21409 11032 30917 0 -1 4202496 10878 0 0 0 682 2 0 0 20 0 1 0 286006166 53899264 11013 33554432000 4194304 5208918 140733332470864 140733332469016 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21410/statm: 13159 11013 95 248 0 12908 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 90824

[startup+1602.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/183 21852
/proc/meminfo: memFree=30761436/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1589.74 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 73868 1430681 0 0 715 114 156862 1283 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=21781] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21781/stat : 21781 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286011674 9367552 267 33554432000 4194304 5064252 140736831783072 140736831781984 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21781/statm: 2287 267 226 213 0 72 0
[pid=21782] ppid=21781 vsize=52768 CPUtime=11.77 cores=1,3,5,7
/proc/21782/stat : 21782 (glucose) R 21781 11032 30917 0 -1 4202496 10597 0 0 0 1175 2 0 0 20 0 1 0 286011674 54034432 11790 33554432000 4194304 5208918 140734524369632 140734524367480 4211712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21782/statm: 13192 11790 95 248 0 12941 0
Current children cumulated CPU time (s) 1601.51
Current children cumulated vsize (KiB) 90956

[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 22251
/proc/meminfo: memFree=30758972/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1644.39 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 76283 1479697 0 0 738 118 162256 1327 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=22148] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22148/stat : 22148 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286017139 9367552 266 33554432000 4194304 5064252 140736597761936 140736597760848 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22148/statm: 2287 266 226 213 0 72 0
[pid=22149] ppid=22148 vsize=52772 CPUtime=17.11 cores=1,3,5,7
/proc/22149/stat : 22149 (glucose) R 22148 11032 30917 0 -1 4202496 11189 0 0 0 1709 2 0 0 20 0 1 0 286017139 54038528 12219 33554432000 4194304 5208918 140733859449024 140733859446872 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22149/statm: 13193 12219 95 248 0 12942 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 90960

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 22657
/proc/meminfo: memFree=30762012/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1716.84 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 79503 1546352 0 0 770 124 169402 1388 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=22631] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22631/stat : 22631 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286024384 9367552 267 33554432000 4194304 5064252 140735702370640 140735702369552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22631/statm: 2287 267 226 213 0 72 0
[pid=22632] ppid=22631 vsize=48220 CPUtime=4.66 cores=1,3,5,7
/proc/22632/stat : 22632 (glucose) R 22631 11032 30917 0 -1 4202496 10550 0 0 0 464 2 0 0 20 0 1 0 286024384 49377280 11195 33554432000 4194304 5208918 140733581292480 140733581290328 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22632/statm: 12055 11195 95 248 0 11804 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 86408

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23063
/proc/meminfo: memFree=30776936/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1771.21 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 81918 1594621 0 0 794 127 174769 1431 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=22999] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22999/stat : 22999 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286029823 9367552 267 33554432000 4194304 5064252 140735188003280 140735188002192 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22999/statm: 2287 267 226 213 0 72 0
[pid=23000] ppid=22999 vsize=52772 CPUtime=10.27 cores=1,3,5,7
/proc/23000/stat : 23000 (glucose) R 22999 11032 30917 0 -1 4202496 10880 0 0 0 1025 2 0 0 20 0 1 0 286029824 54038528 11539 33554432000 4194304 5208918 140737263245488 140737263243640 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23000/statm: 13193 11539 95 248 0 12942 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 90960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23073
/proc/meminfo: memFree=30794384/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1771.21 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 81918 1594621 0 0 794 127 174769 1431 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=22999] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22999/stat : 22999 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286029823 9367552 267 33554432000 4194304 5064252 140735188003280 140735188002192 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22999/statm: 2287 267 226 213 0 72 0
[pid=23000] ppid=22999 vsize=52772 CPUtime=11.88 cores=1,3,5,7
/proc/23000/stat : 23000 (glucose) R 22999 11032 30917 0 -1 4202496 10892 0 0 0 1186 2 0 0 20 0 1 0 286029824 54038528 11551 33554432000 4194304 5208918 140737263245488 140737263243336 4211558 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23000/statm: 13193 11551 95 248 0 12942 0
Current children cumulated CPU time (s) 1783.09
Current children cumulated vsize (KiB) 90960

Sending SIGTERM to process tree (bottom up)

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

[startup+1783.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23073
/proc/meminfo: memFree=30794384/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1771.21 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 81918 1594621 0 0 794 127 174769 1431 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=22999] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22999/stat : 22999 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286029823 9367552 267 33554432000 4194304 5064252 140735188003280 140735188002192 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22999/statm: 2287 267 226 213 0 72 0
[pid=23000] ppid=22999 vsize=52772 CPUtime=11.88 cores=1,3,5,7
/proc/23000/stat : 23000 (glucose) R 22999 11032 30917 0 -1 4202496 10892 0 0 0 1186 2 0 0 20 0 1 0 286029824 54038528 11551 33554432000 4194304 5208918 140737263245488 140737263243336 4211558 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23000/statm: 13193 11551 95 248 0 12942 0
Current children cumulated CPU time (s) 1783.09
Current children cumulated vsize (KiB) 90960

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): 16.9999
#  lost CPU user time (s): 16.98
#  lost CPU system time (s): 0.02

Real time (s): 1783.91
CPU time (s): 1800.13
CPU user time (s): 1784.49
CPU system time (s): 15.6456
CPU usage (%): 100.909
Max. virtual memory (cumulated for all children) (KiB): 93636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.51
system time used= 15.6256
maximum resident set size= 52144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1688418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1378424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26892
involuntary context switches= 3085

runsolver used 2.98255 second user time and 7.70183 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-28 11:27:20
IDJOB=3715615
IDBENCH=78961
IDSOLVER=2297
FILE ID=node103/3715615-1338197240
RUNJOBID= node103-1338193626-30934
PBS_JOBID= 14624588
Free space on /tmp= 71540 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715615-1338197240/watcher-3715615-1338197240 -o /tmp/evaluation-result-3715615-1338197240/solver-3715615-1338197240 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715615-1338197240.wbo 480445869 HOME HOME

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

MD5SUM BENCH= a6a99f7cb7296aed3ef8f4a1cd1ac483
RANDOM SEED=480445869

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30872976 kB
Buffers:          478528 kB
Cached:           645712 kB
SwapCached:         4492 kB
Active:           794464 kB
Inactive:         362140 kB
Active(anon):      25392 kB
Inactive(anon):     6216 kB
Active(file):     769072 kB
Inactive(file):   355924 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099580 kB
Dirty:             24136 kB
Writeback:             0 kB
AnonPages:         63652 kB
Mapped:            12648 kB
Shmem:                 8 kB
Slab:             704376 kB
SReclaimable:     145252 kB
SUnreclaim:       559124 kB
KernelStack:        1520 kB
PageTables:         4152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     149608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71524 MiB
End job on node103 at 2012-05-28 11:57:04