Trace number 3753648

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
MD5SUM4d45122e251aca3cc1eaa7c8fe64e1aa
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark0.657899
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints64
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 2925
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 2924
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1265
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.02	c run usual solver
13.75/13.86	o 1828
34.14/34.55	o 1046
53.95/54.08	o 1045
73.24/73.50	o 989
92.62/92.88	o 988
112.25/112.31	o 986
131.86/131.90	o 985
150.90/151.16	o 957
170.42/170.55	o 956
189.98/190.25	o 900
209.25/209.50	o 899
228.84/229.11	o 897
248.72/249.00	o 896
268.40/268.54	o 846
287.23/287.51	o 845
306.34/306.62	o 843
325.74/326.03	o 842
344.79/345.08	o 833
364.01/364.32	o 832
383.39/383.68	o 830
402.72/403.03	o 829
422.26/422.49	o 780
441.55/441.88	o 779
461.13/461.47	o 777
480.66/481.02	o 776
500.32/500.50	o 694
519.74/520.08	o 693
539.03/539.38	o 691
558.17/558.52	o 690
577.47/577.83	o 676
596.74/597.10	o 675
615.76/616.08	o 673
635.08/635.46	o 672
654.39/654.77	o 668
673.78/674.17	o 667
693.28/693.68	o 665
712.32/712.72	o 664
731.56/731.97	o 648
751.02/751.38	o 647
770.09/770.51	o 645
789.36/789.78	o 644
808.63/809.06	o 607
827.66/828.08	o 597
846.77/847.21	o 596
865.92/866.36	o 594
884.98/885.42	o 593
903.99/904.43	o 577
923.38/923.84	o 576
942.56/943.02	o 574
961.90/962.37	o 573
981.05/981.53	o 558
1000.13/1000.61	o 555
1019.32/1019.77	o 554
1038.18/1038.67	o 538
1057.05/1057.56	o 537
1075.89/1076.41	o 535
1094.71/1095.23	o 514
1114.13/1114.64	o 513
1135.46/1135.98	o 511
1155.24/1155.77	o 510
1174.74/1175.28	o 495
1193.78/1194.33	o 494
1212.84/1213.35	o 492
1231.83/1232.39	o 491
1250.83/1251.39	o 459
1270.70/1271.26	o 458
1289.60/1290.17	o 456
1309.33/1309.91	o 455
1328.66/1329.24	o 425
1347.84/1348.43	o 424
1367.16/1367.76	o 422
1386.40/1387.01	o 421
1405.89/1406.51	o 419
1425.08/1425.72	o 398
1443.95/1444.58	o 397
1462.99/1463.63	o 366
1481.77/1482.43	o 348
1500.91/1501.53	o 346
1519.91/1520.58	o 345
1538.70/1539.35	o 339
1557.44/1558.10	o 329
1576.80/1577.50	o 325
1595.59/1596.26	o 324
1614.98/1615.69	o 320
1633.75/1634.43	o 318
1652.46/1653.15	o 308
1671.36/1672.09	o 307
1690.42/1691.12	o 306
1709.40/1710.12	o 287
1728.54/1729.24	o 285
1747.69/1748.41	o 248
1766.69/1767.42	o 243
1785.91/1786.69	o 242
1800.02/1800.71	./satsolver.sh: line 5: 25342 Terminated              ./glucose $1 > $2 2> /dev/null
1800.02/1800.71	c error: unexpected solver exit code
1800.02/1800.71	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-3753648-1339188766/watcher-3753648-1339188766 -o /tmp/evaluation-result-3753648-1339188766/solver-3753648-1339188766 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753648-1339188766.wbo 165947395 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: 2.00 2.00 2.00 3/179 22310
/proc/meminfo: memFree=27330644/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0

[startup+0.0603651 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22310
/proc/meminfo: memFree=27330644/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100248 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22310
/proc/meminfo: memFree=27330644/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22310
/proc/meminfo: memFree=27330644/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22310
/proc/meminfo: memFree=27330644/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22317
/proc/meminfo: memFree=27321680/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=3092 CPUtime=0.2 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 1434 2217 0 0 1 0 19 0 20 0 1 0 385002400 3166208 366 33554432000 4194304 6006132 140733953439984 140733953434176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22311/statm: 773 366 158 443 0 326 0
[pid=22316] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22316/stat : 22316 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385002423 9367552 266 33554432000 4194304 5064252 140737413954256 140737413953168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22316/statm: 2287 266 226 213 0 72 0
[pid=22317] ppid=22316 vsize=8596 CPUtime=1.25 cores=1,3,5,7
/proc/22317/stat : 22317 (glucose) R 22316 22310 19799 0 -1 4202496 2667 0 0 0 125 0 0 0 20 0 1 0 385002423 8802304 1683 33554432000 4194304 5208918 140733314009712 140733314007672 4212492 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22317/statm: 2149 1683 96 248 0 1898 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 29984

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22317
/proc/meminfo: memFree=27309140/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=3092 CPUtime=0.2 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 1434 2217 0 0 1 0 19 0 20 0 1 0 385002400 3166208 366 33554432000 4194304 6006132 140733953439984 140733953434176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22311/statm: 773 366 158 443 0 326 0
[pid=22316] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22316/stat : 22316 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385002423 9367552 266 33554432000 4194304 5064252 140737413954256 140737413953168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22316/statm: 2287 266 226 213 0 72 0
[pid=22317] ppid=22316 vsize=12948 CPUtime=2.85 cores=1,3,5,7
/proc/22317/stat : 22317 (glucose) R 22316 22310 19799 0 -1 4202496 3269 0 0 0 285 0 0 0 20 0 1 0 385002423 13258752 2785 33554432000 4194304 5208918 140733314009712 140733314007656 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22317/statm: 3237 2785 96 248 0 2986 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 34336

[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22317
/proc/meminfo: memFree=27287808/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=3092 CPUtime=0.2 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 1434 2217 0 0 1 0 19 0 20 0 1 0 385002400 3166208 366 33554432000 4194304 6006132 140733953439984 140733953434176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22311/statm: 773 366 158 443 0 326 0
[pid=22316] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22316/stat : 22316 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385002423 9367552 266 33554432000 4194304 5064252 140737413954256 140737413953168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22316/statm: 2287 266 226 213 0 72 0
[pid=22317] ppid=22316 vsize=22744 CPUtime=6.05 cores=1,3,5,7
/proc/22317/stat : 22317 (glucose) R 22316 22310 19799 0 -1 4202496 4145 0 0 0 605 0 0 0 20 0 1 0 385002423 23289856 4664 33554432000 4194304 5208918 140733314009712 140733314007576 4211122 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22317/statm: 5686 4664 96 248 0 5435 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 44132

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22317
/proc/meminfo: memFree=27253796/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=3092 CPUtime=0.2 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 1434 2217 0 0 1 0 19 0 20 0 1 0 385002400 3166208 366 33554432000 4194304 6006132 140733953439984 140733953434176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22311/statm: 773 366 158 443 0 326 0
[pid=22316] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22316/stat : 22316 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385002423 9367552 266 33554432000 4194304 5064252 140737413954256 140737413953168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22316/statm: 2287 266 226 213 0 72 0
[pid=22317] ppid=22316 vsize=21752 CPUtime=12.45 cores=1,3,5,7
/proc/22317/stat : 22317 (glucose) R 22316 22310 19799 0 -1 4202496 4434 0 0 0 1245 0 0 0 20 0 1 0 385002423 22274048 4266 33554432000 4194304 5208918 140733314009712 140733314007656 4229757 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22317/statm: 5438 4266 96 248 0 5187 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 43140

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22369
/proc/meminfo: memFree=27346188/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=36452 CPUtime=13.97 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 4106 9535 0 0 13 4 1378 2 20 0 1 0 385002400 37326848 6958 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 9113 6958 167 443 0 8666 0
[pid=22323] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22323/stat : 22323 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385003799 9367552 265 33554432000 4194304 5064252 140733213938496 140733213937408 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22323/statm: 2287 265 226 213 0 72 0
[pid=22324] ppid=22323 vsize=104136 CPUtime=11.49 cores=1,3,5,7
/proc/22324/stat : 22324 (glucose) R 22323 22310 19799 0 -1 4202496 18649 0 0 0 1146 3 0 0 20 0 1 0 385003799 106635264 24199 33554432000 4194304 5208918 140734332207872 140734332205736 4229347 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22324/statm: 26034 24199 96 248 0 25783 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 158884

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22383
/proc/meminfo: memFree=27324244/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=34.59 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 6053 33697 0 0 19 4 3411 25 20 0 1 0 385002400 20549632 4619 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4619 167 443 0 4570 0
[pid=22382] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22382/stat : 22382 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385005863 9367552 267 33554432000 4194304 5064252 140737077716112 140737077715024 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22382/statm: 2287 267 226 213 0 72 0
[pid=22383] ppid=22382 vsize=72804 CPUtime=16.46 cores=1,3,5,7
/proc/22383/stat : 22383 (glucose) R 22382 22310 19799 0 -1 4202496 11438 0 0 0 1643 3 0 0 20 0 1 0 385005863 74551296 16376 33554432000 4194304 5208918 140737198598352 140737198596216 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22383/statm: 18201 16376 96 248 0 17950 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 111168

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22471
/proc/meminfo: memFree=27393484/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=92.91 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 11891 83921 0 0 39 7 9178 67 20 0 1 0 385002400 20549632 4619 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4619 167 443 0 4570 0
[pid=22410] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22410/stat : 22410 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385011695 9367552 267 33554432000 4194304 5064252 140734441022944 140734441021856 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22410/statm: 2287 267 226 213 0 72 0
[pid=22411] ppid=22410 vsize=60108 CPUtime=9.34 cores=1,3,5,7
/proc/22411/stat : 22411 (glucose) R 22410 22310 19799 0 -1 4202496 12094 0 0 0 931 3 0 0 20 0 1 0 385011695 61550592 12609 33554432000 4194304 5208918 140736292813936 140736292811880 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22411/statm: 15027 12609 96 248 0 14776 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 98472

[startup+162.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 23484
/proc/meminfo: memFree=27381620/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=151.17 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 17729 133156 0 0 57 9 14946 105 20 0 1 0 385002400 20549632 4619 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4619 167 443 0 4570 0
[pid=23462] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24862
/proc/meminfo: memFree=27410536/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=1347.96 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 109304 962738 0 0 306 42 133787 661 20 0 1 0 385002400 20549632 4620 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4620 168 443 0 4570 0
[pid=24854] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24854/stat : 24854 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385137246 9367552 267 33554432000 4194304 5064252 140735030622512 140735030621424 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24854/statm: 2287 267 226 213 0 72 0
[pid=24855] ppid=24854 vsize=37136 CPUtime=13.82 cores=1,3,5,7
/proc/24855/stat : 24855 (glucose) R 24854 22310 19799 0 -1 4202496 7594 0 0 0 1381 1 0 0 20 0 1 0 385137246 38027264 8794 33554432000 4194304 5208918 140733754668816 140733754666680 4229704 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24855/statm: 9284 8794 96 248 0 9033 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 75500

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24932
/proc/meminfo: memFree=27423492/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=1406.01 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 112592 998534 0 0 313 43 139568 677 20 0 1 0 385002400 20549632 4620 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4620 168 443 0 4570 0
[pid=24917] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24917/stat : 24917 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385143054 9367552 266 33554432000 4194304 5064252 140734421994448 140734421993360 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24917/statm: 2287 266 226 213 0 72 0
[pid=24918] ppid=24917 vsize=37076 CPUtime=15.74 cores=1,3,5,7
/proc/24918/stat : 24918 (glucose) R 24917 22310 19799 0 -1 4202496 7908 0 0 0 1573 1 0 0 20 0 1 0 385143054 37965824 8791 33554432000 4194304 5208918 140733531272240 140733531270104 4229403 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24918/statm: 9269 8791 96 248 0 9018 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 75440

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24995
/proc/meminfo: memFree=27407352/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=1463.1 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 115756 1032819 0 0 320 44 145252 694 20 0 1 0 385002400 20549632 4620 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4620 168 443 0 4570 0
[pid=24980] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24980/stat : 24980 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385148765 9367552 267 33554432000 4194304 5064252 140733655837248 140733655836160 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24980/statm: 2287 267 226 213 0 72 0
[pid=24981] ppid=24980 vsize=45252 CPUtime=18.62 cores=1,3,5,7
/proc/24981/stat : 24981 (glucose) R 24980 22310 19799 0 -1 4202496 6122 0 0 0 1861 1 0 0 20 0 1 0 385148766 46338048 10782 33554432000 4194304 5208918 140734141773024 140734141771016 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24981/statm: 11313 10782 104 248 0 11062 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 83616

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25065
/proc/meminfo: memFree=27431712/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=1538.8 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 119760 1075247 0 0 329 45 152788 718 20 0 1 0 385002400 20549632 4620 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4620 168 443 0 4570 0
[pid=25064] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25064/stat : 25064 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385156338 9367552 267 33554432000 4194304 5064252 140735236110336 140735236109248 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25064/statm: 2287 267 226 213 0 72 0
[pid=25065] ppid=25064 vsize=21616 CPUtime=2.91 cores=1,3,5,7
/proc/25065/stat : 25065 (glucose) R 25064 22310 19799 0 -1 4202496 5894 0 0 0 291 0 0 0 20 0 1 0 385156338 22134784 4910 33554432000 4194304 5208918 140736388582352 140736388580344 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 5404 4910 96 248 0 5153 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 59980

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25135
/proc/meminfo: memFree=27435324/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=1595.69 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 122699 1107703 0 0 335 46 158454 734 20 0 1 0 385002400 20549632 4620 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4620 168 443 0 4570 0
[pid=25127] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25127/stat : 25127 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385162029 9367552 266 33554432000 4194304 5064252 140735408958400 140735408957312 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25127/statm: 2287 266 226 213 0 72 0
[pid=25128] ppid=25127 vsize=28504 CPUtime=6 cores=1,3,5,7
/proc/25128/stat : 25128 (glucose) R 25127 22310 19799 0 -1 4202496 6015 0 0 0 599 1 0 0 20 0 1 0 385162029 29188096 6551 33554432000 4194304 5208918 140735645443248 140735645441192 4229277 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25128/statm: 7126 6551 96 248 0 6875 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 66868

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25202
/proc/meminfo: memFree=27426916/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=1652.55 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 125592 1139217 0 0 341 47 164118 749 20 0 1 0 385002400 20549632 4620 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4620 168 443 0 4570 0
[pid=25194] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25194/stat : 25194 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385167717 9367552 267 33554432000 4194304 5064252 140737454884464 140737454883376 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25194/statm: 2287 267 226 213 0 72 0
[pid=25195] ppid=25194 vsize=28288 CPUtime=9.12 cores=1,3,5,7
/proc/25195/stat : 25195 (glucose) R 25194 22310 19799 0 -1 4202496 6163 0 0 0 911 1 0 0 20 0 1 0 385167717 28966912 6439 33554432000 4194304 5208918 140734620502656 140734620500600 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25195/statm: 7072 6439 96 248 0 6821 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 66652

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25265
/proc/meminfo: memFree=27419992/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=1709.5 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 128430 1170171 0 0 346 48 169790 766 20 0 1 0 385002400 20549632 4620 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4620 168 443 0 4570 0
[pid=25257] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25257/stat : 25257 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385173414 9367552 267 33554432000 4194304 5064252 140735610929920 140735610928832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25257/statm: 2287 267 226 213 0 72 0
[pid=25258] ppid=25257 vsize=32460 CPUtime=12.14 cores=1,3,5,7
/proc/25258/stat : 25258 (glucose) R 25257 22310 19799 0 -1 4202496 5352 0 0 0 1213 1 0 0 20 0 1 0 385173414 33239040 7413 33554432000 4194304 5208918 140734216341840 140734216339704 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25258/statm: 8115 7413 96 248 0 7864 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 70824

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25328
/proc/meminfo: memFree=27421652/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=1766.77 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 131111 1199095 0 0 351 49 175498 779 20 0 1 0 385002400 20549632 4620 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4620 168 443 0 4570 0
[pid=25320] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25320/stat : 25320 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385179144 9367552 266 33554432000 4194304 5064252 140737248411152 140737248410064 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25320/statm: 2287 266 226 213 0 72 0
[pid=25321] ppid=25320 vsize=29900 CPUtime=14.84 cores=1,3,5,7
/proc/25321/stat : 25321 (glucose) R 25320 22310 19799 0 -1 4202496 6148 0 0 0 1483 1 0 0 20 0 1 0 385179144 30617600 7091 33554432000 4194304 5208918 140735269901696 140735269899560 4229203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25321/statm: 7475 7091 96 248 0 7224 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 68264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25349
/proc/meminfo: memFree=27421668/32873660 swapFree=7120/7120
[pid=22310] ppid=22308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (npSolver-wbo-It) S 22308 22310 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385002400 9367552 275 33554432000 4194304 5064252 140734886569744 140734886568656 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22310/statm: 2287 275 233 213 0 72 0
[pid=22311] ppid=22310 vsize=20068 CPUtime=1786.03 cores=1,3,5,7
/proc/22311/stat : 22311 (npSolver-wbo) S 22310 22310 19799 0 -1 4202496 131983 1208755 0 0 352 49 177417 785 20 0 1 0 385002400 20549632 4620 33554432000 4194304 6006132 140733953439984 140733953431376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22311/statm: 5017 4620 168 443 0 4570 0
[pid=25341] ppid=22311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25341/stat : 25341 (satsolver.sh) S 22311 22310 19799 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385181070 9367552 266 33554432000 4194304 5064252 140733578034928 140733578033840 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25341/statm: 2287 266 226 213 0 72 0
[pid=25342] ppid=25341 vsize=29644 CPUtime=13.99 cores=1,3,5,7
/proc/25342/stat : 25342 (glucose) R 25341 22310 19799 0 -1 4202496 5886 0 0 0 1398 1 0 0 20 0 1 0 385181071 30355456 7115 33554432000 4194304 5208918 140734024136032 140734024133896 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25342/statm: 7411 7115 96 248 0 7160 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 68008

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.72
CPU time (s): 1800.06
CPU user time (s): 1791.69
CPU system time (s): 8.36773
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 158884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.69
system time used= 8.36773
maximum resident set size= 96840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1347613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 629384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12766
involuntary context switches= 2931

runsolver used 3.10853 second user time and 8.45971 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-08 22:52:46
IDJOB=3753648
IDBENCH=78775
IDSOLVER=2337
FILE ID=node117/3753648-1339188766
RUNJOBID= node117-1339183362-21750
PBS_JOBID= 14643835
Free space on /tmp= 70708 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753648-1339188766/watcher-3753648-1339188766 -o /tmp/evaluation-result-3753648-1339188766/solver-3753648-1339188766 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3753648-1339188766.wbo 165947395 HOME HOME

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

MD5SUM BENCH= 4d45122e251aca3cc1eaa7c8fe64e1aa
RANDOM SEED=165947395

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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		: 2667.148
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:       32873660 kB
MemFree:        27330900 kB
Buffers:          801484 kB
Cached:          3583876 kB
SwapCached:          620 kB
Active:          2498324 kB
Inactive:        2047004 kB
Active(anon):     148496 kB
Inactive(anon):    10028 kB
Active(file):    2349828 kB
Inactive(file):  2036976 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67106956 kB
Dirty:              8160 kB
Writeback:             0 kB
AnonPages:        264448 kB
Mapped:            13276 kB
Shmem:                80 kB
Slab:             834620 kB
SReclaimable:     278896 kB
SUnreclaim:       555724 kB
KernelStack:        1520 kB
PageTables:         4128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     334076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70696 MiB
End job on node117 at 2012-06-08 23:22:47