Trace number 3715135

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.05 1800.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
MD5SUM8b86218007c145a9ce1787d0bbf0d30b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark395
Best CPU time to get the best result obtained on this benchmark0.051992
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 constraint10
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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 7379
0.00/0.06	c fallback to adder encoding
7.57/7.77	o 7373
7.57/7.77	c fallback to adder encoding
13.93/14.10	o 7363
13.93/14.10	c fallback to adder encoding
25.83/26.01	o 7356
25.83/26.01	c fallback to adder encoding
33.33/33.50	o 7355
33.33/33.50	c fallback to adder encoding
44.75/44.94	o 7344
44.75/44.94	c fallback to adder encoding
53.92/54.11	o 7339
53.92/54.11	c fallback to adder encoding
61.65/61.87	o 7332
61.65/61.87	c fallback to adder encoding
73.95/74.18	o 7329
73.95/74.18	c fallback to adder encoding
90.70/90.96	o 7320
90.70/90.96	c fallback to adder encoding
97.21/97.48	o 7313
97.21/97.48	c fallback to adder encoding
120.16/120.40	o 7309
120.16/120.40	c fallback to adder encoding
137.08/137.40	o 7296
137.08/137.40	c fallback to adder encoding
140.98/141.27	o 7285
140.98/141.27	c fallback to adder encoding
155.69/155.96	o 7283
155.69/155.96	c fallback to adder encoding
160.54/160.80	o 7280
160.54/160.80	c fallback to adder encoding
174.09/174.35	o 7279
174.09/174.35	c fallback to adder encoding
191.19/191.41	o 7269
191.19/191.41	c fallback to adder encoding
210.79/211.07	o 7262
210.79/211.07	c fallback to adder encoding
222.68/222.97	o 7257
222.68/222.97	c fallback to adder encoding
233.48/233.74	o 7252
233.48/233.74	c fallback to adder encoding
245.58/245.84	o 7250
245.58/245.84	c fallback to adder encoding
255.25/255.53	o 7246
255.25/255.53	c fallback to adder encoding
262.87/263.18	o 7243
262.87/263.18	c fallback to adder encoding
279.16/279.49	o 7232
279.16/279.49	c fallback to adder encoding
293.36/293.68	o 7225
293.36/293.68	c fallback to adder encoding
306.25/306.57	o 7214
306.25/306.57	c fallback to adder encoding
321.36/321.64	o 7211
321.36/321.64	c fallback to adder encoding
334.85/335.16	o 7206
334.85/335.16	c fallback to adder encoding
344.85/345.14	o 7195
344.85/345.14	c fallback to adder encoding
356.05/356.34	o 7184
356.05/356.34	c fallback to adder encoding
368.15/368.47	o 7175
368.15/368.47	c fallback to adder encoding
378.83/379.13	o 7170
378.83/379.13	c fallback to adder encoding
396.00/396.30	o 7169
396.00/396.30	c fallback to adder encoding
416.71/417.03	o 7142
416.71/417.03	c fallback to adder encoding
427.22/427.55	o 7141
427.22/427.55	c fallback to adder encoding
438.29/438.61	o 7130
438.29/438.61	c fallback to adder encoding
448.03/448.35	o 7115
448.03/448.35	c fallback to adder encoding
456.52/456.86	o 7108
456.52/456.86	c fallback to adder encoding
472.50/472.86	o 7105
472.50/472.86	c fallback to adder encoding
483.11/483.46	o 7104
483.11/483.46	c fallback to adder encoding
489.92/490.25	o 7103
489.92/490.25	c fallback to adder encoding
497.12/497.45	o 7102
497.12/497.45	c fallback to adder encoding
508.80/509.14	o 7100
508.80/509.14	c fallback to adder encoding
516.42/516.75	o 7092
516.42/516.75	c fallback to adder encoding
529.50/529.87	o 7089
529.50/529.87	c fallback to adder encoding
544.97/545.32	o 7079
544.97/545.32	c fallback to adder encoding
558.50/558.85	o 7075
558.50/558.85	c fallback to adder encoding
565.58/565.96	o 7064
565.58/565.96	c fallback to adder encoding
570.89/571.26	o 7051
570.89/571.26	c fallback to adder encoding
585.17/585.59	o 7048
585.17/585.59	c fallback to adder encoding
603.68/604.05	o 7047
603.68/604.05	c fallback to adder encoding
615.18/615.54	o 7032
615.18/615.54	c fallback to adder encoding
619.57/619.98	o 7025
619.57/619.98	c fallback to adder encoding
628.05/628.42	o 7015
628.05/628.42	c fallback to adder encoding
634.59/634.90	o 7001
634.59/634.90	c fallback to adder encoding
646.76/647.14	o 6992
646.76/647.14	c fallback to adder encoding
655.43/655.81	o 6990
655.43/655.81	c fallback to adder encoding
658.97/659.37	o 6982
658.97/659.37	c fallback to adder encoding
672.25/672.62	o 6981
672.25/672.62	c fallback to adder encoding
678.06/678.49	o 6978
678.06/678.49	c fallback to adder encoding
697.54/697.93	o 6972
697.54/697.93	c fallback to adder encoding
708.85/709.26	o 6963
708.85/709.26	c fallback to adder encoding
716.75/717.18	o 6960
716.75/717.18	c fallback to adder encoding
726.33/726.74	o 6958
726.33/726.74	c fallback to adder encoding
739.84/740.23	o 6953
739.84/740.23	c fallback to adder encoding
761.24/761.69	o 6950
761.24/761.69	c fallback to adder encoding
776.54/776.95	o 6945
776.54/776.95	c fallback to adder encoding
783.84/784.28	o 6943
783.84/784.28	c fallback to adder encoding
798.62/799.08	o 6940
798.62/799.08	c fallback to adder encoding
814.10/814.51	o 6937
814.10/814.51	c fallback to adder encoding
830.63/831.07	o 6933
830.63/831.07	c fallback to adder encoding
844.64/845.00	o 6923
844.64/845.00	c fallback to adder encoding
855.12/855.57	o 6920
855.12/855.57	c fallback to adder encoding
867.12/867.58	o 6919
867.12/867.58	c fallback to adder encoding
871.92/872.37	o 6912
871.92/872.37	c fallback to adder encoding
883.02/883.47	o 6894
883.02/883.47	c fallback to adder encoding
889.19/889.62	o 6892
889.19/889.62	c fallback to adder encoding
897.00/897.46	o 6878
897.00/897.46	c fallback to adder encoding
909.11/909.50	o 6867
909.11/909.50	c fallback to adder encoding
912.89/913.33	o 6861
912.89/913.33	c fallback to adder encoding
924.19/924.66	o 6860
924.19/924.66	c fallback to adder encoding
930.59/931.03	o 6836
930.59/931.03	c fallback to adder encoding
943.99/944.44	o 6828
943.99/944.44	c fallback to adder encoding
958.70/959.16	o 6825
958.70/959.16	c fallback to adder encoding
977.28/977.70	o 6797
977.28/977.70	c fallback to adder encoding
996.95/997.40	o 6782
996.95/997.40	c fallback to adder encoding
1003.66/1004.12	o 6777
1003.66/1004.12	c fallback to adder encoding
1018.08/1018.57	o 6768
1018.08/1018.57	c fallback to adder encoding
1032.85/1033.32	o 6766
1032.85/1033.32	c fallback to adder encoding
1038.38/1038.88	o 6759
1038.38/1038.88	c fallback to adder encoding
1045.08/1045.50	o 6755
1045.08/1045.50	c fallback to adder encoding
1051.37/1051.86	o 6750
1051.37/1051.86	c fallback to adder encoding
1061.56/1062.04	o 6743
1061.56/1062.04	c fallback to adder encoding
1074.53/1075.02	o 6742
1074.53/1075.02	c fallback to adder encoding
1085.04/1085.57	o 6727
1085.04/1085.57	c fallback to adder encoding
1103.14/1103.69	o 6720
1103.14/1103.69	c fallback to adder encoding
1118.34/1118.90	o 6707
1118.34/1118.90	c fallback to adder encoding
1132.51/1133.01	o 6704
1132.51/1133.01	c fallback to adder encoding
1142.62/1143.11	o 6703
1142.62/1143.11	c fallback to adder encoding
1152.65/1153.15	o 6700
1152.65/1153.15	c fallback to adder encoding
1161.65/1162.10	o 6698
1161.65/1162.10	c fallback to adder encoding
1168.63/1169.17	o 6686
1168.63/1169.17	c fallback to adder encoding
1181.11/1181.63	o 6685
1181.11/1181.63	c fallback to adder encoding
1191.51/1192.08	o 6683
1191.51/1192.08	c fallback to adder encoding
1204.32/1204.84	o 6673
1204.32/1204.84	c fallback to adder encoding
1229.60/1230.15	o 6668
1229.60/1230.15	c fallback to adder encoding
1235.31/1235.86	o 6657
1235.31/1235.86	c fallback to adder encoding
1252.50/1253.10	o 6656
1252.50/1253.10	c fallback to adder encoding
1254.52/1255.00	o 6647
1254.52/1255.00	c fallback to adder encoding
1259.30/1259.89	o 6645
1259.30/1259.89	c fallback to adder encoding
1267.90/1268.45	o 6641
1267.90/1268.45	c fallback to adder encoding
1280.79/1281.39	o 6636
1280.79/1281.39	c fallback to adder encoding
1288.10/1288.67	o 6635
1288.10/1288.67	c fallback to adder encoding
1297.09/1297.64	o 6603
1297.09/1297.64	c fallback to adder encoding
1330.17/1330.73	o 6599
1330.17/1330.73	c fallback to adder encoding
1341.39/1341.99	o 6591
1341.39/1341.99	c fallback to adder encoding
1350.76/1351.32	o 6589
1350.76/1351.32	c fallback to adder encoding
1360.77/1361.34	o 6468
1360.77/1361.34	c fallback to adder encoding
1369.97/1370.54	o 6460
1369.97/1370.54	c fallback to adder encoding
1374.38/1374.95	o 6449
1374.38/1374.95	c fallback to adder encoding
1399.15/1399.73	o 6448
1399.15/1399.73	c fallback to adder encoding
1405.86/1406.46	o 6447
1405.86/1406.46	c fallback to adder encoding
1415.75/1416.36	o 6446
1415.75/1416.36	c fallback to adder encoding
1420.81/1421.40	o 6439
1420.81/1421.40	c fallback to adder encoding
1434.55/1435.17	o 6429
1434.55/1435.17	c fallback to adder encoding
1447.35/1447.98	o 6427
1447.35/1447.98	c fallback to adder encoding
1456.54/1457.19	o 6419
1456.54/1457.19	c fallback to adder encoding
1468.74/1469.39	o 6415
1468.74/1469.39	c fallback to adder encoding
1484.22/1484.83	o 6414
1484.22/1484.83	c fallback to adder encoding
1496.03/1496.65	o 6412
1496.03/1496.65	c fallback to adder encoding
1502.73/1503.33	o 6408
1502.73/1503.33	c fallback to adder encoding
1517.34/1517.92	o 6407
1517.34/1517.92	c fallback to adder encoding
1529.03/1529.64	o 6402
1529.03/1529.64	c fallback to adder encoding
1538.03/1538.67	o 6401
1538.03/1538.67	c fallback to adder encoding
1571.40/1572.04	o 6400
1571.40/1572.04	c fallback to adder encoding
1577.81/1578.49	o 6397
1577.81/1578.49	c fallback to adder encoding
1584.19/1584.83	o 6395
1584.19/1584.83	c fallback to adder encoding
1588.19/1588.82	o 6373
1588.19/1588.82	c fallback to adder encoding
1599.30/1599.98	o 6369
1599.30/1599.98	c fallback to adder encoding
1613.29/1613.99	o 6368
1613.29/1613.99	c fallback to adder encoding
1619.98/1620.62	o 6355
1619.98/1620.62	c fallback to adder encoding
1628.47/1629.11	o 6354
1628.47/1629.11	c fallback to adder encoding
1636.38/1637.02	o 6353
1636.38/1637.02	c fallback to adder encoding
1640.57/1641.22	o 6352
1640.57/1641.22	c fallback to adder encoding
1647.33/1648.01	o 6343
1647.33/1648.01	c fallback to adder encoding
1660.57/1661.27	o 6342
1660.57/1661.27	c fallback to adder encoding
1665.16/1665.86	o 6340
1665.16/1665.86	c fallback to adder encoding
1672.71/1673.42	o 6333
1672.71/1673.42	c fallback to adder encoding
1680.73/1681.46	o 6326
1680.73/1681.46	c fallback to adder encoding
1689.31/1690.02	o 6321
1689.31/1690.02	c fallback to adder encoding
1703.55/1704.25	o 6316
1703.55/1704.25	c fallback to adder encoding
1711.95/1712.65	o 6314
1711.95/1712.65	c fallback to adder encoding
1725.15/1725.90	o 6309
1725.15/1725.90	c fallback to adder encoding
1736.03/1736.78	o 6304
1736.03/1736.78	c fallback to adder encoding
1747.13/1747.85	o 6303
1747.13/1747.85	c fallback to adder encoding
1752.52/1753.27	o 6302
1752.52/1753.27	c fallback to adder encoding
1762.02/1762.76	o 6301
1762.02/1762.76	c fallback to adder encoding
1774.92/1775.69	o 6291
1774.92/1775.69	c fallback to adder encoding
1797.29/1798.03	o 6283
1797.29/1798.03	c fallback to adder encoding
1800.01/1800.71	./satsolver.sh: line 5: 17620 Terminated              ./glucose $1 > $2 2> /dev/null
1800.01/1800.71	c error: unexpected solver exit code
1800.01/1800.71	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715135-1338223786/watcher-3715135-1338223786 -o /tmp/evaluation-result-3715135-1338223786/solver-3715135-1338223786 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715135-1338223786.wbo 1485178459 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.01 2.00 3/179 15892
/proc/meminfo: memFree=30918572/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0

[startup+0.0670411 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15892
/proc/meminfo: memFree=30918572/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100276 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15892
/proc/meminfo: memFree=30918572/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.3003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15892
/proc/meminfo: memFree=30918572/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700257 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15892
/proc/meminfo: memFree=30918572/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15906
/proc/meminfo: memFree=30891932/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=11348 CPUtime=0.11 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 3061 5650 0 0 8 1 2 0 20 0 1 0 288505393 11620352 1839 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/15893/statm: 2837 1839 166 439 0 2394 0
[pid=15905] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15905/stat : 15905 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288505417 9367552 267 33554432000 4194304 5064252 140734548782528 140734548781440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15905/statm: 2287 267 226 213 0 72 0
[pid=15906] ppid=15905 vsize=18580 CPUtime=1.25 cores=1,3,5,7
/proc/15906/stat : 15906 (glucose) R 15905 15892 29981 0 -1 4202496 4177 0 0 0 125 0 0 0 20 0 1 0 288505417 19025920 3957 33554432000 4194304 5208918 140735930703712 140735930701464 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15906/statm: 4645 3957 105 248 0 4394 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 48224

[startup+3.10039 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15906
/proc/meminfo: memFree=30890940/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=11348 CPUtime=0.11 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 3061 5650 0 0 8 1 2 0 20 0 1 0 288505393 11620352 1839 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/15893/statm: 2837 1839 166 439 0 2394 0
[pid=15905] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15905/stat : 15905 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288505417 9367552 267 33554432000 4194304 5064252 140734548782528 140734548781440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15905/statm: 2287 267 226 213 0 72 0
[pid=15906] ppid=15905 vsize=18976 CPUtime=2.85 cores=1,3,5,7
/proc/15906/stat : 15906 (glucose) R 15905 15892 29981 0 -1 4202496 4433 0 0 0 285 0 0 0 20 0 1 0 288505417 19431424 4207 33554432000 4194304 5208918 140735930703712 140735930701560 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15906/statm: 4744 4207 105 248 0 4493 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 48620

[startup+6.30048 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15906
/proc/meminfo: memFree=30887440/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=11348 CPUtime=0.11 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 3061 5650 0 0 8 1 2 0 20 0 1 0 288505393 11620352 1839 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/15893/statm: 2837 1839 166 439 0 2394 0
[pid=15905] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15905/stat : 15905 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288505417 9367552 267 33554432000 4194304 5064252 140734548782528 140734548781440 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15905/statm: 2287 267 226 213 0 72 0
[pid=15906] ppid=15905 vsize=22160 CPUtime=6.05 cores=1,3,5,7
/proc/15906/stat : 15906 (glucose) R 15905 15892 29981 0 -1 4202496 4696 0 0 0 605 0 0 0 20 0 1 0 288505417 22691840 4978 33554432000 4194304 5208918 140735930703712 140735930701464 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15906/statm: 5540 4978 105 248 0 5289 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 51804

[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15913
/proc/meminfo: memFree=30882512/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=7.73 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 5158 14731 0 0 15 2 751 5 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=15912] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15912/stat : 15912 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288506178 9367552 267 33554432000 4194304 5064252 140734082894480 140734082893392 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15912/statm: 2287 267 226 213 0 72 0
[pid=15913] ppid=15912 vsize=22060 CPUtime=4.84 cores=1,3,5,7
/proc/15913/stat : 15913 (glucose) R 15912 15892 29981 0 -1 4202496 4937 0 0 0 483 1 0 0 20 0 1 0 288506178 22589440 4735 33554432000 4194304 5208918 140736357861088 140736357858840 4211904 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15913/statm: 5515 4735 105 248 0 5264 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 59892

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15923
/proc/meminfo: memFree=30876044/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=14.06 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 7255 24301 0 0 22 3 1371 10 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=15919] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15919/stat : 15919 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288506812 9367552 267 33554432000 4194304 5064252 140734413259008 140734413257920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15919/statm: 2287 267 226 213 0 72 0
[pid=15920] ppid=15919 vsize=30536 CPUtime=11.3 cores=1,3,5,7
/proc/15920/stat : 15920 (glucose) R 15919 15892 29981 0 -1 4202496 6545 0 0 0 1129 1 0 0 20 0 1 0 288506812 31268864 6134 33554432000 4194304 5208918 140734918921376 140734918919320 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15920/statm: 7634 6134 105 248 0 7383 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 68368

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15944
/proc/meminfo: memFree=30879380/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=44.88 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 13546 52453 0 0 43 7 4416 22 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=15943] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15943/stat : 15943 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288509895 9367552 267 33554432000 4194304 5064252 140735119946768 140735119945680 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 2287 267 226 213 0 72 0
[pid=15944] ppid=15943 vsize=22208 CPUtime=6.07 cores=1,3,5,7
/proc/15944/stat : 15944 (glucose) R 15943 15892 29981 0 -1 4202496 4654 0 0 0 607 0 0 0 20 0 1 0 288509895 22740992 4955 33554432000 4194304 5208918 140733201172848 140733201170808 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15944/statm: 5552 4955 105 248 0 5301 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 60040

[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 15979
/proc/meminfo: memFree=30880312/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=97.38 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 24031 98055 0 0 78 12 9605 43 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=15978] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15978/stat : 15978 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288515149 9367552 267 33554432000 4194304 5064252 140736931071616 140736931070528 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15978/statm: 2287 267 226 213 0 72 0
[pid=15979] ppid=15978 vsize=22044 CPUtime=4.73 cores=1,3,5,7
/proc/15979/stat : 15979 (glucose) R 15978 15892 29981 0 -1 4202496 4800 0 0 0 472 1 0 0 20 0 1 0 288515150 22573056 4604 33554432000 4194304 5208918 140735127445840 140735127443592 4211623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15979/statm: 5511 4604 105 248 0 5260 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 59876

[startup+162.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 16015
/proc/meminfo: memFree=30881548/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=160.68 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 34516 143611 0 0 113 17 15874 64 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=16014] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1422.31 s]
/proc/loadavg: 2.07 2.00 2.00 3/183 16898
/proc/meminfo: memFree=31191840/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=1420.96 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 263089 1139502 0 0 875 133 140546 542 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=16897] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16897/stat : 16897 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288647542 9367552 266 33554432000 4194304 5064252 140736262658848 140736262657760 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16897/statm: 2287 266 226 213 0 72 0
[pid=16898] ppid=16897 vsize=18452 CPUtime=0.81 cores=1,3,5,7
/proc/16898/stat : 16898 (glucose) R 16897 15892 29981 0 -1 4202496 4006 0 0 0 80 1 0 0 20 0 1 0 288647542 18894848 3819 33554432000 4194304 5208918 140734555324672 140734555322632 4211558 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16898/statm: 4613 3819 104 248 0 4362 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 56284

[startup+1482.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 16989
/proc/meminfo: memFree=31178432/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=1468.93 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 271477 1177038 0 0 903 137 145293 560 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=16981] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16981/stat : 16981 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288652341 9367552 266 33554432000 4194304 5064252 140735020039376 140735020038288 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16981/statm: 2287 266 226 213 0 72 0
[pid=16982] ppid=16981 vsize=38120 CPUtime=12.81 cores=1,3,5,7
/proc/16982/stat : 16982 (glucose) R 16981 15892 29981 0 -1 4202496 6387 0 0 0 1280 1 0 0 20 0 1 0 288652341 39034880 8559 33554432000 4194304 5208918 140733870110752 140733870108744 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 9530 8559 105 248 0 9279 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 75952

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 17115
/proc/meminfo: memFree=31191424/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=1538.18 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 284059 1232965 0 0 945 143 152145 585 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=17107] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17107/stat : 17107 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288659268 9367552 267 33554432000 4194304 5064252 140733591532672 140733591531584 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17107/statm: 2287 267 226 213 0 72 0
[pid=17108] ppid=17107 vsize=21800 CPUtime=3.53 cores=1,3,5,7
/proc/17108/stat : 17108 (glucose) R 17107 15892 29981 0 -1 4202496 4658 0 0 0 353 0 0 0 20 0 1 0 288659269 22323200 4460 33554432000 4194304 5208918 140733876767888 140733876766040 4229748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17108/statm: 5450 4460 105 248 0 5199 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 59632

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17220
/proc/meminfo: memFree=31193920/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=1599.47 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 294544 1278830 0 0 980 148 158213 606 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=17219] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17219/stat : 17219 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288665400 9367552 267 33554432000 4194304 5064252 140737054434592 140737054433504 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17219/statm: 2287 267 226 213 0 72 0
[pid=17220] ppid=17219 vsize=18516 CPUtime=2.22 cores=1,3,5,7
/proc/17220/stat : 17220 (glucose) R 17219 15892 29981 0 -1 4202496 4133 0 0 0 222 0 0 0 20 0 1 0 288665400 18960384 3954 33554432000 4194304 5208918 140734493214704 140734493212536 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17220/statm: 4629 3954 104 248 0 4378 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 56348

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17354
/proc/meminfo: memFree=31195460/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=1660.73 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 309223 1340029 0 0 1028 156 164254 635 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=17353] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17353/stat : 17353 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288671529 9367552 267 33554432000 4194304 5064252 140734523680496 140734523679408 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17353/statm: 2287 267 226 213 0 72 0
[pid=17354] ppid=17353 vsize=18620 CPUtime=0.93 cores=1,3,5,7
/proc/17354/stat : 17354 (glucose) R 17353 15892 29981 0 -1 4202496 4054 0 0 0 92 1 0 0 20 0 1 0 288671529 19066880 3878 33554432000 4194304 5208918 140735320813296 140735320811128 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17354/statm: 4655 3878 104 248 0 4404 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 56452

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17466
/proc/meminfo: memFree=31187240/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=1712.09 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 321805 1394537 0 0 1071 162 169314 662 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=17444] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17444/stat : 17444 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288676667 9367552 266 33554432000 4194304 5064252 140733694913792 140733694912704 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17444/statm: 2287 266 226 213 0 72 0
[pid=17445] ppid=17444 vsize=26664 CPUtime=9.55 cores=1,3,5,7
/proc/17445/stat : 17445 (glucose) R 17444 15892 29981 0 -1 4202496 6024 0 0 0 954 1 0 0 20 0 1 0 288676667 27303936 5902 33554432000 4194304 5208918 140733565574992 140733565571368 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17445/statm: 6666 5902 105 248 0 6415 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 64496

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 17585
/proc/meminfo: memFree=31189064/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=1775.1 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 334387 1449140 0 0 1113 168 175542 687 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=17575] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17575/stat : 17575 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288682970 9367552 267 33554432000 4194304 5064252 140735618757056 140735618755968 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17575/statm: 2287 267 226 213 0 72 0
[pid=17576] ppid=17575 vsize=26604 CPUtime=6.51 cores=1,3,5,7
/proc/17576/stat : 17576 (glucose) R 17575 15892 29981 0 -1 4202496 4796 0 0 0 651 0 0 0 20 0 1 0 288682971 27242496 5120 33554432000 4194304 5208918 140735144700512 140735144698472 4211620 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 6651 5120 105 248 0 6400 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 64436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 17620
/proc/meminfo: memFree=31191372/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=1797.42 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 336484 1458970 0 0 1120 169 177763 690 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=17619] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17619/stat : 17619 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288685204 9367552 267 33554432000 4194304 5064252 140734538337760 140734538336672 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17619/statm: 2287 267 226 213 0 72 0
[pid=17620] ppid=17619 vsize=21628 CPUtime=2.59 cores=1,3,5,7
/proc/17620/stat : 17620 (glucose) R 17619 15892 29981 0 -1 4202496 4454 0 0 0 258 1 0 0 20 0 1 0 288685205 22147072 4237 33554432000 4194304 5208918 140735113719360 140735113715736 4211160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17620/statm: 5407 4237 105 248 0 5156 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 59460

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.71 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 17620
/proc/meminfo: memFree=31191372/32873648 swapFree=6852/6852
[pid=15892] ppid=15890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15892/stat : 15892 (npSolver-wbo-It) S 15890 15892 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288505393 9367552 275 33554432000 4194304 5064252 140736433002560 140736433001472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15892/statm: 2287 275 233 213 0 72 0
[pid=15893] ppid=15892 vsize=19536 CPUtime=1797.42 cores=1,3,5,7
/proc/15893/stat : 15893 (npSolver-wbo) S 15892 15892 29981 0 -1 4202496 336484 1458970 0 0 1120 169 177763 690 20 0 1 0 288505393 20004864 3815 33554432000 4194304 5990268 140735657539600 140735657531024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/15893/statm: 4884 3815 166 439 0 4441 0
[pid=17619] ppid=15893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17619/stat : 17619 (satsolver.sh) S 15893 15892 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288685204 9367552 267 33554432000 4194304 5064252 140734538337760 140734538336672 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17619/statm: 2287 267 226 213 0 72 0
[pid=17620] ppid=17619 vsize=21628 CPUtime=2.59 cores=1,3,5,7
/proc/17620/stat : 17620 (glucose) R 17619 15892 29981 0 -1 4202496 4454 0 0 0 258 1 0 0 20 0 1 0 288685205 22147072 4237 33554432000 4194304 5208918 140735113719360 140735113715736 4211160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17620/statm: 5407 4237 105 248 0 5156 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 59460

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.05
CPU user time (s): 1791.43
CPU system time (s): 8.62269
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 83208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.43
system time used= 8.62269
maximum resident set size= 38816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1800898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1492392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8228
involuntary context switches= 3476

runsolver used 7.35488 second user time and 17.9373 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-28 18:49:46
IDJOB=3715135
IDBENCH=79387
IDSOLVER=2296
FILE ID=node115/3715135-1338223786
RUNJOBID= node115-1338195070-29998
PBS_JOBID= 14624604
Free space on /tmp= 71568 MiB

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

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

MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b
RANDOM SEED=1485178459

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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:       32873648 kB
MemFree:        30919464 kB
Buffers:          432988 kB
Cached:           381196 kB
SwapCached:          972 kB
Active:           958012 kB
Inactive:         130732 kB
Active(anon):     267416 kB
Inactive(anon):     9244 kB
Active(file):     690596 kB
Inactive(file):   121488 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106424 kB
Dirty:              8864 kB
Writeback:             8 kB
AnonPages:        284420 kB
Mapped:            13200 kB
Shmem:                96 kB
Slab:             722676 kB
SReclaimable:     165472 kB
SUnreclaim:       557204 kB
KernelStack:        1488 kB
PageTables:         4876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     479232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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= 71620 MiB
End job on node115 at 2012-05-28 19:19:47