Trace number 3753645

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo
MD5SUMae60804d96363031fd1d95f40cdae528
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.527918
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 constraints69
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 3204
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3203
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1270
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.03	c run usual solver
15.86/15.98	o 994
29.56/29.62	o 976
43.00/43.22	o 975
56.35/56.55	o 972
69.65/69.86	o 971
83.06/83.27	o 968
96.36/96.59	o 967
109.86/109.95	o 964
123.30/123.52	o 963
136.60/136.82	o 955
150.05/150.10	o 954
163.22/163.45	o 951
176.45/176.67	o 950
189.76/189.99	o 947
203.34/203.40	o 946
217.00/217.24	o 943
230.30/230.55	o 942
243.68/243.91	o 924
256.98/257.21	o 923
270.41/270.55	o 920
283.72/283.86	o 919
296.95/297.20	o 915
310.25/310.49	o 914
323.52/323.78	o 889
336.77/337.02	o 888
350.13/350.38	o 885
363.46/363.72	o 884
377.09/377.22	o 881
390.38/390.52	o 880
403.61/403.88	o 877
416.83/417.11	o 876
430.05/430.34	o 875
443.38/443.66	o 850
456.48/456.77	o 849
469.63/469.92	o 846
482.86/483.16	o 845
495.88/496.19	o 842
509.15/509.34	o 841
522.33/522.65	o 838
535.60/535.91	o 837
548.83/549.15	o 836
562.04/562.37	o 835
575.31/575.63	o 822
588.81/589.14	o 821
602.78/603.11	o 818
616.19/616.52	o 817
629.56/629.90	o 814
642.84/643.18	o 813
655.96/656.30	o 810
669.02/669.38	o 809
682.21/682.57	o 808
695.39/695.75	o 807
708.64/709.00	o 786
721.98/722.20	o 784
734.83/735.21	o 783
748.05/748.42	o 758
761.06/761.43	o 757
774.24/774.62	o 754
787.46/787.83	o 753
800.59/800.97	o 750
813.78/814.15	o 749
826.84/827.19	o 746
840.20/840.59	o 745
853.64/854.05	o 744
866.88/867.29	o 743
880.23/880.63	o 740
893.57/893.98	o 739
906.82/907.10	o 736
919.79/920.21	o 735
932.92/933.35	o 734
945.99/946.41	o 733
959.26/959.68	o 728
972.61/973.04	o 726
985.94/986.37	o 725
999.21/999.65	o 700
1012.45/1012.89	o 699
1025.89/1026.25	o 696
1039.18/1039.51	o 695
1052.33/1052.77	o 692
1065.68/1066.13	o 691
1078.69/1079.14	o 688
1092.09/1092.55	o 687
1105.37/1105.83	o 686
1118.78/1119.24	o 685
1132.35/1132.81	o 682
1146.23/1146.70	o 681
1160.04/1160.44	o 678
1173.28/1173.75	o 677
1186.55/1187.02	o 676
1199.76/1200.12	o 675
1212.92/1213.41	o 666
1226.13/1226.61	o 665
1239.39/1239.86	o 662
1252.56/1253.06	o 661
1265.82/1266.32	o 658
1278.89/1279.31	o 657
1292.02/1292.54	o 654
1305.36/1305.89	o 653
1318.60/1319.14	o 652
1332.14/1332.71	o 651
1345.46/1346.06	o 648
1359.02/1359.54	o 647
1372.34/1372.95	o 644
1385.60/1386.21	o 643
1399.13/1399.75	o 642
1412.56/1413.18	o 641
1426.75/1427.45	o 636
1440.09/1440.78	o 634
1453.52/1454.22	o 633
1466.95/1467.65	o 608
1480.48/1481.18	o 607
1493.88/1494.59	o 604
1506.97/1507.67	o 603
1520.14/1520.85	o 600
1533.33/1534.05	o 599
1546.61/1547.45	o 596
1559.78/1560.62	o 595
1573.09/1573.92	o 594
1586.00/1586.84	o 593
1599.09/1599.95	o 590
1612.35/1613.21	o 589
1625.64/1626.51	o 586
1639.34/1640.21	o 585
1652.44/1653.33	o 584
1665.62/1666.50	o 583
1678.94/1679.83	o 580
1691.90/1692.78	o 579
1705.06/1705.98	o 576
1718.16/1719.08	o 575
1731.39/1732.20	o 574
1744.40/1745.33	o 573
1757.32/1758.26	o 572
1770.49/1771.44	o 569
1783.48/1784.43	o 568
1796.68/1797.64	o 567
1800.03/1800.90	./satsolver.sh: line 5: 17552 Terminated              ./glucose $1 > $2 2> /dev/null
1800.03/1800.90	c error: unexpected solver exit code
1800.03/1800.90	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-3753645-1339189681/watcher-3753645-1339189681 -o /tmp/evaluation-result-3753645-1339189681/solver-3753645-1339189681 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753645-1339189681.wbo 1034411873 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 1.97 3/177 16165
/proc/meminfo: memFree=29525500/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0

[startup+0.0123059 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16165
/proc/meminfo: memFree=29525500/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100201 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16165
/proc/meminfo: memFree=29525500/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300112 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16165
/proc/meminfo: memFree=29525500/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700101 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16165
/proc/meminfo: memFree=29525500/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16217
/proc/meminfo: memFree=29788908/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 1442 2168 0 0 1 0 15 0 20 0 1 0 385093583 3162112 373 33554432000 4194304 6006132 140736655126624 140736655120816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 772 373 158 443 0 325 0
[pid=16211] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16211/stat : 16211 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385093602 9367552 266 33554432000 4194304 5064252 140736697682880 140736697681792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16211/statm: 2287 266 226 213 0 72 0
[pid=16212] ppid=16211 vsize=9356 CPUtime=1.3 cores=1,3,5,7
/proc/16212/stat : 16212 (glucose) R 16211 16165 14131 0 -1 4202496 2537 0 0 0 130 0 0 0 20 0 1 0 385093602 9580544 1503 33554432000 4194304 5208918 140735328507488 140735328505336 4213584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16212/statm: 2339 1503 96 248 0 2088 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30740

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16217
/proc/meminfo: memFree=29778520/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 1442 2168 0 0 1 0 15 0 20 0 1 0 385093583 3162112 373 33554432000 4194304 6006132 140736655126624 140736655120816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 772 373 158 443 0 325 0
[pid=16211] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16211/stat : 16211 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385093602 9367552 266 33554432000 4194304 5064252 140736697682880 140736697681792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16211/statm: 2287 266 226 213 0 72 0
[pid=16212] ppid=16211 vsize=18796 CPUtime=2.89 cores=1,3,5,7
/proc/16212/stat : 16212 (glucose) R 16211 16165 14131 0 -1 4202496 3813 0 0 0 289 0 0 0 20 0 1 0 385093602 19247104 3774 33554432000 4194304 5208918 140735328507488 140735328505432 4229307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16212/statm: 4699 3774 96 248 0 4448 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 40180

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16217
/proc/meminfo: memFree=29764700/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 1442 2168 0 0 1 0 15 0 20 0 1 0 385093583 3162112 373 33554432000 4194304 6006132 140736655126624 140736655120816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 772 373 158 443 0 325 0
[pid=16211] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16211/stat : 16211 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385093602 9367552 266 33554432000 4194304 5064252 140736697682880 140736697681792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16211/statm: 2287 266 226 213 0 72 0
[pid=16212] ppid=16211 vsize=18796 CPUtime=6.09 cores=1,3,5,7
/proc/16212/stat : 16212 (glucose) R 16211 16165 14131 0 -1 4202496 4061 0 0 0 609 0 0 0 20 0 1 0 385093602 19247104 4283 33554432000 4194304 5208918 140735328507488 140735328505432 4229688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16212/statm: 4699 4283 96 248 0 4448 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 40180

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16224
/proc/meminfo: memFree=29687644/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 1442 2168 0 0 1 0 15 0 20 0 1 0 385093583 3162112 373 33554432000 4194304 6006132 140736655126624 140736655120816 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 772 373 158 443 0 325 0
[pid=16211] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16211/stat : 16211 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385093602 9367552 266 33554432000 4194304 5064252 140736697682880 140736697681792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16211/statm: 2287 266 226 213 0 72 0
[pid=16212] ppid=16211 vsize=21540 CPUtime=12.5 cores=1,3,5,7
/proc/16212/stat : 16212 (glucose) R 16211 16165 14131 0 -1 4202496 4771 0 0 0 1249 1 0 0 20 0 1 0 385093602 22056960 4954 33554432000 4194304 5208918 140735328507488 140735328505352 4211916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16212/statm: 5385 4954 96 248 0 5134 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 42924

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16231
/proc/meminfo: memFree=29614124/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=16.03 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 3335 10308 0 0 8 2 1591 2 20 0 1 0 385093583 20148224 4145 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16166/statm: 4919 4145 167 443 0 4472 0
[pid=16230] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16230/stat : 16230 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385095189 9367552 267 33554432000 4194304 5064252 140737441146064 140737441144976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16230/statm: 2287 267 226 213 0 72 0
[pid=16231] ppid=16230 vsize=66220 CPUtime=9.43 cores=1,3,5,7
/proc/16231/stat : 16231 (glucose) R 16230 16165 14131 0 -1 4202496 12341 0 0 0 941 2 0 0 20 0 1 0 385095189 67809280 14440 33554432000 4194304 5208918 140734211492304 140734211490168 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16231/statm: 16555 14440 96 248 0 16304 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 104192

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16252
/proc/meminfo: memFree=29620312/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=43.27 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 7101 43403 0 0 22 4 4280 21 20 0 1 0 385093583 20148224 4146 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16166/statm: 4919 4146 167 443 0 4472 0
[pid=16251] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16251/stat : 16251 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385097912 9367552 267 33554432000 4194304 5064252 140736773846080 140736773844992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16251/statm: 2287 267 226 213 0 72 0
[pid=16252] ppid=16251 vsize=65824 CPUtime=7.79 cores=1,3,5,7
/proc/16252/stat : 16252 (glucose) R 16251 16165 14131 0 -1 4202496 11719 0 0 0 777 2 0 0 20 0 1 0 385097912 67403776 14534 33554432000 4194304 5208918 140737336851584 140737336849448 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16252/statm: 16456 14534 96 248 0 16205 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 103796

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16287
/proc/meminfo: memFree=29615332/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=96.63 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 14633 106501 0 0 48 7 9549 59 20 0 1 0 385093583 20148224 4147 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 4919 4147 167 443 0 4472 0
[pid=16286] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16286/stat : 16286 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385103249 9367552 266 33554432000 4194304 5064252 140737119850128 140737119849040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16286/statm: 2287 266 226 213 0 72 0
[pid=16287] ppid=16286 vsize=60568 CPUtime=5.63 cores=1,3,5,7
/proc/16287/stat : 16287 (glucose) R 16286 16165 14131 0 -1 4202496 12016 0 0 0 560 3 0 0 20 0 1 0 385103249 62021632 14392 33554432000 4194304 5208918 140736108566624 140736108564488 4211501 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16287/statm: 15142 14392 96 248 0 14891 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 98540

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 16333
/proc/meminfo: memFree=29619264/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=150.12 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 22165 169517 0 0 74 10 14834 94 20 0 1 0 385093583 20148224 4148 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16166/statm: 4919 4148 167 443 0 4472 0
[pid=16332] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 17269
/proc/meminfo: memFree=29657156/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1412.73 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 178058 1539232 0 0 566 71 139815 821 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17268] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17268/stat : 17268 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385234905 9367552 267 33554432000 4194304 5064252 140733286680416 140733286679328 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17268/statm: 2287 267 226 213 0 72 0
[pid=17269] ppid=17268 vsize=53936 CPUtime=9.06 cores=1,3,5,7
/proc/17269/stat : 17269 (glucose) R 17268 16165 14131 0 -1 4202496 9694 0 0 0 905 1 0 0 20 0 1 0 385234906 55230464 11954 33554432000 4194304 5208918 140736425406720 140736425404664 4229717 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17269/statm: 13484 11954 96 248 0 13233 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 91908

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/181 17318
/proc/meminfo: memFree=29700248/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1480.65 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 185120 1608765 0 0 586 75 146550 854 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17317] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17317/stat : 17317 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385241706 9367552 266 33554432000 4194304 5064252 140734686043648 140734686042560 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17317/statm: 2287 266 226 213 0 72 0
[pid=17318] ppid=17317 vsize=30260 CPUtime=1.05 cores=1,3,5,7
/proc/17318/stat : 17318 (glucose) R 17317 16165 14131 0 -1 4202496 6069 0 0 0 105 0 0 0 20 0 1 0 385241706 30986240 6909 33554432000 4194304 5208918 140735643985744 140735643983592 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17318/statm: 7565 6909 95 248 0 7314 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 68232

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/181 17353
/proc/meminfo: memFree=29657644/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1533.48 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 190652 1660999 0 0 601 77 151793 877 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17352] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17352/stat : 17352 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385246993 9367552 266 33554432000 4194304 5064252 140737319633248 140737319632160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17352/statm: 2287 266 226 213 0 72 0
[pid=17353] ppid=17352 vsize=46768 CPUtime=8.17 cores=1,3,5,7
/proc/17353/stat : 17353 (glucose) R 17352 16165 14131 0 -1 4202496 9311 0 0 0 816 1 0 0 20 0 1 0 385246993 47890432 10293 33554432000 4194304 5208918 140734153709072 140734153707016 4211744 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17353/statm: 11692 10293 96 248 0 11441 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 84740

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/181 17402
/proc/meminfo: memFree=29675232/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1599.24 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 197516 1723398 0 0 621 80 158316 907 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17401] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17401/stat : 17401 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385253582 9367552 267 33554432000 4194304 5064252 140735776943984 140735776942896 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17401/statm: 2287 267 226 213 0 72 0
[pid=17402] ppid=17401 vsize=30452 CPUtime=2.29 cores=1,3,5,7
/proc/17402/stat : 17402 (glucose) R 17401 16165 14131 0 -1 4202496 7184 0 0 0 228 1 0 0 20 0 1 0 385253582 31182848 6477 33554432000 4194304 5208918 140734339275888 140734339274040 4231478 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17402/statm: 7613 6477 96 248 0 7362 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 68424

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 17445
/proc/meminfo: memFree=29668340/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1652.61 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 202981 1774224 0 0 637 82 163611 931 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17444] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17444/stat : 17444 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385258920 9367552 266 33554432000 4194304 5064252 140735260541296 140735260540208 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17444/statm: 2287 266 226 213 0 72 0
[pid=17445] ppid=17444 vsize=46576 CPUtime=8.91 cores=1,3,5,7
/proc/17445/stat : 17445 (glucose) R 17444 16165 14131 0 -1 4202496 7888 0 0 0 890 1 0 0 20 0 1 0 385258920 47693824 10240 33554432000 4194304 5208918 140735854529312 140735854527256 4229528 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17445/statm: 11644 10240 96 248 0 11393 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 84548

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/181 17496
/proc/meminfo: memFree=29688808/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1718.32 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 209815 1835725 0 0 656 84 170131 961 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17495] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385265495 9367552 267 33554432000 4194304 5064252 140733537487072 140733537485984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17495/statm: 2287 267 226 213 0 72 0
[pid=17496] ppid=17495 vsize=27884 CPUtime=3.16 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 16165 14131 0 -1 4202496 7658 0 0 0 315 1 0 0 20 0 1 0 385265495 28553216 6209 33554432000 4194304 5208918 140734667665904 140734667663752 4205148 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17496/statm: 6971 6209 96 248 0 6720 0
Current children cumulated CPU time (s) 1721.48
Current children cumulated vsize (KiB) 65856

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/181 17538
/proc/meminfo: memFree=29689908/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1770.64 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 215287 1885697 0 0 671 86 175323 984 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17530] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17530/stat : 17530 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385270732 9367552 266 33554432000 4194304 5064252 140735332105328 140735332104240 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17530/statm: 2287 266 226 213 0 72 0
[pid=17531] ppid=17530 vsize=46368 CPUtime=10.79 cores=1,3,5,7
/proc/17531/stat : 17531 (glucose) R 17530 16165 14131 0 -1 4202496 7445 0 0 0 1078 1 0 0 20 0 1 0 385270732 47480832 10315 33554432000 4194304 5208918 140736831077056 140736831075000 4229515 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 11592 10315 96 248 0 11341 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (KiB) 84340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.01 2.00 1.99 3/176 17557
/proc/meminfo: memFree=29744804/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1796.83 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 218023 1910320 0 0 679 87 177920 997 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17551] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17551/stat : 17551 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385273351 9367552 267 33554432000 4194304 5064252 140735569051632 140735569050544 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17551/statm: 2287 267 226 213 0 72 0
[pid=17552] ppid=17551 vsize=34856 CPUtime=3.2 cores=1,3,5,7
/proc/17552/stat : 17552 (glucose) R 17551 16165 14131 0 -1 4202496 7608 0 0 0 320 0 0 0 20 0 1 0 385273352 35692544 7631 33554432000 4194304 5208918 140735569345504 140735569343592 4229745 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17552/statm: 8714 7631 96 248 0 8463 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 72828

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.9 s]
/proc/loadavg: 2.01 2.00 1.99 3/176 17557
/proc/meminfo: memFree=29744804/32873624 swapFree=7112/7112
[pid=16165] ppid=16163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16165/stat : 16165 (npSolver-wbo-It) S 16163 16165 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 385093583 9367552 275 33554432000 4194304 5064252 140737151751696 140737151750608 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16165/statm: 2287 275 233 213 0 72 0
[pid=16166] ppid=16165 vsize=19676 CPUtime=1796.83 cores=1,3,5,7
/proc/16166/stat : 16166 (npSolver-wbo) S 16165 16165 14131 0 -1 4202496 218023 1910320 0 0 679 87 177920 997 20 0 1 0 385093583 20148224 4157 33554432000 4194304 6006132 140736655126624 140736655118016 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16166/statm: 4919 4157 168 443 0 4472 0
[pid=17551] ppid=16166 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17551/stat : 17551 (satsolver.sh) S 16166 16165 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385273351 9367552 267 33554432000 4194304 5064252 140735569051632 140735569050544 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17551/statm: 2287 267 226 213 0 72 0
[pid=17552] ppid=17551 vsize=34856 CPUtime=3.2 cores=1,3,5,7
/proc/17552/stat : 17552 (glucose) R 17551 16165 14131 0 -1 4202496 7608 0 0 0 320 0 0 0 20 0 1 0 385273352 35692544 7631 33554432000 4194304 5208918 140735569345504 140735569343592 4229745 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17552/statm: 8714 7631 96 248 0 8463 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 72828

Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.07
CPU user time (s): 1789.2
CPU system time (s): 10.8683
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 105744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.2
system time used= 10.8683
maximum resident set size= 58972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2136943
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1213256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23736
involuntary context switches= 4604

runsolver used 2.85757 second user time and 7.08592 second system time

The end

Launcher Data

Begin job on node121 at 2012-06-08 23:08:01
IDJOB=3753645
IDBENCH=78863
IDSOLVER=2337
FILE ID=node121/3753645-1339189681
RUNJOBID= node121-1339184277-15569
PBS_JOBID= 14643801
Free space on /tmp= 71220 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226368--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-3753645-1339189681/watcher-3753645-1339189681 -o /tmp/evaluation-result-3753645-1339189681/solver-3753645-1339189681 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3753645-1339189681.wbo 1034411873 HOME HOME

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

MD5SUM BENCH= ae60804d96363031fd1d95f40cdae528
RANDOM SEED=1034411873

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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.042
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.042
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	: 5438.55
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.042
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:       32873624 kB
MemFree:        29525864 kB
Buffers:          944992 kB
Cached:          1166588 kB
SwapCached:          308 kB
Active:          2361980 kB
Inactive:          46188 kB
Active(anon):     275732 kB
Inactive(anon):     8848 kB
Active(file):    2086248 kB
Inactive(file):    37340 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67106508 kB
Dirty:              8172 kB
Writeback:             8 kB
AnonPages:        288508 kB
Mapped:            12624 kB
Shmem:                40 kB
Slab:             801612 kB
SReclaimable:     245488 kB
SUnreclaim:       556124 kB
KernelStack:        1472 kB
PageTables:         4680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     393620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 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= 71208 MiB
End job on node121 at 2012-06-08 23:38:02