Trace number 3714689

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 1800.62

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/academics/
normalized-warehouse1_wcsp.wbo
MD5SUMe84f9fd9c38a67d9707b8aa628966b83
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark674555
Best CPU time to get the best result obtained on this benchmark208.351
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables418
Total number of constraints818
Number of soft constraints779
Number of constraints which are clauses779
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 2939907
Min constraint cost 1
Max constraint cost 2939907
Sum of constraints costs 1138582091
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 20
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.01	c run usual solver
0.00/0.04	o 884937
0.00/0.04	c fallback to adder encoding
23.27/23.33	o 884882
23.27/23.33	c fallback to adder encoding
30.94/31.07	o 884822
30.94/31.07	c fallback to adder encoding
50.74/50.86	o 884796
50.74/50.86	c fallback to adder encoding
57.44/57.52	o 884374
57.44/57.52	c fallback to adder encoding
78.44/78.53	o 884340
78.44/78.53	c fallback to adder encoding
93.14/93.26	o 883840
93.14/93.26	c fallback to adder encoding
100.73/100.80	o 883211
100.73/100.80	c fallback to adder encoding
112.32/112.49	o 882972
112.32/112.49	c fallback to adder encoding
124.12/124.28	o 882645
124.12/124.28	c fallback to adder encoding
137.22/137.40	o 882521
137.22/137.40	c fallback to adder encoding
150.62/150.76	o 882492
150.62/150.76	c fallback to adder encoding
156.90/157.08	o 876379
156.90/157.08	c fallback to adder encoding
168.39/168.58	o 874619
168.39/168.58	c fallback to adder encoding
181.59/181.71	o 874580
181.59/181.71	c fallback to adder encoding
193.16/193.30	o 873539
193.16/193.30	c fallback to adder encoding
213.88/214.09	o 872830
213.88/214.09	c fallback to adder encoding
231.58/231.72	o 872096
231.58/231.72	c fallback to adder encoding
252.68/252.83	o 871663
252.68/252.83	c fallback to adder encoding
255.44/255.60	o 871586
255.44/255.60	c fallback to adder encoding
260.56/260.74	o 870350
260.56/260.74	c fallback to adder encoding
268.47/268.64	o 870320
268.47/268.64	c fallback to adder encoding
275.76/275.93	o 869065
275.76/275.93	c fallback to adder encoding
293.56/293.73	o 868771
293.56/293.73	c fallback to adder encoding
306.54/306.75	o 868751
306.54/306.75	c fallback to adder encoding
314.06/314.20	o 867828
314.06/314.20	c fallback to adder encoding
325.96/326.19	o 867719
325.96/326.19	c fallback to adder encoding
339.86/340.05	o 864396
339.86/340.05	c fallback to adder encoding
362.25/362.48	o 863158
362.25/362.48	c fallback to adder encoding
366.63/366.84	o 863015
366.63/366.84	c fallback to adder encoding
382.63/382.85	o 861708
382.63/382.85	c fallback to adder encoding
392.53/392.78	o 861582
392.53/392.78	c fallback to adder encoding
397.63/397.89	o 861358
397.63/397.89	c fallback to adder encoding
415.53/415.80	o 859547
415.53/415.80	c fallback to adder encoding
428.52/428.79	o 859457
428.52/428.79	c fallback to adder encoding
439.61/439.83	o 858966
439.61/439.83	c fallback to adder encoding
457.89/458.11	o 858117
457.89/458.11	c fallback to adder encoding
469.20/469.47	o 856679
469.20/469.47	c fallback to adder encoding
484.40/484.62	o 855107
484.40/484.62	c fallback to adder encoding
489.48/489.70	o 850968
489.48/489.70	c fallback to adder encoding
503.40/503.63	o 849662
503.40/503.63	c fallback to adder encoding
514.51/514.71	o 848389
514.51/514.71	c fallback to adder encoding
523.99/524.21	o 847167
523.99/524.21	c fallback to adder encoding
537.48/537.76	o 847104
537.48/537.76	c fallback to adder encoding
549.99/550.27	o 846990
549.99/550.27	c fallback to adder encoding
558.08/558.40	o 846705
558.08/558.40	c fallback to adder encoding
570.06/570.30	o 846307
570.06/570.30	c fallback to adder encoding
579.18/579.46	o 846172
579.18/579.46	c fallback to adder encoding
587.89/588.14	o 845598
587.89/588.14	c fallback to adder encoding
597.96/598.20	o 844833
597.96/598.20	c fallback to adder encoding
615.68/615.96	o 843863
615.68/615.96	c fallback to adder encoding
628.15/628.47	o 842079
628.15/628.47	c fallback to adder encoding
641.35/641.61	o 842054
641.35/641.61	c fallback to adder encoding
644.56/644.84	o 841568
644.56/644.84	c fallback to adder encoding
666.46/666.76	o 840185
666.46/666.76	c fallback to adder encoding
669.25/669.57	o 839196
669.25/669.57	c fallback to adder encoding
676.55/676.84	o 839162
676.55/676.84	c fallback to adder encoding
687.76/688.03	o 838263
687.76/688.03	c fallback to adder encoding
700.25/700.54	o 837669
700.25/700.54	c fallback to adder encoding
723.04/723.37	o 837394
723.04/723.37	c fallback to adder encoding
736.65/736.97	o 837179
736.65/736.97	c fallback to adder encoding
758.33/758.65	o 835616
758.33/758.65	c fallback to adder encoding
764.84/765.12	o 835466
764.84/765.12	c fallback to adder encoding
779.55/779.83	o 835165
779.55/779.83	c fallback to adder encoding
797.42/797.72	o 834529
797.42/797.72	c fallback to adder encoding
821.31/821.67	o 833558
821.31/821.67	c fallback to adder encoding
836.61/836.95	o 832444
836.61/836.95	c fallback to adder encoding
851.41/851.72	o 831312
851.41/851.72	c fallback to adder encoding
868.41/868.73	o 828858
868.41/868.73	c fallback to adder encoding
881.31/881.62	o 828119
881.31/881.62	c fallback to adder encoding
899.70/900.07	o 828015
899.70/900.07	c fallback to adder encoding
908.50/908.82	o 823407
908.50/908.82	c fallback to adder encoding
918.30/918.65	o 823071
918.30/918.65	c fallback to adder encoding
927.48/927.85	o 822618
927.48/927.85	c fallback to adder encoding
942.69/943.08	o 822440
942.69/943.08	c fallback to adder encoding
949.99/950.36	o 822311
949.99/950.36	c fallback to adder encoding
968.97/969.32	o 822210
968.97/969.32	c fallback to adder encoding
988.36/988.75	o 820969
988.36/988.75	c fallback to adder encoding
996.17/996.57	o 820025
996.17/996.57	c fallback to adder encoding
1009.35/1009.75	o 819679
1009.35/1009.75	c fallback to adder encoding
1016.07/1016.44	o 819644
1016.07/1016.44	c fallback to adder encoding
1023.75/1024.15	o 819635
1023.75/1024.15	c fallback to adder encoding
1030.34/1030.72	o 818526
1030.34/1030.72	c fallback to adder encoding
1047.53/1047.94	o 817756
1047.53/1047.94	c fallback to adder encoding
1066.73/1067.17	o 817613
1066.73/1067.17	c fallback to adder encoding
1083.52/1083.90	o 817464
1083.52/1083.90	c fallback to adder encoding
1089.63/1090.01	o 817148
1089.63/1090.01	c fallback to adder encoding
1097.33/1097.75	o 816092
1097.33/1097.75	c fallback to adder encoding
1107.54/1107.96	o 814318
1107.54/1107.96	c fallback to adder encoding
1117.32/1117.76	o 813406
1117.32/1117.76	c fallback to adder encoding
1132.54/1132.96	o 813304
1132.54/1132.96	c fallback to adder encoding
1148.32/1148.76	o 810817
1148.32/1148.76	c fallback to adder encoding
1159.41/1159.87	o 809746
1159.41/1159.87	c fallback to adder encoding
1165.83/1166.26	o 808637
1165.83/1166.26	c fallback to adder encoding
1174.21/1174.66	o 807648
1174.21/1174.66	c fallback to adder encoding
1184.02/1184.45	o 804500
1184.02/1184.45	c fallback to adder encoding
1193.62/1194.03	o 804286
1193.62/1194.03	c fallback to adder encoding
1206.21/1206.63	o 802861
1206.21/1206.63	c fallback to adder encoding
1212.49/1212.91	o 802808
1212.49/1212.91	c fallback to adder encoding
1218.50/1218.95	o 801821
1218.50/1218.95	c fallback to adder encoding
1222.49/1222.92	o 799274
1222.49/1222.92	c fallback to adder encoding
1224.79/1225.22	o 797734
1224.79/1225.22	c fallback to adder encoding
1239.20/1239.69	o 796832
1239.20/1239.69	c fallback to adder encoding
1244.70/1245.18	o 795108
1244.70/1245.18	c fallback to adder encoding
1262.38/1262.82	o 794530
1262.38/1262.82	c fallback to adder encoding
1270.58/1271.04	o 793679
1270.58/1271.04	c fallback to adder encoding
1286.88/1287.35	o 793101
1286.88/1287.35	c fallback to adder encoding
1296.68/1297.17	o 788967
1296.68/1297.17	c fallback to adder encoding
1302.66/1303.11	o 788665
1302.66/1303.11	c fallback to adder encoding
1314.67/1315.16	o 788635
1314.67/1315.16	c fallback to adder encoding
1329.86/1330.39	o 787807
1329.86/1330.39	c fallback to adder encoding
1341.58/1342.07	o 786996
1341.58/1342.07	c fallback to adder encoding
1355.87/1356.39	o 785930
1355.87/1356.39	c fallback to adder encoding
1361.76/1362.23	o 784202
1361.76/1362.23	c fallback to adder encoding
1387.26/1387.73	o 783713
1387.26/1387.73	c fallback to adder encoding
1396.06/1396.59	o 782343
1396.06/1396.59	c fallback to adder encoding
1403.06/1403.58	o 781212
1403.06/1403.58	c fallback to adder encoding
1409.85/1410.38	o 779307
1409.85/1410.38	c fallback to adder encoding
1419.94/1420.41	o 779237
1419.94/1420.41	c fallback to adder encoding
1442.33/1442.81	o 778565
1442.33/1442.81	c fallback to adder encoding
1454.34/1454.81	o 778053
1454.34/1454.81	c fallback to adder encoding
1462.83/1463.30	o 776104
1462.83/1463.30	c fallback to adder encoding
1472.74/1473.23	o 774675
1472.74/1473.23	c fallback to adder encoding
1476.44/1476.97	o 774206
1476.44/1476.97	c fallback to adder encoding
1484.04/1484.54	o 772484
1484.04/1484.54	c fallback to adder encoding
1499.94/1500.50	o 772311
1499.94/1500.50	c fallback to adder encoding
1516.35/1516.84	o 772119
1516.35/1516.84	c fallback to adder encoding
1521.02/1521.51	o 771479
1521.02/1521.51	c fallback to adder encoding
1533.03/1533.52	o 769827
1533.03/1533.52	c fallback to adder encoding
1545.04/1545.54	o 769003
1545.04/1545.54	c fallback to adder encoding
1557.74/1558.27	o 768555
1557.74/1558.27	c fallback to adder encoding
1569.73/1570.23	o 768274
1569.73/1570.23	c fallback to adder encoding
1583.73/1584.24	o 768205
1583.73/1584.24	c fallback to adder encoding
1592.62/1593.18	o 767105
1592.62/1593.18	c fallback to adder encoding
1599.71/1600.29	o 766868
1599.71/1600.29	c fallback to adder encoding
1608.32/1608.84	o 766597
1608.32/1608.84	c fallback to adder encoding
1616.80/1617.31	o 765336
1616.80/1617.31	c fallback to adder encoding
1629.71/1630.29	o 765195
1629.71/1630.29	c fallback to adder encoding
1640.73/1641.27	o 764712
1640.73/1641.27	c fallback to adder encoding
1659.01/1659.52	o 764148
1659.01/1659.52	c fallback to adder encoding
1670.20/1670.73	o 762796
1670.20/1670.73	c fallback to adder encoding
1689.29/1689.82	o 762599
1689.29/1689.82	c fallback to adder encoding
1696.09/1696.61	o 761684
1696.09/1696.61	c fallback to adder encoding
1704.19/1704.77	o 761098
1704.19/1704.77	c fallback to adder encoding
1712.39/1712.99	o 761084
1712.39/1712.99	c fallback to adder encoding
1726.80/1727.39	o 760927
1726.80/1727.39	c fallback to adder encoding
1731.90/1732.42	o 760106
1731.90/1732.42	c fallback to adder encoding
1741.66/1742.29	o 759197
1741.66/1742.29	c fallback to adder encoding
1754.06/1754.66	o 758531
1754.06/1754.66	c fallback to adder encoding
1765.67/1766.27	o 758519
1765.67/1766.27	c fallback to adder encoding
1790.77/1791.36	o 757512
1790.77/1791.36	c fallback to adder encoding
1800.09/1800.61	./satsolver.sh: line 5:  6516 Terminated              ./glucose $1 > $2 2> /dev/null
1800.09/1800.61	c error: unexpected solver exit code
1800.09/1800.61	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3714689-1338227524/watcher-3714689-1338227524 -o /tmp/evaluation-result-3714689-1338227524/solver-3714689-1338227524 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714689-1338227524.wbo 29198161 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.03 1.97 1.97 3/179 4997
/proc/meminfo: memFree=31096020/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0

[startup+0.024405 s]
/proc/loadavg: 2.03 1.97 1.97 3/179 4997
/proc/meminfo: memFree=31096020/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100269 s]
/proc/loadavg: 2.03 1.97 1.97 3/179 4997
/proc/meminfo: memFree=31096020/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300285 s]
/proc/loadavg: 2.03 1.97 1.97 3/179 4997
/proc/meminfo: memFree=31096020/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700253 s]
/proc/loadavg: 2.03 1.97 1.97 3/179 4997
/proc/meminfo: memFree=31096020/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/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.03 1.97 1.97 3/183 5011
/proc/meminfo: memFree=31077384/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=6792 CPUtime=0.07 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 2570 5353 0 0 4 1 1 1 20 0 1 0 288876719 6955008 1356 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4998/statm: 1698 1356 164 439 0 1255 0
[pid=5010] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5010/stat : 5010 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288876727 9367552 267 33554432000 4194304 5064252 140734261344304 140734261343216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5010/statm: 2287 267 226 213 0 72 0
[pid=5011] ppid=5010 vsize=16760 CPUtime=1.4 cores=1,3,5,7
/proc/5011/stat : 5011 (glucose) R 5010 4997 12121 0 -1 4202496 4024 0 0 0 140 0 0 0 20 0 1 0 288876728 17162240 3667 33554432000 4194304 5208918 140734514918176 140734514916024 4212619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5011/statm: 4190 3667 104 248 0 3939 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 41848

[startup+3.10037 s]
/proc/loadavg: 2.03 1.97 1.97 3/183 5011
/proc/meminfo: memFree=31070376/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=6792 CPUtime=0.07 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 2570 5353 0 0 4 1 1 1 20 0 1 0 288876719 6955008 1356 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4998/statm: 1698 1356 164 439 0 1255 0
[pid=5010] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5010/stat : 5010 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288876727 9367552 267 33554432000 4194304 5064252 140734261344304 140734261343216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5010/statm: 2287 267 226 213 0 72 0
[pid=5011] ppid=5010 vsize=22156 CPUtime=2.99 cores=1,3,5,7
/proc/5011/stat : 5011 (glucose) R 5010 4997 12121 0 -1 4202496 5170 0 0 0 299 0 0 0 20 0 1 0 288876728 22687744 5221 33554432000 4194304 5208918 140734514918176 140734514914488 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5011/statm: 5539 5221 104 248 0 5288 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 47244

[startup+6.30039 s]
/proc/loadavg: 2.03 1.97 1.97 3/183 5011
/proc/meminfo: memFree=31063056/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=6792 CPUtime=0.07 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 2570 5353 0 0 4 1 1 1 20 0 1 0 288876719 6955008 1356 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4998/statm: 1698 1356 164 439 0 1255 0
[pid=5010] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5010/stat : 5010 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288876727 9367552 267 33554432000 4194304 5064252 140734261344304 140734261343216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5010/statm: 2287 267 226 213 0 72 0
[pid=5011] ppid=5010 vsize=23832 CPUtime=6.19 cores=1,3,5,7
/proc/5011/stat : 5011 (glucose) R 5010 4997 12121 0 -1 4202496 5619 0 0 0 619 0 0 0 20 0 1 0 288876728 24403968 5651 33554432000 4194304 5208918 140734514918176 140734514914552 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5011/statm: 5958 5651 104 248 0 5707 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 48920

[startup+12.7004 s]
/proc/loadavg: 2.02 1.97 1.97 3/183 5011
/proc/meminfo: memFree=31050092/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=6792 CPUtime=0.07 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 2570 5353 0 0 4 1 1 1 20 0 1 0 288876719 6955008 1356 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4998/statm: 1698 1356 164 439 0 1255 0
[pid=5010] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5010/stat : 5010 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288876727 9367552 267 33554432000 4194304 5064252 140734261344304 140734261343216 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5010/statm: 2287 267 226 213 0 72 0
[pid=5011] ppid=5010 vsize=31048 CPUtime=12.59 cores=1,3,5,7
/proc/5011/stat : 5011 (glucose) R 5010 4997 12121 0 -1 4202496 6191 0 0 0 1258 1 0 0 20 0 1 0 288876728 31793152 6740 33554432000 4194304 5208918 140734514918176 140734514916120 4215232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5011/statm: 7762 6740 104 248 0 7511 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 56136

[startup+25.5004 s]
/proc/loadavg: 2.02 1.97 1.97 3/183 5018
/proc/meminfo: memFree=31076532/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=23.34 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 3848 16042 0 0 8 1 2320 5 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=5017] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5017/stat : 5017 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288879057 9367552 267 33554432000 4194304 5064252 140733360531184 140733360530096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5017/statm: 2287 267 226 213 0 72 0
[pid=5018] ppid=5017 vsize=19172 CPUtime=2.11 cores=1,3,5,7
/proc/5018/stat : 5018 (glucose) R 5017 4997 12121 0 -1 4202496 4384 0 0 0 210 1 0 0 20 0 1 0 288879057 19632128 4336 33554432000 4194304 5208918 140735475684944 140735475682888 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5018/statm: 4793 4336 104 248 0 4542 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 48352

[startup+51.1004 s]
/proc/loadavg: 2.01 1.97 1.97 3/183 5025
/proc/meminfo: memFree=31062376/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=50.86 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 6404 34100 0 0 16 2 5056 12 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 20032

[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.97 3/183 5060
/proc/meminfo: memFree=31054360/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=100.78 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 11516 72741 0 0 32 5 10013 28 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=5059] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5059/stat : 5059 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288886803 9367552 267 33554432000 4194304 5064252 140736129086048 140736129084960 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5059/statm: 2287 267 226 213 0 72 0
[pid=5060] ppid=5059 vsize=19272 CPUtime=1.45 cores=1,3,5,7
/proc/5060/stat : 5060 (glucose) R 5059 4997 12121 0 -1 4202496 3942 0 0 0 145 0 0 0 20 0 1 0 288886803 19734528 4269 33554432000 4194304 5208918 140736066965104 140736066961480 4211712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5060/statm: 4818 4269 104 248 0 4567 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 48452

[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.97 3/183 5095
/proc/meminfo: memFree=31037948/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=157.04 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 17906 117810 0 0 51 9 15598 46 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=5094] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5094/stat : 5094 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288892431 9367552 267 33554432000 4194304 5064252 140736126451536 140736126450448 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5094/statm: 2287 267 226 213 0 72 0
[pid=5095] ppid=5094 vsize=23756 CPUtime=5.16 cores=1,3,5,7
/proc/5095/stat : 5095 (glucose) R 5094 4997 12121 0 -1 4202496 4896 0 0 0 515 1 0 0 20 0 1 0 288892432 24326144 5621 33554432000 4194304 5208918 140735709209984 140735709207848 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5095/statm: 5939 5621 104 248 0 5688 0
Current children cumulated CPU time (s) 162.2

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

/proc/6209/statm: 2287 267 226 213 0 72 0
[pid=6210] ppid=6209 vsize=23692 CPUtime=5.08 cores=1,3,5,7
/proc/6210/stat : 6210 (glucose) R 6209 4997 12121 0 -1 4202496 5113 0 0 0 507 1 0 0 20 0 1 0 289006441 24260608 5615 33554432000 4194304 5208918 140733688408912 140733688405288 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6210/statm: 5923 5615 104 248 0 5672 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 52872

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 6245
/proc/meminfo: memFree=29222824/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=1361.86 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 146984 1060075 0 0 448 76 135244 418 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 20032

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 6288
/proc/meminfo: memFree=29230924/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=1420.01 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 153374 1104785 0 0 467 79 141019 436 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=6287] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6287/stat : 6287 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289018765 9367552 267 33554432000 4194304 5064252 140736699471216 140736699470128 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6287/statm: 2287 267 226 213 0 72 0
[pid=6288] ppid=6287 vsize=16584 CPUtime=1.84 cores=1,3,5,7
/proc/6288/stat : 6288 (glucose) R 6287 4997 12121 0 -1 4202496 4648 0 0 0 183 1 0 0 20 0 1 0 289018765 16982016 3667 33554432000 4194304 5208918 140734037872832 140734037870776 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6288/statm: 4146 3667 104 248 0 3895 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 45764

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 6323
/proc/meminfo: memFree=29224552/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=1476.58 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 159764 1148687 0 0 487 83 146633 455 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=6322] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6322/stat : 6322 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289024421 9367552 267 33554432000 4194304 5064252 140733871698992 140733871697904 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6322/statm: 2287 267 226 213 0 72 0
[pid=6323] ppid=6322 vsize=22056 CPUtime=5.26 cores=1,3,5,7
/proc/6323/stat : 6323 (glucose) R 6322 4997 12121 0 -1 4202496 5406 0 0 0 526 0 0 0 20 0 1 0 289024421 22585344 5196 33554432000 4194304 5208918 140737434382800 140737434380664 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6323/statm: 5514 5196 104 248 0 5263 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 51236

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 6358
/proc/meminfo: memFree=29223400/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=1533.12 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 166154 1193356 0 0 507 86 152245 474 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=6357] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6357/stat : 6357 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289030076 9367552 267 33554432000 4194304 5064252 140734088164816 140734088163728 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6357/statm: 2287 267 226 213 0 72 0
[pid=6358] ppid=6357 vsize=19324 CPUtime=8.72 cores=1,3,5,7
/proc/6358/stat : 6358 (glucose) R 6357 4997 12121 0 -1 4202496 5501 0 0 0 871 1 0 0 20 0 1 0 289030076 19787776 4554 33554432000 4194304 5208918 140735619463936 140735619461944 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6358/statm: 4831 4554 104 248 0 4580 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 48504

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6400
/proc/meminfo: memFree=29231800/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=1599.88 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 173822 1245267 0 0 531 90 158871 496 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=6399] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6399/stat : 6399 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289036753 9367552 267 33554432000 4194304 5064252 140735027994800 140735027993712 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6399/statm: 2287 267 226 213 0 72 0
[pid=6400] ppid=6399 vsize=16620 CPUtime=1.95 cores=1,3,5,7
/proc/6400/stat : 6400 (glucose) R 6399 4997 12121 0 -1 4202496 4267 0 0 0 194 1 0 0 20 0 1 0 289036753 17018880 3757 33554432000 4194304 5208918 140736689228944 140736689226696 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6400/statm: 4155 3757 104 248 0 3904 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 45800

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 6435
/proc/meminfo: memFree=29226008/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=1659.08 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 180212 1289304 0 0 550 93 164752 513 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=6434] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6434/stat : 6434 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 289042676 9367552 266 33554432000 4194304 5064252 140733265576064 140733265574976 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6434/statm: 2287 266 226 213 0 72 0
[pid=6435] ppid=6434 vsize=16640 CPUtime=2.71 cores=1,3,5,7
/proc/6435/stat : 6435 (glucose) R 6434 4997 12121 0 -1 4202496 3744 0 0 0 271 0 0 0 20 0 1 0 289042676 17039360 3850 33554432000 4194304 5208918 140735437412256 140735437410344 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6435/statm: 4160 3850 104 248 0 3909 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 45820

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6474
/proc/meminfo: memFree=29219780/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=1712.56 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 186602 1331194 0 0 570 97 170058 531 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=6472] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6472/stat : 6472 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 289048023 9367552 266 33554432000 4194304 5064252 140733711069568 140733711068480 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6472/statm: 2287 266 226 213 0 72 0
[pid=6473] ppid=6472 vsize=23700 CPUtime=9.24 cores=1,3,5,7
/proc/6473/stat : 6473 (glucose) R 6472 4997 12121 0 -1 4202496 4645 0 0 0 923 1 0 0 20 0 1 0 289048023 24268800 5618 33554432000 4194304 5208918 140736964997328 140736964993704 4213760 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6473/statm: 5925 5618 104 248 0 5674 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 52880

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 6509
/proc/meminfo: memFree=29212340/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=1765.8 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 192992 1376571 0 0 589 100 175342 549 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=6508] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6508/stat : 6508 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289053351 9367552 266 33554432000 4194304 5064252 140733372547936 140733372546848 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6508/statm: 2287 266 226 213 0 72 0
[pid=6509] ppid=6508 vsize=30884 CPUtime=15.96 cores=1,3,5,7
/proc/6509/stat : 6509 (glucose) R 6508 4997 12121 0 -1 4202496 7483 0 0 0 1594 2 0 0 20 0 1 0 289053351 31625216 7413 33554432000 4194304 5208918 140734065191664 140734065189608 4211620 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6509/statm: 7721 7413 104 248 0 7470 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 60064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 6516
/proc/meminfo: memFree=29215316/32873844 swapFree=7632/7632
[pid=4997] ppid=4995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4997/stat : 4997 (npSolver-wbo-It) S 4995 4997 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288876719 9367552 275 33554432000 4194304 5064252 140736730371968 140736730370880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4997/statm: 2287 275 233 213 0 72 0
[pid=4998] ppid=4997 vsize=10884 CPUtime=1790.9 cores=1,3,5,7
/proc/4998/stat : 4998 (npSolver-wbo) S 4997 4997 12121 0 -1 4202496 194270 1387637 0 0 594 101 177841 554 20 0 1 0 288876719 11145216 1950 33554432000 4194304 5990268 140733354420352 140733354411776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/4998/statm: 2721 1950 164 439 0 2278 0
[pid=6515] ppid=4998 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6515/stat : 6515 (satsolver.sh) S 4998 4997 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289055860 9367552 267 33554432000 4194304 5064252 140735436386480 140735436385392 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6515/statm: 2287 267 226 213 0 72 0
[pid=6516] ppid=6515 vsize=28016 CPUtime=9.19 cores=1,3,5,7
/proc/6516/stat : 6516 (glucose) R 6515 4997 12121 0 -1 4202496 4813 0 0 0 918 1 0 0 20 0 1 0 289055860 28688384 6692 33554432000 4194304 5208918 140733905288608 140733905286472 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6516/statm: 7004 6692 104 248 0 6753 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 57196

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1793.53
CPU system time (s): 6.574
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 90192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.53
system time used= 6.574
maximum resident set size= 49840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1587712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 777288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4913
involuntary context switches= 4159

runsolver used 3.51047 second user time and 9.26259 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-28 19:52:04
IDJOB=3714689
IDBENCH=79446
IDSOLVER=2296
FILE ID=node141/3714689-1338227524
RUNJOBID= node141-1338210956-15179
PBS_JOBID= 14624602
Free space on /tmp= 71516 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/academics/normalized-warehouse1_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3714689-1338227524/watcher-3714689-1338227524 -o /tmp/evaluation-result-3714689-1338227524/solver-3714689-1338227524 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3714689-1338227524.wbo 29198161 HOME HOME

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

MD5SUM BENCH= e84f9fd9c38a67d9707b8aa628966b83
RANDOM SEED=29198161

node141.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.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
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.744
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.744
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.93
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.744
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.92
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.744
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.744
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.744
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.92
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.744
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:        31096276 kB
Buffers:          314448 kB
Cached:           414864 kB
SwapCached:          220 kB
Active:           457328 kB
Inactive:         478292 kB
Active(anon):     195904 kB
Inactive(anon):    11292 kB
Active(file):     261424 kB
Inactive(file):   467000 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:              8480 kB
Writeback:             0 kB
AnonPages:        218524 kB
Mapped:            11800 kB
Shmem:               172 kB
Slab:             699448 kB
SReclaimable:     141300 kB
SUnreclaim:       558148 kB
KernelStack:        1528 kB
PageTables:         4700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     330768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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= 71044 MiB
End job on node141 at 2012-05-28 20:22:05