Trace number 3492017

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 186.45 184.366

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo
MD5SUM571d61a5ea635d7d5a6801ae351f1515
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark58.4891
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1848
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 94973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		9996466904
0.05/0.08	c Max memory 		10048897024
0.05/0.08	c Total memory 		10048897024
0.05/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492017-1307910672.wbo
0.10/0.10	c reading problem ... 
0.49/0.31	c ... done. Wall clock time 0.201s.
0.49/0.31	c #vars     2079
0.49/0.31	c #constraints  2707
0.49/0.31	c constraints type 
0.49/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2614
0.49/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 8
0.49/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 70
0.49/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15
0.78/0.43	c SATISFIABLE
0.78/0.43	c OPTIMIZING...
0.78/0.43	c Got one! Elapsed wall clock time (in seconds):0.321
0.78/0.43	o 371
0.78/0.47	c Got one! Elapsed wall clock time (in seconds):0.368
0.78/0.47	o 254
1.06/0.50	c Got one! Elapsed wall clock time (in seconds):0.398
1.06/0.50	o 242
1.06/0.52	c Got one! Elapsed wall clock time (in seconds):0.417
1.06/0.52	o 197
1.06/0.54	c Got one! Elapsed wall clock time (in seconds):0.438
1.06/0.54	o 170
1.06/0.57	c Got one! Elapsed wall clock time (in seconds):0.461
1.06/0.57	o 148
1.06/0.58	c Got one! Elapsed wall clock time (in seconds):0.477
1.06/0.58	o 147
1.33/0.68	c Got one! Elapsed wall clock time (in seconds):0.579
1.33/0.68	o 140
1.43/0.70	c Got one! Elapsed wall clock time (in seconds):0.599
1.43/0.70	o 137
1.53/0.83	c Got one! Elapsed wall clock time (in seconds):0.722
1.53/0.83	o 134
1.53/0.88	c Got one! Elapsed wall clock time (in seconds):0.776
1.53/0.88	o 132
1.64/0.91	c Got one! Elapsed wall clock time (in seconds):0.802
1.64/0.91	o 121
1.64/0.92	c Got one! Elapsed wall clock time (in seconds):0.818
1.64/0.92	o 111
1.64/0.97	c Got one! Elapsed wall clock time (in seconds):0.867
1.64/0.97	o 105
1.85/1.15	c Got one! Elapsed wall clock time (in seconds):1.046
1.85/1.15	o 101
1.95/1.25	c Got one! Elapsed wall clock time (in seconds):1.146
1.95/1.25	o 75
2.04/1.35	c Got one! Elapsed wall clock time (in seconds):1.25
2.04/1.35	o 74
2.14/1.48	c Got one! Elapsed wall clock time (in seconds):1.375
2.14/1.48	o 58
2.55/1.81	c Got one! Elapsed wall clock time (in seconds):1.704
2.55/1.81	o 52
2.67/1.93	c Got one! Elapsed wall clock time (in seconds):1.824
2.67/1.93	o 51
2.77/2.08	c cleaning 5965 clauses out of 11934 with flag 1000/11934
3.01/2.21	c Got one! Elapsed wall clock time (in seconds):2.101
3.01/2.21	o 50
3.30/2.59	c Got one! Elapsed wall clock time (in seconds):2.486
3.30/2.59	o 39
3.50/2.71	c cleaning 5709 clauses out of 11420 with flag 1002/17385
3.81/3.00	c Got one! Elapsed wall clock time (in seconds):2.9
3.81/3.01	o 30
3.91/3.17	c cleaning 5771 clauses out of 11547 with flag 2001/23221
4.35/3.51	c Got one! Elapsed wall clock time (in seconds):3.403
4.35/3.51	o 25
4.65/3.87	c cleaning 8005 clauses out of 16021 with flag 5003/33466
5.05/4.28	c cleaning 7004 clauses out of 14014 with flag 11001/39464
5.55/4.71	c cleaning 7000 clauses out of 14009 with flag 18000/46463
5.55/4.76	c Got one! Elapsed wall clock time (in seconds):4.652
5.55/4.76	o 16
5.85/5.08	c cleaning 6271 clauses out of 12550 with flag 5004/52004
6.26/5.43	c cleaning 6134 clauses out of 12275 with flag 11000/58000
6.65/5.83	c cleaning 6569 clauses out of 13143 with flag 18002/65002
7.05/6.26	c cleaning 7281 clauses out of 14572 with flag 26000/73000
7.55/6.74	c cleaning 8143 clauses out of 16291 with flag 35000/82000
8.05/7.30	c cleaning 9071 clauses out of 18149 with flag 45001/92001
8.75/7.92	c cleaning 9534 clauses out of 19078 with flag 55001/102001
9.36/8.55	c cleaning 9767 clauses out of 19543 with flag 65000/112000
10.07/9.22	c cleaning 9883 clauses out of 19776 with flag 75000/122000
10.67/9.89	c cleaning 9940 clauses out of 19893 with flag 85000/132000
11.37/10.56	c cleaning 9973 clauses out of 19955 with flag 95002/142002
11.77/11.00	c Got one! Elapsed wall clock time (in seconds):10.893
11.77/11.00	o 11
12.28/11.40	c cleaning 11345 clauses out of 22695 with flag 5001/154715
12.58/11.77	c cleaning 8671 clauses out of 17349 with flag 11000/160714
12.98/12.11	c cleaning 7836 clauses out of 15678 with flag 18000/167714
13.28/12.49	c cleaning 7917 clauses out of 15846 with flag 26004/175718
13.78/12.93	c cleaning 8458 clauses out of 16928 with flag 35003/184717
14.28/13.44	c cleaning 9229 clauses out of 18467 with flag 45000/194714
14.78/13.93	c cleaning 9615 clauses out of 19238 with flag 55000/204714
15.29/14.46	c cleaning 9807 clauses out of 19623 with flag 65000/214714
15.89/15.01	c cleaning 9903 clauses out of 19816 with flag 75000/224714
16.39/15.54	c cleaning 9951 clauses out of 19915 with flag 85002/234716
16.89/16.05	c cleaning 9975 clauses out of 19963 with flag 95001/244715
17.40/16.55	c cleaning 9989 clauses out of 19987 with flag 105000/254714
17.89/17.08	c cleaning 9995 clauses out of 19998 with flag 115000/264714
18.40/17.59	c cleaning 9996 clauses out of 20004 with flag 125001/274715
18.99/18.15	c cleaning 9999 clauses out of 20009 with flag 135002/284716
19.60/18.71	c cleaning 10000 clauses out of 20008 with flag 145000/294714
20.10/19.25	c cleaning 10002 clauses out of 20009 with flag 155001/304715
20.60/19.78	c cleaning 10000 clauses out of 20006 with flag 165000/314714
21.20/20.34	c cleaning 9997 clauses out of 20008 with flag 175002/324716
21.70/20.89	c cleaning 9999 clauses out of 20010 with flag 185001/334715
22.20/21.40	c cleaning 10001 clauses out of 20010 with flag 195000/344714
22.81/21.96	c cleaning 9999 clauses out of 20009 with flag 205000/354714
23.30/22.48	c cleaning 10001 clauses out of 20010 with flag 215000/364714
23.70/22.83	c Got one! Elapsed wall clock time (in seconds):22.724
23.70/22.83	o 10
24.10/23.22	c cleaning 10982 clauses out of 21981 with flag 5000/376686
24.42/23.56	c cleaning 8497 clauses out of 17001 with flag 11002/382688
24.82/23.92	c cleaning 7734 clauses out of 15502 with flag 18000/389686
25.22/24.32	c cleaning 7880 clauses out of 15769 with flag 26001/397687
25.62/24.78	c cleaning 8438 clauses out of 16890 with flag 35002/406688
26.23/25.31	c cleaning 9221 clauses out of 18450 with flag 45000/416686
26.72/25.89	c cleaning 9611 clauses out of 19231 with flag 55002/426688
27.23/26.38	c cleaning 9807 clauses out of 19619 with flag 65001/436687
27.72/26.87	c cleaning 9904 clauses out of 19813 with flag 75002/446688
28.23/27.37	c cleaning 9944 clauses out of 19907 with flag 85000/456686
28.83/27.90	c cleaning 9976 clauses out of 19965 with flag 95002/466688
29.33/28.42	c cleaning 9990 clauses out of 19988 with flag 105001/476687
29.83/28.90	c cleaning 9993 clauses out of 19998 with flag 115001/486687
30.23/29.39	c cleaning 9997 clauses out of 20004 with flag 125000/496686
30.83/29.91	c cleaning 10001 clauses out of 20012 with flag 135005/506691
31.33/30.40	c cleaning 9990 clauses out of 20006 with flag 145000/516686
31.83/30.95	c cleaning 10003 clauses out of 20016 with flag 155000/526686
32.44/31.54	c cleaning 10003 clauses out of 20013 with flag 165000/536686
33.04/32.10	c cleaning 10001 clauses out of 20010 with flag 175000/546686
33.64/32.70	c cleaning 9998 clauses out of 20009 with flag 185000/556686
34.04/33.20	c cleaning 10000 clauses out of 20011 with flag 195000/566686
34.64/33.71	c cleaning 9999 clauses out of 20011 with flag 205000/576686
35.14/34.20	c cleaning 9997 clauses out of 20014 with flag 215002/586688
35.65/34.73	c cleaning 10006 clauses out of 20020 with flag 225005/596691
36.15/35.25	c cleaning 10000 clauses out of 20009 with flag 235000/606686
36.65/35.79	c cleaning 9999 clauses out of 20009 with flag 245000/616686
37.15/36.28	c cleaning 10003 clauses out of 20011 with flag 255001/626687
37.75/36.82	c cleaning 9996 clauses out of 20008 with flag 265001/636687
38.26/37.32	c cleaning 10000 clauses out of 20011 with flag 275000/646686
38.66/37.79	c cleaning 10005 clauses out of 20013 with flag 285002/656688
39.26/38.36	c cleaning 10000 clauses out of 20007 with flag 295001/666687
39.76/38.87	c cleaning 9992 clauses out of 20006 with flag 305000/676686
40.36/39.41	c cleaning 10002 clauses out of 20016 with flag 315002/686688
40.86/39.98	c cleaning 9997 clauses out of 20014 with flag 325002/696688
41.36/40.46	c cleaning 10003 clauses out of 20018 with flag 335003/706689
41.86/40.91	c cleaning 9997 clauses out of 20012 with flag 345000/716686
42.26/41.36	c cleaning 10003 clauses out of 20015 with flag 355000/726686
42.77/41.87	c cleaning 10000 clauses out of 20013 with flag 365001/736687
43.26/42.36	c cleaning 10005 clauses out of 20013 with flag 375001/746687
43.77/42.90	c cleaning 10001 clauses out of 20009 with flag 385002/756688
44.36/43.45	c cleaning 10003 clauses out of 20013 with flag 395007/766693
44.97/44.02	c cleaning 9995 clauses out of 20005 with flag 405002/776688
45.07/44.14	c Got one! Elapsed wall clock time (in seconds):44.038
45.07/44.14	o 9
45.27/44.33	c cleaning 7680 clauses out of 15372 with flag 3002/782050
45.57/44.67	c cleaning 6839 clauses out of 13690 with flag 9000/788048
45.97/45.03	c cleaning 6921 clauses out of 13852 with flag 16001/795049
46.37/45.43	c cleaning 7461 clauses out of 14932 with flag 24002/803050
46.87/45.93	c cleaning 8231 clauses out of 16469 with flag 33000/812048
47.47/46.58	c cleaning 9116 clauses out of 18239 with flag 43001/822049
48.07/47.11	c cleaning 9556 clauses out of 19122 with flag 53000/832048
48.58/47.68	c cleaning 9781 clauses out of 19570 with flag 63004/842052
49.18/48.24	c cleaning 9888 clauses out of 19787 with flag 73002/852050
49.78/48.80	c cleaning 9942 clauses out of 19898 with flag 83001/862049
50.28/49.40	c cleaning 9970 clauses out of 19955 with flag 93000/872048
50.69/49.76	c Got one! Elapsed wall clock time (in seconds):49.65
50.69/49.76	o 8
51.08/50.17	c cleaning 10939 clauses out of 21892 with flag 5001/883955
51.49/50.53	c cleaning 8473 clauses out of 16953 with flag 11001/889955
51.89/50.91	c cleaning 7737 clauses out of 15480 with flag 18001/896955
52.29/51.33	c cleaning 7868 clauses out of 15743 with flag 26001/904955
52.79/51.81	c cleaning 8433 clauses out of 16874 with flag 35000/913954
53.29/52.37	c cleaning 9211 clauses out of 18441 with flag 45000/923954
53.80/52.89	c cleaning 9611 clauses out of 19230 with flag 55000/933954
54.39/53.40	c cleaning 9806 clauses out of 19619 with flag 65000/943954
54.90/53.95	c cleaning 9900 clauses out of 19815 with flag 75002/953956
55.49/54.52	c cleaning 9955 clauses out of 19916 with flag 85003/963957
56.00/55.07	c cleaning 9974 clauses out of 19958 with flag 95000/973954
56.59/55.62	c cleaning 9987 clauses out of 19984 with flag 105000/983954
57.10/56.12	c cleaning 9994 clauses out of 19997 with flag 115000/993954
57.49/56.59	c cleaning 9995 clauses out of 20003 with flag 125000/1003954
57.99/57.04	c cleaning 10000 clauses out of 20008 with flag 135000/1013954
58.50/57.55	c cleaning 10002 clauses out of 20010 with flag 145002/1023956
59.00/58.09	c cleaning 9995 clauses out of 20006 with flag 155000/1033954
59.60/58.60	c cleaning 10001 clauses out of 20012 with flag 165001/1043955
60.10/59.15	c cleaning 9999 clauses out of 20013 with flag 175003/1053957
60.60/59.66	c cleaning 9997 clauses out of 20011 with flag 185000/1063954
61.10/60.14	c cleaning 10003 clauses out of 20014 with flag 195000/1073954
61.60/60.62	c cleaning 9996 clauses out of 20012 with flag 205001/1083955
62.10/61.15	c cleaning 10000 clauses out of 20015 with flag 215000/1093954
62.61/61.69	c cleaning 9995 clauses out of 20016 with flag 225001/1103955
63.21/62.22	c cleaning 10007 clauses out of 20020 with flag 235000/1113954
63.61/62.68	c cleaning 9998 clauses out of 20014 with flag 245001/1123955
64.11/63.13	c cleaning 10001 clauses out of 20015 with flag 255000/1133954
64.51/63.59	c cleaning 10002 clauses out of 20015 with flag 265001/1143955
65.01/64.06	c cleaning 9995 clauses out of 20012 with flag 275000/1153954
65.51/64.54	c cleaning 10000 clauses out of 20018 with flag 285001/1163955
66.01/65.01	c cleaning 9998 clauses out of 20017 with flag 295000/1173954
66.41/65.49	c cleaning 10004 clauses out of 20020 with flag 305001/1183955
66.93/65.98	c cleaning 10004 clauses out of 20017 with flag 315002/1193956
67.42/66.47	c cleaning 9998 clauses out of 20011 with flag 325000/1203954
67.92/66.95	c cleaning 10003 clauses out of 20015 with flag 335002/1213956
68.42/67.44	c cleaning 10001 clauses out of 20010 with flag 345000/1223954
68.93/67.92	c cleaning 10001 clauses out of 20010 with flag 355001/1233955
69.33/68.39	c cleaning 10001 clauses out of 20008 with flag 365000/1243954
69.93/68.92	c cleaning 9996 clauses out of 20009 with flag 375002/1253956
70.43/69.44	c cleaning 9998 clauses out of 20012 with flag 385001/1263955
70.93/69.96	c cleaning 9996 clauses out of 20014 with flag 395001/1273955
71.44/70.42	c cleaning 10004 clauses out of 20018 with flag 405001/1283955
71.83/70.86	c cleaning 10002 clauses out of 20015 with flag 415002/1293956
72.33/71.35	c cleaning 10003 clauses out of 20013 with flag 425002/1303956
72.83/71.85	c cleaning 10001 clauses out of 20009 with flag 435001/1313955
73.34/72.35	c cleaning 9993 clauses out of 20007 with flag 445000/1323954
73.84/72.83	c cleaning 10004 clauses out of 20014 with flag 455000/1333954
74.34/73.33	c cleaning 10001 clauses out of 20011 with flag 465001/1343955
74.75/73.77	c cleaning 9999 clauses out of 20009 with flag 475000/1353954
75.24/74.23	c cleaning 10002 clauses out of 20012 with flag 485002/1363956
75.64/74.69	c cleaning 10000 clauses out of 20009 with flag 495001/1373955
76.14/75.17	c cleaning 9997 clauses out of 20009 with flag 505001/1383955
76.64/75.62	c cleaning 9997 clauses out of 20012 with flag 515001/1393955
77.05/76.08	c cleaning 9998 clauses out of 20014 with flag 525000/1403954
77.55/76.57	c cleaning 10001 clauses out of 20017 with flag 535001/1413955
78.05/77.05	c cleaning 10006 clauses out of 20018 with flag 545003/1423957
78.55/77.54	c cleaning 9996 clauses out of 20009 with flag 555000/1433954
78.95/77.99	c cleaning 10006 clauses out of 20016 with flag 565003/1443957
79.56/78.50	c cleaning 9996 clauses out of 20007 with flag 575000/1453954
79.96/78.97	c cleaning 9999 clauses out of 20012 with flag 585001/1463955
80.46/79.43	c cleaning 9998 clauses out of 20012 with flag 595000/1473954
80.97/79.92	c cleaning 10001 clauses out of 20015 with flag 605001/1483955
81.47/80.45	c cleaning 10004 clauses out of 20013 with flag 615000/1493954
81.97/80.98	c cleaning 10001 clauses out of 20009 with flag 625000/1503954
82.48/81.49	c cleaning 9998 clauses out of 20008 with flag 635000/1513954
83.07/82.01	c cleaning 9998 clauses out of 20010 with flag 645000/1523954
83.48/82.50	c cleaning 10001 clauses out of 20013 with flag 655001/1533955
84.08/83.03	c cleaning 9990 clauses out of 20012 with flag 665001/1543955
84.58/83.52	c cleaning 10002 clauses out of 20021 with flag 675000/1553954
85.08/84.03	c cleaning 10005 clauses out of 20019 with flag 685000/1563954
85.58/84.54	c cleaning 10007 clauses out of 20017 with flag 695003/1573957
86.08/85.04	c cleaning 9997 clauses out of 20007 with flag 705000/1583954
86.58/85.53	c cleaning 9998 clauses out of 20011 with flag 715001/1593955
87.09/86.03	c cleaning 10000 clauses out of 20012 with flag 725000/1603954
87.59/86.57	c cleaning 10003 clauses out of 20012 with flag 735000/1613954
88.10/87.07	c cleaning 10001 clauses out of 20009 with flag 745000/1623954
88.60/87.53	c cleaning 9999 clauses out of 20008 with flag 755000/1633954
89.00/87.99	c cleaning 9997 clauses out of 20009 with flag 765000/1643954
89.50/88.44	c cleaning 10002 clauses out of 20014 with flag 775002/1653956
90.00/88.92	c cleaning 10001 clauses out of 20011 with flag 785001/1663955
90.50/89.43	c cleaning 9998 clauses out of 20010 with flag 795001/1673955
91.01/89.96	c cleaning 9996 clauses out of 20011 with flag 805000/1683954
91.51/90.47	c cleaning 10000 clauses out of 20015 with flag 815000/1693954
92.01/90.92	c cleaning 10002 clauses out of 20015 with flag 825000/1703954
92.51/91.44	c cleaning 10003 clauses out of 20015 with flag 835002/1713956
93.01/91.91	c cleaning 10000 clauses out of 20010 with flag 845000/1723954
93.51/92.42	c cleaning 10002 clauses out of 20011 with flag 855001/1733955
94.01/92.92	c cleaning 9999 clauses out of 20008 with flag 865000/1743954
94.52/93.41	c cleaning 9999 clauses out of 20009 with flag 875000/1753954
94.91/93.88	c cleaning 10003 clauses out of 20013 with flag 885003/1763957
95.41/94.39	c cleaning 10001 clauses out of 20008 with flag 895001/1773955
96.02/94.90	c cleaning 9997 clauses out of 20007 with flag 905001/1783955
96.62/95.51	c cleaning 9999 clauses out of 20010 with flag 915001/1793955
97.12/96.04	c cleaning 9997 clauses out of 20010 with flag 925000/1803954
97.62/96.58	c cleaning 10002 clauses out of 20013 with flag 935000/1813954
98.22/97.10	c cleaning 10001 clauses out of 20013 with flag 945002/1823956
98.72/97.60	c cleaning 9997 clauses out of 20010 with flag 955000/1833954
99.12/98.09	c cleaning 10004 clauses out of 20013 with flag 965000/1843954
99.63/98.57	c cleaning 10002 clauses out of 20010 with flag 975001/1853955
100.23/99.14	c cleaning 10000 clauses out of 20007 with flag 985000/1863954
100.73/99.65	c cleaning 9997 clauses out of 20009 with flag 995002/1873956
101.23/100.16	c cleaning 9999 clauses out of 20010 with flag 1005000/1883954
101.73/100.66	c cleaning 10003 clauses out of 20013 with flag 1015002/1893956
102.23/101.16	c cleaning 9999 clauses out of 20008 with flag 1025000/1903954
102.73/101.65	c cleaning 10001 clauses out of 20009 with flag 1035000/1913954
103.23/102.11	c cleaning 9997 clauses out of 20009 with flag 1045001/1923955
103.73/102.62	c cleaning 10001 clauses out of 20014 with flag 1055003/1933957
104.24/103.14	c cleaning 10002 clauses out of 20011 with flag 1065001/1943955
104.74/103.61	c cleaning 10000 clauses out of 20010 with flag 1075002/1953956
105.24/104.12	c cleaning 9999 clauses out of 20008 with flag 1085000/1963954
105.74/104.63	c cleaning 9999 clauses out of 20009 with flag 1095000/1973954
106.23/105.13	c cleaning 9995 clauses out of 20010 with flag 1105000/1983954
106.74/105.66	c cleaning 10003 clauses out of 20017 with flag 1115002/1993956
107.24/106.13	c cleaning 9999 clauses out of 20012 with flag 1125000/2003954
107.74/106.64	c cleaning 10001 clauses out of 20014 with flag 1135001/2013955
108.24/107.14	c cleaning 10004 clauses out of 20015 with flag 1145003/2023957
108.74/107.66	c cleaning 9996 clauses out of 20008 with flag 1155000/2033954
109.24/108.13	c cleaning 9997 clauses out of 20012 with flag 1165000/2043954
109.74/108.61	c cleaning 10000 clauses out of 20015 with flag 1175000/2053954
110.24/109.15	c cleaning 10004 clauses out of 20016 with flag 1185001/2063955
110.84/109.70	c cleaning 10000 clauses out of 20011 with flag 1195000/2073954
111.34/110.21	c cleaning 9994 clauses out of 20013 with flag 1205002/2083956
111.85/110.71	c cleaning 10006 clauses out of 20019 with flag 1215002/2093956
112.25/111.19	c cleaning 10001 clauses out of 20013 with flag 1225002/2103956
112.75/111.66	c cleaning 9993 clauses out of 20010 with flag 1235000/2113954
113.25/112.12	c cleaning 10005 clauses out of 20017 with flag 1245000/2123954
113.75/112.61	c cleaning 10004 clauses out of 20015 with flag 1255003/2133957
114.25/113.12	c cleaning 10001 clauses out of 20010 with flag 1265002/2143956
114.75/113.62	c cleaning 9998 clauses out of 20008 with flag 1275001/2153955
115.25/114.10	c cleaning 10000 clauses out of 20010 with flag 1285001/2163955
115.65/114.57	c cleaning 9997 clauses out of 20010 with flag 1295001/2173955
116.16/115.09	c cleaning 9996 clauses out of 20012 with flag 1305000/2183954
116.67/115.59	c cleaning 10002 clauses out of 20016 with flag 1315000/2193954
117.17/116.07	c cleaning 9998 clauses out of 20017 with flag 1325003/2203957
117.67/116.54	c cleaning 10001 clauses out of 20019 with flag 1335003/2213957
118.17/117.03	c cleaning 10001 clauses out of 20017 with flag 1345002/2223956
118.67/117.57	c cleaning 9993 clauses out of 20014 with flag 1355000/2233954
119.17/118.09	c cleaning 10006 clauses out of 20021 with flag 1365000/2243954
119.67/118.59	c cleaning 10004 clauses out of 20018 with flag 1375003/2253957
120.17/119.07	c cleaning 9999 clauses out of 20011 with flag 1385000/2263954
120.67/119.55	c cleaning 10001 clauses out of 20013 with flag 1395001/2273955
121.17/120.02	c cleaning 10002 clauses out of 20012 with flag 1405001/2283955
121.67/120.54	c cleaning 9998 clauses out of 20009 with flag 1415000/2293954
122.08/121.00	c cleaning 10001 clauses out of 20012 with flag 1425001/2303955
122.58/121.47	c cleaning 10002 clauses out of 20012 with flag 1435002/2313956
123.08/121.92	c cleaning 9994 clauses out of 20008 with flag 1445000/2323954
123.58/122.46	c cleaning 10000 clauses out of 20019 with flag 1455005/2333959
124.08/122.95	c cleaning 9997 clauses out of 20014 with flag 1465000/2343954
124.58/123.45	c cleaning 10003 clauses out of 20018 with flag 1475001/2353955
125.08/123.99	c cleaning 10002 clauses out of 20016 with flag 1485002/2363956
125.68/124.51	c cleaning 9995 clauses out of 20012 with flag 1495000/2373954
126.08/124.98	c cleaning 10002 clauses out of 20018 with flag 1505001/2383955
126.68/125.50	c cleaning 10000 clauses out of 20017 with flag 1515002/2393956
127.08/125.98	c cleaning 9999 clauses out of 20016 with flag 1525001/2403955
127.59/126.45	c cleaning 10003 clauses out of 20016 with flag 1535000/2413954
128.08/126.93	c cleaning 10002 clauses out of 20013 with flag 1545000/2423954
128.59/127.47	c cleaning 10001 clauses out of 20012 with flag 1555001/2433955
129.09/127.96	c cleaning 9992 clauses out of 20010 with flag 1565000/2443954
129.59/128.44	c cleaning 9999 clauses out of 20018 with flag 1575000/2453954
130.09/128.92	c cleaning 10001 clauses out of 20019 with flag 1585000/2463954
130.69/129.50	c cleaning 10006 clauses out of 20020 with flag 1595002/2473956
131.20/130.04	c cleaning 10000 clauses out of 20012 with flag 1605000/2483954
131.70/130.54	c cleaning 9997 clauses out of 20013 with flag 1615001/2493955
132.20/131.05	c cleaning 10002 clauses out of 20016 with flag 1625001/2503955
132.70/131.55	c cleaning 10002 clauses out of 20014 with flag 1635001/2513955
133.20/132.09	c cleaning 9998 clauses out of 20012 with flag 1645001/2523955
133.80/132.65	c cleaning 10002 clauses out of 20014 with flag 1655001/2533955
134.31/133.17	c cleaning 9998 clauses out of 20011 with flag 1665000/2543954
134.90/133.74	c cleaning 10006 clauses out of 20017 with flag 1675004/2553958
135.41/134.26	c cleaning 9996 clauses out of 20007 with flag 1685000/2563954
136.00/134.88	c cleaning 9998 clauses out of 20011 with flag 1695000/2573954
136.61/135.41	c cleaning 9989 clauses out of 20014 with flag 1705001/2583955
137.11/135.95	c cleaning 10008 clauses out of 20025 with flag 1715001/2593955
137.62/136.48	c cleaning 10003 clauses out of 20016 with flag 1725000/2603954
138.22/137.02	c cleaning 9998 clauses out of 20014 with flag 1735001/2613955
138.62/137.50	c cleaning 10002 clauses out of 20016 with flag 1745001/2623955
139.22/138.02	c cleaning 10002 clauses out of 20015 with flag 1755002/2633956
139.72/138.55	c cleaning 9997 clauses out of 20012 with flag 1765001/2643955
140.22/139.07	c cleaning 9998 clauses out of 20014 with flag 1775000/2653954
140.72/139.59	c cleaning 10002 clauses out of 20017 with flag 1785001/2663955
141.32/140.15	c cleaning 10002 clauses out of 20015 with flag 1795001/2673955
141.92/140.74	c cleaning 9999 clauses out of 20013 with flag 1805001/2683955
142.42/141.27	c cleaning 9995 clauses out of 20013 with flag 1815000/2693954
143.03/141.81	c cleaning 10004 clauses out of 20018 with flag 1825000/2703954
143.53/142.33	c cleaning 9999 clauses out of 20015 with flag 1835001/2713955
144.03/142.86	c cleaning 10004 clauses out of 20017 with flag 1845002/2723956
144.53/143.37	c cleaning 10001 clauses out of 20011 with flag 1855000/2733954
145.13/143.91	c cleaning 10000 clauses out of 20012 with flag 1865002/2743956
145.63/144.41	c cleaning 10004 clauses out of 20011 with flag 1875001/2753955
146.13/144.93	c cleaning 10001 clauses out of 20007 with flag 1885001/2763955
146.63/145.44	c cleaning 9995 clauses out of 20005 with flag 1895000/2773954
147.13/145.97	c cleaning 10001 clauses out of 20010 with flag 1905000/2783954
147.73/146.51	c cleaning 9994 clauses out of 20009 with flag 1915000/2793954
148.23/147.09	c cleaning 10002 clauses out of 20015 with flag 1925000/2803954
148.84/147.66	c cleaning 9995 clauses out of 20014 with flag 1935001/2813955
149.44/148.24	c cleaning 9993 clauses out of 20018 with flag 1945000/2823954
150.04/148.81	c cleaning 10003 clauses out of 20026 with flag 1955001/2833955
150.54/149.35	c cleaning 10004 clauses out of 20022 with flag 1965000/2843954
151.04/149.87	c cleaning 10003 clauses out of 20020 with flag 1975002/2853956
151.54/150.39	c cleaning 9996 clauses out of 20015 with flag 1985000/2863954
152.04/150.89	c cleaning 10001 clauses out of 20023 with flag 1995004/2873958
152.64/151.46	c cleaning 9999 clauses out of 20018 with flag 2005000/2883954
153.24/152.05	c cleaning 10005 clauses out of 20021 with flag 2015002/2893956
153.74/152.58	c cleaning 10002 clauses out of 20018 with flag 2025004/2903958
154.35/153.10	c cleaning 9999 clauses out of 20012 with flag 2035000/2913954
154.75/153.57	c cleaning 10002 clauses out of 20014 with flag 2045001/2923955
155.25/154.09	c cleaning 9997 clauses out of 20012 with flag 2055001/2933955
155.85/154.65	c cleaning 10002 clauses out of 20014 with flag 2065000/2943954
156.45/155.23	c cleaning 9995 clauses out of 20012 with flag 2075000/2953954
157.05/155.83	c cleaning 10003 clauses out of 20017 with flag 2085000/2963954
157.55/156.36	c cleaning 10001 clauses out of 20015 with flag 2095001/2973955
158.05/156.89	c cleaning 10002 clauses out of 20014 with flag 2105001/2983955
158.65/157.45	c cleaning 9997 clauses out of 20011 with flag 2115000/2993954
159.26/158.05	c cleaning 9992 clauses out of 20014 with flag 2125000/3003954
159.76/158.56	c cleaning 10005 clauses out of 20022 with flag 2135000/3013954
160.26/159.07	c cleaning 10004 clauses out of 20017 with flag 2145000/3023954
160.86/159.65	c cleaning 9996 clauses out of 20013 with flag 2155000/3033954
161.36/160.17	c cleaning 10002 clauses out of 20018 with flag 2165001/3043955
161.87/160.66	c cleaning 10002 clauses out of 20015 with flag 2175000/3053954
162.36/161.16	c cleaning 10001 clauses out of 20015 with flag 2185002/3063956
162.87/161.69	c cleaning 10001 clauses out of 20014 with flag 2195002/3073956
163.47/162.20	c cleaning 10004 clauses out of 20013 with flag 2205002/3083956
163.87/162.67	c cleaning 10000 clauses out of 20007 with flag 2215000/3093954
164.37/163.14	c cleaning 10000 clauses out of 20009 with flag 2225002/3103956
164.87/163.69	c cleaning 10001 clauses out of 20008 with flag 2235001/3113955
165.47/164.25	c cleaning 9997 clauses out of 20007 with flag 2245001/3123955
165.97/164.79	c cleaning 9998 clauses out of 20010 with flag 2255001/3133955
166.47/165.29	c cleaning 9997 clauses out of 20011 with flag 2265000/3143954
166.98/165.78	c cleaning 10002 clauses out of 20014 with flag 2275000/3153954
167.48/166.29	c cleaning 9999 clauses out of 20012 with flag 2285000/3163954
167.98/166.77	c cleaning 10004 clauses out of 20014 with flag 2295001/3173955
168.48/167.25	c cleaning 9999 clauses out of 20010 with flag 2305001/3183955
168.98/167.71	c cleaning 9998 clauses out of 20010 with flag 2315000/3193954
169.38/168.19	c cleaning 9997 clauses out of 20015 with flag 2325003/3203957
169.98/168.70	c cleaning 10001 clauses out of 20016 with flag 2335001/3213955
170.59/169.31	c cleaning 9998 clauses out of 20014 with flag 2345000/3223954
171.08/169.84	c cleaning 9998 clauses out of 20017 with flag 2355001/3233955
171.59/170.38	c cleaning 10001 clauses out of 20019 with flag 2365001/3243955
172.09/170.88	c cleaning 10002 clauses out of 20020 with flag 2375003/3253957
172.69/171.44	c cleaning 9996 clauses out of 20016 with flag 2385001/3263955
173.19/171.95	c cleaning 10007 clauses out of 20021 with flag 2395002/3273956
173.69/172.44	c cleaning 9999 clauses out of 20012 with flag 2405000/3283954
174.19/172.96	c cleaning 9994 clauses out of 20013 with flag 2415000/3293954
174.69/173.49	c cleaning 10004 clauses out of 20021 with flag 2425002/3303956
175.30/174.01	c cleaning 10004 clauses out of 20015 with flag 2435000/3313954
175.80/174.51	c cleaning 9999 clauses out of 20012 with flag 2445001/3323955
176.30/175.00	c cleaning 10001 clauses out of 20012 with flag 2455000/3333954
176.80/175.55	c cleaning 10000 clauses out of 20011 with flag 2465000/3343954
177.31/176.08	c cleaning 10004 clauses out of 20013 with flag 2475002/3353956
177.90/176.61	c cleaning 9998 clauses out of 20008 with flag 2485001/3363955
178.50/177.21	c cleaning 9999 clauses out of 20009 with flag 2495000/3373954
179.00/177.77	c cleaning 9999 clauses out of 20012 with flag 2505002/3383956
179.62/178.33	c cleaning 10000 clauses out of 20012 with flag 2515001/3393955
180.66/179.03	c cleaning 9997 clauses out of 20011 with flag 2525000/3403954
181.62/179.60	c cleaning 10002 clauses out of 20014 with flag 2535000/3413954
182.02/180.09	c cleaning 10001 clauses out of 20015 with flag 2545003/3423957
182.63/180.65	c cleaning 10001 clauses out of 20012 with flag 2555001/3433955
183.13/181.13	c cleaning 10000 clauses out of 20010 with flag 2565000/3443954
183.63/181.65	c cleaning 10000 clauses out of 20011 with flag 2575001/3453955
184.26/182.24	c cleaning 10002 clauses out of 20010 with flag 2585001/3463955
184.87/182.83	c cleaning 9997 clauses out of 20009 with flag 2595002/3473956
185.47/183.42	c cleaning 10003 clauses out of 20011 with flag 2605001/3483955
186.08/184.07	c cleaning 10002 clauses out of 20009 with flag 2615002/3493956
186.38/184.34	c starts		: 279
186.38/184.34	c conflicts		: 3498646
186.38/184.34	c decisions		: 5712978
186.38/184.34	c propagations		: 194288182
186.38/184.34	c inspects		: 1751189862
186.38/184.34	c shortcuts		: 0
186.38/184.34	c learnt literals	: 5
186.38/184.34	c learnt binary clauses	: 21
186.38/184.34	c learnt ternary clauses	: 719
186.38/184.34	c learnt constraints	: 3498640
186.38/184.34	c ignored constraints	: 0
186.38/184.34	c root simplifications	: 0
186.38/184.34	c removed literals (reason simplification)	: 16604140
186.38/184.34	c reason swapping (by a shorter reason)	: 0
186.38/184.34	c Calls to reduceDB	: 356
186.38/184.34	c number of reductions to clauses (during analyze)	: 0
186.38/184.34	c number of learned constraints concerned by reduction	: 0
186.38/184.34	c number of learning phase by resolution	: 0
186.38/184.34	c number of learning phase by cutting planes	: 0
186.38/184.34	c speed (assignments/second)	: 1443588.028561451
186.38/184.34	c non guided choices	4120
186.38/184.34	c learnt constraints type 
186.38/184.34	c constraints type 
186.38/184.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2614
186.38/184.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 8
186.38/184.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 70
186.38/184.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15
186.38/184.34	s OPTIMUM FOUND
186.38/184.34	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 
186.38/184.34	c objective function=8
186.38/184.34	c Total wall clock time (in seconds): 184.239

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 /var/tmp/evaluation-result-3492017-1307910672/watcher-3492017-1307910672 -o /var/tmp/evaluation-result-3492017-1307910672/solver-3492017-1307910672 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492017-1307910672.wbo 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.16 2.03 1.90 3/195 1004
/proc/meminfo: memFree=1312112/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1004/stat : 1004 (java) R 1002 1004 30857 0 -1 4202496 601 0 0 0 0 0 0 0 25 0 1 0 902666850 23580672 344 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208075269909 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1004/statm: 5757 355 271 9 0 124 0
[pid=1004/tid=1005] ppid=1002 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 116 0 0 0 0 0 0 0 25 0 2 0 902666851 31260672 951 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 47024902246164 0 0 4096 0 0 0 0 -1 1 0 0 0

[startup+0.0715209 s]
/proc/loadavg: 2.16 2.03 1.90 3/195 1004
/proc/meminfo: memFree=1312112/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/1004/stat : 1004 (java) S 1002 1004 30857 0 -1 4202496 11895 0 1 0 4 1 0 0 25 0 18 0 902666850 10724442112 11590 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1004/statm: 2618272 11591 1754 9 0 2609006 0
[pid=1004/tid=1005] ppid=1002 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 10719 0 1 0 4 1 0 0 25 0 18 0 902666851 10724442112 11591 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 47024906074963 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473088

[startup+0.100558 s]
/proc/loadavg: 2.16 2.03 1.90 3/195 1004
/proc/meminfo: memFree=1312112/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=10605404 CPUtime=0.1 cores=1,3,5,7
/proc/1004/stat : 1004 (java) S 1002 1004 30857 0 -1 4202496 13151 0 1 0 9 1 0 0 25 0 18 0 902666850 10859933696 12803 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1004/statm: 2651351 12804 2092 9 0 2642085 0
[pid=1004/tid=1005] ppid=1002 vsize=10605404 CPUtime=0.08 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 11202 0 1 0 7 1 0 0 25 0 18 0 902666851 10859933696 12804 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 47024901574661 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605404

[startup+0.30048 s]
/proc/loadavg: 2.16 2.03 1.90 3/195 1004
/proc/meminfo: memFree=1312112/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=10607336 CPUtime=0.49 cores=1,3,5,7
/proc/1004/stat : 1004 (java) S 1002 1004 30857 0 -1 4202496 16529 0 1 0 47 2 0 0 25 0 18 0 902666850 10861912064 15600 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1004/statm: 2651834 15600 2201 9 0 2642568 0
[pid=1004/tid=1005] ppid=1002 vsize=10607336 CPUtime=0.28 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 13138 0 1 0 26 2 0 0 25 0 18 0 902666851 10861912064 15600 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 47024903989943 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10607336

[startup+0.700401 s]
/proc/loadavg: 2.16 2.03 1.90 3/195 1004
/proc/meminfo: memFree=1312112/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=10609060 CPUtime=1.43 cores=1,3,5,7
/proc/1004/stat : 1004 (java) S 1002 1004 30857 0 -1 4202496 20629 0 1 0 140 3 0 0 25 0 19 0 902666850 10863677440 17989 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1004/statm: 2652265 17989 2225 9 0 2642999 0
[pid=1004/tid=1005] ppid=1002 vsize=10609060 CPUtime=0.68 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 14788 0 1 0 65 3 0 0 25 0 19 0 902666851 10863677440 17989 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 46912505741333 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10609060

[startup+1.50125 s]
/proc/loadavg: 2.16 2.03 1.90 3/214 1023
/proc/meminfo: memFree=1236900/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=10609060 CPUtime=2.25 cores=1,3,5,7
/proc/1004/stat : 1004 (java) S 1002 1004 30857 0 -1 4202496 22713 0 1 0 221 4 0 0 25 0 19 0 902666850 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1004/statm: 2652265 20072 2227 9 0 2642999 0
[pid=1004/tid=1005] ppid=1002 vsize=10609060 CPUtime=1.48 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 16868 0 1 0 145 3 0 0 25 0 19 0 902666851 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 46912505663196 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1004/tid=1007] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1007/stat : 1007 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666852 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1008] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1008/stat : 1008 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666852 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1009] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1009/stat : 1009 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666852 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1010] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1010/stat : 1010 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666852 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1011] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1011/stat : 1011 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666852 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1012] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1012/stat : 1012 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666852 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1013] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1013/stat : 1013 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666852 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1014] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1014/stat : 1014 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666852 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1015] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1015/stat : 1015 (java) S 1002 1004 30857 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902666853 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 0 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1016] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1016/stat : 1016 (java) S 1002 1004 30857 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902666854 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1017] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1017/stat : 1017 (java) S 1002 1004 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902666854 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1018] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1018/stat : 1018 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092055985 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1019] ppid=1002 vsize=10609060 CPUtime=0.41 cores=1,3,5,7
/proc/1004/task/1019/stat : 1019 (java) S 1002 1004 30857 0 -1 4202560 2229 0 0 0 41 0 0 0 17 0 19 0 902666856 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1020] ppid=1002 vsize=10609060 CPUtime=0.33 cores=1,3,5,7
/proc/1004/task/1020/stat : 1020 (java) S 1002 1004 30857 0 -1 4202560 2453 0 0 0 33 0 0 0 15 0 19 0 902666856 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1021] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1021/stat : 1021 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1022] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1022/stat : 1022 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902666856 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1023] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1023/stat : 1023 (java) S 1002 1004 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902666883 10863677440 20072 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10609060

[startup+3.10094 s]
/proc/loadavg: 2.16 2.03 1.90 4/214 1023
/proc/meminfo: memFree=1212596/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=10609060 CPUtime=3.91 cores=1,3,5,7
/proc/1004/stat : 1004 (java) S 1002 1004 30857 0 -1 4202496 25283 0 1 0 387 4 0 0 25 0 19 0 902666850 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1004/statm: 2652265 22577 2253 9 0 2642999 0
[pid=1004/tid=1005] ppid=1002 vsize=10609060 CPUtime=3.04 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 17507 0 1 0 301 3 0 0 25 0 19 0 902666851 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 46912505704492 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1004/tid=1007] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1007/stat : 1007 (java) S 1002 1004 30857 0 -1 4202560 229 0 0 0 0 0 0 0 16 0 19 0 902666852 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1008] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1008/stat : 1008 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902666852 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1009] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1009/stat : 1009 (java) S 1002 1004 30857 0 -1 4202560 36 0 0 0 0 0 0 0 16 0 19 0 902666852 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1010] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1010/stat : 1010 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902666852 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1011] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1011/stat : 1011 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902666852 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1012] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1012/stat : 1012 (java) S 1002 1004 30857 0 -1 4202560 124 0 0 0 0 0 0 0 16 0 19 0 902666852 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1013] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1013/stat : 1013 (java) S 1002 1004 30857 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 902666852 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1014] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1014/stat : 1014 (java) S 1002 1004 30857 0 -1 4202560 349 0 0 0 0 0 0 0 15 0 19 0 902666852 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1015] ppid=1002 vsize=10609060 CPUtime=0.02 cores=1,3,5,7
/proc/1004/task/1015/stat : 1015 (java) S 1002 1004 30857 0 -1 4202560 850 0 0 0 2 0 0 0 15 0 19 0 902666853 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 0 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1016] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1016/stat : 1016 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666854 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1017] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1017/stat : 1017 (java) S 1002 1004 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666854 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1018] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1018/stat : 1018 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092055985 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1019] ppid=1002 vsize=10609060 CPUtime=0.45 cores=1,3,5,7
/proc/1004/task/1019/stat : 1019 (java) S 1002 1004 30857 0 -1 4202560 2239 0 0 0 45 0 0 0 15 0 19 0 902666856 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1020] ppid=1002 vsize=10609060 CPUtime=0.36 cores=1,3,5,7
/proc/1004/task/1020/stat : 1020 (java) S 1002 1004 30857 0 -1 4202560 2518 0 0 0 36 0 0 0 16 0 19 0 902666856 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1021] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1021/stat : 1021 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1022] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1022/stat : 1022 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902666856 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1023] ppid=1002 vsize=10609060 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1023/stat : 1023 (java) S 1002 1004 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902666883 10863677440 22577 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 10609060

[startup+6.30133 s]
/proc/loadavg: 2.15 2.03 1.90 3/214 1023
/proc/meminfo: memFree=1208504/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=10608716 CPUtime=7.15 cores=1,3,5,7
/proc/1004/stat : 1004 (java) S 1002 1004 30857 0 -1 4202496 25796 0 1 0 711 4 0 0 25 0 19 0 902666850 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1004/statm: 2652179 22875 2253 9 0 2642913 0
[pid=1004/tid=1005] ppid=1002 vsize=10608716 CPUtime=6.11 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 17515 0 1 0 608 3 0 0 25 0 19 0 902666851 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 46912505704574 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1004/tid=1007] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1007/stat : 1007 (java) S 1002 1004 30857 0 -1 4202560 229 0 0 0 0 0 0 0 16 0 19 0 902666852 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1008] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1008/stat : 1008 (java) S 1002 1004 30857 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902666852 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1009] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1009/stat : 1009 (java) S 1002 1004 30857 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 902666852 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1010] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1010/stat : 1010 (java) S 1002 1004 30857 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 19 0 902666852 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1011] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1011/stat : 1011 (java) S 1002 1004 30857 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902666852 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1012] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1012/stat : 1012 (java) S 1002 1004 30857 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 902666852 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1013] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1013/stat : 1013 (java) S 1002 1004 30857 0 -1 4202560 276 0 0 0 0 0 0 0 16 0 19 0 902666852 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1014] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1014/stat : 1014 (java) S 1002 1004 30857 0 -1 4202560 487 0 0 0 0 0 0 0 16 0 19 0 902666852 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1015] ppid=1002 vsize=10608716 CPUtime=0.15 cores=1,3,5,7
/proc/1004/task/1015/stat : 1015 (java) S 1002 1004 30857 0 -1 4202560 938 0 0 0 15 0 0 0 16 0 19 0 902666853 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 0 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1016] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1016/stat : 1016 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666854 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1017] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1017/stat : 1017 (java) S 1002 1004 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666854 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1018] ppid=1002 vsize=10608716 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1018/stat : 1018 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092055985 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1019] ppid=1002 vsize=10608716 CPUtime=0.49 cores=1,3,5,7
/proc/1004/task/1019/stat : 1019 (java) S 1002 1004 30857 0 -1 4202560 2367 0 0 0 49 0 0 0 15 0 19 0 902666856 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1020] ppid=1002 vsize=10608716 CPUtime=0.36 cores=1,3,5,7
/proc/1004/task/1020/stat : 1020 (java) S 1002 1004 30857 0 -1 4202560 2518 0 0 0 36 0 0 0 15 0 19 0 902666856 10863325184 22875 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0

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

/proc/1004/task/1007/stat : 1007 (java) S 1002 1004 30857 0 -1 4202560 240 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1008] ppid=1002 vsize=10626984 CPUtime=0.11 cores=1,3,5,7
/proc/1004/task/1008/stat : 1008 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 11 0 0 0 15 0 19 0 902666852 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1009] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1009/stat : 1009 (java) S 1002 1004 30857 0 -1 4202560 166 0 0 0 10 0 0 0 16 0 19 0 902666852 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1010] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1010/stat : 1010 (java) S 1002 1004 30857 0 -1 4202560 35 0 0 0 10 0 0 0 16 0 19 0 902666852 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1011] ppid=1002 vsize=10626984 CPUtime=0.09 cores=1,3,5,7
/proc/1004/task/1011/stat : 1011 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 9 0 0 0 16 0 19 0 902666852 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1012] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1012/stat : 1012 (java) S 1002 1004 30857 0 -1 4202560 140 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1013] ppid=1002 vsize=10626984 CPUtime=0.09 cores=1,3,5,7
/proc/1004/task/1013/stat : 1013 (java) S 1002 1004 30857 0 -1 4202560 288 0 0 0 9 0 0 0 15 0 19 0 902666852 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1014] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1014/stat : 1014 (java) S 1002 1004 30857 0 -1 4202560 500 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1015] ppid=1002 vsize=10626984 CPUtime=5.7 cores=1,3,5,7
/proc/1004/task/1015/stat : 1015 (java) S 1002 1004 30857 0 -1 4202560 1590 0 0 0 568 2 0 0 15 0 19 0 902666853 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 0 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1016] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1016/stat : 1016 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666854 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1017] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1017/stat : 1017 (java) S 1002 1004 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666854 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1018] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1018/stat : 1018 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092055985 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1019] ppid=1002 vsize=10626984 CPUtime=1.22 cores=1,3,5,7
/proc/1004/task/1019/stat : 1019 (java) S 1002 1004 30857 0 -1 4202560 10853 0 0 0 122 0 0 0 15 0 19 0 902666856 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1020] ppid=1002 vsize=10626984 CPUtime=0.4 cores=1,3,5,7
/proc/1004/task/1020/stat : 1020 (java) S 1002 1004 30857 0 -1 4202560 2605 0 0 0 40 0 0 0 16 0 19 0 902666856 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1021] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1021/stat : 1021 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1022] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1022/stat : 1022 (java) S 1002 1004 30857 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 902666856 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1023] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1023/stat : 1023 (java) S 1002 1004 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902666883 10882031616 28231 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 184.36
Current children cumulated vsize (KiB) 10626984

[startup+183.101 s]
/proc/loadavg: 2.03 2.03 1.91 3/214 1028
/proc/meminfo: memFree=1187056/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=10626984 CPUtime=185.17 cores=1,3,5,7
/proc/1004/stat : 1004 (java) S 1002 1004 30857 0 -1 4202496 35479 0 1 0 18506 11 0 0 25 0 19 0 902666850 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1004/statm: 2656746 28235 2255 9 0 2647480 0
[pid=1004/tid=1005] ppid=1002 vsize=10626984 CPUtime=176.92 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 17859 0 1 0 17688 4 0 0 25 0 19 0 902666851 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 46912505713259 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1004/tid=1007] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1007/stat : 1007 (java) S 1002 1004 30857 0 -1 4202560 240 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1008] ppid=1002 vsize=10626984 CPUtime=0.12 cores=1,3,5,7
/proc/1004/task/1008/stat : 1008 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 12 0 0 0 15 0 19 0 902666852 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1009] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1009/stat : 1009 (java) S 1002 1004 30857 0 -1 4202560 166 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1010] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1010/stat : 1010 (java) S 1002 1004 30857 0 -1 4202560 35 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1011] ppid=1002 vsize=10626984 CPUtime=0.09 cores=1,3,5,7
/proc/1004/task/1011/stat : 1011 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 9 0 0 0 16 0 19 0 902666852 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1012] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1012/stat : 1012 (java) S 1002 1004 30857 0 -1 4202560 140 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1013] ppid=1002 vsize=10626984 CPUtime=0.09 cores=1,3,5,7
/proc/1004/task/1013/stat : 1013 (java) S 1002 1004 30857 0 -1 4202560 288 0 0 0 9 0 0 0 15 0 19 0 902666852 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1014] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1014/stat : 1014 (java) S 1002 1004 30857 0 -1 4202560 500 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1015] ppid=1002 vsize=10626984 CPUtime=5.71 cores=1,3,5,7
/proc/1004/task/1015/stat : 1015 (java) S 1002 1004 30857 0 -1 4202560 1594 0 0 0 569 2 0 0 15 0 19 0 902666853 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 0 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1016] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1016/stat : 1016 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666854 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1017] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1017/stat : 1017 (java) S 1002 1004 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666854 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1018] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1018/stat : 1018 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092055985 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1019] ppid=1002 vsize=10626984 CPUtime=1.22 cores=1,3,5,7
/proc/1004/task/1019/stat : 1019 (java) S 1002 1004 30857 0 -1 4202560 10853 0 0 0 122 0 0 0 15 0 19 0 902666856 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1020] ppid=1002 vsize=10626984 CPUtime=0.4 cores=1,3,5,7
/proc/1004/task/1020/stat : 1020 (java) S 1002 1004 30857 0 -1 4202560 2605 0 0 0 40 0 0 0 16 0 19 0 902666856 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1021] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1021/stat : 1021 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1022] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1022/stat : 1022 (java) S 1002 1004 30857 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 902666856 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1023] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1023/stat : 1023 (java) S 1002 1004 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902666883 10882031616 28235 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 185.17
Current children cumulated vsize (KiB) 10626984

[startup+183.902 s]
/proc/loadavg: 2.03 2.03 1.91 3/214 1028
/proc/meminfo: memFree=1187176/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=10626984 CPUtime=185.98 cores=1,3,5,7
/proc/1004/stat : 1004 (java) S 1002 1004 30857 0 -1 4202496 35482 0 1 0 18587 11 0 0 25 0 19 0 902666850 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1004/statm: 2656746 28237 2255 9 0 2647480 0
[pid=1004/tid=1005] ppid=1002 vsize=10626984 CPUtime=177.7 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 17860 0 1 0 17766 4 0 0 25 0 19 0 902666851 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 46912505704877 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1004/tid=1007] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1007/stat : 1007 (java) S 1002 1004 30857 0 -1 4202560 240 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1008] ppid=1002 vsize=10626984 CPUtime=0.12 cores=1,3,5,7
/proc/1004/task/1008/stat : 1008 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 12 0 0 0 15 0 19 0 902666852 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1009] ppid=1002 vsize=10626984 CPUtime=0.11 cores=1,3,5,7
/proc/1004/task/1009/stat : 1009 (java) S 1002 1004 30857 0 -1 4202560 166 0 0 0 11 0 0 0 16 0 19 0 902666852 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1010] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1010/stat : 1010 (java) S 1002 1004 30857 0 -1 4202560 35 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1011] ppid=1002 vsize=10626984 CPUtime=0.09 cores=1,3,5,7
/proc/1004/task/1011/stat : 1011 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 9 0 0 0 15 0 19 0 902666852 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1012] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1012/stat : 1012 (java) S 1002 1004 30857 0 -1 4202560 140 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1013] ppid=1002 vsize=10626984 CPUtime=0.09 cores=1,3,5,7
/proc/1004/task/1013/stat : 1013 (java) S 1002 1004 30857 0 -1 4202560 288 0 0 0 9 0 0 0 15 0 19 0 902666852 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1014] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1014/stat : 1014 (java) S 1002 1004 30857 0 -1 4202560 500 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1015] ppid=1002 vsize=10626984 CPUtime=5.73 cores=1,3,5,7
/proc/1004/task/1015/stat : 1015 (java) S 1002 1004 30857 0 -1 4202560 1596 0 0 0 571 2 0 0 15 0 19 0 902666853 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 0 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1016] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1016/stat : 1016 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666854 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1017] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1017/stat : 1017 (java) S 1002 1004 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666854 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1018] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1018/stat : 1018 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092055985 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1019] ppid=1002 vsize=10626984 CPUtime=1.23 cores=1,3,5,7
/proc/1004/task/1019/stat : 1019 (java) R 1002 1004 30857 0 -1 4202560 10853 0 0 0 123 0 0 0 15 0 19 0 902666856 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 47024900918541 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1004/tid=1020] ppid=1002 vsize=10626984 CPUtime=0.4 cores=1,3,5,7
/proc/1004/task/1020/stat : 1020 (java) S 1002 1004 30857 0 -1 4202560 2605 0 0 0 40 0 0 0 16 0 19 0 902666856 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1021] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1021/stat : 1021 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1022] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1022/stat : 1022 (java) S 1002 1004 30857 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 902666856 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1023] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1023/stat : 1023 (java) S 1002 1004 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902666883 10882031616 28237 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 185.98
Current children cumulated vsize (KiB) 10626984

[startup+184.301 s]
/proc/loadavg: 2.03 2.03 1.91 3/214 1028
/proc/meminfo: memFree=1187176/32950928 swapFree=67055948/67111528
[pid=1004] ppid=1002 vsize=10626984 CPUtime=186.38 cores=1,3,5,7
/proc/1004/stat : 1004 (java) S 1002 1004 30857 0 -1 4202496 35486 0 1 0 18627 11 0 0 25 0 19 0 902666850 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1004/statm: 2656746 28240 2255 9 0 2647480 0
[pid=1004/tid=1005] ppid=1002 vsize=10626984 CPUtime=178.08 cores=1,3,5,7
/proc/1004/task/1005/stat : 1005 (java) R 1002 1004 30857 0 -1 4202560 17861 0 1 0 17804 4 0 0 25 0 19 0 902666851 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 46912505741704 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1004/tid=1007] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1007/stat : 1007 (java) S 1002 1004 30857 0 -1 4202560 240 0 0 0 10 0 0 0 16 0 19 0 902666852 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1008] ppid=1002 vsize=10626984 CPUtime=0.12 cores=1,3,5,7
/proc/1004/task/1008/stat : 1008 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 12 0 0 0 15 0 19 0 902666852 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1009] ppid=1002 vsize=10626984 CPUtime=0.11 cores=1,3,5,7
/proc/1004/task/1009/stat : 1009 (java) S 1002 1004 30857 0 -1 4202560 166 0 0 0 11 0 0 0 15 0 19 0 902666852 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1010] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1010/stat : 1010 (java) S 1002 1004 30857 0 -1 4202560 35 0 0 0 10 0 0 0 16 0 19 0 902666852 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1011] ppid=1002 vsize=10626984 CPUtime=0.09 cores=1,3,5,7
/proc/1004/task/1011/stat : 1011 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 9 0 0 0 15 0 19 0 902666852 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1012] ppid=1002 vsize=10626984 CPUtime=0.11 cores=1,3,5,7
/proc/1004/task/1012/stat : 1012 (java) S 1002 1004 30857 0 -1 4202560 143 0 0 0 11 0 0 0 16 0 19 0 902666852 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 7 0 0 0
[pid=1004/tid=1013] ppid=1002 vsize=10626984 CPUtime=0.09 cores=1,3,5,7
/proc/1004/task/1013/stat : 1013 (java) S 1002 1004 30857 0 -1 4202560 288 0 0 0 9 0 0 0 15 0 19 0 902666852 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1014] ppid=1002 vsize=10626984 CPUtime=0.1 cores=1,3,5,7
/proc/1004/task/1014/stat : 1014 (java) S 1002 1004 30857 0 -1 4202560 500 0 0 0 10 0 0 0 15 0 19 0 902666852 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1015] ppid=1002 vsize=10626984 CPUtime=5.75 cores=1,3,5,7
/proc/1004/task/1015/stat : 1015 (java) S 1002 1004 30857 0 -1 4202560 1596 0 0 0 573 2 0 0 15 0 19 0 902666853 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 0 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1016] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1016/stat : 1016 (java) S 1002 1004 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666854 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1017] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1017/stat : 1017 (java) S 1002 1004 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666854 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1018] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1018/stat : 1018 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092055985 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1019] ppid=1002 vsize=10626984 CPUtime=1.23 cores=1,3,5,7
/proc/1004/task/1019/stat : 1019 (java) S 1002 1004 30857 0 -1 4202560 10853 0 0 0 123 0 0 0 15 0 19 0 902666856 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1020] ppid=1002 vsize=10626984 CPUtime=0.4 cores=1,3,5,7
/proc/1004/task/1020/stat : 1020 (java) S 1002 1004 30857 0 -1 4202560 2605 0 0 0 40 0 0 0 16 0 19 0 902666856 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 5 0 0 0
[pid=1004/tid=1021] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1021/stat : 1021 (java) S 1002 1004 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666856 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048281 0 4 0 16800975 18446604468199893696 0 0 -1 1 0 0 0
[pid=1004/tid=1022] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1022/stat : 1022 (java) S 1002 1004 30857 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 902666856 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
[pid=1004/tid=1023] ppid=1002 vsize=10626984 CPUtime=0 cores=1,3,5,7
/proc/1004/task/1023/stat : 1023 (java) S 1002 1004 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902666883 10882031616 28240 33554432000 1073741824 1073778376 140734218153200 18446744073709551615 208092048896 0 4 0 16800975 18446604468199893696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 186.38
Current children cumulated vsize (KiB) 10626984

Child status: 30
Real time (s): 184.366
CPU time (s): 186.45
CPU user time (s): 186.332
CPU system time (s): 0.117982
CPU usage (%): 101.13
Max. virtual memory (cumulated for all children) (KiB): 10631372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.332
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35507
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13016
involuntary context switches= 6104

runsolver used 0.317951 second user time and 0.715891 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-12 22:31:12
IDJOB=3492017
IDBENCH=78991
IDSOLVER=1982
FILE ID=node127/3492017-1307910672
RUNJOBID= node127-1307908873-771
PBS_JOBID= 13559579
Free space on /var/tmp= 2892 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492017-1307910672/watcher-3492017-1307910672 -o /var/tmp/evaluation-result-3492017-1307910672/solver-3492017-1307910672 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492017-1307910672.wbo

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

MD5SUM BENCH= 571d61a5ea635d7d5a6801ae351f1515
RANDOM SEED=1778334380

node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1312144 kB
Buffers:         61824 kB
Cached:       30535160 kB
SwapCached:       9120 kB
Active:       15338028 kB
Inactive:     15345324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1312144 kB
SwapTotal:    67111528 kB
SwapFree:     67055948 kB
Dirty:             876 kB
Writeback:           0 kB
AnonPages:       83696 kB
Mapped:          20964 kB
Slab:           889700 kB
PageTables:       4284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10548388 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2892 MiB
End job on node127 at 2011-06-12 22:34:16