Trace number 3753823

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDown (fixed)? (TO) 1800.06 1792.81

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.05	o 12656
0.00/0.05	c fallback to adder encoding
18.36/18.49	o 12655
18.36/18.49	c fallback to adder encoding
27.11/27.22	o 12649
27.11/27.22	c fallback to adder encoding
35.94/36.05	o 12645
35.94/36.05	c fallback to adder encoding
47.16/47.30	o 12637
47.16/47.30	c fallback to adder encoding
59.33/59.43	o 12610
59.33/59.43	c fallback to adder encoding
84.35/84.49	o 12607
84.35/84.49	c fallback to adder encoding
99.33/99.45	o 12606
99.33/99.45	c fallback to adder encoding
112.93/113.07	o 12591
112.93/113.07	c fallback to adder encoding
135.63/135.77	o 12586
135.63/135.77	c fallback to adder encoding
145.04/145.18	o 12577
145.04/145.18	c fallback to adder encoding
157.73/157.88	o 12557
157.73/157.88	c fallback to adder encoding
166.87/167.01	o 12554
166.87/167.01	c fallback to adder encoding
189.24/189.38	o 12551
189.24/189.38	c fallback to adder encoding
199.19/199.34	o 12548
199.19/199.34	c fallback to adder encoding
209.40/209.55	o 12547
209.40/209.55	c fallback to adder encoding
239.40/239.55	o 12526
239.40/239.55	c fallback to adder encoding
247.22/247.37	o 12525
247.22/247.37	c fallback to adder encoding
254.72/254.88	o 12521
254.72/254.88	c fallback to adder encoding
265.85/266.00	o 12518
265.85/266.00	c fallback to adder encoding
274.29/274.44	o 12517
274.29/274.44	c fallback to adder encoding
284.05/284.20	o 12516
284.05/284.20	c fallback to adder encoding
284.27/292.59	o 12506
284.27/292.59	c fallback to adder encoding
303.66/303.83	o 12503
303.66/303.83	c fallback to adder encoding
316.50/316.69	o 12484
316.50/316.69	c fallback to adder encoding
335.65/335.83	o 12474
335.65/335.83	c fallback to adder encoding
349.29/349.47	o 12453
349.29/349.47	c fallback to adder encoding
367.03/367.21	o 12445
367.03/367.21	c fallback to adder encoding
372.89/373.07	o 12431
372.89/373.07	c fallback to adder encoding
382.39/382.58	o 12403
382.39/382.58	c fallback to adder encoding
386.39/386.59	o 12394
386.39/386.59	c fallback to adder encoding
407.06/407.24	o 12389
407.06/407.24	c fallback to adder encoding
421.25/421.49	o 12384
421.25/421.49	c fallback to adder encoding
432.06/432.28	o 12383
432.06/432.28	c fallback to adder encoding
444.16/444.32	o 12360
444.16/444.32	c fallback to adder encoding
454.50/454.72	o 12354
454.50/454.72	c fallback to adder encoding
466.66/466.89	o 12343
466.66/466.89	c fallback to adder encoding
478.48/478.72	o 12341
478.48/478.72	c fallback to adder encoding
490.39/490.62	o 12330
490.39/490.62	c fallback to adder encoding
496.45/496.69	o 12307
496.45/496.69	c fallback to adder encoding
516.79/517.03	o 12294
516.79/517.03	c fallback to adder encoding
528.38/528.63	o 12290
528.38/528.63	c fallback to adder encoding
551.22/551.46	o 12289
551.22/551.46	c fallback to adder encoding
559.11/559.35	o 12264
559.11/559.35	c fallback to adder encoding
573.23/573.48	o 12263
573.23/573.48	c fallback to adder encoding
586.62/586.87	o 12204
586.62/586.87	c fallback to adder encoding
606.11/606.35	o 12200
606.11/606.35	c fallback to adder encoding
635.25/635.50	o 12195
635.25/635.50	c fallback to adder encoding
650.36/650.62	o 12157
650.36/650.62	c fallback to adder encoding
664.20/664.45	o 12136
664.20/664.45	c fallback to adder encoding
691.02/691.29	o 12068
691.02/691.29	c fallback to adder encoding
705.16/705.43	o 12065
705.16/705.43	c fallback to adder encoding
718.98/719.25	o 11921
718.98/719.25	c fallback to adder encoding
753.67/753.96	o 11920
753.67/753.96	c fallback to adder encoding
786.18/786.47	o 11906
786.18/786.47	c fallback to adder encoding
792.11/792.41	o 11900
792.11/792.41	c fallback to adder encoding
799.57/799.87	o 11889
799.57/799.87	c fallback to adder encoding
803.33/803.65	o 11888
803.33/803.65	c fallback to adder encoding
831.84/832.16	o 11887
831.84/832.16	c fallback to adder encoding
840.62/840.95	o 11886
840.62/840.95	c fallback to adder encoding
852.01/852.33	o 11874
852.01/852.33	c fallback to adder encoding
866.07/866.41	o 11848
866.07/866.41	c fallback to adder encoding
891.22/891.57	o 11819
891.22/891.57	c fallback to adder encoding
900.81/901.15	o 11816
900.81/901.15	c fallback to adder encoding
914.40/914.74	o 11786
914.40/914.74	c fallback to adder encoding
963.89/964.28	o 11785
963.89/964.28	c fallback to adder encoding
975.07/975.45	o 11775
975.07/975.45	c fallback to adder encoding
996.57/996.99	o 11571
996.57/996.99	c fallback to adder encoding
1007.33/1007.74	o 11550
1007.33/1007.74	c fallback to adder encoding
1023.79/1024.19	o 11543
1023.79/1024.19	c fallback to adder encoding
1028.61/1029.02	o 11514
1028.61/1029.02	c fallback to adder encoding
1047.35/1047.76	o 11513
1047.35/1047.76	c fallback to adder encoding
1055.04/1055.46	o 11504
1055.04/1055.46	c fallback to adder encoding
1061.95/1062.37	o 11499
1061.95/1062.37	c fallback to adder encoding
1077.22/1077.65	o 11356
1077.22/1077.65	c fallback to adder encoding
1095.30/1095.73	o 11351
1095.30/1095.73	c fallback to adder encoding
1111.28/1111.72	o 11339
1111.28/1111.72	c fallback to adder encoding
1119.98/1120.43	o 11337
1119.98/1120.43	c fallback to adder encoding
1134.32/1134.78	o 11335
1134.32/1134.78	c fallback to adder encoding
1145.10/1145.56	o 11331
1145.10/1145.56	c fallback to adder encoding
1163.82/1164.20	o 11330
1163.82/1164.20	c fallback to adder encoding
1168.20/1168.66	o 11328
1168.20/1168.66	c fallback to adder encoding
1178.36/1178.83	o 11320
1178.36/1178.83	c fallback to adder encoding
1197.98/1198.45	o 11316
1197.98/1198.45	c fallback to adder encoding
1211.70/1212.12	o 11315
1211.70/1212.12	c fallback to adder encoding
1222.10/1222.58	o 11297
1222.10/1222.58	c fallback to adder encoding
1266.89/1267.38	o 11286
1266.89/1267.38	c fallback to adder encoding
1280.79/1281.29	o 11284
1280.79/1281.29	c fallback to adder encoding
1295.72/1296.21	o 11277
1295.72/1296.21	c fallback to adder encoding
1313.96/1314.42	o 11274
1313.96/1314.42	c fallback to adder encoding
1324.63/1325.16	o 11273
1324.63/1325.16	c fallback to adder encoding
1335.02/1335.67	o 11271
1335.02/1335.67	c fallback to adder encoding
1347.49/1348.14	o 11267
1347.49/1348.14	c fallback to adder encoding
1383.12/1383.72	o 11260
1383.12/1383.72	c fallback to adder encoding
1406.44/1407.10	o 11259
1406.44/1407.10	c fallback to adder encoding
1419.98/1420.65	o 11237
1419.98/1420.65	c fallback to adder encoding
1430.58/1431.26	o 11223
1430.58/1431.26	c fallback to adder encoding
1477.70/1478.40	o 11221
1477.70/1478.40	c fallback to adder encoding
1496.28/1496.97	o 11168
1496.28/1496.97	c fallback to adder encoding
1503.35/1504.04	o 11167
1503.35/1504.04	c fallback to adder encoding
1531.45/1532.14	o 11157
1531.45/1532.14	c fallback to adder encoding
1561.10/1561.80	o 11153
1561.10/1561.80	c fallback to adder encoding
1594.48/1595.19	o 11140
1594.48/1595.19	c fallback to adder encoding
1602.39/1603.11	o 11137
1602.39/1603.11	c fallback to adder encoding
1622.52/1623.24	o 11119
1622.52/1623.24	c fallback to adder encoding
1639.13/1639.87	o 11118
1639.13/1639.87	c fallback to adder encoding
1667.33/1668.00	o 11067
1667.33/1668.00	c fallback to adder encoding
1696.64/1697.41	o 11063
1696.64/1697.41	c fallback to adder encoding
1711.13/1712.00	o 11058
1711.13/1712.00	c fallback to adder encoding
1738.20/1739.02	o 11040
1738.20/1739.02	c fallback to adder encoding
1751.16/1752.05	o 11018
1751.16/1752.05	c fallback to adder encoding
1768.55/1769.44	o 11015
1768.55/1769.44	c fallback to adder encoding
1775.42/1776.31	o 11012
1775.42/1776.31	c fallback to adder encoding
1785.79/1786.60	o 11010
1785.79/1786.60	c fallback to adder encoding
1791.99/1792.80	./satsolver.sh: line 5:  2857 Terminated              ./glucose $1 > $2 2> /dev/null
1791.99/1792.80	c error: unexpected solver exit code
1791.99/1792.80	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-3753823-1339200430/watcher-3753823-1339200430 -o /tmp/evaluation-result-3753823-1339200430/solver-3753823-1339200430 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753823-1339200430.wbo 1184245811 HOME HOME 

running on 4 cores: 0,2,4,6

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: 1.92 1.98 1.99 2/179 31693
/proc/meminfo: memFree=27388028/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0

[startup+0.0757561 s]
/proc/loadavg: 1.92 1.98 1.99 2/179 31693
/proc/meminfo: memFree=27388028/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100248 s]
/proc/loadavg: 1.92 1.98 1.99 2/179 31693
/proc/meminfo: memFree=27388028/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300213 s]
/proc/loadavg: 1.92 1.98 1.99 2/179 31693
/proc/meminfo: memFree=27388028/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700176 s]
/proc/loadavg: 1.92 1.98 1.99 2/179 31693
/proc/meminfo: memFree=27388028/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50037 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 31707
/proc/meminfo: memFree=27337448/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=0.17 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 4282 5940 0 0 13 2 1 1 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=31706] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31706/stat : 31706 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386168781 9367552 267 33554432000 4194304 5064252 140737213843424 140737213842336 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31706/statm: 2287 267 226 213 0 72 0
[pid=31707] ppid=31706 vsize=28716 CPUtime=1.3 cores=0,2,4,6
/proc/31707/stat : 31707 (glucose) R 31706 31693 19799 0 -1 4202496 5782 0 0 0 129 1 0 0 20 0 1 0 386168781 29405184 6397 33554432000 4194304 5208918 140737323046144 140737323043992 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31707/statm: 7179 6397 105 248 0 6928 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 67216

[startup+3.10039 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 31707
/proc/meminfo: memFree=27335828/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=0.17 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 4282 5940 0 0 13 2 1 1 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=31706] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31706/stat : 31706 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386168781 9367552 267 33554432000 4194304 5064252 140737213843424 140737213842336 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31706/statm: 2287 267 226 213 0 72 0
[pid=31707] ppid=31706 vsize=33776 CPUtime=2.9 cores=0,2,4,6
/proc/31707/stat : 31707 (glucose) R 31706 31693 19799 0 -1 4202496 6143 0 0 0 289 1 0 0 20 0 1 0 386168781 34586624 7266 33554432000 4194304 5208918 140737323046144 140737323044296 4211066 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31707/statm: 8444 7266 105 248 0 8193 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 72276

[startup+6.30029 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 31707
/proc/meminfo: memFree=27333784/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=0.17 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 4282 5940 0 0 13 2 1 1 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=31706] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31706/stat : 31706 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386168781 9367552 267 33554432000 4194304 5064252 140737213843424 140737213842336 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31706/statm: 2287 267 226 213 0 72 0
[pid=31707] ppid=31706 vsize=29788 CPUtime=6.09 cores=0,2,4,6
/proc/31707/stat : 31707 (glucose) R 31706 31693 19799 0 -1 4202496 6516 0 0 0 608 1 0 0 20 0 1 0 386168781 30502912 6832 33554432000 4194304 5208918 140737323046144 140737323043992 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31707/statm: 7447 6832 105 248 0 7196 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 68288

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 31707
/proc/meminfo: memFree=27321544/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=0.17 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 4282 5940 0 0 13 2 1 1 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=31706] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31706/stat : 31706 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386168781 9367552 267 33554432000 4194304 5064252 140737213843424 140737213842336 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31706/statm: 2287 267 226 213 0 72 0
[pid=31707] ppid=31706 vsize=41356 CPUtime=12.49 cores=0,2,4,6
/proc/31707/stat : 31707 (glucose) R 31706 31693 19799 0 -1 4202496 6933 0 0 0 1248 1 0 0 20 0 1 0 386168781 42348544 9293 33554432000 4194304 5208918 140737323046144 140737323044088 4210905 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31707/statm: 10339 9293 105 248 0 10088 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 79856

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 31714
/proc/meminfo: memFree=27323480/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=18.6 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 6612 16395 0 0 26 3 1825 6 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=31713] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31713/stat : 31713 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386170624 9367552 267 33554432000 4194304 5064252 140735721256000 140735721254912 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31713/statm: 2287 267 226 213 0 72 0
[pid=31714] ppid=31713 vsize=41288 CPUtime=6.86 cores=0,2,4,6
/proc/31714/stat : 31714 (glucose) R 31713 31693 19799 0 -1 4202496 6167 0 0 0 685 1 0 0 20 0 1 0 386170624 42278912 9098 33554432000 4194304 5208918 140734654029824 140734654026200 4211572 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31714/statm: 10322 9098 105 248 0 10071 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 79788

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 31736
/proc/meminfo: memFree=27331916/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=47.41 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 13602 50109 0 0 64 7 4644 26 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=31735] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31735/stat : 31735 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386173506 9367552 266 33554432000 4194304 5064252 140735596061616 140735596060528 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31735/statm: 2287 266 226 213 0 72 0
[pid=31736] ppid=31735 vsize=33804 CPUtime=3.64 cores=0,2,4,6
/proc/31736/stat : 31736 (glucose) R 31735 31693 19799 0 -1 4202496 6801 0 0 0 363 1 0 0 20 0 1 0 386173506 34615296 6783 33554432000 4194304 5208918 140734317368048 140734317366200 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31736/statm: 8451 6783 105 248 0 8200 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 72304

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 31757
/proc/meminfo: memFree=27329844/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=99.54 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 20592 86270 0 0 101 11 9797 45 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=31756] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31756/stat : 31756 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386178720 9367552 267 33554432000 4194304 5064252 140735471343360 140735471342272 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31756/statm: 2287 267 226 213 0 72 0
[pid=31757] ppid=31756 vsize=29300 CPUtime=2.71 cores=0,2,4,6
/proc/31757/stat : 31757 (glucose) R 31756 31693 19799 0 -1 4202496 6663 0 0 0 270 1 0 0 20 0 1 0 386178720 30003200 6656 33554432000 4194304 5208918 140736568694896 140736568692744 4229471 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31757/statm: 7325 6656 105 248 0 7074 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 67800

[startup+162.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/183 31785
/proc/meminfo: memFree=27330656/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=157.97 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 29912 135837 0 0 151 17 15557 72 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=31784] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=2390] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2390/stat : 2390 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386303590 9367552 267 33554432000 4194304 5064252 140736746977600 140736746976512 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2390/statm: 2287 267 226 213 0 72 0
[pid=2391] ppid=2390 vsize=48240 CPUtime=14 cores=0,2,4,6
/proc/2391/stat : 2391 (glucose) R 2390 31693 19799 0 -1 4202496 7343 0 0 0 1398 2 0 0 20 0 1 0 386303590 49397760 10724 33554432000 4194304 5208918 140733357093120 140733357090984 4211561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2391/statm: 12060 10724 105 248 0 11809 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 86740

[startup+1422.31 s]
/proc/loadavg: 2.06 2.00 2.00 3/184 2443
/proc/meminfo: memFree=27376740/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=1420.2 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 175043 1120309 0 0 1191 119 140088 622 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=2442] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2442/stat : 2442 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386310840 9367552 266 33554432000 4194304 5064252 140734706502944 140734706501856 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2442/statm: 2287 266 226 213 0 72 0
[pid=2443] ppid=2442 vsize=28924 CPUtime=1.51 cores=0,2,4,6
/proc/2443/stat : 2443 (glucose) R 2442 31693 19799 0 -1 4202496 6386 0 0 0 150 1 0 0 20 0 1 0 386310840 29618176 6373 33554432000 4194304 5208918 140734936634896 140734936632744 4211034 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2443/statm: 7231 6373 105 248 0 6980 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 67424

[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 2506
/proc/meminfo: memFree=27373896/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=1477.93 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 176637 1144342 0 0 1216 121 145822 634 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=2505] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2505/stat : 2505 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386316615 9367552 266 33554432000 4194304 5064252 140733407219712 140733407218624 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2505/statm: 2287 266 226 213 0 72 0
[pid=2506] ppid=2505 vsize=29144 CPUtime=3.75 cores=0,2,4,6
/proc/2506/stat : 2506 (glucose) R 2505 31693 19799 0 -1 4202496 6431 0 0 0 375 0 0 0 20 0 1 0 386316615 29843456 6421 33554432000 4194304 5208918 140734218763920 140734218761768 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2506/statm: 7286 6421 105 248 0 7035 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 67644

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 2562
/proc/meminfo: memFree=27365740/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=1531.67 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 179028 1179851 0 0 1253 125 151134 655 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=2547] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2547/stat : 2547 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386321989 9367552 267 33554432000 4194304 5064252 140735392445600 140735392444512 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2547/statm: 2287 267 226 213 0 72 0
[pid=2548] ppid=2547 vsize=48444 CPUtime=10.01 cores=0,2,4,6
/proc/2548/stat : 2548 (glucose) R 2547 31693 19799 0 -1 4202496 8706 0 0 0 999 2 0 0 20 0 1 0 386321989 49606656 11245 33554432000 4194304 5208918 140735493236640 140735493234504 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2548/statm: 12111 11245 105 248 0 11860 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 86944

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2633
/proc/meminfo: memFree=27384392/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=1594.7 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 180622 1204349 0 0 1278 127 157397 668 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=2618] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2618/stat : 2618 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386328294 9367552 267 33554432000 4194304 5064252 140735276590016 140735276588928 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2618/statm: 2287 267 226 213 0 72 0
[pid=2619] ppid=2618 vsize=34508 CPUtime=6.95 cores=0,2,4,6
/proc/2619/stat : 2619 (glucose) R 2618 31693 19799 0 -1 4202496 7718 0 0 0 694 1 0 0 20 0 1 0 386328294 35336192 7684 33554432000 4194304 5208918 140737194226544 140737194224392 4211580 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2619/statm: 8627 7684 105 248 0 8376 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 73008

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 2703
/proc/meminfo: memFree=27367576/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=1639.36 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 183013 1239193 0 0 1315 130 161804 687 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=2688] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2688/stat : 2688 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386332762 9367552 266 33554432000 4194304 5064252 140736529481296 140736529480208 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2688/statm: 2287 266 226 213 0 72 0
[pid=2689] ppid=2688 vsize=48328 CPUtime=22.27 cores=0,2,4,6
/proc/2689/stat : 2689 (glucose) R 2688 31693 19799 0 -1 4202496 8722 0 0 0 2226 1 0 0 20 0 1 0 386332762 49487872 11479 33554432000 4194304 5208918 140735546567376 140735546563752 4229316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 12082 11479 105 248 0 11831 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 86828

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 2773
/proc/meminfo: memFree=27375692/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=1711.35 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 185404 1276141 0 0 1352 133 168944 706 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=2758] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2758/stat : 2758 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386339975 9367552 267 33554432000 4194304 5064252 140734642195040 140734642193952 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2758/statm: 2287 267 226 213 0 72 0
[pid=2759] ppid=2758 vsize=48412 CPUtime=10.14 cores=0,2,4,6
/proc/2759/stat : 2759 (glucose) R 2758 31693 19799 0 -1 4202496 7280 0 0 0 1013 1 0 0 20 0 1 0 386339975 49573888 11121 33554432000 4194304 5208918 140736745594032 140736745591976 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2759/statm: 12103 11121 105 248 0 11852 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 86912

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 2850
/proc/meminfo: memFree=27365388/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=1775.64 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 188592 1322416 0 0 1401 138 175291 734 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=2849] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2849/stat : 2849 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386346406 9367552 267 33554432000 4194304 5064252 140735650502432 140735650501344 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2849/statm: 2287 267 226 213 0 72 0
[pid=2850] ppid=2849 vsize=41320 CPUtime=5.84 cores=0,2,4,6
/proc/2850/stat : 2850 (glucose) R 2849 31693 19799 0 -1 4202496 8174 0 0 0 583 1 0 0 20 0 1 0 386346406 42311680 8805 33554432000 4194304 5208918 140734095005584 140734095003528 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 10330 8805 105 248 0 10079 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 79820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2857
/proc/meminfo: memFree=27372256/32873660 swapFree=7120/7120
[pid=31693] ppid=31691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31693/stat : 31693 (npSolver-wbo-It) S 31691 31693 19799 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386168761 9367552 275 33554432000 4194304 5064252 140733926902256 140733926901168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31693/statm: 2287 275 233 213 0 72 0
[pid=31694] ppid=31693 vsize=20204 CPUtime=1785.94 cores=0,2,4,6
/proc/31694/stat : 31694 (npSolver-wbo) S 31693 31693 19799 0 -1 4202496 189389 1334133 0 0 1414 139 176301 740 20 0 1 0 386168761 20688896 4635 33554432000 4194304 6006132 140734743253136 140734743244528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/31694/statm: 5051 4635 179 443 0 4604 0
[pid=2856] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2856/stat : 2856 (satsolver.sh) S 31694 31693 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386347435 9367552 267 33554432000 4194304 5064252 140737187317680 140737187316592 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2856/statm: 2287 267 226 213 0 72 0
[pid=2857] ppid=2856 vsize=29288 CPUtime=6.05 cores=0,2,4,6
/proc/2857/stat : 2857 (glucose) R 2856 31693 19799 0 -1 4202496 5968 0 0 0 604 1 0 0 20 0 1 0 386347435 29990912 6563 33554432000 4194304 5208918 140733587360144 140733587357896 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2857/statm: 7322 6563 105 248 0 7071 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 67788

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1792.81
CPU time (s): 1800.06
CPU user time (s): 1791.23
CPU system time (s): 8.83066
CPU usage (%): 100.404
Max. virtual memory (cumulated for all children) (KiB): 104344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.21
system time used= 8.81066
maximum resident set size= 60680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1530482
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1879904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10040
involuntary context switches= 3051

runsolver used 3.61945 second user time and 8.73567 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-09 02:07:10
IDJOB=3753823
IDBENCH=79387
IDSOLVER=2337
FILE ID=node117/3753823-1339200430
RUNJOBID= node117-1339183362-21749
PBS_JOBID= 14643835
Free space on /tmp= 70696 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-3753823-1339200430/watcher-3753823-1339200430 -o /tmp/evaluation-result-3753823-1339200430/solver-3753823-1339200430 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3753823-1339200430.wbo 1184245811 HOME HOME

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

MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b
RANDOM SEED=1184245811

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27388292 kB
Buffers:          810608 kB
Cached:          3598452 kB
SwapCached:          620 kB
Active:          2461452 kB
Inactive:        2049096 kB
Active(anon):      90204 kB
Inactive(anon):    10028 kB
Active(file):    2371248 kB
Inactive(file):  2039068 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67106956 kB
Dirty:              9104 kB
Writeback:             0 kB
AnonPages:        104208 kB
Mapped:            13292 kB
Shmem:                80 kB
Slab:             836624 kB
SReclaimable:     279440 kB
SUnreclaim:       557184 kB
KernelStack:        1520 kB
PageTables:         4092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     236192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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= 70684 MiB
End job on node117 at 2012-06-09 02:37:03