Trace number 3715219

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? (TO) 1800.06 1800.62

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
MD5SUM7333324480eb5267e10bc3c9063685b0
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark35.8046
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 constraints2707
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 137245
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137244
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 745
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.03	c run usual solver
0.00/0.15	o 645
0.00/0.15	c fallback to adder encoding
10.88/10.99	o 616
10.88/10.99	c fallback to adder encoding
31.76/31.86	o 578
31.76/31.86	c fallback to adder encoding
124.43/124.58	o 573
124.43/124.58	c fallback to adder encoding
147.91/148.06	o 570
147.91/148.06	c fallback to adder encoding
170.36/170.50	o 559
170.36/170.50	c fallback to adder encoding
191.29/191.44	o 557
191.29/191.44	c fallback to adder encoding
207.60/207.77	o 554
207.60/207.77	c fallback to adder encoding
223.36/223.53	o 553
223.36/223.53	c fallback to adder encoding
240.52/240.69	o 552
240.52/240.69	c fallback to adder encoding
257.21/257.38	o 551
257.21/257.38	c fallback to adder encoding
285.53/285.72	o 548
285.53/285.72	c fallback to adder encoding
315.81/316.01	o 547
315.81/316.01	c fallback to adder encoding
347.09/347.29	o 539
347.09/347.29	c fallback to adder encoding
363.43/363.69	o 515
363.43/363.69	c fallback to adder encoding
490.10/490.30	o 512
490.10/490.30	c fallback to adder encoding
490.41/490.69	o 382
490.41/490.69	c fallback to adder encoding
510.71/510.90	o 381
510.71/510.90	c fallback to adder encoding
525.49/525.77	o 371
525.49/525.77	c fallback to adder encoding
532.09/532.36	o 370
532.09/532.36	c fallback to adder encoding
541.03/541.33	o 369
541.03/541.33	c fallback to adder encoding
554.97/555.29	o 338
554.97/555.29	c fallback to adder encoding
577.82/578.12	o 328
577.82/578.12	c fallback to adder encoding
588.05/588.35	o 321
588.05/588.35	c fallback to adder encoding
602.81/603.12	o 309
602.81/603.12	c fallback to adder encoding
616.89/617.21	o 308
616.89/617.21	c fallback to adder encoding
638.80/639.14	o 307
638.80/639.14	c fallback to adder encoding
658.75/659.08	o 292
658.75/659.08	c fallback to adder encoding
668.23/668.57	o 276
668.23/668.57	c fallback to adder encoding
1156.18/1156.50	o 271
1156.18/1156.50	c fallback to adder encoding
1184.49/1184.91	o 268
1184.49/1184.91	c fallback to adder encoding
1213.80/1214.22	o 262
1213.80/1214.22	c fallback to adder encoding
1230.68/1231.12	o 243
1230.68/1231.12	c fallback to adder encoding
1246.95/1247.33	o 242
1246.95/1247.33	c fallback to adder encoding
1257.61/1258.04	o 241
1257.61/1258.04	c fallback to adder encoding
1269.68/1270.12	o 239
1269.68/1270.12	c fallback to adder encoding
1315.59/1316.03	o 238
1315.59/1316.03	c fallback to adder encoding
1329.51/1329.97	o 237
1329.51/1329.97	c fallback to adder encoding
1341.53/1341.91	o 236
1341.53/1341.91	c fallback to adder encoding
1351.79/1352.24	o 225
1351.79/1352.24	c fallback to adder encoding
1360.56/1361.01	o 224
1360.56/1361.01	c fallback to adder encoding
1369.56/1370.03	o 210
1369.56/1370.03	c fallback to adder encoding
1379.57/1380.03	o 206
1379.57/1380.03	c fallback to adder encoding
1384.20/1384.66	o 182
1384.20/1384.66	c fallback to adder encoding
1401.13/1401.61	o 181
1401.13/1401.61	c fallback to adder encoding
1418.06/1418.54	o 180
1418.06/1418.54	c fallback to adder encoding
1429.38/1429.90	o 179
1429.38/1429.90	c fallback to adder encoding
1440.86/1441.34	o 178
1440.86/1441.34	c fallback to adder encoding
1460.65/1461.22	o 175
1460.65/1461.22	c fallback to adder encoding
1477.56/1478.13	o 173
1477.56/1478.13	c fallback to adder encoding
1489.31/1489.88	o 172
1489.31/1489.88	c fallback to adder encoding
1505.36/1505.93	o 171
1505.36/1505.93	c fallback to adder encoding
1517.55/1518.14	o 170
1517.55/1518.14	c fallback to adder encoding
1523.26/1523.84	o 161
1523.26/1523.84	c fallback to adder encoding
1542.02/1542.61	o 159
1542.02/1542.61	c fallback to adder encoding
1558.17/1558.76	o 156
1558.17/1558.76	c fallback to adder encoding
1583.92/1584.52	o 155
1583.92/1584.52	c fallback to adder encoding
1593.74/1594.35	o 154
1593.74/1594.35	c fallback to adder encoding
1607.57/1608.20	o 149
1607.57/1608.20	c fallback to adder encoding
1627.36/1627.95	o 148
1627.36/1627.95	c fallback to adder encoding
1633.36/1633.99	o 147
1633.36/1633.99	c fallback to adder encoding
1645.95/1646.60	o 146
1645.95/1646.60	c fallback to adder encoding
1666.95/1667.55	o 145
1666.95/1667.55	c fallback to adder encoding
1698.68/1699.32	o 144
1698.68/1699.32	c fallback to adder encoding
1719.88/1720.52	o 143
1719.88/1720.52	c fallback to adder encoding
1738.51/1739.15	o 142
1738.51/1739.15	c fallback to adder encoding
1752.42/1753.09	o 141
1752.42/1753.09	c fallback to adder encoding
1764.50/1765.16	o 140
1764.50/1765.16	c fallback to adder encoding
1774.88/1775.54	o 139
1774.88/1775.54	c fallback to adder encoding
1800.04/1800.61	./satsolver.sh: line 5:  2716 Terminated              ./glucose $1 > $2 2> /dev/null
1800.04/1800.61	c error: unexpected solver exit code
1800.04/1800.61	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715219-1338216226/watcher-3715219-1338216226 -o /tmp/evaluation-result-3715219-1338216226/solver-3715219-1338216226 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715219-1338216226.wbo 1620701438 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 961
/proc/meminfo: memFree=30359040/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0

[startup+0.0980899 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 961
/proc/meminfo: memFree=30359040/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100287 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 961
/proc/meminfo: memFree=30359040/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/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: 2.00 2.01 2.00 3/179 961
/proc/meminfo: memFree=30359040/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700234 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 961
/proc/meminfo: memFree=30359040/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50042 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 977
/proc/meminfo: memFree=30309576/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20804 CPUtime=0.28 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 4043 6021 0 0 16 3 8 1 20 0 1 0 287747003 21303296 3245 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/962/statm: 5201 3245 165 439 0 4758 0
[pid=976] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/976/stat : 976 (satsolver.sh) S 962 961 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287747033 9367552 267 33554432000 4194304 5064252 140737137948352 140737137947264 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/976/statm: 2287 267 226 213 0 72 0
[pid=977] ppid=976 vsize=30384 CPUtime=1.18 cores=0,2,4,6
/proc/977/stat : 977 (glucose) R 976 961 26619 0 -1 4202496 6805 0 0 0 117 1 0 0 20 0 1 0 287747033 31113216 6965 33554432000 4194304 5208918 140736323071888 140736323069848 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/977/statm: 7596 6965 104 248 0 7345 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 69484

[startup+3.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 977
/proc/meminfo: memFree=30308832/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20804 CPUtime=0.28 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 4043 6021 0 0 16 3 8 1 20 0 1 0 287747003 21303296 3245 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/962/statm: 5201 3245 165 439 0 4758 0
[pid=976] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/976/stat : 976 (satsolver.sh) S 962 961 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287747033 9367552 267 33554432000 4194304 5064252 140737137948352 140737137947264 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/976/statm: 2287 267 226 213 0 72 0
[pid=977] ppid=976 vsize=30516 CPUtime=2.78 cores=0,2,4,6
/proc/977/stat : 977 (glucose) R 976 961 26619 0 -1 4202496 6854 0 0 0 277 1 0 0 20 0 1 0 287747033 31248384 7014 33554432000 4194304 5208918 140736323071888 140736323069736 4205695 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/977/statm: 7629 7014 104 248 0 7378 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 69616

[startup+6.30039 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 977
/proc/meminfo: memFree=30308396/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20804 CPUtime=0.28 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 4043 6021 0 0 16 3 8 1 20 0 1 0 287747003 21303296 3245 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/962/statm: 5201 3245 165 439 0 4758 0
[pid=976] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/976/stat : 976 (satsolver.sh) S 962 961 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287747033 9367552 267 33554432000 4194304 5064252 140737137948352 140737137947264 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/976/statm: 2287 267 226 213 0 72 0
[pid=977] ppid=976 vsize=30672 CPUtime=5.98 cores=0,2,4,6
/proc/977/stat : 977 (glucose) R 976 961 26619 0 -1 4202496 6887 0 0 0 597 1 0 0 20 0 1 0 287747033 31408128 7047 33554432000 4194304 5208918 140736323071888 140736323069848 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/977/statm: 7668 7047 104 248 0 7417 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 69772

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 991
/proc/meminfo: memFree=30294896/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=37056 CPUtime=11.11 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 6850 16611 0 0 30 4 1069 8 20 0 1 0 287747003 37945344 7117 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/962/statm: 9264 7117 166 439 0 8821 0
[pid=990] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/990/stat : 990 (satsolver.sh) S 962 961 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287748117 9367552 267 33554432000 4194304 5064252 140734388175792 140734388174704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/990/statm: 2287 267 226 213 0 72 0
[pid=991] ppid=990 vsize=30248 CPUtime=1.54 cores=0,2,4,6
/proc/991/stat : 991 (glucose) R 990 961 26619 0 -1 4202496 7195 0 0 0 153 1 0 0 20 0 1 0 287748117 30973952 6810 33554432000 4194304 5208918 140735238403744 140735238401496 4205672 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/991/statm: 7562 6810 104 248 0 7311 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 85600

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 998
/proc/meminfo: memFree=30286416/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=37056 CPUtime=11.11 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 6850 16611 0 0 30 4 1069 8 20 0 1 0 287747003 37945344 7117 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/962/statm: 9264 7117 166 439 0 8821 0
[pid=990] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/990/stat : 990 (satsolver.sh) S 962 961 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287748117 9367552 267 33554432000 4194304 5064252 140734388175792 140734388174704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/990/statm: 2287 267 226 213 0 72 0
[pid=991] ppid=990 vsize=43016 CPUtime=14.34 cores=0,2,4,6
/proc/991/stat : 991 (glucose) R 990 961 26619 0 -1 4202496 8968 0 0 0 1432 2 0 0 20 0 1 0 287748117 44048384 9277 33554432000 4194304 5208918 140735238403744 140735238401496 4211049 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/991/statm: 10754 9277 105 248 0 10503 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 98368

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 1012
/proc/meminfo: memFree=30287828/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=37056 CPUtime=31.99 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 9657 29020 0 0 44 6 3134 15 20 0 1 0 287747003 37945344 7117 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/962/statm: 9264 7117 166 439 0 8821 0
[pid=1004] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1004/stat : 1004 (satsolver.sh) S 962 961 26619 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 287750205 9367552 266 33554432000 4194304 5064252 140734823109152 140734823108064 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1004/statm: 2287 266 226 213 0 72 0
[pid=1005] ppid=1004 vsize=34528 CPUtime=19.05 cores=0,2,4,6
/proc/1005/stat : 1005 (glucose) R 1004 961 26619 0 -1 4202496 7196 0 0 0 1905 0 0 0 20 0 1 0 287750205 35356672 7890 33554432000 4194304 5208918 140737358500640 140737358498792 4211605 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 8632 7890 96 248 0 8381 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 89880

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1040
/proc/meminfo: memFree=30285452/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=37056 CPUtime=31.99 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 9657 29020 0 0 44 6 3134 15 20 0 1 0 287747003 37945344 7117 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/962/statm: 9264 7117 166 439 0 8821 0
[pid=1004] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1004/stat : 1004 (satsolver.sh) S 962 961 26619 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 287750205 9367552 266 33554432000 4194304 5064252 140734823109152 140734823108064 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1004/statm: 2287 266 226 213 0 72 0
[pid=1005] ppid=1004 vsize=41708 CPUtime=70.26 cores=0,2,4,6
/proc/1005/stat : 1005 (glucose) R 1004 961 26619 0 -1 4202496 7722 0 0 0 7025 1 0 0 20 0 1 0 287750205 42708992 9438 33554432000 4194304 5208918 140737358500640 140737358498792 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1005/statm: 10427 9438 96 248 0 10176 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 97060

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1092
/proc/meminfo: memFree=30294248/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=37056 CPUtime=148.18 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 15271 53235 0 0 72 10 14707 29 20 0 1 0 287747003 37945344 7117 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/962/statm: 9264 7117 166 439 0 8821 0
[pid=1083] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2101
/proc/meminfo: memFree=30306428/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20544 CPUtime=1360.76 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 103831 455254 0 0 516 59 135247 254 20 0 1 0 287747003 21037056 4615 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/962/statm: 5136 4615 166 439 0 4693 0
[pid=2100] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2100/stat : 2100 (satsolver.sh) S 962 961 26619 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 287883116 9367552 266 33554432000 4194304 5064252 140733447262304 140733447261216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2100/statm: 2287 266 226 213 0 72 0
[pid=2101] ppid=2100 vsize=23860 CPUtime=1.16 cores=0,2,4,6
/proc/2101/stat : 2101 (glucose) R 2100 961 26619 0 -1 4202496 5822 0 0 0 115 1 0 0 20 0 1 0 287883116 24432640 5283 33554432000 4194304 5208918 140736062084160 140736062082120 4211027 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2101/statm: 5965 5283 104 248 0 5714 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 62700

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2165
/proc/meminfo: memFree=30311664/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20544 CPUtime=1418.26 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 115279 505395 0 0 570 64 140910 282 20 0 1 0 287747003 21037056 4615 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/962/statm: 5136 4615 166 439 0 4693 0
[pid=2164] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2164/stat : 2164 (satsolver.sh) S 962 961 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287888868 9367552 265 33554432000 4194304 5064252 140734974092176 140734974091088 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2164/statm: 2287 265 226 213 0 72 0
[pid=2165] ppid=2164 vsize=26980 CPUtime=3.64 cores=0,2,4,6
/proc/2165/stat : 2165 (glucose) R 2164 961 26619 0 -1 4202496 6499 0 0 0 363 1 0 0 20 0 1 0 287888868 27627520 5482 33554432000 4194304 5208918 140735459849360 140735459847320 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2165/statm: 6745 5482 104 248 0 6494 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 65820

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 2221
/proc/meminfo: memFree=30312492/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20544 CPUtime=1477.77 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 124433 547820 0 0 613 69 146790 305 20 0 1 0 287747003 21037056 4615 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/962/statm: 5136 4615 166 439 0 4693 0
[pid=2213] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2213/stat : 2213 (satsolver.sh) S 962 961 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287894827 9367552 267 33554432000 4194304 5064252 140734273783792 140734273782704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2213/statm: 2287 267 226 213 0 72 0
[pid=2214] ppid=2213 vsize=26888 CPUtime=4.04 cores=0,2,4,6
/proc/2214/stat : 2214 (glucose) R 2213 961 26619 0 -1 4202496 6423 0 0 0 403 1 0 0 20 0 1 0 287894827 27533312 5407 33554432000 4194304 5208918 140735696960608 140735696958504 4211176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2214/statm: 6722 5407 104 248 0 6471 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 65728

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 2270
/proc/meminfo: memFree=30308112/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20544 CPUtime=1523.45 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 133588 589162 0 0 655 73 151289 328 20 0 1 0 287747003 21037056 4615 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/962/statm: 5136 4615 166 439 0 4693 0
[pid=2262] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2262/stat : 2262 (satsolver.sh) S 962 961 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287899398 9367552 267 33554432000 4194304 5064252 140736958953152 140736958952064 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2262/statm: 2287 267 226 213 0 72 0
[pid=2263] ppid=2262 vsize=27524 CPUtime=18.32 cores=0,2,4,6
/proc/2263/stat : 2263 (glucose) R 2262 961 26619 0 -1 4202496 7109 0 0 0 1831 1 0 0 20 0 1 0 287899398 28184576 6076 33554432000 4194304 5208918 140734141056048 140734141053800 4211668 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2263/statm: 6881 6076 105 248 0 6630 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 66364

[startup+1602.3 s]
/proc/loadavg: 2.19 2.05 2.01 3/184 2336
/proc/meminfo: memFree=30278860/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20544 CPUtime=1593.95 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 142743 630803 0 0 698 78 158269 350 20 0 1 0 287747003 21037056 4615 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/962/statm: 5136 4615 166 439 0 4693 0
[pid=2328] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2328/stat : 2328 (satsolver.sh) S 962 961 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287906449 9367552 267 33554432000 4194304 5064252 140736447992560 140736447991472 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2328/statm: 2287 267 226 213 0 72 0
[pid=2329] ppid=2328 vsize=27436 CPUtime=7.82 cores=0,2,4,6
/proc/2329/stat : 2329 (glucose) R 2328 961 26619 0 -1 4202496 6854 0 0 0 781 1 0 0 20 0 1 0 287906449 28094464 5832 33554432000 4194304 5208918 140733377388176 140733377385928 4212757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2329/statm: 6859 5832 105 248 0 6608 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 66276

[startup+1662.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/183 2476
/proc/meminfo: memFree=30320040/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20544 CPUtime=1646.18 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 151902 673056 0 0 741 82 163422 373 20 0 1 0 287747003 21037056 4615 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/962/statm: 5136 4615 166 439 0 4693 0
[pid=2440] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2440/stat : 2440 (satsolver.sh) S 962 961 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287911674 9367552 267 33554432000 4194304 5064252 140736049608928 140736049607840 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2440/statm: 2287 267 226 213 0 72 0
[pid=2441] ppid=2440 vsize=27528 CPUtime=15.56 cores=0,2,4,6
/proc/2441/stat : 2441 (glucose) R 2440 961 26619 0 -1 4202496 6362 0 0 0 1555 1 0 0 20 0 1 0 287911675 28188672 5942 33554432000 4194304 5208918 140736886658976 140736886655352 4211625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2441/statm: 6882 5942 105 248 0 6631 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 66368

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/183 2667
/proc/meminfo: memFree=30294752/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20544 CPUtime=1720.08 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 158768 703314 0 0 774 85 170758 391 20 0 1 0 287747003 21037056 4615 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/962/statm: 5136 4615 166 439 0 4693 0
[pid=2666] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2666/stat : 2666 (satsolver.sh) S 962 961 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287919067 9367552 266 33554432000 4194304 5064252 140735516823168 140735516822080 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2666/statm: 2287 266 226 213 0 72 0
[pid=2667] ppid=2666 vsize=26572 CPUtime=1.65 cores=0,2,4,6
/proc/2667/stat : 2667 (glucose) R 2666 961 26619 0 -1 4202496 5713 0 0 0 164 1 0 0 20 0 1 0 287919067 27209728 5298 33554432000 4194304 5208918 140736250122720 140736250120680 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2667/statm: 6643 5298 104 248 0 6392 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 65412

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 2716
/proc/meminfo: memFree=30291360/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20544 CPUtime=1775.1 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 167921 746752 0 0 817 90 176187 416 20 0 1 0 287747003 21037056 4615 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/962/statm: 5136 4615 166 439 0 4693 0
[pid=2715] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2715/stat : 2715 (satsolver.sh) S 962 961 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287924569 9367552 267 33554432000 4194304 5064252 140736159172432 140736159171344 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2715/statm: 2287 267 226 213 0 72 0
[pid=2716] ppid=2715 vsize=26872 CPUtime=6.62 cores=0,2,4,6
/proc/2716/stat : 2716 (glucose) R 2715 961 26619 0 -1 4202496 6069 0 0 0 661 1 0 0 20 0 1 0 287924569 27516928 5431 33554432000 4194304 5208918 140736398304624 140736398302584 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2716/statm: 6718 5431 104 248 0 6467 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 65712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.04 2.04 2.01 4/183 2723
/proc/meminfo: memFree=30286408/32873844 swapFree=7388/7388
[pid=961] ppid=959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/961/stat : 961 (npSolver-wbo-It) S 959 961 26619 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287747002 9367552 274 33554432000 4194304 5064252 140733214964528 140733214963440 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/961/statm: 2287 274 233 213 0 72 0
[pid=962] ppid=961 vsize=20544 CPUtime=1775.1 cores=0,2,4,6
/proc/962/stat : 962 (npSolver-wbo) S 961 961 26619 0 -1 4202496 167921 746752 0 0 817 90 176187 416 20 0 1 0 287747003 21037056 4615 33554432000 4194304 5990268 140736678200864 140736678192288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 5 0 0
/proc/962/statm: 5136 4615 166 439 0 4693 0
[pid=2715] ppid=962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2715/stat : 2715 (satsolver.sh) S 962 961 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287924569 9367552 267 33554432000 4194304 5064252 140736159172432 140736159171344 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2715/statm: 2287 267 226 213 0 72 0
[pid=2716] ppid=2715 vsize=32200 CPUtime=24.94 cores=0,2,4,6
/proc/2716/stat : 2716 (glucose) R 2715 961 26619 0 -1 4202496 6690 0 0 0 2492 2 0 0 20 0 1 0 287924569 32972800 7072 33554432000 4194304 5208918 140736398304624 140736398302472 4211574 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2716/statm: 8050 7072 105 248 0 7799 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 71040

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.06
CPU user time (s): 1794.97
CPU system time (s): 5.09223
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 111592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.97
system time used= 5.09223
maximum resident set size= 68668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 922352
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1082008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5824
involuntary context switches= 2686

runsolver used 7.97579 second user time and 17.3464 second system time

The end

Launcher Data 

Begin job on node147 at 2012-05-28 16:43:46
IDJOB=3715219
IDBENCH=79268
IDSOLVER=2296
FILE ID=node147/3715219-1338216226
RUNJOBID= node147-1338192581-26635
PBS_JOBID= 14624579
Free space on /tmp= 71660 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715219-1338216226/watcher-3715219-1338216226 -o /tmp/evaluation-result-3715219-1338216226/solver-3715219-1338216226 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3715219-1338216226.wbo 1620701438 HOME HOME

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

MD5SUM BENCH= 7333324480eb5267e10bc3c9063685b0
RANDOM SEED=1620701438

node147.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.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
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.951
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.951
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.87
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.951
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.951
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.951
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		: 2666.951
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.951
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:        30359304 kB
Buffers:          380220 kB
Cached:          1257592 kB
SwapCached:         5068 kB
Active:           704256 kB
Inactive:         983596 kB
Active(anon):      45220 kB
Inactive(anon):     7584 kB
Active(file):     659036 kB
Inactive(file):   976012 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:             15200 kB
Writeback:             0 kB
AnonPages:         55356 kB
Mapped:            10616 kB
Shmem:                 0 kB
Slab:             686788 kB
SReclaimable:     127584 kB
SUnreclaim:       559204 kB
KernelStack:        1528 kB
PageTables:         3676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     172652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71644 MiB
End job on node147 at 2012-05-28 17:13:47