Trace number 278569

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, and are wall clock time (not CPU 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
AbsconMax 109 EPFCMSAT (TO) 2400.07 2411.7

General information on the benchmark

Namedimacs/
jnhUnsat/jnh302_ext.xml
MD5SUM26910c14e0d5a375ffdaad373f23f2c9
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints894
Best CPU time to get the best result obtained on this benchmark8.30974
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints898
Maximum constraint arity10
Maximum domain size2
Number of constraints which are defined in extension898
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=epfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/278569-1169288956/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.43	     nbVariables=100  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.43	       =>  wckTime=0.104  cpuTime=0.08  mem=6M887
0.43	   
0.43	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.65	     nbConstraints=898  nbRelationTypes=248  nbExtensionStructures=248  nbSharedExtensionStructures=650
0.65	     nbConflictsStructures=248  nbSharedConflictsStructures=650  nbSharedBinaryRepresentations=16  maxDegree=65
0.65	     maxArity=10
0.65	       =>  wckTime=0.322  cpuTime=0.22  mem=11M763
0.70	   
0.70	   solver LocalSearchSolver being built... 
0.74	       =>  wckTime=0.41  cpuTime=0.26  mem=6M365
0.75	
0.75	s SATISFIABLE
0.75	o 843
0.75	c 55
0.75	o 847
0.75	c 51
0.75	o 849
0.75	c 49
0.75	o 853
0.75	c 45
0.76	o 855
0.76	c 43
0.76	o 857
0.76	c 41
0.76	o 859
0.76	c 39
0.76	o 861
0.76	c 37
0.76	o 863
0.76	c 35
0.76	o 865
0.76	c 33
0.76	o 867
0.76	c 31
0.76	o 868
0.76	c 30
0.77	o 870
0.77	c 28
0.77	o 871
0.77	c 27
0.77	o 872
0.77	c 26
0.77	o 873
0.77	c 25
0.77	o 874
0.77	c 24
0.77	o 877
0.77	c 21
0.77	o 878
0.77	c 20
0.77	o 879
0.77	c 19
0.77	o 880
0.77	c 18
0.77	o 881
0.77	c 17
0.77	o 884
0.77	c 14
0.79	o 885
0.79	c 13
0.79	o 886
0.79	c 12
0.79	o 887
0.79	c 11
0.79	o 888
0.79	c 10
0.79	o 889
0.79	c 9
0.81	o 890
0.81	c 8
0.83	o 891
0.83	c 7
0.83	o 892
0.83	c 6
0.91	o 893
0.91	c 5
1.20	o 894
1.20	c 4
5.01	   
5.01	   search
5.01	     run=0  nbConstraintChecks=12120136  nbAssignments=10000
5.01	       =>  wckTime=4.275  cpuTime=4.23  mem=6M365
9.80	   
9.80	   search
9.80	     run=1  nbConstraintChecks=25965514  nbAssignments=20000
9.80	       =>  wckTime=9.063  cpuTime=9.0  mem=6M365
14.04	   
14.04	   search
14.04	     run=2  nbConstraintChecks=37913817  nbAssignments=30000
14.04	       =>  wckTime=13.303  cpuTime=13.21  mem=6M365
18.94	   
18.94	   search
18.94	     run=3  nbConstraintChecks=51977080  nbAssignments=40000
18.94	       =>  wckTime=18.196  cpuTime=18.09  mem=6M365
23.20	   
23.20	   search
23.20	     run=4  nbConstraintChecks=64074877  nbAssignments=50000
23.20	       =>  wckTime=22.462  cpuTime=22.33  mem=6M365
28.04	   
28.04	   search
28.04	     run=5  nbConstraintChecks=78073705  nbAssignments=60000
28.04	       =>  wckTime=27.297  cpuTime=27.14  mem=6M365
31.36	   
31.36	   search
31.36	     run=6  nbConstraintChecks=87438829  nbAssignments=68152
31.36	       =>  wckTime=30.624  cpuTime=30.46  mem=6M365
31.37	   
31.37	   global
31.37	     nbConstraintChecks=87438829  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.37	     solvingWckTime=30.623  solvingCpuTime=30.46  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.37	     globalCpuTime=30.78
31.37	       =>  wckTime=31.035  cpuTime=30.72  mem=6M365
31.37	   
31.37	   solver IterativeSystematicSolver being built... 
31.57	       =>  wckTime=31.24  cpuTime=30.88  mem=25M399
31.87	   
31.87	   preprocessing
31.87	     nbConstraintChecks=7217  nbValidityChecks=3235  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.87	     nbRemovedValues=0  detectedInconsistency=no
31.87	       =>  wckTime=0.293  cpuTime=0.25  mem=25M399
32.02	   
32.02	   search
32.02	     run=0  nbConstraintChecks=8380  nbValidityChecks=12166  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.02	     nbAssignments=63  nbFailedAssignments=17  nbBacktracks=13  nbVisitedNodes=91  nbRestartNogoods=0
32.02	       =>  wckTime=0.445  cpuTime=0.39  mem=25M399
32.14	   
32.14	   search
32.14	     run=1  nbConstraintChecks=15195  nbValidityChecks=24515  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.14	     nbAssignments=113  nbFailedAssignments=28  nbBacktracks=28  nbVisitedNodes=159  nbRestartNogoods=9
32.14	       =>  wckTime=0.572  cpuTime=0.51  mem=25M399
32.30	   
32.30	   search
32.30	     run=2  nbConstraintChecks=25451  nbValidityChecks=35666  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.30	     nbAssignments=181  nbFailedAssignments=46  nbBacktracks=50  nbVisitedNodes=263  nbRestartNogoods=11
32.30	       =>  wckTime=0.731  cpuTime=0.67  mem=25M399
32.50	   
32.50	   search
32.50	     run=3  nbConstraintChecks=40354  nbValidityChecks=69888  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.50	     nbAssignments=259  nbFailedAssignments=61  nbBacktracks=85  nbVisitedNodes=377  nbRestartNogoods=14
32.50	       =>  wckTime=0.93  cpuTime=0.87  mem=25M399
32.77	   
32.77	   search
32.77	     run=4  nbConstraintChecks=63015  nbValidityChecks=114444  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.77	     nbAssignments=373  nbFailedAssignments=90  nbBacktracks=137  nbVisitedNodes=554  nbRestartNogoods=17
32.77	       =>  wckTime=1.203  cpuTime=1.14  mem=25M399
33.22	   
33.22	   search
33.22	     run=5  nbConstraintChecks=101355  nbValidityChecks=189934  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.22	     nbAssignments=528  nbFailedAssignments=141  nbBacktracks=214  nbVisitedNodes=810  nbRestartNogoods=23
33.22	       =>  wckTime=1.645  cpuTime=1.57  mem=25M399
33.86	   
33.86	   search
33.86	     run=6  nbConstraintChecks=152891  nbValidityChecks=304535  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.86	     nbAssignments=748  nbFailedAssignments=221  nbBacktracks=327  nbVisitedNodes=1174  nbRestartNogoods=27
33.86	       =>  wckTime=2.285  cpuTime=2.21  mem=25M399
34.72	   
34.72	   search
34.72	     run=7  nbConstraintChecks=229797  nbValidityChecks=479744  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.72	     nbAssignments=1060  nbFailedAssignments=322  nbBacktracks=498  nbVisitedNodes=1687  nbRestartNogoods=33
34.72	       =>  wckTime=3.152  cpuTime=3.07  mem=26M374
35.87	   
35.87	   search
35.87	     run=8  nbConstraintChecks=340642  nbValidityChecks=768215  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.87	     nbAssignments=1457  nbFailedAssignments=430  nbBacktracks=757  nbVisitedNodes=2401  nbRestartNogoods=38
35.87	       =>  wckTime=4.295  cpuTime=4.19  mem=26M374
37.33	   
37.33	   search
37.33	     run=9  nbConstraintChecks=461538  nbValidityChecks=981458  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.33	     nbAssignments=2055  nbFailedAssignments=611  nbBacktracks=1144  nbVisitedNodes=3409  nbRestartNogoods=45
37.33	       =>  wckTime=5.76  cpuTime=5.64  mem=26M374
39.94	   
39.94	   search
39.94	     run=10  nbConstraintChecks=689837  nbValidityChecks=1483943  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.94	     nbAssignments=2937  nbFailedAssignments=890  nbBacktracks=1722  nbVisitedNodes=4898  nbRestartNogoods=53
39.94	       =>  wckTime=8.37  cpuTime=8.23  mem=26M374
43.98	   
43.98	   search
43.98	     run=11  nbConstraintChecks=1035391  nbValidityChecks=2164006  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.98	     nbAssignments=4383  nbFailedAssignments=1432  nbBacktracks=2586  nbVisitedNodes=7442  nbRestartNogoods=59
43.98	       =>  wckTime=12.408  cpuTime=12.25  mem=26M374
49.33	   
49.33	   search
49.33	     run=12  nbConstraintChecks=1567506  nbValidityChecks=3401042  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
49.33	     nbAssignments=6544  nbFailedAssignments=2256  nbBacktracks=3883  nbVisitedNodes=10962  nbRestartNogoods=70
49.33	       =>  wckTime=17.758  cpuTime=17.57  mem=26M374
57.42	   
57.42	   search
57.42	     run=13  nbConstraintChecks=2256780  nbValidityChecks=5252160  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
57.42	     nbAssignments=9298  nbFailedAssignments=3026  nbBacktracks=5829  nbVisitedNodes=15611  nbRestartNogoods=81
57.42	       =>  wckTime=25.85  cpuTime=25.63  mem=26M374
69.78	   
69.78	   search
69.78	     run=14  nbConstraintChecks=3400485  nbValidityChecks=8230067  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
69.78	     nbAssignments=13777  nbFailedAssignments=4559  nbBacktracks=8752  nbVisitedNodes=23207  nbRestartNogoods=90
69.78	       =>  wckTime=38.209  cpuTime=37.93  mem=26M374
86.59	   
86.59	   search
86.59	     run=15  nbConstraintChecks=5058542  nbValidityChecks=11553094  nbPropagations=0  nbRevisions=0
86.59	     nbUselessRevisions=0  nbAssignments=20615  nbFailedAssignments=6992  nbBacktracks=13133  nbVisitedNodes=34986
86.59	     nbRestartNogoods=96
86.59	       =>  wckTime=55.015  cpuTime=54.66  mem=26M374
112.44	   
112.44	   search
112.44	     run=16  nbConstraintChecks=7426924  nbValidityChecks=16431656  nbPropagations=0  nbRevisions=0
112.44	     nbUselessRevisions=0  nbAssignments=30612  nbFailedAssignments=10398  nbBacktracks=19704  nbVisitedNodes=52323
112.44	     nbRestartNogoods=102
112.44	       =>  wckTime=80.869  cpuTime=80.38  mem=26M374
149.01	   
149.01	   search
149.01	     run=17  nbConstraintChecks=11074264  nbValidityChecks=25066495  nbPropagations=0  nbRevisions=0
149.01	     nbUselessRevisions=0  nbAssignments=45154  nbFailedAssignments=15053  nbBacktracks=29561  nbVisitedNodes=77758
149.01	     nbRestartNogoods=107
149.01	       =>  wckTime=117.44  cpuTime=116.78  mem=26M374
203.43	   
203.43	   search
203.43	     run=18  nbConstraintChecks=16154566  nbValidityChecks=37026358  nbPropagations=0  nbRevisions=0
203.43	     nbUselessRevisions=0  nbAssignments=66125  nbFailedAssignments=21224  nbBacktracks=44343  nbVisitedNodes=114471
203.43	     nbRestartNogoods=113
203.43	       =>  wckTime=171.863  cpuTime=170.95  mem=26M374
282.76	   
282.76	   search
282.76	     run=19  nbConstraintChecks=24272168  nbValidityChecks=59230960  nbPropagations=0  nbRevisions=0
282.76	     nbUselessRevisions=0  nbAssignments=97414  nbFailedAssignments=30295  nbBacktracks=66519  nbVisitedNodes=169251
282.76	     nbRestartNogoods=119
282.76	       =>  wckTime=251.191  cpuTime=249.9  mem=26M374
396.24	   
396.24	   search
396.24	     run=20  nbConstraintChecks=34780586  nbValidityChecks=79168409  nbPropagations=0  nbRevisions=0
396.24	     nbUselessRevisions=0  nbAssignments=143403  nbFailedAssignments=42993  nbBacktracks=99772  nbVisitedNodes=248916
396.24	     nbRestartNogoods=131
396.24	       =>  wckTime=364.673  cpuTime=362.84  mem=26M374
566.46	   
566.46	   search
566.46	     run=21  nbConstraintChecks=52165799  nbValidityChecks=115473689  nbPropagations=0  nbRevisions=0
566.46	     nbUselessRevisions=0  nbAssignments=215594  nbFailedAssignments=65273  nbBacktracks=149651  nbVisitedNodes=371666
566.46	     nbRestartNogoods=138
566.46	       =>  wckTime=534.885  cpuTime=532.25  mem=26M374
813.05	   
813.05	   search
813.05	     run=22  nbConstraintChecks=77146911  nbValidityChecks=168899559  nbPropagations=0  nbRevisions=0
813.05	     nbUselessRevisions=0  nbAssignments=321178  nbFailedAssignments=95997  nbBacktracks=224469  nbVisitedNodes=552545
813.05	     nbRestartNogoods=147
813.05	       =>  wckTime=781.482  cpuTime=777.68  mem=26M374
1188.20	   
1188.20	   search
1188.20	     run=23  nbConstraintChecks=118600987  nbValidityChecks=262212822  nbPropagations=0  nbRevisions=0
1188.20	     nbUselessRevisions=0  nbAssignments=481999  nbFailedAssignments=144555  nbBacktracks=336696  nbVisitedNodes=826981
1188.20	     nbRestartNogoods=156
1188.20	       =>  wckTime=1156.631  cpuTime=1151.06  mem=26M374
1742.33	   
1742.33	   search
1742.33	     run=24  nbConstraintChecks=177160062  nbValidityChecks=382919237  nbPropagations=0  nbRevisions=0
1742.33	     nbUselessRevisions=0  nbAssignments=715597  nbFailedAssignments=209777  nbBacktracks=505037  nbVisitedNodes=1227005
1742.33	     nbRestartNogoods=163
1742.33	       =>  wckTime=1710.756  cpuTime=1702.57  mem=26M374
2411.68	v 0 1 0 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1

Verifier Data (download as text)

4 unsatisfied constraints, 894 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node22/watcher-278569-1169288956 -o ROOT/results/node22/solver-278569-1169288956 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278569-1169288956/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.11 1.81 1.90 4/86 414
/proc/meminfo: memFree=1403728/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=18540 CPUtime=0
/proc/413/stat : 413 (runsolver) R 411 413 32743 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 277290731 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/413/statm: 4635 279 244 17 0 2626 0

[startup+0.108642 s]
/proc/loadavg: 1.11 1.81 1.90 4/86 414
/proc/meminfo: memFree=1403728/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=912760 CPUtime=0.07
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 2786 0 1 0 6 1 0 0 20 0 8 0 277290731 934666240 2532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228190 2532 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760

[startup+0.518706 s]
/proc/loadavg: 1.11 1.81 1.90 4/86 414
/proc/meminfo: memFree=1403728/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915332 CPUtime=0.48
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 6195 0 1 0 44 4 0 0 18 0 8 0 277290731 937299968 5934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228833 5934 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.34683 s]
/proc/loadavg: 1.11 1.81 1.90 3/100 428
/proc/meminfo: memFree=1363488/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=1.29
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 8050 0 1 0 116 13 0 0 25 0 8 0 277290731 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 7788 2479 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.15
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 357 0 0 0 15 0 0 0 16 0 8 0 277290740 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915428

[startup+2.98408 s]
/proc/loadavg: 1.11 1.81 1.90 3/100 428
/proc/meminfo: memFree=1363488/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=2.93
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 8051 0 1 0 264 29 0 0 25 0 8 0 277290731 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755459 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 7788 2479 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.15
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 357 0 0 0 15 0 0 0 16 0 8 0 277290740 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 7788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915428

[startup+6.2806 s]
/proc/loadavg: 1.18 1.81 1.90 3/100 428
/proc/meminfo: memFree=1363296/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=6.21
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 8053 0 1 0 565 56 0 0 25 0 8 0 277290731 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 7790 2479 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.15
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 359 0 0 0 15 0 0 0 16 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915428

[startup+12.7556 s]
/proc/loadavg: 1.25 1.82 1.90 3/100 428
/proc/meminfo: memFree=1363304/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=12.65
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 8053 0 1 0 1151 114 0 0 25 0 8 0 277290731 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 7790 2479 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.15
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 359 0 0 0 15 0 0 0 16 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915428

[startup+25.6076 s]
/proc/loadavg: 1.41 1.83 1.90 3/100 428
/proc/meminfo: memFree=1363368/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=25.44
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 8053 0 1 0 2319 225 0 0 25 0 8 0 277290731 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 7790 2479 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.15
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 359 0 0 0 15 0 0 0 16 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 7790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915428

[startup+51.2285 s]
/proc/loadavg: 1.67 1.85 1.91 3/100 428
/proc/meminfo: memFree=1337384/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=50.94
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 11380 0 1 0 4812 282 0 0 25 0 8 0 277290731 937398272 11111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938218 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 11111 2534 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 369 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 11111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 11111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 11111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 11111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.29
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 277290740 937398272 11111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 11111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 11111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915428

[startup+102.46 s]
/proc/loadavg: 1.85 1.87 1.91 3/100 428
/proc/meminfo: memFree=1337320/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=101.92
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 11389 0 1 0 9910 282 0 0 25 0 8 0 277290731 937398272 11119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073919096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 11119 2534 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 369 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 11119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 11119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 11119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 11119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.29
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 277290740 937398272 11119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 11119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 11119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915428

[startup+162.535 s]
/proc/loadavg: 1.94 1.89 1.91 3/100 428
/proc/meminfo: memFree=1337256/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=161.72
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 11394 0 1 0 15889 283 0 0 25 0 8 0 277290731 937398272 11124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2015.14
Current children cumulated vsize (KiB) 915428

[startup+2085.04 s]
/proc/loadavg: 2.06 2.03 1.97 3/100 626
/proc/meminfo: memFree=1336360/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=2074.95
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 11415 0 1 0 207196 299 0 0 25 0 8 0 277290731 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 11143 2534 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 369 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.3
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 433 0 0 0 29 1 0 0 16 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.95
Current children cumulated vsize (KiB) 915428

[startup+2145.12 s]
/proc/loadavg: 2.08 2.05 1.98 3/100 626
/proc/meminfo: memFree=1336360/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=2134.75
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 11415 0 1 0 213176 299 0 0 25 0 8 0 277290731 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 11143 2534 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 369 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.3
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 433 0 0 0 29 1 0 0 16 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.75
Current children cumulated vsize (KiB) 915428

[startup+2205.2 s]
/proc/loadavg: 2.10 2.05 1.99 3/100 626
/proc/meminfo: memFree=1336360/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=2194.55
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 11415 0 1 0 219155 300 0 0 25 0 8 0 277290731 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 11143 2534 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 369 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.3
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 433 0 0 0 29 1 0 0 16 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.55
Current children cumulated vsize (KiB) 915428

[startup+2265.28 s]
/proc/loadavg: 2.03 2.04 1.99 3/100 626
/proc/meminfo: memFree=1336360/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=2254.34
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 11415 0 1 0 225134 300 0 0 25 0 8 0 277290731 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873213 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 11143 2534 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 369 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.3
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 433 0 0 0 29 1 0 0 16 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.34
Current children cumulated vsize (KiB) 915428

[startup+2325.36 s]
/proc/loadavg: 2.01 2.03 1.99 3/100 626
/proc/meminfo: memFree=1336360/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=2314.14
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 11415 0 1 0 231113 301 0 0 25 0 8 0 277290731 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 11143 2534 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 369 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.3
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 433 0 0 0 29 1 0 0 16 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.14
Current children cumulated vsize (KiB) 915428

[startup+2385.44 s]
/proc/loadavg: 2.06 2.04 2.00 3/100 626
/proc/meminfo: memFree=1336360/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=2373.93
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 11415 0 1 0 237092 301 0 0 25 0 8 0 277290731 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073921466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 11143 2534 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 369 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.3
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 433 0 0 0 29 1 0 0 16 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.93
Current children cumulated vsize (KiB) 915428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.67 s]
/proc/loadavg: 2.12 2.05 2.00 3/100 626
/proc/meminfo: memFree=1336360/2055920 swapFree=4157544/4192956
[pid=413] ppid=411 vsize=915428 CPUtime=2400.04
/proc/413/stat : 413 (java) R 411 413 32743 0 -1 0 11415 0 1 0 239702 302 0 0 25 0 8 0 277290731 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/413/statm: 228857 11143 2534 14 0 215327 0
[pid=413/tid=422] ppid=411 vsize=915428 CPUtime=0.03
/proc/413/task/422/stat : 422 (java) S 411 413 32743 0 -1 64 369 0 0 0 3 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=423] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/423/stat : 423 (java) S 411 413 32743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=424] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/424/stat : 424 (java) S 411 413 32743 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277290737 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=425] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/425/stat : 425 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=426] ppid=411 vsize=915428 CPUtime=0.3
/proc/413/task/426/stat : 426 (java) S 411 413 32743 0 -1 64 433 0 0 0 29 1 0 0 16 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=427] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/427/stat : 427 (java) S 411 413 32743 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=413/tid=428] ppid=411 vsize=915428 CPUtime=0
/proc/413/task/428/stat : 428 (java) S 411 413 32743 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277290740 937398272 11143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915428

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

Child status: 143
Real time (s): 2411.7
CPU time (s): 2400.07
CPU user time (s): 2397.04
CPU system time (s): 3.02954
CPU usage (%): 99.5178
Max. virtual memory (cumulated for all children) (KiB): 915432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.04
system time used= 3.02954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11436
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= 50162
involuntary context switches= 128647

runsolver used 3.2825 s user time and 7.40287 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Sat Jan 20 10:29:23 UTC 2007


IDJOB= 278569
IDBENCH= 8495
IDSOLVER= 68
FILE ID= node22/278569-1169288956

PBS_JOBID= 3609665

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhUnsat/jnh302_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278569-1169288956/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-278569-1169288956 -o ROOT/results/node22/solver-278569-1169288956 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278569-1169288956/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  26910c14e0d5a375ffdaad373f23f2c9

RANDOM SEED= 986158346

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1406832 kB
Buffers:         44112 kB
Cached:         482976 kB
SwapCached:      12356 kB
Active:         187340 kB
Inactive:       381796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1406832 kB
SwapTotal:     4192956 kB
SwapFree:      4157544 kB
Dirty:            3552 kB
Writeback:           0 kB
Mapped:          60040 kB
Slab:            64760 kB
Committed_AS:  4494996 kB
PageTables:       2220 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node22 on Sat Jan 20 11:09:35 UTC 2007