Trace number 3715138

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDown? (TO) 1800.11 1787.42

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
MD5SUM944c5e420229bce90a366c23629af03a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark540
Best CPU time to get the best result obtained on this benchmark0.087986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints1000
Number of soft constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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
0.00/0.06	o 12628
0.00/0.06	c fallback to adder encoding
12.67/12.70	o 12608
12.67/12.70	c fallback to adder encoding
24.26/24.36	o 12605
24.26/24.36	c fallback to adder encoding
35.46/35.57	o 12588
35.46/35.57	c fallback to adder encoding
49.56/49.69	o 12585
49.56/49.69	c fallback to adder encoding
64.56/64.66	o 12583
64.56/64.66	c fallback to adder encoding
72.25/72.38	o 12579
72.25/72.38	c fallback to adder encoding
83.24/83.33	o 12576
83.24/83.33	c fallback to adder encoding
113.36/113.40	o 12571
113.36/113.40	c fallback to adder encoding
122.26/122.34	o 12566
122.26/122.34	c fallback to adder encoding
128.45/128.57	o 12544
128.45/128.57	c fallback to adder encoding
134.64/134.74	o 12541
134.64/134.74	c fallback to adder encoding
140.33/140.44	o 12539
140.33/140.44	c fallback to adder encoding
146.72/146.83	o 12525
146.72/146.83	c fallback to adder encoding
155.51/155.60	o 12521
155.51/155.60	c fallback to adder encoding
165.35/165.48	o 12514
165.35/165.48	c fallback to adder encoding
172.56/172.68	o 12509
172.56/172.68	c fallback to adder encoding
182.60/182.71	o 12499
182.60/182.71	c fallback to adder encoding
194.84/194.97	o 12493
194.84/194.97	c fallback to adder encoding
200.54/200.68	o 12490
200.54/200.68	c fallback to adder encoding
210.53/210.64	o 12489
210.53/210.64	c fallback to adder encoding
216.44/216.57	o 12483
216.44/216.57	c fallback to adder encoding
226.15/226.26	o 12480
226.15/226.26	c fallback to adder encoding
234.14/234.28	o 12405
234.14/234.28	c fallback to adder encoding
240.00/240.12	o 12400
240.00/240.12	c fallback to adder encoding
248.63/248.75	o 12396
248.63/248.75	c fallback to adder encoding
255.40/255.51	o 12391
255.40/255.51	c fallback to adder encoding
260.33/260.47	o 12387
260.33/260.47	c fallback to adder encoding
281.23/281.39	o 12357
281.23/281.39	c fallback to adder encoding
291.13/291.29	o 12352
291.13/291.29	c fallback to adder encoding
298.41/298.57	o 12340
298.41/298.57	c fallback to adder encoding
302.33/302.43	o 12337
302.33/302.43	c fallback to adder encoding
307.71/307.89	o 12335
307.71/307.89	c fallback to adder encoding
316.49/316.61	o 12334
316.49/316.61	c fallback to adder encoding
322.68/322.81	o 12331
322.68/322.81	c fallback to adder encoding
335.21/335.37	o 12327
335.21/335.37	c fallback to adder encoding
343.52/343.60	o 12325
343.52/343.60	c fallback to adder encoding
353.17/353.30	o 12318
353.17/353.30	c fallback to adder encoding
362.91/363.04	o 12317
362.91/363.04	c fallback to adder encoding
367.47/367.60	o 12309
367.47/367.60	c fallback to adder encoding
375.81/375.98	o 12306
375.81/375.98	c fallback to adder encoding
381.31/381.41	o 12305
381.31/381.41	c fallback to adder encoding
391.20/391.35	o 12299
391.20/391.35	c fallback to adder encoding
397.35/397.51	o 12298
397.35/397.51	c fallback to adder encoding
411.43/411.60	o 12297
411.43/411.60	c fallback to adder encoding
426.49/426.60	o 12292
426.49/426.60	c fallback to adder encoding
432.25/432.42	o 12289
432.25/432.42	c fallback to adder encoding
438.06/438.24	o 12288
438.06/438.24	c fallback to adder encoding
443.07/443.30	o 12287
443.07/443.30	c fallback to adder encoding
446.68/446.80	o 12236
446.68/446.80	c fallback to adder encoding
460.07/460.28	o 12235
460.07/460.28	c fallback to adder encoding
480.83/481.00	o 12230
480.83/481.00	c fallback to adder encoding
492.76/492.94	o 12229
492.76/492.94	c fallback to adder encoding
500.56/500.78	o 11959
500.56/500.78	c fallback to adder encoding
506.56/506.73	o 11953
506.56/506.73	c fallback to adder encoding
516.16/516.36	o 11941
516.16/516.36	c fallback to adder encoding
528.94/529.13	o 11938
528.94/529.13	c fallback to adder encoding
534.65/534.87	o 11935
534.65/534.87	c fallback to adder encoding
545.24/545.46	o 11913
545.24/545.46	c fallback to adder encoding
561.84/562.03	o 11911
561.84/562.03	c fallback to adder encoding
567.74/567.97	o 11910
567.74/567.97	c fallback to adder encoding
577.63/577.85	o 11909
577.63/577.85	c fallback to adder encoding
581.72/581.94	o 11906
581.72/581.94	c fallback to adder encoding
602.12/602.37	o 11901
602.12/602.37	c fallback to adder encoding
610.11/610.34	o 11900
610.11/610.34	c fallback to adder encoding
622.44/622.66	o 11897
622.44/622.66	c fallback to adder encoding
629.69/629.92	o 11892
629.69/629.92	c fallback to adder encoding
637.17/637.41	o 11881
637.17/637.41	c fallback to adder encoding
645.90/646.19	o 11838
645.90/646.19	c fallback to adder encoding
654.40/654.68	o 11830
654.40/654.68	c fallback to adder encoding
671.81/672.05	o 11826
671.81/672.05	c fallback to adder encoding
676.11/676.39	o 11818
676.11/676.39	c fallback to adder encoding
686.16/686.43	o 11813
686.16/686.43	c fallback to adder encoding
689.99/690.28	o 11810
689.99/690.28	c fallback to adder encoding
700.86/701.17	o 11776
700.86/701.17	c fallback to adder encoding
705.88/706.19	o 11769
705.88/706.19	c fallback to adder encoding
724.28/724.69	o 11740
724.28/724.69	c fallback to adder encoding
735.09/735.49	o 11739
735.09/735.49	c fallback to adder encoding
745.27/745.65	o 11733
745.27/745.65	c fallback to adder encoding
758.16/758.57	o 11728
758.16/758.57	c fallback to adder encoding
777.57/777.99	o 11724
777.57/777.99	c fallback to adder encoding
785.44/785.82	o 11718
785.44/785.82	c fallback to adder encoding
793.86/794.29	o 11716
793.86/794.29	c fallback to adder encoding
805.14/805.53	o 11712
805.14/805.53	c fallback to adder encoding
814.16/814.54	o 11704
814.16/814.54	c fallback to adder encoding
822.95/823.34	o 11703
822.95/823.34	c fallback to adder encoding
829.75/830.19	o 11697
829.75/830.19	c fallback to adder encoding
842.05/842.46	o 11695
842.05/842.46	c fallback to adder encoding
848.17/848.50	o 11693
848.17/848.50	c fallback to adder encoding
861.32/861.71	o 11689
861.32/861.71	c fallback to adder encoding
868.41/868.81	o 11670
868.41/868.81	c fallback to adder encoding
881.44/881.89	o 11649
881.44/881.89	c fallback to adder encoding
902.51/902.91	o 11648
902.51/902.91	c fallback to adder encoding
915.10/915.50	o 11628
915.10/915.50	c fallback to adder encoding
921.65/922.07	o 11626
921.65/922.07	c fallback to adder encoding
931.94/932.36	o 11608
931.94/932.36	c fallback to adder encoding
942.26/942.74	o 11585
942.26/942.74	c fallback to adder encoding
956.93/957.48	o 11584
956.93/957.48	c fallback to adder encoding
977.03/977.57	o 11580
977.03/977.57	c fallback to adder encoding
990.72/991.25	o 11578
990.72/991.25	c fallback to adder encoding
1000.12/1000.68	o 11543
1000.12/1000.68	c fallback to adder encoding
1003.73/1004.25	o 11536
1003.73/1004.25	c fallback to adder encoding
1014.52/1015.08	o 11535
1014.52/1015.08	c fallback to adder encoding
1027.21/1027.74	o 11532
1027.21/1027.74	c fallback to adder encoding
1035.39/1035.92	o 11528
1035.39/1035.92	c fallback to adder encoding
1044.32/1044.85	o 11522
1044.32/1044.85	c fallback to adder encoding
1052.98/1053.51	o 11521
1052.98/1053.51	c fallback to adder encoding
1070.90/1071.43	o 11520
1070.90/1071.43	c fallback to adder encoding
1082.21/1082.79	o 11487
1082.21/1082.79	c fallback to adder encoding
1086.08/1086.62	o 11484
1086.08/1086.62	c fallback to adder encoding
1099.00/1099.55	o 11476
1099.00/1099.55	c fallback to adder encoding
1115.29/1115.88	o 11475
1115.29/1115.88	c fallback to adder encoding
1122.39/1122.97	o 11473
1122.39/1122.97	c fallback to adder encoding
1135.09/1135.65	o 11457
1135.09/1135.65	c fallback to adder encoding
1147.87/1148.50	o 11454
1147.87/1148.50	c fallback to adder encoding
1157.32/1157.95	o 11453
1157.32/1157.95	c fallback to adder encoding
1166.61/1167.26	o 9466
1166.61/1167.26	c fallback to adder encoding
1175.10/1175.74	o 9465
1175.10/1175.74	c fallback to adder encoding
1184.99/1185.70	o 9453
1184.99/1185.70	c fallback to adder encoding
1190.40/1191.07	o 9452
1190.40/1191.07	c fallback to adder encoding
1200.59/1201.23	o 9438
1200.59/1201.23	c fallback to adder encoding
1211.88/1212.52	o 9434
1211.88/1212.52	c fallback to adder encoding
1219.78/1220.41	o 9432
1219.78/1220.41	c fallback to adder encoding
1235.69/1236.31	o 9431
1235.69/1236.31	c fallback to adder encoding
1245.29/1245.95	o 9412
1245.29/1245.95	c fallback to adder encoding
1260.17/1260.86	o 9409
1260.17/1260.86	c fallback to adder encoding
1275.98/1276.64	o 9395
1275.98/1276.64	c fallback to adder encoding
1289.49/1290.18	o 9394
1289.49/1290.18	c fallback to adder encoding
1307.26/1307.93	o 9389
1307.26/1307.93	c fallback to adder encoding
1313.57/1314.27	o 9387
1313.57/1314.27	c fallback to adder encoding
1322.97/1323.67	o 9382
1322.97/1323.67	c fallback to adder encoding
1330.17/1330.88	o 9381
1330.17/1330.88	c fallback to adder encoding
1334.57/1335.26	o 9378
1334.57/1335.26	c fallback to adder encoding
1352.04/1352.72	o 9370
1352.04/1352.72	c fallback to adder encoding
1359.06/1359.77	o 9369
1359.06/1359.77	c fallback to adder encoding
1370.83/1371.51	o 9365
1370.83/1371.51	c fallback to adder encoding
1391.87/1392.56	o 9359
1391.87/1392.56	c fallback to adder encoding
1399.31/1400.07	o 9355
1399.31/1400.07	c fallback to adder encoding
1404.99/1405.73	o 9354
1404.99/1405.73	c fallback to adder encoding
1428.45/1429.28	o 9346
1428.45/1429.28	c fallback to adder encoding
1439.75/1440.57	o 9345
1439.75/1440.57	c fallback to adder encoding
1448.29/1449.10	o 9340
1448.29/1449.10	c fallback to adder encoding
1455.63/1456.43	o 9316
1455.63/1456.43	c fallback to adder encoding
1468.24/1469.09	o 9315
1468.24/1469.09	c fallback to adder encoding
1476.43/1477.24	o 9314
1476.43/1477.24	c fallback to adder encoding
1489.43/1490.24	o 9312
1489.43/1490.24	c fallback to adder encoding
1494.52/1495.39	o 9310
1494.52/1495.39	c fallback to adder encoding
1502.13/1502.96	o 9306
1502.13/1502.96	c fallback to adder encoding
1508.53/1509.39	o 9298
1508.53/1509.39	c fallback to adder encoding
1525.23/1526.06	o 9297
1525.23/1526.06	c fallback to adder encoding
1535.44/1536.20	o 9296
1535.44/1536.20	c fallback to adder encoding
1546.12/1546.98	o 9289
1546.12/1546.98	c fallback to adder encoding
1559.22/1560.08	o 9288
1559.22/1560.08	c fallback to adder encoding
1574.52/1575.38	o 9285
1574.52/1575.38	c fallback to adder encoding
1582.92/1583.78	o 9284
1582.92/1583.78	c fallback to adder encoding
1594.32/1595.18	o 9259
1594.32/1595.18	c fallback to adder encoding
1601.69/1602.51	o 9248
1601.69/1602.51	c fallback to adder encoding
1609.90/1610.78	o 9246
1609.90/1610.78	c fallback to adder encoding
1616.61/1617.47	o 9242
1616.61/1617.47	c fallback to adder encoding
1626.69/1627.52	o 9239
1626.69/1627.52	c fallback to adder encoding
1636.12/1636.90	o 9234
1636.12/1636.90	c fallback to adder encoding
1651.50/1652.36	o 9232
1651.50/1652.36	c fallback to adder encoding
1661.90/1662.79	o 9226
1661.90/1662.79	c fallback to adder encoding
1672.38/1673.22	o 9216
1672.38/1673.22	c fallback to adder encoding
1675.69/1676.55	o 9214
1675.69/1676.55	c fallback to adder encoding
1679.57/1680.43	o 9197
1679.57/1680.43	c fallback to adder encoding
1693.66/1694.51	o 9196
1693.66/1694.51	c fallback to adder encoding
1705.39/1706.25	o 9188
1705.39/1706.25	c fallback to adder encoding
1715.19/1716.07	o 9171
1715.19/1716.07	c fallback to adder encoding
1721.79/1722.69	o 9170
1721.79/1722.69	c fallback to adder encoding
1721.98/1736.45	o 9160
1721.98/1736.45	c fallback to adder encoding
1744.67/1745.54	o 9157
1744.67/1745.54	c fallback to adder encoding
1754.67/1755.51	o 9156
1754.67/1755.51	c fallback to adder encoding
1768.03/1768.91	o 9145
1768.03/1768.91	c fallback to adder encoding
1778.76/1779.65	o 9139
1778.76/1779.65	c fallback to adder encoding
1784.13/1785.02	o 9138
1784.13/1785.02	c fallback to adder encoding
1786.57/1787.41	./satsolver.sh: line 5:  1072 Terminated              ./glucose $1 > $2 2> /dev/null
1786.57/1787.41	c error: unexpected solver exit code
1786.57/1787.41	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-3715138-1338224140/watcher-3715138-1338224140 -o /tmp/evaluation-result-3715138-1338224140/solver-3715138-1338224140 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715138-1338224140.wbo 257628938 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.07 2.02 2.02 3/179 31126
/proc/meminfo: memFree=30235536/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0

[startup+0.0372691 s]
/proc/loadavg: 2.07 2.02 2.02 3/179 31126
/proc/meminfo: memFree=30235536/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10028 s]
/proc/loadavg: 2.07 2.02 2.02 3/179 31126
/proc/meminfo: memFree=30235536/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300309 s]
/proc/loadavg: 2.07 2.02 2.02 3/179 31126
/proc/meminfo: memFree=30235536/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700272 s]
/proc/loadavg: 2.07 2.02 2.02 3/179 31126
/proc/meminfo: memFree=30235536/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 2.07 2.02 2.02 3/183 31140
/proc/meminfo: memFree=30207036/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=11392 CPUtime=0.13 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 2870 5637 0 0 9 1 2 1 20 0 1 0 288538878 11665408 2078 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 2848 2078 165 439 0 2405 0
[pid=31139] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31139/stat : 31139 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288538893 9367552 267 33554432000 4194304 5064252 140734045094272 140734045093184 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31139/statm: 2287 267 226 213 0 72 0
[pid=31140] ppid=31139 vsize=19000 CPUtime=1.33 cores=1,3,5,7
/proc/31140/stat : 31140 (glucose) R 31139 31126 16422 0 -1 4202496 4214 0 0 0 132 1 0 0 20 0 1 0 288538893 19456000 3943 33554432000 4194304 5208918 140735341932736 140735341930584 4229335 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31140/statm: 4750 3943 104 248 0 4499 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 48688

[startup+3.10034 s]
/proc/loadavg: 2.07 2.02 2.02 3/183 31140
/proc/meminfo: memFree=30205796/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=11392 CPUtime=0.13 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 2870 5637 0 0 9 1 2 1 20 0 1 0 288538878 11665408 2078 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 2848 2078 165 439 0 2405 0
[pid=31139] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31139/stat : 31139 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288538893 9367552 267 33554432000 4194304 5064252 140734045094272 140734045093184 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31139/statm: 2287 267 226 213 0 72 0
[pid=31140] ppid=31139 vsize=22436 CPUtime=2.93 cores=1,3,5,7
/proc/31140/stat : 31140 (glucose) R 31139 31126 16422 0 -1 4202496 4678 0 0 0 292 1 0 0 20 0 1 0 288538893 22974464 4399 33554432000 4194304 5208918 140735341932736 140735341930584 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31140/statm: 5609 4399 105 248 0 5358 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 52124

[startup+6.30047 s]
/proc/loadavg: 2.06 2.02 2.02 3/183 31140
/proc/meminfo: memFree=30203872/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=11392 CPUtime=0.13 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 2870 5637 0 0 9 1 2 1 20 0 1 0 288538878 11665408 2078 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 2848 2078 165 439 0 2405 0
[pid=31139] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31139/stat : 31139 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288538893 9367552 267 33554432000 4194304 5064252 140734045094272 140734045093184 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31139/statm: 2287 267 226 213 0 72 0
[pid=31140] ppid=31139 vsize=27420 CPUtime=6.14 cores=1,3,5,7
/proc/31140/stat : 31140 (glucose) R 31139 31126 16422 0 -1 4202496 5997 0 0 0 612 2 0 0 20 0 1 0 288538893 28078080 6234 33554432000 4194304 5208918 140735341932736 140735341930680 4211897 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31140/statm: 6855 6234 105 248 0 6604 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 57108

[startup+12.7004 s]
/proc/loadavg: 2.06 2.01 2.02 3/183 31140
/proc/meminfo: memFree=30190044/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=11392 CPUtime=12.67 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 2925 15427 0 0 9 1 1251 6 20 0 1 0 288538878 11665408 2078 33554432000 4194304 5990268 140735514694288 140735514686288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 2848 2078 165 439 0 2405 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 20540

[startup+25.5004 s]
/proc/loadavg: 2.04 2.01 2.02 3/183 31154
/proc/meminfo: memFree=30197552/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=24.43 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 6789 25497 0 0 25 4 2402 12 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=31153] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31153/stat : 31153 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288541323 9367552 266 33554432000 4194304 5064252 140735155389328 140735155388240 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31153/statm: 2287 266 226 213 0 72 0
[pid=31154] ppid=31153 vsize=19136 CPUtime=1.04 cores=1,3,5,7
/proc/31154/stat : 31154 (glucose) R 31153 31126 16422 0 -1 4202496 3341 0 0 0 103 1 0 0 20 0 1 0 288541323 19595264 4188 33554432000 4194304 5208918 140737178972592 140737178970552 4211160 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31154/statm: 4784 4188 105 248 0 4533 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 57008

[startup+51.1004 s]
/proc/loadavg: 2.03 2.01 2.01 3/181 31173
/proc/meminfo: memFree=30446784/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=49.75 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 10707 43943 0 0 40 6 4908 21 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=31172] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31172/stat : 31172 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288543856 9367552 266 33554432000 4194304 5064252 140733198901776 140733198900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31172/statm: 2287 266 226 213 0 72 0
[pid=31173] ppid=31172 vsize=19448 CPUtime=1.3 cores=1,3,5,7
/proc/31173/stat : 31173 (glucose) R 31172 31126 16422 0 -1 4202496 4414 0 0 0 130 0 0 0 20 0 1 0 288543857 19914752 4135 33554432000 4194304 5208918 140737480264144 140737480261896 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31173/statm: 4862 4135 105 248 0 4611 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 57320

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.01 3/183 31197
/proc/meminfo: memFree=30203876/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=83.39 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 16584 73266 0 0 64 10 8229 36 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=31195] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31195/stat : 31195 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288547220 9367552 267 33554432000 4194304 5064252 140736563425360 140736563424272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31195/statm: 2287 267 226 213 0 72 0
[pid=31196] ppid=31195 vsize=31776 CPUtime=18.87 cores=1,3,5,7
/proc/31196/stat : 31196 (glucose) R 31195 31126 16422 0 -1 4202496 6411 0 0 0 1885 2 0 0 20 0 1 0 288547220 32538624 7389 33554432000 4194304 5208918 140733228398640 140733228394952 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31196/statm: 7944 7389 105 248 0 7693 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 69648

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31246
/proc/meminfo: memFree=30207672/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=155.66 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 30297 138849 0 0 119 19 15356 72 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=31245] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31245/stat : 31245 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288554448 9367552 266 33554432000 4194304 5064252 140733781426256 140733781425168 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31245/statm: 2287 266 226 213 0 72 0
[pid=31246] ppid=31245 vsize=27364 CPUtime=6.59 cores=1,3,5,7
/proc/31246/stat : 31246 (glucose) R 31245 31126 16422 0 -1 4202496 5829 0 0 0 657 2 0 0 20 0 1 0 288554448 28020736 6210 33554432000 4194304 5208918 140734087444112 140734087440488 4212859 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31246/statm: 6841 6210 105 248 0 6590 0
Current children cumulated CPU time (s) 162.25

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

Current children cumulated CPU time (s) 1481.54
Current children cumulated vsize (KiB) 65220

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 576
/proc/meminfo: memFree=30580628/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=1535.53 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 296721 1410939 0 0 1189 186 151440 738 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=561] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/561/stat : 561 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288692507 9367552 266 33554432000 4194304 5064252 140733558061792 140733558060704 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/561/statm: 2287 266 226 213 0 72 0
[pid=562] ppid=561 vsize=27404 CPUtime=6 cores=1,3,5,7
/proc/562/stat : 562 (glucose) R 561 31126 16422 0 -1 4202496 4397 0 0 0 599 1 0 0 20 0 1 0 288692507 28061696 6038 33554432000 4194304 5208918 140736873240048 140736873236424 4211049 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 6851 6038 105 248 0 6600 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 65276

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 681
/proc/meminfo: memFree=30582808/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=1594.5 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 306516 1456117 0 0 1228 193 157265 764 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=673] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/673/stat : 673 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288698405 9367552 267 33554432000 4194304 5064252 140736099198864 140736099197776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/673/statm: 2287 267 226 213 0 72 0
[pid=674] ppid=673 vsize=27428 CPUtime=7.02 cores=1,3,5,7
/proc/674/stat : 674 (glucose) R 673 31126 16422 0 -1 4202496 6091 0 0 0 701 1 0 0 20 0 1 0 288698405 28086272 5866 33554432000 4194304 5208918 140737049302752 140737049300696 4211147 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/674/statm: 6857 5866 105 248 0 6606 0
Current children cumulated CPU time (s) 1601.52
Current children cumulated vsize (KiB) 65300

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 809
/proc/meminfo: memFree=30574876/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=1651.67 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 318270 1512297 0 0 1275 200 162898 794 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=808] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/808/stat : 808 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288704124 9367552 266 33554432000 4194304 5064252 140736003386368 140736003385280 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/808/statm: 2287 266 226 213 0 72 0
[pid=809] ppid=808 vsize=31860 CPUtime=9.83 cores=1,3,5,7
/proc/809/stat : 809 (glucose) R 808 31126 16422 0 -1 4202496 6557 0 0 0 982 1 0 0 20 0 1 0 288704124 32624640 7343 33554432000 4194304 5208918 140733491800736 140733491798600 4205761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/809/statm: 7965 7343 105 248 0 7714 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 69732

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 942
/proc/meminfo: memFree=30583696/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=1715.36 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 331983 1574859 0 0 1329 210 169170 827 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=927] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/927/stat : 927 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288710494 9367552 267 33554432000 4194304 5064252 140734390088000 140734390086912 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/927/statm: 2287 267 226 213 0 72 0
[pid=928] ppid=927 vsize=27400 CPUtime=6.13 cores=1,3,5,7
/proc/928/stat : 928 (glucose) R 927 31126 16422 0 -1 4202496 6238 0 0 0 612 1 0 0 20 0 1 0 288710494 28057600 5956 33554432000 4194304 5208918 140736916118672 140736916115048 4211740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/928/statm: 6850 5956 105 248 0 6599 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 65272

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

[startup+1736.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 970
/proc/meminfo: memFree=30580196/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=1721.98 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 333942 1584199 0 0 1337 211 169818 832 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=948] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/948/stat : 948 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 288711156 9367552 267 33554432000 4194304 5064252 140734381462944 140734381461856 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/948/statm: 2287 267 226 213 0 72 0
[pid=949] ppid=948 vsize=27368 CPUtime=13.5 cores=1,3,5,7
/proc/949/stat : 949 (glucose) R 948 31126 16422 0 -1 4202496 4973 0 0 0 1349 1 0 0 20 0 1 0 288711156 28024832 6299 33554432000 4194304 5208918 140737004689872 140737004687960 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/949/statm: 6842 6299 105 248 0 6591 0
Current children cumulated CPU time (s) 1735.48
Current children cumulated vsize (KiB) 65240

[startup+1736.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 970
/proc/meminfo: memFree=30580196/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=1721.98 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 333942 1584199 0 0 1337 211 169818 832 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=948] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/948/stat : 948 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 288711156 9367552 267 33554432000 4194304 5064252 140734381462944 140734381461856 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/948/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 37872
#
############


[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1065
/proc/meminfo: memFree=30588788/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=1778.9 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 343737 1627614 0 0 1376 217 175442 855 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=1055] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1055/stat : 1055 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288716852 9367552 266 33554432000 4194304 5064252 140736247997088 140736247996000 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1055/statm: 2287 266 226 213 0 72 0
[pid=1056] ppid=1055 vsize=19728 CPUtime=2.55 cores=1,3,5,7
/proc/1056/stat : 1056 (glucose) R 1055 31126 16422 0 -1 4202496 4622 0 0 0 254 1 0 0 20 0 1 0 288716852 20201472 4341 33554432000 4194304 5208918 140736033072416 140736033070168 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1056/statm: 4932 4341 105 248 0 4681 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 57600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1079
/proc/meminfo: memFree=30590084/32873844 swapFree=6600/6600
[pid=31126] ppid=31124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31126/stat : 31126 (npSolver-wbo-It) S 31124 31126 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288538878 9367552 275 33554432000 4194304 5064252 140736316201008 140736316199920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31126/statm: 2287 275 233 213 0 72 0
[pid=31127] ppid=31126 vsize=19576 CPUtime=1784.28 cores=1,3,5,7
/proc/31127/stat : 31127 (npSolver-wbo) S 31126 31126 16422 0 -1 4202496 345696 1636435 0 0 1384 218 175966 860 20 0 1 0 288538878 20045824 3673 33554432000 4194304 5990268 140735514694288 140735514685712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31127/statm: 4894 3673 166 439 0 4451 0
[pid=1071] ppid=31127 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1071/stat : 1071 (satsolver.sh) S 31127 31126 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288717389 9367552 267 33554432000 4194304 5064252 140734589155456 140734589154368 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1071/statm: 2287 267 226 213 0 72 0
[pid=1072] ppid=1071 vsize=19548 CPUtime=2.29 cores=1,3,5,7
/proc/1072/stat : 1072 (glucose) R 1071 31126 16422 0 -1 4202496 4532 0 0 0 228 1 0 0 20 0 1 0 288717390 20017152 4245 33554432000 4194304 5208918 140734451340752 140734451338600 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1072/statm: 4887 4245 105 248 0 4636 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (KiB) 57420

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1787.42
CPU time (s): 1800.11
CPU user time (s): 1789.29
CPU system time (s): 10.8174
CPU usage (%): 100.71
Max. virtual memory (cumulated for all children) (KiB): 88324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.8
system time used= 10.8074
maximum resident set size= 43880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1987656
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1758192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9708
involuntary context switches= 3963

runsolver used 3.15552 second user time and 8.81466 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-28 18:55:40
IDJOB=3715138
IDBENCH=79394
IDSOLVER=2296
FILE ID=node140/3715138-1338224140
RUNJOBID= node140-1338193685-16439
PBS_JOBID= 14624590
Free space on /tmp= 71224 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh307_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715138-1338224140/watcher-3715138-1338224140 -o /tmp/evaluation-result-3715138-1338224140/solver-3715138-1338224140 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3715138-1338224140.wbo 257628938 HOME HOME

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

MD5SUM BENCH= 944c5e420229bce90a366c23629af03a
RANDOM SEED=257628938

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30235800 kB
Buffers:          543980 kB
Cached:           876028 kB
SwapCached:         1516 kB
Active:          1444944 kB
Inactive:         307368 kB
Active(anon):     323940 kB
Inactive(anon):     8636 kB
Active(file):    1121004 kB
Inactive(file):   298732 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105308 kB
Dirty:              8184 kB
Writeback:             0 kB
AnonPages:        335720 kB
Mapped:            12728 kB
Shmem:                 8 kB
Slab:             744516 kB
SReclaimable:     186492 kB
SUnreclaim:       558024 kB
KernelStack:        1472 kB
PageTables:         4452 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     497852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    284672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71312 MiB
End job on node140 at 2012-05-28 19:25:28