Trace number 3715140

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh310_wcsp.wbo
MD5SUM9767c89dfda19e08df7810305b3128ba
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark463
Best CPU time to get the best result obtained on this benchmark0.201968
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints1000
Number of soft constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.02	c run usual solver
0.00/0.06	o 16216
0.00/0.06	c fallback to adder encoding
32.26/32.35	o 16196
32.26/32.35	c fallback to adder encoding
51.96/52.05	o 16163
51.96/52.05	c fallback to adder encoding
68.51/68.62	o 16158
68.51/68.62	c fallback to adder encoding
78.55/78.65	o 16148
78.55/78.65	c fallback to adder encoding
106.43/106.56	o 16138
106.43/106.56	c fallback to adder encoding
135.09/135.20	o 16122
135.09/135.20	c fallback to adder encoding
147.13/147.25	o 16104
147.13/147.25	c fallback to adder encoding
153.21/153.38	o 16098
153.21/153.38	c fallback to adder encoding
168.00/168.13	o 16089
168.00/168.13	c fallback to adder encoding
186.64/186.85	o 16076
186.64/186.85	c fallback to adder encoding
218.91/219.14	o 16068
218.91/219.14	c fallback to adder encoding
237.01/237.25	o 16064
237.01/237.25	c fallback to adder encoding
248.53/248.76	o 16060
248.53/248.76	c fallback to adder encoding
257.90/258.19	o 16058
257.90/258.19	c fallback to adder encoding
287.49/287.76	o 16056
287.49/287.76	c fallback to adder encoding
308.29/308.55	o 16052
308.29/308.55	c fallback to adder encoding
317.89/318.18	o 16049
317.89/318.18	c fallback to adder encoding
333.79/334.09	o 15554
333.79/334.09	c fallback to adder encoding
364.59/364.87	o 15553
364.59/364.87	c fallback to adder encoding
404.78/405.00	o 15536
404.78/405.00	c fallback to adder encoding
413.96/414.28	o 15533
413.96/414.28	c fallback to adder encoding
435.74/436.02	o 15510
435.74/436.02	c fallback to adder encoding
466.23/466.52	o 15509
466.23/466.52	c fallback to adder encoding
485.12/485.42	o 15508
485.12/485.42	c fallback to adder encoding
497.40/497.71	o 15507
497.40/497.71	c fallback to adder encoding
509.43/509.77	o 15503
509.43/509.77	c fallback to adder encoding
538.22/538.53	o 15502
538.22/538.53	c fallback to adder encoding
546.01/546.34	o 15491
546.01/546.34	c fallback to adder encoding
567.77/568.11	o 15490
567.77/568.11	c fallback to adder encoding
588.50/588.86	o 15489
588.50/588.86	c fallback to adder encoding
623.91/624.26	o 15488
623.91/624.26	c fallback to adder encoding
636.77/637.12	o 15475
636.77/637.12	c fallback to adder encoding
651.59/651.94	o 15467
651.59/651.94	c fallback to adder encoding
660.49/660.88	o 15453
660.49/660.88	c fallback to adder encoding
673.28/673.68	o 15450
673.28/673.68	c fallback to adder encoding
680.74/681.10	o 15449
680.74/681.10	c fallback to adder encoding
698.56/698.92	o 15411
698.56/698.92	c fallback to adder encoding
708.64/709.01	o 15410
708.64/709.01	c fallback to adder encoding
722.77/723.15	o 15399
722.77/723.15	c fallback to adder encoding
735.66/736.07	o 15391
735.66/736.07	c fallback to adder encoding
759.25/759.64	o 15390
759.25/759.64	c fallback to adder encoding
779.41/779.81	o 15382
779.41/779.81	c fallback to adder encoding
794.43/794.89	o 15378
794.43/794.89	c fallback to adder encoding
823.29/823.71	o 15377
823.29/823.71	c fallback to adder encoding
835.03/835.46	o 15366
835.03/835.46	c fallback to adder encoding
859.83/860.26	o 15360
859.83/860.26	c fallback to adder encoding
872.30/872.72	o 15359
872.30/872.72	c fallback to adder encoding
893.61/894.07	o 15350
893.61/894.07	c fallback to adder encoding
902.71/903.18	o 15346
902.71/903.18	c fallback to adder encoding
911.28/911.70	o 15344
911.28/911.70	c fallback to adder encoding
919.72/920.15	o 15337
919.72/920.15	c fallback to adder encoding
927.41/927.86	o 15336
927.41/927.86	c fallback to adder encoding
937.48/937.91	o 15335
937.48/937.91	c fallback to adder encoding
948.80/949.26	o 15328
948.80/949.26	c fallback to adder encoding
962.81/963.29	o 15326
962.81/963.29	c fallback to adder encoding
977.70/978.16	o 15319
977.70/978.16	c fallback to adder encoding
983.51/983.99	o 15316
983.51/983.99	c fallback to adder encoding
995.50/995.96	o 15315
995.50/995.96	c fallback to adder encoding
1004.79/1005.30	o 15307
1004.79/1005.30	c fallback to adder encoding
1021.17/1021.60	o 15298
1021.17/1021.60	c fallback to adder encoding
1035.19/1035.68	o 15296
1035.19/1035.68	c fallback to adder encoding
1053.66/1054.11	o 15284
1053.66/1054.11	c fallback to adder encoding
1059.99/1060.41	o 15283
1059.99/1060.41	c fallback to adder encoding
1076.25/1076.71	o 15281
1076.25/1076.71	c fallback to adder encoding
1099.34/1099.82	o 15270
1099.34/1099.82	c fallback to adder encoding
1113.54/1114.02	o 15260
1113.54/1114.02	c fallback to adder encoding
1124.93/1125.41	o 15258
1124.93/1125.41	c fallback to adder encoding
1133.17/1133.60	o 15252
1133.17/1133.60	c fallback to adder encoding
1150.16/1150.70	o 15248
1150.16/1150.70	c fallback to adder encoding
1160.73/1161.22	o 15245
1160.73/1161.22	c fallback to adder encoding
1167.92/1168.40	o 15238
1167.92/1168.40	c fallback to adder encoding
1181.23/1181.71	o 15232
1181.23/1181.71	c fallback to adder encoding
1192.13/1192.62	o 15224
1192.13/1192.62	c fallback to adder encoding
1208.65/1209.15	o 15223
1208.65/1209.15	c fallback to adder encoding
1220.05/1220.59	o 15216
1220.05/1220.59	c fallback to adder encoding
1237.44/1237.97	o 15186
1237.44/1237.97	c fallback to adder encoding
1252.45/1252.92	o 15142
1252.45/1252.92	c fallback to adder encoding
1265.04/1265.59	o 15140
1265.04/1265.59	c fallback to adder encoding
1287.41/1287.91	o 15115
1287.41/1287.91	c fallback to adder encoding
1308.39/1308.90	o 15106
1308.39/1308.90	c fallback to adder encoding
1330.39/1330.91	o 15104
1330.39/1330.91	c fallback to adder encoding
1340.93/1341.49	o 15094
1340.93/1341.49	c fallback to adder encoding
1353.83/1354.35	o 15076
1353.83/1354.35	c fallback to adder encoding
1372.71/1373.23	o 15074
1372.71/1373.23	c fallback to adder encoding
1392.53/1393.05	o 15046
1392.53/1393.05	c fallback to adder encoding
1398.12/1398.65	o 15044
1398.12/1398.65	c fallback to adder encoding
1423.22/1423.74	o 15041
1423.22/1423.74	c fallback to adder encoding
1445.01/1445.57	o 15030
1445.01/1445.57	c fallback to adder encoding
1468.08/1468.62	o 15027
1468.08/1468.62	c fallback to adder encoding
1483.16/1483.78	o 15024
1483.16/1483.78	c fallback to adder encoding
1494.24/1494.90	o 15012
1494.24/1494.90	c fallback to adder encoding
1516.63/1517.24	o 15010
1516.63/1517.24	c fallback to adder encoding
1530.54/1531.18	o 14979
1530.54/1531.18	c fallback to adder encoding
1543.95/1544.58	o 14972
1543.95/1544.58	c fallback to adder encoding
1557.04/1557.67	o 14965
1557.04/1557.67	c fallback to adder encoding
1571.73/1572.39	o 14958
1571.73/1572.39	c fallback to adder encoding
1581.32/1581.94	o 14938
1581.32/1581.94	c fallback to adder encoding
1598.04/1598.65	o 14934
1598.04/1598.65	c fallback to adder encoding
1613.02/1613.69	o 14909
1613.02/1613.69	c fallback to adder encoding
1631.52/1632.15	o 14907
1631.52/1632.15	c fallback to adder encoding
1645.37/1646.00	o 14880
1645.37/1646.00	c fallback to adder encoding
1660.72/1661.35	o 14876
1660.72/1661.35	c fallback to adder encoding
1684.62/1685.29	o 14871
1684.62/1685.29	c fallback to adder encoding
1709.47/1710.11	o 14866
1709.47/1710.11	c fallback to adder encoding
1723.50/1724.15	o 14850
1723.50/1724.15	c fallback to adder encoding
1739.10/1739.79	o 14848
1739.10/1739.79	c fallback to adder encoding
1768.19/1768.89	o 14835
1768.19/1768.89	c fallback to adder encoding
1777.77/1778.43	o 14820
1777.77/1778.43	c fallback to adder encoding
1800.10/1800.71	./satsolver.sh: line 5:  6396 Terminated              ./glucose $1 > $2 2> /dev/null
1800.10/1800.71	c error: unexpected solver exit code
1800.10/1800.71	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715140-1338226543/watcher-3715140-1338226543 -o /tmp/evaluation-result-3715140-1338226543/solver-3715140-1338226543 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715140-1338226543.wbo 1497843116 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: 1.95 1.97 1.98 3/179 4633
/proc/meminfo: memFree=30621948/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0

[startup+0.10643 s]
/proc/loadavg: 1.95 1.97 1.98 3/179 4633
/proc/meminfo: memFree=30621948/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200364 s]
/proc/loadavg: 1.95 1.97 1.98 3/179 4633
/proc/meminfo: memFree=30621948/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300403 s]
/proc/loadavg: 1.95 1.97 1.98 3/179 4633
/proc/meminfo: memFree=30621948/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700295 s]
/proc/loadavg: 1.95 1.97 1.98 3/179 4633
/proc/meminfo: memFree=30621948/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/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: 2.04 1.98 1.99 4/183 4647
/proc/meminfo: memFree=30586608/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=11396 CPUtime=0.13 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 3021 5135 0 0 9 1 2 1 20 0 1 0 288779165 11669504 1708 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4634/statm: 2849 1708 165 439 0 2406 0
[pid=4646] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4646/stat : 4646 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288779180 9367552 267 33554432000 4194304 5064252 140737051157776 140737051156688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4646/statm: 2287 267 226 213 0 72 0
[pid=4647] ppid=4646 vsize=19736 CPUtime=1.34 cores=1,3,5,7
/proc/4647/stat : 4647 (glucose) R 4646 4633 16422 0 -1 4202496 4726 0 0 0 133 1 0 0 20 0 1 0 288779180 20209664 4299 33554432000 4194304 5208918 140735479767280 140735479765128 4233072 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4647/statm: 4934 4299 105 248 0 4683 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 49428

[startup+3.10042 s]
/proc/loadavg: 2.04 1.98 1.99 3/183 4654
/proc/meminfo: memFree=30591756/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=11396 CPUtime=0.13 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 3021 5135 0 0 9 1 2 1 20 0 1 0 288779165 11669504 1708 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4634/statm: 2849 1708 165 439 0 2406 0
[pid=4646] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4646/stat : 4646 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288779180 9367552 267 33554432000 4194304 5064252 140737051157776 140737051156688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4646/statm: 2287 267 226 213 0 72 0
[pid=4647] ppid=4646 vsize=20188 CPUtime=2.94 cores=1,3,5,7
/proc/4647/stat : 4647 (glucose) R 4646 4633 16422 0 -1 4202496 5640 0 0 0 293 1 0 0 20 0 1 0 288779180 20672512 4390 33554432000 4194304 5208918 140735479767280 140735479765368 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4647/statm: 5047 4390 105 248 0 4796 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 49880

[startup+6.30045 s]
/proc/loadavg: 2.04 1.98 1.99 3/183 4661
/proc/meminfo: memFree=30587044/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=11396 CPUtime=0.13 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 3021 5135 0 0 9 1 2 1 20 0 1 0 288779165 11669504 1708 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4634/statm: 2849 1708 165 439 0 2406 0
[pid=4646] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4646/stat : 4646 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288779180 9367552 267 33554432000 4194304 5064252 140737051157776 140737051156688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4646/statm: 2287 267 226 213 0 72 0
[pid=4647] ppid=4646 vsize=31856 CPUtime=6.14 cores=1,3,5,7
/proc/4647/stat : 4647 (glucose) R 4646 4633 16422 0 -1 4202496 6854 0 0 0 613 1 0 0 20 0 1 0 288779180 32620544 7061 33554432000 4194304 5208918 140735479767280 140735479765144 4211141 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4647/statm: 7964 7061 105 248 0 7713 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 61548

[startup+12.7003 s]
/proc/loadavg: 2.03 1.98 1.99 3/183 4668
/proc/meminfo: memFree=30582112/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=11396 CPUtime=0.13 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 3021 5135 0 0 9 1 2 1 20 0 1 0 288779165 11669504 1708 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4634/statm: 2849 1708 165 439 0 2406 0
[pid=4646] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4646/stat : 4646 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288779180 9367552 267 33554432000 4194304 5064252 140737051157776 140737051156688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4646/statm: 2287 267 226 213 0 72 0
[pid=4647] ppid=4646 vsize=31856 CPUtime=12.53 cores=1,3,5,7
/proc/4647/stat : 4647 (glucose) R 4646 4633 16422 0 -1 4202496 7135 0 0 0 1252 1 0 0 20 0 1 0 288779180 32620544 7350 33554432000 4194304 5208918 140735479767280 140735479763656 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4647/statm: 7964 7350 105 248 0 7713 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 61548

[startup+25.5004 s]
/proc/loadavg: 2.02 1.98 1.99 3/183 4682
/proc/meminfo: memFree=30570876/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=11396 CPUtime=0.13 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 3021 5135 0 0 9 1 2 1 20 0 1 0 288779165 11669504 1708 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4634/statm: 2849 1708 165 439 0 2406 0
[pid=4646] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4646/stat : 4646 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288779180 9367552 267 33554432000 4194304 5064252 140737051157776 140737051156688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4646/statm: 2287 267 226 213 0 72 0
[pid=4647] ppid=4646 vsize=38996 CPUtime=25.33 cores=1,3,5,7
/proc/4647/stat : 4647 (glucose) R 4646 4633 16422 0 -1 4202496 7452 0 0 0 2531 2 0 0 20 0 1 0 288779180 39931904 9196 33554432000 4194304 5208918 140735479767280 140735479763656 4211851 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4647/statm: 9749 9196 105 248 0 9498 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 68688

[startup+51.1004 s]
/proc/loadavg: 2.08 2.00 2.00 3/183 4724
/proc/meminfo: memFree=30569648/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=32.41 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 5313 16199 0 0 17 2 3215 7 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=4695] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4695/stat : 4695 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288782409 9367552 266 33554432000 4194304 5064252 140737054747456 140737054746368 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4695/statm: 2287 266 226 213 0 72 0
[pid=4696] ppid=4695 vsize=36184 CPUtime=18.65 cores=1,3,5,7
/proc/4696/stat : 4696 (glucose) R 4695 4633 16422 0 -1 4202496 7300 0 0 0 1863 2 0 0 20 0 1 0 288782409 37052416 8480 33554432000 4194304 5208918 140733828267184 140733828263560 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4696/statm: 9046 8480 105 248 0 8795 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 74064

[startup+102.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 4794
/proc/meminfo: memFree=30564636/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=78.69 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 12186 46478 0 0 40 6 7802 21 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=4772] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4772/stat : 4772 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288787039 9367552 267 33554432000 4194304 5064252 140736966430864 140736966429776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4772/statm: 2287 267 226 213 0 72 0
[pid=4773] ppid=4772 vsize=39072 CPUtime=23.55 cores=1,3,5,7
/proc/4773/stat : 4773 (glucose) R 4772 4633 16422 0 -1 4202496 6781 0 0 0 2354 1 0 0 20 0 1 0 288787039 40009728 9231 33554432000 4194304 5208918 140734200361680 140734200358056 4211888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4773/statm: 9768 9231 105 248 0 9517 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 76952

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 4900
/proc/meminfo: memFree=30573304/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=153.41 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 21350 87841 0 0 71 11 15216 43 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=4892] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1362.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/183 6194
/proc/meminfo: memFree=29295908/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=1353.98 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 193175 853161 0 0 647 106 134219 426 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=6193] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6193/stat : 6193 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288914609 9367552 267 33554432000 4194304 5064252 140734147710928 140734147709840 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6193/statm: 2287 267 226 213 0 72 0
[pid=6194] ppid=6193 vsize=31856 CPUtime=7.84 cores=1,3,5,7
/proc/6194/stat : 6194 (glucose) R 6193 4633 16422 0 -1 4202496 6291 0 0 0 783 1 0 0 20 0 1 0 288914609 32620544 7123 33554432000 4194304 5208918 140734537098944 140734537095320 4229410 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6194/statm: 7964 7123 105 248 0 7713 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 69736

[startup+1422.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/183 6215
/proc/meminfo: memFree=29287732/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=1398.27 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 200048 883109 0 0 670 110 138607 440 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=6214] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6214/stat : 6214 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288919039 9367552 266 33554432000 4194304 5064252 140735813366640 140735813365552 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6214/statm: 2287 266 226 213 0 72 0
[pid=6215] ppid=6214 vsize=38972 CPUtime=23.54 cores=1,3,5,7
/proc/6215/stat : 6215 (glucose) R 6214 4633 16422 0 -1 4202496 7419 0 0 0 2353 1 0 0 20 0 1 0 288919039 39907328 9176 33554432000 4194304 5208918 140733705942160 140733705937848 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6215/statm: 9743 9176 105 248 0 9492 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 76852

[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/184 6239
/proc/meminfo: memFree=29289276/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=1468.23 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 206921 914113 0 0 693 114 145561 455 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=6238] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6238/stat : 6238 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288926041 9367552 267 33554432000 4194304 5064252 140737009341936 140737009340848 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6238/statm: 2287 267 226 213 0 72 0
[pid=6239] ppid=6238 vsize=36200 CPUtime=13.53 cores=1,3,5,7
/proc/6239/stat : 6239 (glucose) R 6238 4633 16422 0 -1 4202496 7300 0 0 0 1352 1 0 0 20 0 1 0 288926041 37068800 8482 33554432000 4194304 5208918 140737126789696 140737126786072 4211572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6239/statm: 9050 8482 105 248 0 8799 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 74080

[startup+1542.31 s]
/proc/loadavg: 2.05 2.06 2.01 3/184 6290
/proc/meminfo: memFree=29291612/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=1530.73 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 216085 955435 0 0 724 119 151755 475 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=6289] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6289/stat : 6289 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288932292 9367552 267 33554432000 4194304 5064252 140736365139200 140736365138112 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6289/statm: 2287 267 226 213 0 72 0
[pid=6290] ppid=6289 vsize=31760 CPUtime=11.02 cores=1,3,5,7
/proc/6290/stat : 6290 (glucose) R 6289 4633 16422 0 -1 4202496 5319 0 0 0 1101 1 0 0 20 0 1 0 288932293 32522240 7392 33554432000 4194304 5208918 140736720408096 140736720404472 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6290/statm: 7940 7392 105 248 0 7689 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 69640

[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 6325
/proc/meminfo: memFree=29300656/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=1598.18 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 227540 1002965 0 0 763 125 158432 498 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=6324] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6324/stat : 6324 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288939039 9367552 266 33554432000 4194304 5064252 140733375622464 140733375621376 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6324/statm: 2287 266 226 213 0 72 0
[pid=6325] ppid=6324 vsize=22760 CPUtime=3.55 cores=1,3,5,7
/proc/6325/stat : 6325 (glucose) R 6324 4633 16422 0 -1 4202496 5026 0 0 0 354 1 0 0 20 0 1 0 288939039 23306240 4613 33554432000 4194304 5208918 140735121261280 140735121259240 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6325/statm: 5690 4613 105 248 0 5439 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 60640

[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 6354
/proc/meminfo: memFree=29302316/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=1660.88 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 236704 1045433 0 0 794 130 164646 518 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=6353] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6353/stat : 6353 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288945309 9367552 266 33554432000 4194304 5064252 140734783847536 140734783846448 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6353/statm: 2287 266 226 213 0 72 0
[pid=6354] ppid=6353 vsize=19068 CPUtime=0.84 cores=1,3,5,7
/proc/6354/stat : 6354 (glucose) R 6353 4633 16422 0 -1 4202496 3344 0 0 0 84 0 0 0 20 0 1 0 288945310 19525632 4170 33554432000 4194304 5208918 140733452532960 140733452530792 4211628 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6354/statm: 4767 4170 104 248 0 4516 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 56948

[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 6368
/proc/meminfo: memFree=29282276/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=1709.61 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 241286 1063821 0 0 809 133 169491 528 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=6367] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6367/stat : 6367 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288950185 9367552 266 33554432000 4194304 5064252 140734032875136 140734032874048 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6367/statm: 2287 266 226 213 0 72 0
[pid=6368] ppid=6367 vsize=36300 CPUtime=12.09 cores=1,3,5,7
/proc/6368/stat : 6368 (glucose) R 6367 4633 16422 0 -1 4202496 7320 0 0 0 1207 2 0 0 20 0 1 0 288950185 37171200 8509 33554432000 4194304 5208918 140736427438000 140736427435864 4211147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6368/statm: 9075 8509 105 248 0 8824 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 74180

[startup+1782.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/183 6396
/proc/meminfo: memFree=29293368/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=1777.93 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 250450 1104622 0 0 840 138 176266 549 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=6395] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6395/stat : 6395 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288957017 9367552 267 33554432000 4194304 5064252 140735932937584 140735932936496 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6395/statm: 2287 267 226 213 0 72 0
[pid=6396] ppid=6395 vsize=20212 CPUtime=3.76 cores=1,3,5,7
/proc/6396/stat : 6396 (glucose) R 6395 4633 16422 0 -1 4202496 5492 0 0 0 375 1 0 0 20 0 1 0 288957018 20697088 4333 33554432000 4194304 5208918 140735324482464 140735324478776 4229335 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6396/statm: 5053 4333 105 248 0 4802 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 58092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.11 2.09 2.02 3/183 6396
/proc/meminfo: memFree=29274816/32873844 swapFree=6600/6600
[pid=4633] ppid=4631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (npSolver-wbo-It) S 4631 4633 16422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288779165 9367552 275 33554432000 4194304 5064252 140733867288496 140733867287408 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2287 275 233 213 0 72 0
[pid=4634] ppid=4633 vsize=19584 CPUtime=1777.93 cores=1,3,5,7
/proc/4634/stat : 4634 (npSolver-wbo) S 4633 4633 16422 0 -1 4202496 250450 1104622 0 0 840 138 176266 549 20 0 1 0 288779165 20054016 4008 33554432000 4194304 5990268 140734140073712 140734140065136 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/4634/statm: 4896 4008 166 439 0 4453 0
[pid=6395] ppid=4634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6395/stat : 6395 (satsolver.sh) S 4634 4633 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288957017 9367552 267 33554432000 4194304 5064252 140735932937584 140735932936496 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6395/statm: 2287 267 226 213 0 72 0
[pid=6396] ppid=6395 vsize=39032 CPUtime=22.17 cores=1,3,5,7
/proc/6396/stat : 6396 (glucose) R 6395 4633 16422 0 -1 4202496 7390 0 0 0 2216 1 0 0 20 0 1 0 288957018 39968768 9189 33554432000 4194304 5208918 140735324482464 140735324478152 4211568 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6396/statm: 9758 9189 105 248 0 9507 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 76912

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.72
CPU time (s): 1800.13
CPU user time (s): 1793.23
CPU system time (s): 6.90195
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 84044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.23
system time used= 6.90195
maximum resident set size= 47124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1363453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1097328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6363
involuntary context switches= 3058

runsolver used 5.16322 second user time and 10.3834 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-28 19:35:43
IDJOB=3715140
IDBENCH=79427
IDSOLVER=2296
FILE ID=node140/3715140-1338226543
RUNJOBID= node140-1338193685-16439
PBS_JOBID= 14624590
Free space on /tmp= 71324 MiB

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

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

MD5SUM BENCH= 9767c89dfda19e08df7810305b3128ba
RANDOM SEED=1497843116

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30622220 kB
Buffers:          547628 kB
Cached:           774556 kB
SwapCached:         1516 kB
Active:          1058996 kB
Inactive:         308184 kB
Active(anon):      35768 kB
Inactive(anon):     8636 kB
Active(file):    1023228 kB
Inactive(file):   299548 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105308 kB
Dirty:             12816 kB
Writeback:             0 kB
AnonPages:         49152 kB
Mapped:            12648 kB
Shmem:                 8 kB
Slab:             745540 kB
SReclaimable:     186768 kB
SUnreclaim:       558772 kB
KernelStack:        1528 kB
PageTables:         4080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     163316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 71016 MiB
End job on node140 at 2012-05-28 20:05:44