Trace number 3734838

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 NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)8 1800 1793.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1791.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3734838-1338702931.opb
0.07/0.12	c reading problem ... 
0.07/0.16	c ... done. Wall clock time 0.043s.
0.07/0.16	c CPU time (experimental) 0.12s.
0.07/0.16	c #vars     146
0.07/0.16	c #constraints  12
0.25/0.23	c SATISFIABLE
0.25/0.23	c OPTIMIZING...
0.25/0.23	c Got one! Elapsed wall clock time (in seconds):0.115
0.25/0.23	o 2970
0.25/0.25	c Got one! Elapsed wall clock time (in seconds):0.134
0.25/0.25	o 2916
0.25/0.26	c Got one! Elapsed wall clock time (in seconds):0.149
0.25/0.26	o 2586
0.25/0.28	c Got one! Elapsed wall clock time (in seconds):0.163
0.25/0.28	o 2584
0.25/0.29	c Got one! Elapsed wall clock time (in seconds):0.175
0.25/0.29	o 2583
0.48/0.30	c Got one! Elapsed wall clock time (in seconds):0.186
0.48/0.30	o 2349
0.48/0.31	c Got one! Elapsed wall clock time (in seconds):0.196
0.48/0.31	o 2345
0.48/0.32	c Got one! Elapsed wall clock time (in seconds):0.207
0.48/0.32	o 2336
0.48/0.33	c Got one! Elapsed wall clock time (in seconds):0.217
0.48/0.33	o 2335
0.48/0.34	c Got one! Elapsed wall clock time (in seconds):0.226
0.48/0.34	o 2328
0.48/0.35	c Got one! Elapsed wall clock time (in seconds):0.235
0.48/0.35	o 2325
0.48/0.36	c Got one! Elapsed wall clock time (in seconds):0.245
0.48/0.36	o 2304
0.48/0.37	c Got one! Elapsed wall clock time (in seconds):0.255
0.48/0.37	o 2067
0.48/0.38	c Got one! Elapsed wall clock time (in seconds):0.264
0.48/0.38	o 2064
0.48/0.39	c Got one! Elapsed wall clock time (in seconds):0.276
0.48/0.39	o 2054
0.62/0.40	c Got one! Elapsed wall clock time (in seconds):0.286
0.62/0.40	o 2050
0.62/0.41	c Got one! Elapsed wall clock time (in seconds):0.295
0.62/0.41	o 2040
0.62/0.42	c Got one! Elapsed wall clock time (in seconds):0.306
0.62/0.42	o 2039
0.62/0.43	c Got one! Elapsed wall clock time (in seconds):0.317
0.62/0.43	o 2038
0.62/0.44	c Got one! Elapsed wall clock time (in seconds):0.328
0.62/0.44	o 1994
0.62/0.46	c Got one! Elapsed wall clock time (in seconds):0.342
0.62/0.46	o 1850
0.62/0.47	c Got one! Elapsed wall clock time (in seconds):0.353
0.62/0.47	o 1848
0.62/0.48	c Got one! Elapsed wall clock time (in seconds):0.363
0.62/0.48	o 1838
0.62/0.49	c Got one! Elapsed wall clock time (in seconds):0.373
0.62/0.49	o 1781
0.75/0.50	c Got one! Elapsed wall clock time (in seconds):0.383
0.75/0.50	o 1779
0.75/0.51	c Got one! Elapsed wall clock time (in seconds):0.393
0.75/0.51	o 1778
0.75/0.52	c Got one! Elapsed wall clock time (in seconds):0.404
0.75/0.52	o 1771
0.75/0.53	c Got one! Elapsed wall clock time (in seconds):0.414
0.75/0.53	o 1769
0.75/0.54	c Got one! Elapsed wall clock time (in seconds):0.426
0.75/0.54	o 1767
0.75/0.55	c Got one! Elapsed wall clock time (in seconds):0.437
0.75/0.55	o 1765
0.75/0.57	c Got one! Elapsed wall clock time (in seconds):0.457
0.75/0.57	o 1764
0.75/0.58	c Got one! Elapsed wall clock time (in seconds):0.468
0.75/0.58	o 1762
0.96/0.60	c Got one! Elapsed wall clock time (in seconds):0.489
0.96/0.60	o 1761
0.96/0.61	c Got one! Elapsed wall clock time (in seconds):0.5
0.96/0.61	o 1760
0.96/0.63	c Got one! Elapsed wall clock time (in seconds):0.51
0.96/0.63	o 1745
0.96/0.64	c Got one! Elapsed wall clock time (in seconds):0.523
0.96/0.64	o 1743
0.96/0.65	c Got one! Elapsed wall clock time (in seconds):0.538
0.96/0.65	o 1742
0.96/0.66	c Got one! Elapsed wall clock time (in seconds):0.549
0.96/0.66	o 1739
0.96/0.68	c Got one! Elapsed wall clock time (in seconds):0.562
0.96/0.68	o 1738
0.96/0.69	c Got one! Elapsed wall clock time (in seconds):0.573
0.96/0.69	o 1598
1.17/0.70	c Got one! Elapsed wall clock time (in seconds):0.583
1.17/0.70	o 1597
1.17/0.71	c Got one! Elapsed wall clock time (in seconds):0.595
1.17/0.71	o 1596
1.17/0.72	c Got one! Elapsed wall clock time (in seconds):0.607
1.17/0.72	o 1594
1.17/0.75	c Got one! Elapsed wall clock time (in seconds):0.631
1.17/0.75	o 1593
1.17/0.76	c Got one! Elapsed wall clock time (in seconds):0.649
1.17/0.76	o 1587
1.17/0.78	c Got one! Elapsed wall clock time (in seconds):0.663
1.17/0.78	o 1550
1.17/0.79	c Got one! Elapsed wall clock time (in seconds):0.679
1.17/0.79	o 1546
1.30/0.81	c Got one! Elapsed wall clock time (in seconds):0.691
1.30/0.81	o 1544
1.30/0.82	c Got one! Elapsed wall clock time (in seconds):0.704
1.30/0.82	o 1543
1.30/0.83	c Got one! Elapsed wall clock time (in seconds):0.717
1.30/0.83	o 1523
1.30/0.84	c Got one! Elapsed wall clock time (in seconds):0.729
1.30/0.84	o 1509
1.30/0.86	c Got one! Elapsed wall clock time (in seconds):0.741
1.30/0.86	o 1507
1.30/0.87	c Got one! Elapsed wall clock time (in seconds):0.754
1.30/0.87	o 1500
1.30/0.88	c Got one! Elapsed wall clock time (in seconds):0.767
1.30/0.88	o 1417
1.30/0.89	c Got one! Elapsed wall clock time (in seconds):0.778
1.30/0.89	o 1415
1.46/0.91	c Got one! Elapsed wall clock time (in seconds):0.792
1.46/0.91	o 1414
1.46/0.94	c Got one! Elapsed wall clock time (in seconds):0.826
1.46/0.94	o 1410
1.46/0.96	c Got one! Elapsed wall clock time (in seconds):0.843
1.46/0.96	o 1396
1.46/0.97	c Got one! Elapsed wall clock time (in seconds):0.859
1.46/0.97	o 1395
1.46/0.99	c Got one! Elapsed wall clock time (in seconds):0.87
1.46/0.99	o 1393
1.58/1.01	c Got one! Elapsed wall clock time (in seconds):0.89
1.58/1.01	o 1391
1.58/1.02	c Got one! Elapsed wall clock time (in seconds):0.907
1.58/1.02	o 1389
1.58/1.04	c Got one! Elapsed wall clock time (in seconds):0.921
1.58/1.04	o 1383
1.58/1.05	c Got one! Elapsed wall clock time (in seconds):0.935
1.58/1.05	o 1381
1.58/1.06	c Got one! Elapsed wall clock time (in seconds):0.949
1.58/1.06	o 1380
1.58/1.10	c Got one! Elapsed wall clock time (in seconds):0.984
1.58/1.10	o 1373
1.70/1.12	c Got one! Elapsed wall clock time (in seconds):1.006
1.70/1.12	o 1372
1.70/1.14	c Got one! Elapsed wall clock time (in seconds):1.03
1.70/1.14	o 1350
1.70/1.17	c Got one! Elapsed wall clock time (in seconds):1.052
1.70/1.17	o 1349
1.70/1.20	c Got one! Elapsed wall clock time (in seconds):1.08
1.70/1.20	o 1347
1.80/1.21	c Got one! Elapsed wall clock time (in seconds):1.095
1.80/1.21	o 1345
1.80/1.23	c Got one! Elapsed wall clock time (in seconds):1.113
1.80/1.23	o 1343
1.80/1.24	c Got one! Elapsed wall clock time (in seconds):1.127
1.80/1.24	o 1342
1.80/1.26	c Got one! Elapsed wall clock time (in seconds):1.141
1.80/1.26	o 1341
1.80/1.28	c Got one! Elapsed wall clock time (in seconds):1.164
1.80/1.28	o 1339
1.80/1.29	c Got one! Elapsed wall clock time (in seconds):1.179
1.80/1.29	o 1331
1.94/1.31	c Got one! Elapsed wall clock time (in seconds):1.195
1.94/1.31	o 1328
1.94/1.32	c Got one! Elapsed wall clock time (in seconds):1.209
1.94/1.32	o 1327
1.94/1.34	c Got one! Elapsed wall clock time (in seconds):1.226
1.94/1.34	o 1325
1.94/1.36	c Got one! Elapsed wall clock time (in seconds):1.245
1.94/1.36	o 1324
1.94/1.37	c Got one! Elapsed wall clock time (in seconds):1.259
1.94/1.37	o 1323
1.94/1.39	c Got one! Elapsed wall clock time (in seconds):1.273
1.94/1.39	o 1322
2.06/1.42	c Got one! Elapsed wall clock time (in seconds):1.301
2.06/1.42	o 1314
2.06/1.43	c Got one! Elapsed wall clock time (in seconds):1.315
2.06/1.43	o 1313
2.06/1.48	c Got one! Elapsed wall clock time (in seconds):1.366
2.06/1.48	o 1076
2.16/1.50	c Got one! Elapsed wall clock time (in seconds):1.387
2.16/1.50	o 1074
2.16/1.54	c Got one! Elapsed wall clock time (in seconds):1.42
2.16/1.54	o 1011
2.16/1.56	c Got one! Elapsed wall clock time (in seconds):1.444
2.16/1.56	o 1010
2.16/1.59	c Got one! Elapsed wall clock time (in seconds):1.474
2.16/1.59	o 1009
2.27/1.63	c Got one! Elapsed wall clock time (in seconds):1.518
2.27/1.63	o 709
2.27/1.65	c Got one! Elapsed wall clock time (in seconds):1.532
2.27/1.65	o 707
2.27/1.68	c Got one! Elapsed wall clock time (in seconds):1.563
2.27/1.68	o 705
2.36/1.70	c Got one! Elapsed wall clock time (in seconds):1.588
2.36/1.70	o 704
2.36/1.72	c Got one! Elapsed wall clock time (in seconds):1.605
2.36/1.72	o 682
2.36/1.74	c Got one! Elapsed wall clock time (in seconds):1.626
2.36/1.74	o 681
2.36/1.76	c Got one! Elapsed wall clock time (in seconds):1.649
2.36/1.76	o 678
2.51/1.80	c Got one! Elapsed wall clock time (in seconds):1.689
2.51/1.80	o 676
2.51/1.83	c Got one! Elapsed wall clock time (in seconds):1.714
2.51/1.83	o 675
2.51/1.87	c Got one! Elapsed wall clock time (in seconds):1.755
2.51/1.87	o 674
2.51/1.89	c Got one! Elapsed wall clock time (in seconds):1.777
2.51/1.89	o 672
2.62/1.95	c Got one! Elapsed wall clock time (in seconds):1.83
2.62/1.95	o 657
2.62/2.00	c Got one! Elapsed wall clock time (in seconds):1.881
2.62/2.00	o 655
2.71/2.03	c Got one! Elapsed wall clock time (in seconds):1.915
2.71/2.03	o 654
2.71/2.07	c Got one! Elapsed wall clock time (in seconds):1.957
2.71/2.07	o 651
2.84/2.11	c Got one! Elapsed wall clock time (in seconds):1.997
2.84/2.11	o 648
2.84/2.15	c Got one! Elapsed wall clock time (in seconds):2.039
2.84/2.15	o 647
2.84/2.19	c Got one! Elapsed wall clock time (in seconds):2.071
2.84/2.19	o 646
2.94/2.22	c Got one! Elapsed wall clock time (in seconds):2.104
2.94/2.22	o 645
2.94/2.26	c Got one! Elapsed wall clock time (in seconds):2.147
2.94/2.26	o 643
2.94/2.29	c Got one! Elapsed wall clock time (in seconds):2.177
2.94/2.29	o 633
3.04/2.33	c Got one! Elapsed wall clock time (in seconds):2.214
3.04/2.33	o 632
3.04/2.36	c Got one! Elapsed wall clock time (in seconds):2.244
3.04/2.36	o 631
3.14/2.41	c Got one! Elapsed wall clock time (in seconds):2.295
3.14/2.41	o 630
3.14/2.44	c Got one! Elapsed wall clock time (in seconds):2.33
3.14/2.44	o 509
3.14/2.49	c Got one! Elapsed wall clock time (in seconds):2.371
3.14/2.49	o 505
3.24/2.52	c Got one! Elapsed wall clock time (in seconds):2.408
3.24/2.52	o 504
3.24/2.57	c Got one! Elapsed wall clock time (in seconds):2.452
3.24/2.57	o 483
3.34/2.61	c Got one! Elapsed wall clock time (in seconds):2.495
3.34/2.61	o 482
3.34/2.65	c Got one! Elapsed wall clock time (in seconds):2.538
3.34/2.65	o 481
3.34/2.70	c Got one! Elapsed wall clock time (in seconds):2.58
3.34/2.70	o 480
3.43/2.73	c Got one! Elapsed wall clock time (in seconds):2.616
3.43/2.73	o 468
3.43/2.77	c Got one! Elapsed wall clock time (in seconds):2.659
3.43/2.77	o 467
3.53/2.81	c Got one! Elapsed wall clock time (in seconds):2.7
3.53/2.81	o 465
3.53/2.87	c Got one! Elapsed wall clock time (in seconds):2.756
3.53/2.87	o 463
3.63/2.91	c Got one! Elapsed wall clock time (in seconds):2.795
3.63/2.91	o 462
3.63/2.95	c Got one! Elapsed wall clock time (in seconds):2.832
3.63/2.95	o 461
3.63/2.99	c Got one! Elapsed wall clock time (in seconds):2.874
3.63/2.99	o 460
3.73/3.03	c Got one! Elapsed wall clock time (in seconds):2.918
3.73/3.03	o 459
3.73/3.07	c Got one! Elapsed wall clock time (in seconds):2.952
3.73/3.07	o 457
3.83/3.12	c Got one! Elapsed wall clock time (in seconds):3.008
3.83/3.12	o 455
3.83/3.16	c Got one! Elapsed wall clock time (in seconds):3.05
3.83/3.16	o 453
3.94/3.26	c Got one! Elapsed wall clock time (in seconds):3.149
3.94/3.26	o 451
4.04/3.32	c Got one! Elapsed wall clock time (in seconds):3.206
4.04/3.32	o 447
4.04/3.36	c Got one! Elapsed wall clock time (in seconds):3.247
4.04/3.36	o 446
4.13/3.43	c Got one! Elapsed wall clock time (in seconds):3.311
4.13/3.43	o 445
4.13/3.47	c Got one! Elapsed wall clock time (in seconds):3.359
4.13/3.47	o 444
4.23/3.53	c Got one! Elapsed wall clock time (in seconds):3.413
4.23/3.53	o 443
4.36/3.60	c Got one! Elapsed wall clock time (in seconds):3.481
4.36/3.60	o 441
4.36/3.65	c Got one! Elapsed wall clock time (in seconds):3.539
4.36/3.65	o 439
4.46/3.72	c Got one! Elapsed wall clock time (in seconds):3.601
4.46/3.72	o 438
4.46/3.77	c Got one! Elapsed wall clock time (in seconds):3.653
4.46/3.77	o 436
4.46/3.79	c Got one! Elapsed wall clock time (in seconds):3.67
4.46/3.79	o 435
4.56/3.81	c Got one! Elapsed wall clock time (in seconds):3.691
4.56/3.81	o 434
4.56/3.88	c Got one! Elapsed wall clock time (in seconds):3.766
4.56/3.88	o 432
4.66/3.94	c Got one! Elapsed wall clock time (in seconds):3.824
4.66/3.94	o 431
4.66/3.98	c Got one! Elapsed wall clock time (in seconds):3.861
4.66/3.98	o 430
4.76/4.02	c Got one! Elapsed wall clock time (in seconds):3.909
4.76/4.02	o 429
4.86/4.13	c Got one! Elapsed wall clock time (in seconds):4.015
4.86/4.13	o 419
4.96/4.22	c Got one! Elapsed wall clock time (in seconds):4.104
4.96/4.22	o 418
4.96/4.28	c Got one! Elapsed wall clock time (in seconds):4.162
4.96/4.28	o 416
5.07/4.34	c Got one! Elapsed wall clock time (in seconds):4.225
5.07/4.34	o 415
5.07/4.39	c Got one! Elapsed wall clock time (in seconds):4.279
5.07/4.39	o 413
5.17/4.45	c Got one! Elapsed wall clock time (in seconds):4.335
5.17/4.45	o 412
5.27/4.58	c Got one! Elapsed wall clock time (in seconds):4.463
5.27/4.58	o 410
5.37/4.65	c Got one! Elapsed wall clock time (in seconds):4.539
5.37/4.65	o 408
5.47/4.71	c Got one! Elapsed wall clock time (in seconds):4.599
5.47/4.71	o 407
5.47/4.78	c Got one! Elapsed wall clock time (in seconds):4.662
5.47/4.78	o 406
5.67/4.92	c Got one! Elapsed wall clock time (in seconds):4.807
5.67/4.92	o 405
5.67/4.96	c Got one! Elapsed wall clock time (in seconds):4.847
5.67/4.96	o 404
5.77/5.03	c Got one! Elapsed wall clock time (in seconds):4.913
5.77/5.03	o 402
5.77/5.07	c Got one! Elapsed wall clock time (in seconds):4.958
5.77/5.07	o 400
5.87/5.13	c Got one! Elapsed wall clock time (in seconds):5.012
5.87/5.13	o 399
6.08/5.33	c Got one! Elapsed wall clock time (in seconds):5.218
6.08/5.33	o 397
6.20/5.41	c Got one! Elapsed wall clock time (in seconds):5.299
6.20/5.41	o 395
6.20/5.47	c Got one! Elapsed wall clock time (in seconds):5.352
6.20/5.47	o 392
6.30/5.52	c Got one! Elapsed wall clock time (in seconds):5.403
6.30/5.52	o 391
6.39/5.68	c Got one! Elapsed wall clock time (in seconds):5.569
6.39/5.68	o 390
6.49/5.73	c Got one! Elapsed wall clock time (in seconds):5.617
6.49/5.73	o 389
6.49/5.79	c Got one! Elapsed wall clock time (in seconds):5.671
6.49/5.79	o 388
6.59/5.87	c Got one! Elapsed wall clock time (in seconds):5.759
6.59/5.87	o 387
6.69/5.93	c Got one! Elapsed wall clock time (in seconds):5.819
6.69/5.93	o 386
6.79/6.00	c Got one! Elapsed wall clock time (in seconds):5.888
6.79/6.00	o 384
6.79/6.08	c Got one! Elapsed wall clock time (in seconds):5.963
6.79/6.08	o 382
6.89/6.14	c Got one! Elapsed wall clock time (in seconds):6.024
6.89/6.14	o 381
6.99/6.28	c Got one! Elapsed wall clock time (in seconds):6.166
6.99/6.28	o 380
7.09/6.36	c Got one! Elapsed wall clock time (in seconds):6.249
7.09/6.36	o 379
7.19/6.45	c Got one! Elapsed wall clock time (in seconds):6.331
7.19/6.45	o 377
7.29/6.51	c Got one! Elapsed wall clock time (in seconds):6.395
7.29/6.51	o 376
7.29/6.59	c Got one! Elapsed wall clock time (in seconds):6.471
7.29/6.59	o 374
7.39/6.65	c Got one! Elapsed wall clock time (in seconds):6.534
7.39/6.65	o 373
7.71/6.94	c Got one! Elapsed wall clock time (in seconds):6.822
7.71/6.94	o 372
7.81/7.01	c Got one! Elapsed wall clock time (in seconds):6.898
7.81/7.01	o 370
8.31/7.58	c Got one! Elapsed wall clock time (in seconds):7.47
8.31/7.58	o 369
8.41/7.68	c Got one! Elapsed wall clock time (in seconds):7.563
8.41/7.68	o 363
8.52/7.77	c Got one! Elapsed wall clock time (in seconds):7.657
8.52/7.77	o 362
8.61/7.86	c Got one! Elapsed wall clock time (in seconds):7.746
8.61/7.86	o 361
8.71/7.94	c Got one! Elapsed wall clock time (in seconds):7.827
8.71/7.94	o 359
8.81/8.01	c Got one! Elapsed wall clock time (in seconds):7.89
8.81/8.01	o 357
8.81/8.06	c Got one! Elapsed wall clock time (in seconds):7.948
8.81/8.06	o 355
8.91/8.11	c Got one! Elapsed wall clock time (in seconds):7.991
8.91/8.11	o 354
8.91/8.18	c Got one! Elapsed wall clock time (in seconds):8.068
8.91/8.18	o 353
9.01/8.25	c Got one! Elapsed wall clock time (in seconds):8.138
9.01/8.25	o 351
9.11/8.34	c Got one! Elapsed wall clock time (in seconds):8.224
9.11/8.34	o 350
9.21/8.44	c Got one! Elapsed wall clock time (in seconds):8.326
9.21/8.44	o 348
9.45/8.60	c Got one! Elapsed wall clock time (in seconds):8.487
9.45/8.60	o 347
9.45/8.68	c Got one! Elapsed wall clock time (in seconds):8.561
9.45/8.68	o 346
9.56/8.72	c Got one! Elapsed wall clock time (in seconds):8.601
9.56/8.72	o 344
9.95/9.17	c Got one! Elapsed wall clock time (in seconds):9.052
9.95/9.17	o 343
10.25/9.42	c Got one! Elapsed wall clock time (in seconds):9.308
10.25/9.42	o 341
10.35/9.57	c Got one! Elapsed wall clock time (in seconds):9.456
10.35/9.57	o 339
10.45/9.67	c Got one! Elapsed wall clock time (in seconds):9.55
10.45/9.67	o 337
10.55/9.80	c Got one! Elapsed wall clock time (in seconds):9.687
10.55/9.80	o 336
10.85/10.02	c Got one! Elapsed wall clock time (in seconds):9.902
10.85/10.02	o 334
11.73/10.84	c Got one! Elapsed wall clock time (in seconds):10.726
11.73/10.84	o 333
12.03/11.10	c Got one! Elapsed wall clock time (in seconds):10.983
12.03/11.10	o 331
12.13/11.27	c Got one! Elapsed wall clock time (in seconds):11.152
12.13/11.27	o 330
12.23/11.34	c Got one! Elapsed wall clock time (in seconds):11.229
12.23/11.34	o 329
12.33/11.45	c Got one! Elapsed wall clock time (in seconds):11.337
12.33/11.45	o 327
12.43/11.53	c Got one! Elapsed wall clock time (in seconds):11.415
12.43/11.53	o 326
12.43/11.59	c Got one! Elapsed wall clock time (in seconds):11.47
12.43/11.59	o 324
12.63/11.73	c Got one! Elapsed wall clock time (in seconds):11.617
12.63/11.73	o 323
12.74/11.84	c Got one! Elapsed wall clock time (in seconds):11.725
12.74/11.84	o 322
12.87/11.96	c Got one! Elapsed wall clock time (in seconds):11.848
12.87/11.96	o 321
13.08/12.19	c Got one! Elapsed wall clock time (in seconds):12.075
13.08/12.19	o 320
13.28/12.34	c Got one! Elapsed wall clock time (in seconds):12.221
13.28/12.34	o 319
13.58/12.61	c Got one! Elapsed wall clock time (in seconds):12.496
13.58/12.61	o 318
13.68/12.71	c Got one! Elapsed wall clock time (in seconds):12.596
13.68/12.71	o 316
13.68/12.78	c Got one! Elapsed wall clock time (in seconds):12.664
13.68/12.78	o 315
13.87/12.99	c Got one! Elapsed wall clock time (in seconds):12.873
13.87/12.99	o 312
14.08/13.13	c Got one! Elapsed wall clock time (in seconds):13.017
14.08/13.13	o 311
14.27/13.37	c Got one! Elapsed wall clock time (in seconds):13.255
14.27/13.37	o 309
14.37/13.47	c Got one! Elapsed wall clock time (in seconds):13.359
14.37/13.47	o 308
14.47/13.58	c Got one! Elapsed wall clock time (in seconds):13.464
14.47/13.58	o 306
14.57/13.68	c Got one! Elapsed wall clock time (in seconds):13.566
14.57/13.68	o 305
14.67/13.80	c Got one! Elapsed wall clock time (in seconds):13.68
14.67/13.80	o 302
14.87/13.92	c Got one! Elapsed wall clock time (in seconds):13.807
14.87/13.92	o 301
14.97/14.09	c Got one! Elapsed wall clock time (in seconds):13.978
14.97/14.09	o 299
15.22/14.27	c Got one! Elapsed wall clock time (in seconds):14.156
15.22/14.27	o 297
15.32/14.32	c Got one! Elapsed wall clock time (in seconds):14.203
15.32/14.32	o 295
15.71/14.74	c Got one! Elapsed wall clock time (in seconds):14.626
15.71/14.74	o 294
15.81/14.80	c Got one! Elapsed wall clock time (in seconds):14.687
15.81/14.80	o 293
15.81/14.89	c Got one! Elapsed wall clock time (in seconds):14.772
15.81/14.89	o 291
16.01/15.04	c Got one! Elapsed wall clock time (in seconds):14.922
16.01/15.04	o 290
16.32/15.31	c Got one! Elapsed wall clock time (in seconds):15.192
16.32/15.31	o 288
16.32/15.36	c Got one! Elapsed wall clock time (in seconds):15.244
16.32/15.36	o 286
16.42/15.46	c Got one! Elapsed wall clock time (in seconds):15.341
16.42/15.46	o 284
16.51/15.57	c Got one! Elapsed wall clock time (in seconds):15.455
16.51/15.57	o 283
16.61/15.67	c Got one! Elapsed wall clock time (in seconds):15.557
16.61/15.67	o 281
16.71/15.77	c Got one! Elapsed wall clock time (in seconds):15.66
16.71/15.77	o 279
16.91/15.99	c Got one! Elapsed wall clock time (in seconds):15.878
16.91/15.99	o 278
17.05/16.05	c Got one! Elapsed wall clock time (in seconds):15.937
17.05/16.05	o 276
17.25/16.21	c Got one! Elapsed wall clock time (in seconds):16.09
17.25/16.21	o 275
17.35/16.38	c Got one! Elapsed wall clock time (in seconds):16.267
17.35/16.38	o 273
17.56/16.54	c Got one! Elapsed wall clock time (in seconds):16.422
17.56/16.54	o 272
17.65/16.68	c Got one! Elapsed wall clock time (in seconds):16.561
17.65/16.68	o 270
17.85/16.87	c Got one! Elapsed wall clock time (in seconds):16.759
17.85/16.87	o 269
18.15/17.15	c Got one! Elapsed wall clock time (in seconds):17.036
18.15/17.15	o 267
18.25/17.25	c Got one! Elapsed wall clock time (in seconds):17.131
18.25/17.25	o 266
18.35/17.35	c Got one! Elapsed wall clock time (in seconds):17.234
18.35/17.35	o 264
18.45/17.48	c Got one! Elapsed wall clock time (in seconds):17.366
18.45/17.48	o 262
18.65/17.61	c Got one! Elapsed wall clock time (in seconds):17.499
18.65/17.61	o 258
19.26/18.24	c Got one! Elapsed wall clock time (in seconds):18.127
19.26/18.24	o 256
19.36/18.37	c Got one! Elapsed wall clock time (in seconds):18.256
19.36/18.37	o 255
19.46/18.42	c Got one! Elapsed wall clock time (in seconds):18.302
19.46/18.42	o 253
19.46/18.48	c Got one! Elapsed wall clock time (in seconds):18.363
19.46/18.48	o 252
19.76/18.71	c Got one! Elapsed wall clock time (in seconds):18.598
19.76/18.71	o 251
19.96/18.99	c Got one! Elapsed wall clock time (in seconds):18.871
19.96/18.99	o 250
20.16/19.10	c Got one! Elapsed wall clock time (in seconds):18.986
20.16/19.10	o 249
20.26/19.21	c Got one! Elapsed wall clock time (in seconds):19.093
20.26/19.21	o 248
20.26/19.28	c Got one! Elapsed wall clock time (in seconds):19.16
20.26/19.28	o 247
20.35/19.34	c Got one! Elapsed wall clock time (in seconds):19.225
20.35/19.34	o 245
20.45/19.46	c Got one! Elapsed wall clock time (in seconds):19.346
20.45/19.46	o 243
20.65/19.61	c Got one! Elapsed wall clock time (in seconds):19.496
20.65/19.61	o 242
20.77/19.79	c Got one! Elapsed wall clock time (in seconds):19.679
20.77/19.79	o 241
21.07/20.01	c Got one! Elapsed wall clock time (in seconds):19.896
21.07/20.01	o 240
21.17/20.11	c Got one! Elapsed wall clock time (in seconds):20.0
21.17/20.11	o 238
21.27/20.21	c Got one! Elapsed wall clock time (in seconds):20.092
21.27/20.21	o 236
21.27/20.28	c Got one! Elapsed wall clock time (in seconds):20.169
21.27/20.28	o 235
21.37/20.39	c Got one! Elapsed wall clock time (in seconds):20.28
21.37/20.39	o 228
21.57/20.54	c Got one! Elapsed wall clock time (in seconds):20.427
21.57/20.54	o 227
21.67/20.62	c Got one! Elapsed wall clock time (in seconds):20.51
21.67/20.62	o 226
21.77/20.76	c Got one! Elapsed wall clock time (in seconds):20.65
21.77/20.76	o 224
21.87/20.84	c Got one! Elapsed wall clock time (in seconds):20.727
21.87/20.84	o 222
21.98/20.96	c Got one! Elapsed wall clock time (in seconds):20.847
21.98/20.96	o 220
22.17/21.10	c Got one! Elapsed wall clock time (in seconds):20.987
22.17/21.10	o 218
22.27/21.27	c Got one! Elapsed wall clock time (in seconds):21.158
22.27/21.27	o 216
22.37/21.39	c Got one! Elapsed wall clock time (in seconds):21.28
22.37/21.39	o 214
22.57/21.56	c Got one! Elapsed wall clock time (in seconds):21.443
22.57/21.56	o 213
23.20/22.15	c Got one! Elapsed wall clock time (in seconds):22.038
23.20/22.15	o 212
23.30/22.26	c Got one! Elapsed wall clock time (in seconds):22.145
23.30/22.26	o 211
23.50/22.43	c Got one! Elapsed wall clock time (in seconds):22.312
23.50/22.43	o 210
23.60/22.56	c Got one! Elapsed wall clock time (in seconds):22.444
23.60/22.56	o 208
24.31/23.26	c Got one! Elapsed wall clock time (in seconds):23.142
24.31/23.26	o 206
24.51/23.49	c Got one! Elapsed wall clock time (in seconds):23.371
24.51/23.49	o 204
24.61/23.59	c Got one! Elapsed wall clock time (in seconds):23.471
24.61/23.59	o 203
24.71/23.65	c Got one! Elapsed wall clock time (in seconds):23.535
24.71/23.65	o 202
24.81/23.76	c Got one! Elapsed wall clock time (in seconds):23.642
24.81/23.76	o 200
24.91/23.88	c Got one! Elapsed wall clock time (in seconds):23.761
24.91/23.88	o 198
25.11/24.04	c Got one! Elapsed wall clock time (in seconds):23.928
25.11/24.04	o 197
25.41/24.32	c Got one! Elapsed wall clock time (in seconds):24.205
25.41/24.32	o 195
25.61/24.53	c Got one! Elapsed wall clock time (in seconds):24.417
25.61/24.53	o 194
25.81/24.77	c Got one! Elapsed wall clock time (in seconds):24.656
25.81/24.77	o 193
26.11/25.03	c Got one! Elapsed wall clock time (in seconds):24.919
26.11/25.03	o 191
26.32/25.30	c Got one! Elapsed wall clock time (in seconds):25.186
26.32/25.30	o 190
26.51/25.41	c Got one! Elapsed wall clock time (in seconds):25.292
26.51/25.41	o 189
26.51/25.47	c Got one! Elapsed wall clock time (in seconds):25.357
26.51/25.47	o 149
26.93/25.81	c Got one! Elapsed wall clock time (in seconds):25.699
26.93/25.81	o 148
27.03/25.95	c Got one! Elapsed wall clock time (in seconds):25.84
27.03/25.95	o 146
27.13/26.09	c Got one! Elapsed wall clock time (in seconds):25.978
27.13/26.09	o 145
27.54/26.42	c Got one! Elapsed wall clock time (in seconds):26.305
27.54/26.42	o 143
27.93/26.89	c Got one! Elapsed wall clock time (in seconds):26.773
27.93/26.89	o 142
28.33/27.27	c Got one! Elapsed wall clock time (in seconds):27.156
28.33/27.27	o 141
28.64/27.56	c Got one! Elapsed wall clock time (in seconds):27.443
28.64/27.56	o 139
29.06/27.97	c Got one! Elapsed wall clock time (in seconds):27.857
29.06/27.97	o 137
29.46/28.32	c Got one! Elapsed wall clock time (in seconds):28.204
29.46/28.32	o 135
29.56/28.42	c Got one! Elapsed wall clock time (in seconds):28.302
29.56/28.42	o 133
30.26/29.19	c Got one! Elapsed wall clock time (in seconds):29.08
30.26/29.19	o 131
30.66/29.50	c Got one! Elapsed wall clock time (in seconds):29.387
30.66/29.50	o 129
30.66/29.58	c Got one! Elapsed wall clock time (in seconds):29.463
30.66/29.58	o 127
31.06/29.93	c Got one! Elapsed wall clock time (in seconds):29.817
31.06/29.93	o 125
31.16/30.09	c Got one! Elapsed wall clock time (in seconds):29.973
31.16/30.09	o 123
31.46/30.31	c Got one! Elapsed wall clock time (in seconds):30.196
31.46/30.31	o 122
31.76/30.68	c Got one! Elapsed wall clock time (in seconds):30.564
31.76/30.68	o 121
32.16/31.09	c Got one! Elapsed wall clock time (in seconds):30.973
32.16/31.09	o 118
32.46/31.30	c Got one! Elapsed wall clock time (in seconds):31.183
32.46/31.30	o 114
32.56/31.42	c Got one! Elapsed wall clock time (in seconds):31.307
32.56/31.42	o 113
32.86/31.73	c Got one! Elapsed wall clock time (in seconds):31.612
32.86/31.73	o 112
33.57/32.44	c Got one! Elapsed wall clock time (in seconds):32.326
33.57/32.44	o 110
34.57/33.40	c Got one! Elapsed wall clock time (in seconds):33.286
34.57/33.40	o 109
34.67/33.59	c Got one! Elapsed wall clock time (in seconds):33.474
34.67/33.59	o 108
35.09/33.91	c Got one! Elapsed wall clock time (in seconds):33.793
35.09/33.91	o 106
35.69/34.50	c Got one! Elapsed wall clock time (in seconds):34.386
35.69/34.50	o 105
36.09/34.95	c Got one! Elapsed wall clock time (in seconds):34.836
36.09/34.95	o 103
36.39/35.28	c Got one! Elapsed wall clock time (in seconds):35.168
36.39/35.28	o 101
36.58/35.49	c Got one! Elapsed wall clock time (in seconds):35.377
36.58/35.49	o 99
37.89/36.70	c Got one! Elapsed wall clock time (in seconds):36.583
37.89/36.70	o 97
38.39/37.23	c Got one! Elapsed wall clock time (in seconds):37.119
38.39/37.23	o 96
38.60/37.48	c Got one! Elapsed wall clock time (in seconds):37.367
38.60/37.48	o 94
38.79/37.67	c Got one! Elapsed wall clock time (in seconds):37.552
38.79/37.67	o 93
39.19/38.03	c Got one! Elapsed wall clock time (in seconds):37.917
39.19/38.03	o 91
39.49/38.36	c Got one! Elapsed wall clock time (in seconds):38.247
39.49/38.36	o 90
39.70/38.58	c Got one! Elapsed wall clock time (in seconds):38.463
39.70/38.58	o 89
40.13/38.92	c Got one! Elapsed wall clock time (in seconds):38.802
40.13/38.92	o 88
40.73/39.56	c Got one! Elapsed wall clock time (in seconds):39.445
40.73/39.56	o 86
40.93/39.74	c Got one! Elapsed wall clock time (in seconds):39.622
40.93/39.74	o 85
41.13/39.96	c Got one! Elapsed wall clock time (in seconds):39.85
41.13/39.96	o 83
43.65/42.46	c Got one! Elapsed wall clock time (in seconds):42.342
43.65/42.46	o 81
44.25/43.01	c Got one! Elapsed wall clock time (in seconds):42.898
44.25/43.01	o 79
44.86/43.66	c Got one! Elapsed wall clock time (in seconds):43.543
44.86/43.66	o 77
45.77/44.59	c Got one! Elapsed wall clock time (in seconds):44.475
45.77/44.59	o 75
47.08/45.89	c Got one! Elapsed wall clock time (in seconds):45.778
47.08/45.89	o 74
47.68/46.45	c Got one! Elapsed wall clock time (in seconds):46.334
47.68/46.45	o 72
52.02/50.73	c Got one! Elapsed wall clock time (in seconds):50.612
52.02/50.73	o 70
52.32/51.02	c Got one! Elapsed wall clock time (in seconds):50.903
52.32/51.02	o 69
53.12/51.83	c Got one! Elapsed wall clock time (in seconds):51.718
53.12/51.83	o 67
53.95/52.70	c Got one! Elapsed wall clock time (in seconds):52.584
53.95/52.70	o 66
56.05/54.78	c Got one! Elapsed wall clock time (in seconds):54.668
56.05/54.78	o 64
57.88/56.56	c Got one! Elapsed wall clock time (in seconds):56.448
57.88/56.56	o 63
60.32/58.91	c Got one! Elapsed wall clock time (in seconds):58.796
60.32/58.91	o 61
61.63/60.24	c Got one! Elapsed wall clock time (in seconds):60.121
61.63/60.24	o 60
64.03/62.68	c Got one! Elapsed wall clock time (in seconds):62.563
64.03/62.68	o 59
64.66/63.27	c Got one! Elapsed wall clock time (in seconds):63.155
64.66/63.27	o 58
64.96/63.55	c Got one! Elapsed wall clock time (in seconds):63.438
64.96/63.55	o 57
66.46/65.02	c Got one! Elapsed wall clock time (in seconds):64.901
66.46/65.02	o 56
69.28/67.84	c Got one! Elapsed wall clock time (in seconds):67.728
69.28/67.84	o 54
73.52/72.04	c Got one! Elapsed wall clock time (in seconds):71.923
73.52/72.04	o 53
74.22/72.76	c Got one! Elapsed wall clock time (in seconds):72.647
74.22/72.76	o 52
74.62/73.13	c Got one! Elapsed wall clock time (in seconds):73.01
74.62/73.13	o 50
95.55/93.83	c Got one! Elapsed wall clock time (in seconds):93.717
95.55/93.83	o 49
101.99/100.27	c Got one! Elapsed wall clock time (in seconds):100.152
101.99/100.27	o 47
110.10/108.37	c Got one! Elapsed wall clock time (in seconds):108.252
110.10/108.37	o 45
114.21/112.45	c Got one! Elapsed wall clock time (in seconds):112.334
114.21/112.45	o 44
118.34/116.51	c Got one! Elapsed wall clock time (in seconds):116.399
118.34/116.51	o 42
120.74/118.99	c Got one! Elapsed wall clock time (in seconds):118.871
120.74/118.99	o 41
128.20/126.36	c Got one! Elapsed wall clock time (in seconds):126.245
128.20/126.36	o 40
131.00/129.13	c Got one! Elapsed wall clock time (in seconds):129.015
131.00/129.13	o 38
143.06/141.19	c Got one! Elapsed wall clock time (in seconds):141.072
143.06/141.19	o 37
163.43/161.41	c Got one! Elapsed wall clock time (in seconds):161.29
163.43/161.41	o 35
188.74/186.61	c Got one! Elapsed wall clock time (in seconds):186.498
188.74/186.61	o 34
221.55/219.38	c Got one! Elapsed wall clock time (in seconds):219.266
221.55/219.38	o 32
226.80/224.51	c Got one! Elapsed wall clock time (in seconds):224.398
226.80/224.51	o 30
231.60/229.36	c Got one! Elapsed wall clock time (in seconds):229.249
231.60/229.36	o 28
235.10/232.81	c Got one! Elapsed wall clock time (in seconds):232.695
235.10/232.81	o 27
241.60/239.31	c Got one! Elapsed wall clock time (in seconds):239.194
241.60/239.31	o 25
245.10/242.84	c Got one! Elapsed wall clock time (in seconds):242.727
245.10/242.84	o 24
254.28/251.98	c Got one! Elapsed wall clock time (in seconds):251.861
254.28/251.98	o 23
258.27/255.94	c Got one! Elapsed wall clock time (in seconds):255.825
258.27/255.94	o 22
331.92/329.25	c Got one! Elapsed wall clock time (in seconds):329.135
331.92/329.25	o 21
340.02/337.35	c Got one! Elapsed wall clock time (in seconds):337.235
340.02/337.35	o 20
402.18/399.30	c Got one! Elapsed wall clock time (in seconds):399.18
402.18/399.30	o 19
414.47/411.50	c Got one! Elapsed wall clock time (in seconds):411.388
414.47/411.50	o 18
448.44/445.42	c Got one! Elapsed wall clock time (in seconds):445.3
448.44/445.42	o 17
557.08/553.73	c Got one! Elapsed wall clock time (in seconds):553.61
557.08/553.73	o 15
604.48/601.05	c Got one! Elapsed wall clock time (in seconds):600.937
604.48/601.05	o 13
1300.94/1295.60	c Got one! Elapsed wall clock time (in seconds):1295.482
1300.94/1295.60	o 11
1333.54/1328.23	c Got one! Elapsed wall clock time (in seconds):1328.111
1333.54/1328.23	o 10
1657.09/1650.88	c Got one! Elapsed wall clock time (in seconds):1650.767
1657.09/1650.88	o 8
1800.00/1793.51	c starts		: 1485
1800.00/1793.51	c conflicts		: 1752507
1800.00/1793.51	c decisions		: 1921216
1800.00/1793.51	c propagations		: 17288575
1800.00/1793.51	c inspects		: 15267693520
1800.00/1793.51	c learnt literals	: 0
1800.00/1793.51	c learnt binary clauses	: 0
1800.00/1793.51	c learnt ternary clauses	: 0
1800.00/1793.51	c learnt clauses	: 1752507
1800.00/1793.51	c root simplifications	: 0
1800.00/1793.51	c removed literals (reason simplification)	: 0
1800.00/1793.51	c reason swapping (by a shorter reason)	: 0
1800.00/1793.51	c Calls to reduceDB	: 0
1800.00/1793.51	c speed (decisions/second)	: 13470.023627733492
1800.00/1793.51	c non guided choices	8482
1800.00/1793.51	s SATISFIABLE
1800.00/1793.51	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 
1800.00/1793.51	c objective function=8
1800.00/1793.51	c Total wall clock time (ms): 1793.396

Verifier Data

OK	8

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-3734838-1338702931/watcher-3734838-1338702931 -o /tmp/evaluation-result-3734838-1338702931/solver-3734838-1338702931 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734838-1338702931.opb 

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.11 2.03 2.01 3/194 639
/proc/meminfo: memFree=30070296/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=336 CPUtime=0 cores=0,2,4,6
/proc/639/stat : 639 (java) R 637 639 28219 0 -1 4202496 89 0 0 0 0 0 0 0 20 0 1 0 336418002 344064 41 33554432000 1073741824 1073778376 140737290995968 140737290993144 240556010791 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/639/statm: 625 45 36 9 0 29 0

[startup+0.024853 s]
/proc/loadavg: 2.11 2.03 2.01 3/194 639
/proc/meminfo: memFree=30070296/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=1880456 CPUtime=0 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 2728 0 1 0 0 0 0 0 20 0 2 0 336418002 1925586944 2408 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 470114 2427 942 9 0 461223 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1880456

[startup+0.100203 s]
/proc/loadavg: 2.11 2.03 2.01 3/194 639
/proc/meminfo: memFree=30070296/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 4171 0 1 0 6 1 0 0 20 0 18 0 336418002 3028844544 5889 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 739464 5889 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300243 s]
/proc/loadavg: 2.11 2.03 2.01 3/194 639
/proc/meminfo: memFree=30070296/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 7698 0 1 0 46 2 0 0 20 0 19 0 336418002 3097006080 10249 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 756105 10249 2254 9 0 746526 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 3024420

[startup+0.700219 s]
/proc/loadavg: 2.11 2.03 2.01 3/194 639
/proc/meminfo: memFree=30070296/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=3024420 CPUtime=1.17 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 12974 0 1 0 112 5 0 0 20 0 19 0 336418002 3097006080 29510 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 756105 29510 2265 9 0 746526 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 3024420

[startup+1.50065 s]
/proc/loadavg: 2.11 2.03 2.01 3/213 718
/proc/meminfo: memFree=29890088/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=3090984 CPUtime=2.16 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 14099 0 1 0 209 7 0 0 20 0 19 0 336418002 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 772746 76545 2273 9 0 763167 0
[pid=639/tid=641] ppid=637 vsize=3090984 CPUtime=1.45 cores=0,2,4,6
/proc/639/task/641/stat : 641 (java) R 637 639 28219 0 -1 4202560 3209 0 1 0 140 5 0 0 20 0 19 0 336418003 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275984704104 140275857207596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=639/tid=642] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/642/stat : 642 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275850311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=643] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/643/stat : 643 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275849259304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=644] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/644/stat : 644 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275848206760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=639/tid=645] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/645/stat : 645 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275645147688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=646] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/646/stat : 646 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275644095144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=647] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/647/stat : 647 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275643042600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=648] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/648/stat : 648 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275641990056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=649] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/649/stat : 649 (java) S 637 639 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275640937512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=650] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/650/stat : 650 (java) S 637 639 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336418006 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275628738664 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=651] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/651/stat : 651 (java) S 637 639 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275627684984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=652] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/652/stat : 652 (java) S 637 639 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275626632328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=653] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/653/stat : 653 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275625581072 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=654] ppid=637 vsize=3090984 CPUtime=0.38 cores=0,2,4,6
/proc/639/task/654/stat : 654 (java) S 637 639 28219 0 -1 4202560 6712 0 0 0 37 1 0 0 20 0 19 0 336418009 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275624528440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=655] ppid=637 vsize=3090984 CPUtime=0.28 cores=0,2,4,6
/proc/639/task/655/stat : 655 (java) S 637 639 28219 0 -1 4202560 2807 0 0 0 28 0 0 0 20 0 19 0 336418009 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275623475896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=656] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/656/stat : 656 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275622423544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=657] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/657/stat : 657 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 76545 33554432000 1073741824 1073778376 140733497723328 140275621371208 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 3090984

[startup+3.10066 s]
/proc/loadavg: 2.11 2.03 2.01 3/213 763
/proc/meminfo: memFree=29615040/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=3090984 CPUtime=3.83 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 14291 0 1 0 373 10 0 0 20 0 19 0 336418002 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 772746 115477 2286 9 0 763167 0
[pid=639/tid=641] ppid=637 vsize=3090984 CPUtime=3.04 cores=0,2,4,6
/proc/639/task/641/stat : 641 (java) R 637 639 28219 0 -1 4202560 3285 0 1 0 296 8 0 0 20 0 19 0 336418003 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275984704104 140275857164711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=639/tid=642] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/642/stat : 642 (java) S 637 639 28219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275850311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=643] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/643/stat : 643 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275849259304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=644] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/644/stat : 644 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275848206760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=639/tid=645] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/645/stat : 645 (java) S 637 639 28219 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275645147688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=646] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/646/stat : 646 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275644095144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=647] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/647/stat : 647 (java) S 637 639 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275643042600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=648] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/648/stat : 648 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275641990056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=649] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/649/stat : 649 (java) S 637 639 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275640937512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=650] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/650/stat : 650 (java) S 637 639 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336418006 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275628738664 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=651] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/651/stat : 651 (java) S 637 639 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275627684984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=652] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/652/stat : 652 (java) S 637 639 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275626632328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=653] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/653/stat : 653 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275625581072 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=654] ppid=637 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/639/task/654/stat : 654 (java) S 637 639 28219 0 -1 4202560 6712 0 0 0 41 2 0 0 20 0 19 0 336418009 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275624528440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=655] ppid=637 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/639/task/655/stat : 655 (java) S 637 639 28219 0 -1 4202560 2807 0 0 0 32 0 0 0 20 0 19 0 336418009 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275623475896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=656] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/656/stat : 656 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275622423544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=657] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/657/stat : 657 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 115477 33554432000 1073741824 1073778376 140733497723328 140275621371208 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 3090984

[startup+6.30072 s]
/proc/loadavg: 2.10 2.03 2.01 3/213 822
/proc/meminfo: memFree=29596428/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=3090984 CPUtime=7.09 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 14490 0 1 0 696 13 0 0 20 0 19 0 336418002 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 772746 119999 2287 9 0 763167 0
[pid=639/tid=641] ppid=637 vsize=3090984 CPUtime=6.19 cores=0,2,4,6
/proc/639/task/641/stat : 641 (java) R 637 639 28219 0 -1 4202560 3323 0 1 0 611 8 0 0 20 0 19 0 336418003 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275984702184 140275857240706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=639/tid=642] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/642/stat : 642 (java) S 637 639 28219 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275850311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=643] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/643/stat : 643 (java) S 637 639 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275849259304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=644] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/644/stat : 644 (java) S 637 639 28219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275848206760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=639/tid=645] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/645/stat : 645 (java) S 637 639 28219 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275645147688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=646] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/646/stat : 646 (java) S 637 639 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275644095144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=647] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/647/stat : 647 (java) S 637 639 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275643042600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=648] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/648/stat : 648 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275641990056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=649] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/649/stat : 649 (java) S 637 639 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336418005 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275640937512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=650] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/650/stat : 650 (java) S 637 639 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336418006 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275628738664 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=651] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/651/stat : 651 (java) S 637 639 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275627684984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=652] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/652/stat : 652 (java) S 637 639 28219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275626632328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=653] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/653/stat : 653 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275625581072 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=654] ppid=637 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/639/task/654/stat : 654 (java) S 637 639 28219 0 -1 4202560 6715 0 0 0 41 2 0 0 20 0 19 0 336418009 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275624528440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=655] ppid=637 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/639/task/655/stat : 655 (java) S 637 639 28219 0 -1 4202560 2807 0 0 0 32 0 0 0 20 0 19 0 336418009 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275623475896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=656] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/656/stat : 656 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275622423544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=657] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/657/stat : 657 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 119999 33554432000 1073741824 1073778376 140733497723328 140275621371208 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 3090984

[startup+12.7007 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 872
/proc/meminfo: memFree=29491408/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=3090984 CPUtime=13.68 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 14761 0 1 0 1347 21 0 0 20 0 19 0 336418002 3165167616 146115 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 772746 146115 2288 9 0 763167 0
[pid=639/tid=641] ppid=637 vsize=3090984 CPUtime=12.5 cores=0,2,4,6

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

[pid=639/tid=654] ppid=637 vsize=3090984 CPUtime=0.44 cores=0,2,4,6
/proc/639/task/654/stat : 654 (java) S 637 639 28219 0 -1 4202560 6717 0 0 0 42 2 0 0 20 0 19 0 336418009 3165167616 285560 33554432000 1073741824 1073778376 140733497723328 140275624528440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=655] ppid=637 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/639/task/655/stat : 655 (java) S 637 639 28219 0 -1 4202560 2807 0 0 0 32 0 0 0 20 0 19 0 336418009 3165167616 285560 33554432000 1073741824 1073778376 140733497723328 140275623475896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=656] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/656/stat : 656 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 285560 33554432000 1073741824 1073778376 140733497723328 140275622423544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=657] ppid=637 vsize=3090984 CPUtime=0.71 cores=0,2,4,6
/proc/639/task/657/stat : 657 (java) S 637 639 28219 0 -1 4202560 99 0 0 0 38 33 0 0 20 0 19 0 336418009 3165167616 285560 33554432000 1073741824 1073778376 140733497723328 140275621371208 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=1309] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/1309/stat : 1309 (java) S 637 639 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336583091 3165167616 285560 33554432000 1073741824 1073778376 140733497723328 140275618116776 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1728.61
Current children cumulated vsize (KiB) 3090984

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1309
/proc/meminfo: memFree=29376484/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=3090984 CPUtime=1788.8 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 17201 0 1 0 178796 84 0 0 20 0 19 0 336418002 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 772746 289153 2288 9 0 763167 0
[pid=639/tid=641] ppid=637 vsize=3090984 CPUtime=1775.07 cores=0,2,4,6
/proc/639/task/641/stat : 641 (java) R 637 639 28219 0 -1 4202560 3467 0 1 0 177468 39 0 0 20 0 19 0 336418003 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275984702800 140275857164212 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=639/tid=642] ppid=637 vsize=3090984 CPUtime=0.96 cores=0,2,4,6
/proc/639/task/642/stat : 642 (java) S 637 639 28219 0 -1 4202560 265 0 0 0 92 4 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275850311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=643] ppid=637 vsize=3090984 CPUtime=0.89 cores=0,2,4,6
/proc/639/task/643/stat : 643 (java) S 637 639 28219 0 -1 4202560 174 0 0 0 86 3 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275849259304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=639/tid=644] ppid=637 vsize=3090984 CPUtime=0.98 cores=0,2,4,6
/proc/639/task/644/stat : 644 (java) S 637 639 28219 0 -1 4202560 234 0 0 0 93 5 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275848206760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=639/tid=645] ppid=637 vsize=3090984 CPUtime=1.08 cores=0,2,4,6
/proc/639/task/645/stat : 645 (java) S 637 639 28219 0 -1 4202560 306 0 0 0 102 6 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275645147688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=646] ppid=637 vsize=3090984 CPUtime=0.94 cores=0,2,4,6
/proc/639/task/646/stat : 646 (java) S 637 639 28219 0 -1 4202560 246 0 0 0 89 5 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275644095144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=647] ppid=637 vsize=3090984 CPUtime=0.97 cores=0,2,4,6
/proc/639/task/647/stat : 647 (java) S 637 639 28219 0 -1 4202560 211 0 0 0 92 5 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275643042600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=648] ppid=637 vsize=3090984 CPUtime=0.94 cores=0,2,4,6
/proc/639/task/648/stat : 648 (java) S 637 639 28219 0 -1 4202560 280 0 0 0 91 3 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275641990056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=649] ppid=637 vsize=3090984 CPUtime=1.03 cores=0,2,4,6
/proc/639/task/649/stat : 649 (java) S 637 639 28219 0 -1 4202560 272 0 0 0 97 6 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275640937512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=650] ppid=637 vsize=3090984 CPUtime=0.06 cores=0,2,4,6
/proc/639/task/650/stat : 650 (java) S 637 639 28219 0 -1 4202560 74 0 0 0 1 5 0 0 20 0 19 0 336418006 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275628738664 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=651] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/651/stat : 651 (java) S 637 639 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275627684984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=652] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/652/stat : 652 (java) S 637 639 28219 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275626632328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=653] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/653/stat : 653 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275625581072 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=654] ppid=637 vsize=3090984 CPUtime=0.44 cores=0,2,4,6
/proc/639/task/654/stat : 654 (java) S 637 639 28219 0 -1 4202560 6717 0 0 0 42 2 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275624528440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=655] ppid=637 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/639/task/655/stat : 655 (java) S 637 639 28219 0 -1 4202560 2807 0 0 0 32 0 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275623475896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=656] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/656/stat : 656 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275622423544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=657] ppid=637 vsize=3090984 CPUtime=0.74 cores=0,2,4,6
/proc/639/task/657/stat : 657 (java) S 637 639 28219 0 -1 4202560 103 0 0 0 40 34 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275621371208 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=1309] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/1309/stat : 1309 (java) S 637 639 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336583091 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275618116776 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1788.8
Current children cumulated vsize (KiB) 3090984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1309
/proc/meminfo: memFree=29376608/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=3090984 CPUtime=1800 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 17201 0 1 0 179916 84 0 0 20 0 19 0 336418002 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 772746 289153 2288 9 0 763167 0
[pid=639/tid=641] ppid=637 vsize=3090984 CPUtime=1786.25 cores=0,2,4,6
/proc/639/task/641/stat : 641 (java) R 637 639 28219 0 -1 4202560 3467 0 1 0 178585 40 0 0 20 0 19 0 336418003 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275984702800 140275857188326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=639/tid=642] ppid=637 vsize=3090984 CPUtime=0.96 cores=0,2,4,6
/proc/639/task/642/stat : 642 (java) S 637 639 28219 0 -1 4202560 265 0 0 0 92 4 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275850311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=643] ppid=637 vsize=3090984 CPUtime=0.89 cores=0,2,4,6
/proc/639/task/643/stat : 643 (java) S 637 639 28219 0 -1 4202560 174 0 0 0 86 3 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275849259304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=639/tid=644] ppid=637 vsize=3090984 CPUtime=0.98 cores=0,2,4,6
/proc/639/task/644/stat : 644 (java) S 637 639 28219 0 -1 4202560 234 0 0 0 93 5 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275848206760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=639/tid=645] ppid=637 vsize=3090984 CPUtime=1.08 cores=0,2,4,6
/proc/639/task/645/stat : 645 (java) S 637 639 28219 0 -1 4202560 306 0 0 0 102 6 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275645147688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=646] ppid=637 vsize=3090984 CPUtime=0.94 cores=0,2,4,6
/proc/639/task/646/stat : 646 (java) S 637 639 28219 0 -1 4202560 246 0 0 0 89 5 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275644095144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=647] ppid=637 vsize=3090984 CPUtime=0.97 cores=0,2,4,6
/proc/639/task/647/stat : 647 (java) S 637 639 28219 0 -1 4202560 211 0 0 0 92 5 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275643042600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=648] ppid=637 vsize=3090984 CPUtime=0.94 cores=0,2,4,6
/proc/639/task/648/stat : 648 (java) S 637 639 28219 0 -1 4202560 280 0 0 0 91 3 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275641990056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=649] ppid=637 vsize=3090984 CPUtime=1.03 cores=0,2,4,6
/proc/639/task/649/stat : 649 (java) S 637 639 28219 0 -1 4202560 272 0 0 0 97 6 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275640937512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=650] ppid=637 vsize=3090984 CPUtime=0.06 cores=0,2,4,6
/proc/639/task/650/stat : 650 (java) S 637 639 28219 0 -1 4202560 74 0 0 0 1 5 0 0 20 0 19 0 336418006 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275628738664 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=651] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/651/stat : 651 (java) S 637 639 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275627684984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=652] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/652/stat : 652 (java) S 637 639 28219 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275626632328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=653] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/653/stat : 653 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275625581072 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=654] ppid=637 vsize=3090984 CPUtime=0.44 cores=0,2,4,6
/proc/639/task/654/stat : 654 (java) S 637 639 28219 0 -1 4202560 6717 0 0 0 42 2 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275624528440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=655] ppid=637 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/639/task/655/stat : 655 (java) S 637 639 28219 0 -1 4202560 2807 0 0 0 32 0 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275623475896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=656] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/656/stat : 656 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275622423544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=657] ppid=637 vsize=3090984 CPUtime=0.74 cores=0,2,4,6
/proc/639/task/657/stat : 657 (java) S 637 639 28219 0 -1 4202560 103 0 0 0 40 34 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275621371208 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=1309] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/1309/stat : 1309 (java) S 637 639 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336583091 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275618116776 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3090984

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1309
/proc/meminfo: memFree=29376608/32873844 swapFree=7116/7116
[pid=639] ppid=637 vsize=3090984 CPUtime=1800 cores=0,2,4,6
/proc/639/stat : 639 (java) S 637 639 28219 0 -1 4202496 17201 0 1 0 179916 84 0 0 20 0 19 0 336418002 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140733497714464 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/639/statm: 772746 289153 2288 9 0 763167 0
[pid=639/tid=641] ppid=637 vsize=3090984 CPUtime=1786.25 cores=0,2,4,6
/proc/639/task/641/stat : 641 (java) R 637 639 28219 0 -1 4202560 3467 0 1 0 178585 40 0 0 20 0 19 0 336418003 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275984702800 140275857188326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=639/tid=642] ppid=637 vsize=3090984 CPUtime=0.96 cores=0,2,4,6
/proc/639/task/642/stat : 642 (java) S 637 639 28219 0 -1 4202560 265 0 0 0 92 4 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275850311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=643] ppid=637 vsize=3090984 CPUtime=0.89 cores=0,2,4,6
/proc/639/task/643/stat : 643 (java) S 637 639 28219 0 -1 4202560 174 0 0 0 86 3 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275849259304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=639/tid=644] ppid=637 vsize=3090984 CPUtime=0.98 cores=0,2,4,6
/proc/639/task/644/stat : 644 (java) S 637 639 28219 0 -1 4202560 234 0 0 0 93 5 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275848206760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=639/tid=645] ppid=637 vsize=3090984 CPUtime=1.08 cores=0,2,4,6
/proc/639/task/645/stat : 645 (java) S 637 639 28219 0 -1 4202560 306 0 0 0 102 6 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275645147688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=646] ppid=637 vsize=3090984 CPUtime=0.94 cores=0,2,4,6
/proc/639/task/646/stat : 646 (java) S 637 639 28219 0 -1 4202560 246 0 0 0 89 5 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275644095144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=647] ppid=637 vsize=3090984 CPUtime=0.97 cores=0,2,4,6
/proc/639/task/647/stat : 647 (java) S 637 639 28219 0 -1 4202560 211 0 0 0 92 5 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275643042600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=648] ppid=637 vsize=3090984 CPUtime=0.94 cores=0,2,4,6
/proc/639/task/648/stat : 648 (java) S 637 639 28219 0 -1 4202560 280 0 0 0 91 3 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275641990056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=649] ppid=637 vsize=3090984 CPUtime=1.03 cores=0,2,4,6
/proc/639/task/649/stat : 649 (java) S 637 639 28219 0 -1 4202560 272 0 0 0 97 6 0 0 20 0 19 0 336418005 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275640937512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=650] ppid=637 vsize=3090984 CPUtime=0.06 cores=0,2,4,6
/proc/639/task/650/stat : 650 (java) S 637 639 28219 0 -1 4202560 74 0 0 0 1 5 0 0 20 0 19 0 336418006 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275628738664 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=651] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/651/stat : 651 (java) S 637 639 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275627684984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=652] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/652/stat : 652 (java) S 637 639 28219 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 336418007 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275626632328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=653] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/653/stat : 653 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275625581072 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=654] ppid=637 vsize=3090984 CPUtime=0.44 cores=0,2,4,6
/proc/639/task/654/stat : 654 (java) S 637 639 28219 0 -1 4202560 6717 0 0 0 42 2 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275624528440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=639/tid=655] ppid=637 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/639/task/655/stat : 655 (java) S 637 639 28219 0 -1 4202560 2807 0 0 0 32 0 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275623475896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=656] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/656/stat : 656 (java) S 637 639 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275622423544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=639/tid=657] ppid=637 vsize=3090984 CPUtime=0.74 cores=0,2,4,6
/proc/639/task/657/stat : 657 (java) S 637 639 28219 0 -1 4202560 103 0 0 0 40 34 0 0 20 0 19 0 336418009 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275621371208 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=639/tid=1309] ppid=637 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/639/task/1309/stat : 1309 (java) S 637 639 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336583091 3165167616 289153 33554432000 1073741824 1073778376 140733497723328 140275618116776 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3090984

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 639 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=558185
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=312800
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.52
CPU time (s): 1800
CPU user time (s): 1799.16
CPU system time (s): 0.84
CPU usage (%): 100.361
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.56
system time used= 1.3128
maximum resident set size= 1156692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17223
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43060
involuntary context switches= 25589

runsolver used 7.51086 second user time and 13.254 second system time

The end

Launcher Data

Begin job on node146 at 2012-06-03 07:55:31
IDJOB=3734838
IDBENCH=2910
IDSOLVER=2319
FILE ID=node146/3734838-1338702931
RUNJOBID= node146-1338678624-28238
PBS_JOBID= 14636667
Free space on /tmp= 70908 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734838-1338702931/watcher-3734838-1338702931 -o /tmp/evaluation-result-3734838-1338702931/solver-3734838-1338702931 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734838-1338702931.opb           

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=646570631

node146.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.034
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.06
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.034
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.92
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.034
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.034
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.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30070296 kB
Buffers:          145600 kB
Cached:           236732 kB
SwapCached:         1796 kB
Active:          1816348 kB
Inactive:         235340 kB
Active(anon):    1669964 kB
Inactive(anon):     1664 kB
Active(file):     146384 kB
Inactive(file):   233676 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099884 kB
Dirty:              3532 kB
Writeback:             0 kB
AnonPages:       1726588 kB
Mapped:            17304 kB
Shmem:                 0 kB
Slab:             610648 kB
SReclaimable:      50784 kB
SUnreclaim:       559864 kB
KernelStack:        1760 kB
PageTables:         7516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1695744 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= 70904 MiB
End job on node146 at 2012-06-03 08:25:26