Trace number 3715116

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-topDownOPTIMUM 439.93 441.244

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh10_wcsp.wbo
MD5SUM401aade47f990d36319fcf6fc2a74e2a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark85
Best CPU time to get the best result obtained on this benchmark0.008998
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 constraints950
Number of soft constraints850
Number of constraints which are clauses850
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 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
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 7151
0.00/0.06	c fallback to adder encoding
2.37/2.47	o 7144
2.37/2.47	c fallback to adder encoding
5.26/5.33	o 7143
5.26/5.33	c fallback to adder encoding
9.22/9.34	o 7134
9.22/9.34	c fallback to adder encoding
11.26/11.48	o 7127
11.26/11.48	c fallback to adder encoding
16.74/16.97	o 7046
16.74/16.97	c fallback to adder encoding
21.21/21.41	o 7040
21.21/21.41	c fallback to adder encoding
24.15/24.36	o 7002
24.15/24.36	c fallback to adder encoding
27.64/27.83	o 6992
27.64/27.83	c fallback to adder encoding
30.54/30.73	o 6989
30.54/30.73	c fallback to adder encoding
37.15/37.35	o 6969
37.15/37.35	c fallback to adder encoding
40.25/40.43	o 6955
40.25/40.43	c fallback to adder encoding
42.83/43.03	o 6949
42.83/43.03	c fallback to adder encoding
45.10/45.30	o 6561
45.10/45.30	c fallback to adder encoding
48.54/48.75	o 6553
48.54/48.75	c fallback to adder encoding
51.14/51.36	o 6552
51.14/51.36	c fallback to adder encoding
55.74/56.02	o 6547
55.74/56.02	c fallback to adder encoding
58.41/58.70	o 6542
58.41/58.70	c fallback to adder encoding
61.00/61.37	o 6528
61.00/61.37	c fallback to adder encoding
63.71/64.07	o 6496
63.71/64.07	c fallback to adder encoding
65.98/66.42	o 6494
65.98/66.42	c fallback to adder encoding
70.28/70.73	o 4544
70.28/70.73	c fallback to adder encoding
72.80/73.26	o 4529
72.80/73.26	c fallback to adder encoding
76.20/76.69	o 4526
76.20/76.69	c fallback to adder encoding
79.67/80.10	o 4521
79.67/80.10	c fallback to adder encoding
83.40/83.86	o 4520
83.40/83.86	c fallback to adder encoding
88.18/88.63	o 4511
88.18/88.63	c fallback to adder encoding
92.09/92.56	o 4508
92.09/92.56	c fallback to adder encoding
95.68/96.13	o 4504
95.68/96.13	c fallback to adder encoding
98.60/99.07	o 4503
98.60/99.07	c fallback to adder encoding
104.07/104.52	o 4495
104.07/104.52	c fallback to adder encoding
107.10/107.55	o 4488
107.10/107.55	c fallback to adder encoding
111.10/111.57	o 4486
111.10/111.57	c fallback to adder encoding
114.27/114.71	o 4485
114.27/114.71	c fallback to adder encoding
117.99/118.49	o 4482
117.99/118.49	c fallback to adder encoding
122.99/123.43	o 4417
122.99/123.43	c fallback to adder encoding
127.45/127.90	o 4340
127.45/127.90	c fallback to adder encoding
130.25/130.70	o 4335
130.25/130.70	c fallback to adder encoding
134.56/135.00	o 4334
134.56/135.00	c fallback to adder encoding
136.59/137.08	o 4324
136.59/137.08	c fallback to adder encoding
139.48/139.93	o 4285
139.48/139.93	c fallback to adder encoding
142.69/143.15	o 4191
142.69/143.15	c fallback to adder encoding
145.99/146.47	o 4185
145.99/146.47	c fallback to adder encoding
150.19/150.63	o 4184
150.19/150.63	c fallback to adder encoding
154.19/154.66	o 4181
154.19/154.66	c fallback to adder encoding
158.58/159.04	o 4180
158.58/159.04	c fallback to adder encoding
161.49/162.06	o 4177
161.49/162.06	c fallback to adder encoding
164.40/164.97	o 4176
164.40/164.97	c fallback to adder encoding
167.59/168.18	o 4170
167.59/168.18	c fallback to adder encoding
170.99/171.59	o 4166
170.99/171.59	c fallback to adder encoding
173.88/174.42	o 4142
173.88/174.42	c fallback to adder encoding
176.85/177.43	o 4137
176.85/177.43	c fallback to adder encoding
181.15/181.79	o 4136
181.15/181.79	c fallback to adder encoding
184.96/185.56	o 4131
184.96/185.56	c fallback to adder encoding
189.16/189.75	o 4128
189.16/189.75	c fallback to adder encoding
193.25/193.88	o 4107
193.25/193.88	c fallback to adder encoding
196.45/197.19	o 4106
196.45/197.19	c fallback to adder encoding
199.56/200.29	o 4104
199.56/200.29	c fallback to adder encoding
202.47/203.10	o 4098
202.47/203.10	c fallback to adder encoding
206.66/207.37	o 4096
206.66/207.37	c fallback to adder encoding
208.65/209.34	o 4077
208.65/209.34	c fallback to adder encoding
210.65/211.35	o 4074
210.65/211.35	c fallback to adder encoding
212.55/213.24	o 4071
212.55/213.24	c fallback to adder encoding
215.62/216.31	o 4068
215.62/216.31	c fallback to adder encoding
218.73/219.46	o 4038
218.73/219.46	c fallback to adder encoding
220.64/221.35	o 4032
220.64/221.35	c fallback to adder encoding
222.94/223.67	o 4009
222.94/223.67	c fallback to adder encoding
226.14/226.82	o 4000
226.14/226.82	c fallback to adder encoding
228.21/228.93	o 3993
228.21/228.93	c fallback to adder encoding
230.73/231.40	o 3979
230.73/231.40	c fallback to adder encoding
234.11/234.88	o 3969
234.11/234.88	c fallback to adder encoding
236.62/237.36	o 3739
236.62/237.36	c fallback to adder encoding
242.09/242.85	o 3736
242.09/242.85	c fallback to adder encoding
245.88/246.67	o 3735
245.88/246.67	c fallback to adder encoding
248.48/249.23	o 3731
248.48/249.23	c fallback to adder encoding
250.84/251.61	o 3723
250.84/251.61	c fallback to adder encoding
253.97/254.76	o 3720
253.97/254.76	c fallback to adder encoding
258.78/259.57	o 3718
258.78/259.57	c fallback to adder encoding
264.67/265.47	o 3716
264.67/265.47	c fallback to adder encoding
268.55/269.32	o 3696
268.55/269.32	c fallback to adder encoding
270.57/271.38	o 3687
270.57/271.38	c fallback to adder encoding
274.16/274.94	o 3686
274.16/274.94	c fallback to adder encoding
276.76/277.55	o 3336
276.76/277.55	c fallback to adder encoding
279.37/280.10	o 3331
279.37/280.10	c fallback to adder encoding
283.44/284.22	o 3303
283.44/284.22	c fallback to adder encoding
286.56/287.37	o 3298
286.56/287.37	c fallback to adder encoding
290.06/290.85	o 3297
290.06/290.85	c fallback to adder encoding
296.25/297.02	o 3187
296.25/297.02	c fallback to adder encoding
299.94/300.77	o 3158
299.94/300.77	c fallback to adder encoding
305.44/306.25	o 3150
305.44/306.25	c fallback to adder encoding
307.52/308.36	o 3146
307.52/308.36	c fallback to adder encoding
310.93/311.78	o 3136
310.93/311.78	c fallback to adder encoding
314.53/315.35	o 3135
314.53/315.35	c fallback to adder encoding
316.43/317.24	o 3130
316.43/317.24	c fallback to adder encoding
319.82/320.69	o 3121
319.82/320.69	c fallback to adder encoding
322.62/323.44	o 3120
322.62/323.44	c fallback to adder encoding
325.41/326.27	o 3117
325.41/326.27	c fallback to adder encoding
328.11/328.94	o 3114
328.11/328.94	c fallback to adder encoding
331.22/332.05	o 3086
331.22/332.05	c fallback to adder encoding
335.21/336.09	o 3084
335.21/336.09	c fallback to adder encoding
339.39/340.25	o 3079
339.39/340.25	c fallback to adder encoding
341.69/342.55	o 3006
341.69/342.55	c fallback to adder encoding
345.14/346.01	o 2984
345.14/346.01	c fallback to adder encoding
347.79/348.69	o 2971
347.79/348.69	c fallback to adder encoding
350.07/350.98	o 2966
350.07/350.98	c fallback to adder encoding
351.37/352.27	o 2941
351.37/352.27	c fallback to adder encoding
354.15/355.02	o 2931
354.15/355.02	c fallback to adder encoding
357.27/358.14	o 2928
357.27/358.14	c fallback to adder encoding
359.39/360.20	o 2907
359.39/360.20	c fallback to adder encoding
362.16/363.02	o 2906
362.16/363.02	c fallback to adder encoding
366.48/367.38	o 2895
366.48/367.38	c fallback to adder encoding
369.88/370.74	o 2889
369.88/370.74	c fallback to adder encoding
373.67/374.58	o 2880
373.67/374.58	c fallback to adder encoding
375.15/376.02	o 2877
375.15/376.02	c fallback to adder encoding
377.85/378.72	o 2870
377.85/378.72	c fallback to adder encoding
380.67/381.53	o 2776
380.67/381.53	c fallback to adder encoding
383.33/384.20	o 2772
383.33/384.20	c fallback to adder encoding
385.17/386.02	o 2768
385.17/386.02	c fallback to adder encoding
388.07/388.97	o 2746
388.07/388.97	c fallback to adder encoding
390.53/391.41	o 1022
390.53/391.41	c fallback to adder encoding
391.65/392.52	o 1017
391.65/392.52	c fallback to adder encoding
392.73/393.60	o 994
392.73/393.60	c fallback to adder encoding
393.56/394.44	o 991
393.56/394.44	c fallback to adder encoding
395.11/396.16	o 989
395.11/396.16	c fallback to adder encoding
397.18/398.22	o 985
397.18/398.22	c fallback to adder encoding
399.09/400.18	o 981
399.09/400.18	c fallback to adder encoding
400.30/401.34	o 980
400.30/401.34	c fallback to adder encoding
402.28/403.37	o 979
402.28/403.37	c fallback to adder encoding
404.08/405.15	o 963
404.08/405.15	c fallback to adder encoding
405.28/406.36	o 945
405.28/406.36	c fallback to adder encoding
406.67/407.74	o 845
406.67/407.74	c fallback to adder encoding
407.57/408.62	o 844
407.57/408.62	c fallback to adder encoding
409.27/410.33	o 843
409.27/410.33	c fallback to adder encoding
410.67/411.77	o 839
410.67/411.77	c fallback to adder encoding
411.99/413.17	o 771
411.99/413.17	c fallback to adder encoding
413.18/414.37	o 768
413.18/414.37	c fallback to adder encoding
413.98/415.16	o 767
413.98/415.16	c fallback to adder encoding
414.11/415.69	o 730
414.11/415.69	c fallback to adder encoding
414.64/416.48	o 729
414.64/416.48	c fallback to adder encoding
416.10/417.29	o 727
416.10/417.29	c fallback to adder encoding
416.89/418.18	o 713
416.89/418.18	c fallback to adder encoding
417.03/418.88	o 636
417.03/418.88	c fallback to adder encoding
418.50/419.72	o 629
418.50/419.72	c fallback to adder encoding
419.41/420.60	o 628
419.41/420.60	c fallback to adder encoding
420.29/421.59	o 626
420.29/421.59	c fallback to adder encoding
421.09/422.38	o 608
421.09/422.38	c fallback to adder encoding
421.23/422.97	o 605
421.23/422.97	c fallback to adder encoding
422.38/423.61	o 604
422.38/423.61	c fallback to adder encoding
422.46/424.45	o 602
422.46/424.45	c fallback to adder encoding
423.99/425.24	o 600
423.99/425.24	c fallback to adder encoding
424.79/426.04	o 586
424.79/426.04	c fallback to adder encoding
425.50/426.77	o 581
425.50/426.77	c fallback to adder encoding
425.61/427.49	o 580
425.61/427.49	c fallback to adder encoding
426.98/428.25	o 576
426.98/428.25	c fallback to adder encoding
427.08/428.87	o 575
427.08/428.87	c fallback to adder encoding
427.71/429.29	o 573
427.71/429.29	c fallback to adder encoding
428.13/429.84	o 567
428.13/429.84	c fallback to adder encoding
429.37/430.60	o 566
429.37/430.60	c fallback to adder encoding
429.99/431.24	o 557
429.99/431.24	c fallback to adder encoding
430.48/431.72	o 553
430.48/431.72	c fallback to adder encoding
431.09/432.33	o 552
431.09/432.33	c fallback to adder encoding
431.78/433.01	o 547
431.78/433.01	c fallback to adder encoding
432.18/433.46	o 546
432.18/433.46	c fallback to adder encoding
432.29/434.14	o 522
432.29/434.14	c fallback to adder encoding
433.37/434.63	o 515
433.37/434.63	c fallback to adder encoding
433.46/435.26	o 512
433.46/435.26	c fallback to adder encoding
434.29/435.56	o 497
434.29/435.56	c fallback to adder encoding
434.39/436.06	o 495
434.39/436.06	c fallback to adder encoding
434.88/436.45	o 492
434.88/436.45	c fallback to adder encoding
435.58/436.83	o 491
435.58/436.83	c fallback to adder encoding
435.88/437.12	o 456
435.88/437.12	c fallback to adder encoding
435.93/437.36	o 455
435.93/437.36	c fallback to adder encoding
436.44/437.75	o 430
436.44/437.75	c fallback to adder encoding
436.45/438.08	o 429
436.45/438.08	c fallback to adder encoding
436.78/438.33	o 428
436.78/438.33	c fallback to adder encoding
437.03/438.59	o 426
437.03/438.59	c fallback to adder encoding
437.56/438.95	o 425
437.56/438.95	c fallback to adder encoding
437.65/439.35	o 424
437.65/439.35	c fallback to adder encoding
438.04/439.75	o 412
438.04/439.75	c fallback to adder encoding
438.66/440.05	o 391
438.66/440.05	c fallback to adder encoding
438.73/440.33	o 373
438.73/440.33	c fallback to adder encoding
439.03/440.58	o 356
439.03/440.58	c fallback to adder encoding
439.27/440.73	o 353
439.27/440.73	c fallback to adder encoding
439.42/440.88	o 314
439.72/441.22	o 85
439.72/441.24	c display solution
439.72/441.24	s OPTIMUM FOUND
439.72/441.24	v -x1 x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 -x13 x14 -x15 x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 -x35 x36 x37 -x38 x39 -x40 -x41 x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 -x53 x54 x55 -x56 x57 -x58 x59 -x60 -x61 x62 -x63 x64 x65 -x66 -x67 x68 x69 -x70 x71 -x72 -x73 x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 -x85 x86 -x87 x88 -x89 x90 -x91 x92 -x93 x94 -x95 x96 x97 -x98 -x99 x100 -x101 x102 -x103 x104 x105 -x106 -x107 x108 x109 -x110 -x111 x112 x113 -x114 x115 -x116 -x117 x118 -x119 x120 x121 -x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130 x131 -x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 x141 -x142 -x143 x144 x145 -x146 -x147 x148 x149 -x150 x151 -x152 -x153 x154 -x155 x156 -x157 x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 -x169 x170 x171 -x172 x173 -x174 -x175 x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200

Verifier Data 

OK	85

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-3715116-1338226047/watcher-3715116-1338226047 -o /tmp/evaluation-result-3715116-1338226047/solver-3715116-1338226047 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715116-1338226047.wbo 431957109 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: 2.05 2.05 2.01 3/179 10750
/proc/meminfo: memFree=30362936/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0

[startup+0.0790589 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 10750
/proc/meminfo: memFree=30362936/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100227 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 10750
/proc/meminfo: memFree=30362936/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300285 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 10750
/proc/meminfo: memFree=30362936/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700268 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 10750
/proc/meminfo: memFree=30362936/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50041 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 10764
/proc/meminfo: memFree=30337144/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11308 CPUtime=0.13 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 2738 5105 0 0 9 1 2 1 20 0 1 0 288729151 11579392 1578 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10751/statm: 2827 1578 165 439 0 2384 0
[pid=10763] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10763/stat : 10763 (satsolver.sh) S 10751 10750 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288729165 9367552 267 33554432000 4194304 5064252 140734030965152 140734030964064 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10763/statm: 2287 267 226 213 0 72 0
[pid=10764] ppid=10763 vsize=18080 CPUtime=1.34 cores=0,2,4,6
/proc/10764/stat : 10764 (glucose) R 10763 10750 26619 0 -1 4202496 3493 0 0 0 134 0 0 0 20 0 1 0 288729165 18513920 3834 33554432000 4194304 5208918 140734289712048 140734289709896 4229479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10764/statm: 4520 3834 105 248 0 4269 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 47684

[startup+3.10029 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 10764
/proc/meminfo: memFree=30335160/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=19496 CPUtime=2.53 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 4822 12420 0 0 16 2 231 4 20 0 1 0 288729151 19963904 3796 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10751/statm: 4874 3796 165 439 0 4431 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 28644

[startup+6.30031 s]
/proc/loadavg: 2.05 2.05 2.01 3/181 10786
/proc/meminfo: memFree=30364372/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=19496 CPUtime=5.4 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 6906 20329 0 0 24 3 505 8 20 0 1 0 288729151 19963904 3796 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10751/statm: 4874 3796 165 439 0 4431 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 28644

[startup+12.7004 s]
/proc/loadavg: 2.04 2.04 2.01 3/183 10813
/proc/meminfo: memFree=30325136/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=19496 CPUtime=11.43 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 11075 36112 0 0 39 5 1083 16 20 0 1 0 288729151 19963904 3797 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10751/statm: 4874 3797 166 439 0 4431 0
[pid=10812] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10812/stat : 10812 (satsolver.sh) S 10751 10750 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288730307 9367552 266 33554432000 4194304 5064252 140734975627712 140734975626624 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10812/statm: 2287 266 226 213 0 72 0
[pid=10813] ppid=10812 vsize=17440 CPUtime=1.12 cores=0,2,4,6
/proc/10813/stat : 10813 (glucose) R 10812 10750 26619 0 -1 4202496 3357 0 0 0 112 0 0 0 20 0 1 0 288730308 17858560 3803 33554432000 4194304 5208918 140733205511376 140733205509336 4229259 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10813/statm: 4360 3803 104 248 0 4109 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 55232

[startup+25.5004 s]
/proc/loadavg: 2.03 2.04 2.01 3/181 10860
/proc/meminfo: memFree=30354284/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=19496 CPUtime=24.3 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 17327 59284 0 0 61 9 2334 26 20 0 1 0 288729151 19963904 3797 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10751/statm: 4874 3797 166 439 0 4431 0
[pid=10854] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10854/stat : 10854 (satsolver.sh) S 10751 10750 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288731595 9367552 267 33554432000 4194304 5064252 140733891727312 140733891726224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10854/statm: 2287 267 226 213 0 72 0
[pid=10855] ppid=10854 vsize=17936 CPUtime=1.04 cores=0,2,4,6
/proc/10855/stat : 10855 (glucose) R 10854 10750 26619 0 -1 4202496 4060 0 0 0 104 0 0 0 20 0 1 0 288731595 18366464 3899 33554432000 4194304 5208918 140734803453760 140734803451608 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10855/statm: 4484 3899 104 248 0 4233 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 55728

[startup+51.1004 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 10960
/proc/meminfo: memFree=30332936/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=19496 CPUtime=48.69 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 31915 111541 0 0 113 16 4687 53 20 0 1 0 288729151 19963904 3797 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10751/statm: 4874 3797 166 439 0 4431 0
[pid=10959] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10959/stat : 10959 (satsolver.sh) S 10751 10750 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288734034 9367552 266 33554432000 4194304 5064252 140735030709136 140735030708048 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10959/statm: 2287 266 226 213 0 72 0
[pid=10960] ppid=10959 vsize=18064 CPUtime=2.25 cores=0,2,4,6
/proc/10960/stat : 10960 (glucose) R 10959 10750 26619 0 -1 4202496 4095 0 0 0 225 0 0 0 20 0 1 0 288734035 18497536 3936 33554432000 4194304 5208918 140735117536288 140735117534248 4229897 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10960/statm: 4516 3936 105 248 0 4265 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 55856

[startup+102.307 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 11185
/proc/meminfo: memFree=30334020/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=19496 CPUtime=98.77 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 63175 224296 0 0 225 33 9509 110 20 0 1 0 288729151 19963904 3797 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10751/statm: 4874 3797 166 439 0 4431 0
[pid=11177] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11177/stat : 11177 (satsolver.sh) S 10751 10750 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288739066 9367552 265 33554432000 4194304 5064252 140735638172576 140735638171488 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11177/statm: 2287 265 226 213 0 72 0
[pid=11178] ppid=11177 vsize=17860 CPUtime=3.14 cores=0,2,4,6
/proc/11178/stat : 11178 (glucose) R 11177 10750 26619 0 -1 4202496 4083 0 0 0 313 1 0 0 20 0 1 0 288739066 18288640 3918 33554432000 4194304 5208918 140734564841520 140734564839272 4229565 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11178/statm: 4465 3918 105 248 0 4214 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 55652

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 11433
/proc/meminfo: memFree=30336304/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=19496 CPUtime=161.65 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 98603 352313 0 0 350 52 15590 173 20 0 1 0 288729151 19963904 3797 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/10751/statm: 4874 3797 166 439 0 4431 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 28644

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11699
/proc/meminfo: memFree=30342588/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=220.79 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 135429 493920 0 0 487 71 21278 243 20 0 1 0 288729151 11575296 2381 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/10751/statm: 2826 2381 166 439 0 2383 0
[pid=11698] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/11957/statm: 2287 267 226 213 0 72 0
[pid=11958] ppid=11957 vsize=16732 CPUtime=2.11 cores=0,2,4,6
/proc/11958/stat : 11958 (glucose) R 11957 10750 26619 0 -1 4202496 3637 0 0 0 211 0 0 0 20 0 1 0 288757168 17133568 3617 33554432000 4194304 5208918 140733271219760 140733271217608 4211488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11958/statm: 4183 3617 105 248 0 3932 0
Current children cumulated CPU time (s) 281.55
Current children cumulated vsize (KiB) 46332

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 12203
/proc/meminfo: memFree=30340916/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=339.52 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 194509 761138 0 0 718 94 32769 371 20 0 1 0 288729151 11575296 2381 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/10751/statm: 2826 2381 166 439 0 2383 0
[pid=12202] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12202/stat : 12202 (satsolver.sh) S 10751 10750 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288763183 9367552 266 33554432000 4194304 5064252 140733644729792 140733644728704 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12202/statm: 2287 266 226 213 0 72 0
[pid=12203] ppid=12202 vsize=16724 CPUtime=1.96 cores=0,2,4,6
/proc/12203/stat : 12203 (glucose) R 12202 10750 26619 0 -1 4202496 3667 0 0 0 196 0 0 0 20 0 1 0 288763183 17125376 3636 33554432000 4194304 5208918 140735025133264 140735025131016 4205203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12203/statm: 4181 3636 105 248 0 3930 0
Current children cumulated CPU time (s) 341.48
Current children cumulated vsize (KiB) 46324

[startup+402.3 s]
/proc/loadavg: 1.94 1.99 1.99 3/183 12519
/proc/meminfo: memFree=30367000/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=400.39 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 232333 950321 0 0 871 109 38597 462 20 0 1 0 288729151 11575296 2385 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/10751/statm: 2826 2385 166 439 0 2383 0
[pid=12518] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12518/stat : 12518 (satsolver.sh) S 10751 10750 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288769290 9367552 267 33554432000 4194304 5064252 140736070625120 140736070624032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12518/statm: 2287 267 226 213 0 72 0
[pid=12519] ppid=12518 vsize=13228 CPUtime=0.89 cores=0,2,4,6
/proc/12519/stat : 12519 (glucose) R 12518 10750 26619 0 -1 4202496 3523 0 0 0 89 0 0 0 20 0 1 0 288769290 13545472 2862 33554432000 4194304 5208918 140736471536432 140736471534280 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12519/statm: 3307 2862 103 248 0 3056 0
Current children cumulated CPU time (s) 401.28
Current children cumulated vsize (KiB) 42828

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

[startup+409.5 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 12561
/proc/meminfo: memFree=30345504/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=407.66 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 237623 982007 0 0 894 112 39282 478 20 0 1 0 288729151 11575296 2388 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/10751/statm: 2826 2388 166 439 0 2383 0
[pid=12560] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12560/stat : 12560 (satsolver.sh) S 10751 10750 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288770018 9367552 266 33554432000 4194304 5064252 140734964678352 140734964677264 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12560/statm: 2287 266 226 213 0 72 0
[pid=12561] ppid=12560 vsize=12304 CPUtime=0.81 cores=0,2,4,6
/proc/12561/stat : 12561 (glucose) R 12560 10750 26619 0 -1 4202496 3153 0 0 0 81 0 0 0 20 0 1 0 288770018 12599296 2598 33554432000 4194304 5208918 140736943762192 140736943759944 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12561/statm: 3076 2598 104 248 0 2825 0
Current children cumulated CPU time (s) 408.47
Current children cumulated vsize (KiB) 41904

[startup+422.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 12680
/proc/meminfo: memFree=30348608/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=420.43 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 249804 1059500 0 0 942 117 40472 512 20 0 1 0 288729151 11575296 2392 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/10751/statm: 2826 2392 166 439 0 2383 0
[pid=12679] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12679/stat : 12679 (satsolver.sh) S 10751 10750 26619 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 288771314 9367552 267 33554432000 4194304 5064252 140735822578912 140735822577824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12679/statm: 2287 267 226 213 0 72 0
[pid=12680] ppid=12679 vsize=10444 CPUtime=0.66 cores=0,2,4,6
/proc/12680/stat : 12680 (glucose) R 12679 10750 26619 0 -1 4202496 2740 0 0 0 66 0 0 0 20 0 1 0 288771314 10694656 2080 33554432000 4194304 5208918 140736020528912 140736020526664 4211620 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12680/statm: 2611 2080 104 248 0 2360 0
Current children cumulated CPU time (s) 421.09
Current children cumulated vsize (KiB) 40044

[startup+428.7 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 12743
/proc/meminfo: memFree=30351292/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=427.08 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 255337 1111351 0 0 969 120 41085 534 20 0 1 0 288729151 11575296 2392 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/10751/statm: 2826 2392 166 439 0 2383 0
Current children cumulated CPU time (s) 427.08
Current children cumulated vsize (KiB) 20452

[startup+435.1 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 12834
/proc/meminfo: memFree=30351296/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=433.46 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 261610 1172891 0 0 999 124 41663 560 20 0 1 0 288729151 11575296 2392 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/10751/statm: 2826 2392 166 439 0 2383 0
Current children cumulated CPU time (s) 433.46
Current children cumulated vsize (KiB) 20452

[startup+438.3 s]
/proc/loadavg: 1.97 1.99 1.99 2/182 12902
/proc/meminfo: memFree=30357900/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=436.78 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 266515 1219662 0 0 1018 126 41958 576 20 0 1 0 288729151 11575296 2392 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 10 0 0
/proc/10751/statm: 2826 2392 166 439 0 2383 0
Current children cumulated CPU time (s) 436.78
Current children cumulated vsize (KiB) 20452

[startup+439.9 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 12946
/proc/meminfo: memFree=30351512/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=438.44 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 269240 1244542 0 0 1028 127 42105 584 20 0 1 0 288729151 11575296 2392 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 10 0 0
/proc/10751/statm: 2826 2392 166 439 0 2383 0
[pid=12945] ppid=10751 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12945/stat : 12945 (satsolver.sh) S 10751 10750 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288773128 9367552 267 33554432000 4194304 5064252 140735990240800 140735990239712 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12945/statm: 2287 267 226 213 0 72 0
[pid=12946] ppid=12945 vsize=6588 CPUtime=0.12 cores=0,2,4,6
/proc/12946/stat : 12946 (glucose) R 12945 10750 26619 0 -1 4202496 1675 0 0 0 12 0 0 0 20 0 1 0 288773128 6746112 1388 33554432000 4194304 5208918 140736168770416 140736167720056 4211034 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12946/statm: 1647 1388 104 248 0 1396 0
Current children cumulated CPU time (s) 438.56
Current children cumulated vsize (KiB) 36188

[startup+440.7 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 12946
/proc/meminfo: memFree=30351512/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=439.27 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 270873 1260017 0 0 1033 128 42177 589 20 0 1 0 288729151 11575296 2392 33554432000 4194304 5990268 140737333895824 140737333887248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 10 0 0
/proc/10751/statm: 2826 2392 166 439 0 2383 0
Current children cumulated CPU time (s) 439.27
Current children cumulated vsize (KiB) 20452

[startup+441.107 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 12988
/proc/meminfo: memFree=30329988/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=439.72 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 272485 1275946 0 0 1040 128 42210 594 20 0 1 0 288729151 11575296 2392 33554432000 4194304 5990268 140737333895824 140737333886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 10 0 0
/proc/10751/statm: 2826 2392 166 439 0 2383 0
Current children cumulated CPU time (s) 439.72
Current children cumulated vsize (KiB) 20452

[startup+441.2 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 12988
/proc/meminfo: memFree=30329988/32873844 swapFree=7388/7388
[pid=10750] ppid=10748 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10750/stat : 10750 (npSolver-wbo-It) S 10748 10750 26619 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288729150 9367552 275 33554432000 4194304 5064252 140734968259744 140734968258656 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10750/statm: 2287 275 233 213 0 72 0
[pid=10751] ppid=10750 vsize=11304 CPUtime=439.72 cores=0,2,4,6
/proc/10751/stat : 10751 (npSolver-wbo) S 10750 10750 26619 0 -1 4202496 272485 1275946 0 0 1040 128 42210 594 20 0 1 0 288729151 11575296 2392 33554432000 4194304 5990268 140737333895824 140737333886736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 10 0 0
/proc/10751/statm: 2826 2392 166 439 0 2383 0
Current children cumulated CPU time (s) 439.72
Current children cumulated vsize (KiB) 20452

Child status: 0
Real time (s): 441.244
CPU time (s): 439.93
CPU user time (s): 432.611
CPU system time (s): 7.31889
CPU usage (%): 99.7022
Max. virtual memory (cumulated for all children) (KiB): 67724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 432.611
system time used= 7.31889
maximum resident set size= 26892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1556293
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1273704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6900
involuntary context switches= 2603

runsolver used 0.959854 second user time and 2.50762 second system time

The end

Launcher Data 

Begin job on node147 at 2012-05-28 19:27:27
IDJOB=3715116
IDBENCH=79418
IDSOLVER=2296
FILE ID=node147/3715116-1338226047
RUNJOBID= node147-1338192581-26635
PBS_JOBID= 14624579
Free space on /tmp= 71664 MiB

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

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

MD5SUM BENCH= 401aade47f990d36319fcf6fc2a74e2a
RANDOM SEED=431957109

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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:        30363200 kB
Buffers:          388092 kB
Cached:          1255468 kB
SwapCached:         5068 kB
Active:           700828 kB
Inactive:         982580 kB
Active(anon):      34396 kB
Inactive(anon):     7584 kB
Active(file):     666432 kB
Inactive(file):   974996 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:             12704 kB
Writeback:             0 kB
AnonPages:         83664 kB
Mapped:            10644 kB
Shmem:                 0 kB
Slab:             686896 kB
SReclaimable:     127752 kB
SUnreclaim:       559144 kB
KernelStack:        1520 kB
PageTables:         4452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     163304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 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= 71656 MiB
End job on node147 at 2012-05-28 19:34:49