Trace number 196208

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
Abscon 109 ESAC? (TO) 1800.09 1801.96

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-39_ext.xml
MD5SUM42af1ef904ee8c0046f5cc5a17801e12
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark395.207
SatisfiableYES
(Un)Satisfiability was proved
Number of variables24
Number of constraints75
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension75
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/196208-1168120633/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.101  cpuTime=0.1  mem=6M951
0.42	   
0.42	   relations being loaded...
1.08	   
1.08	   constraints being loaded...
1.36	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.36	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.36	       =>  wckTime=1.038  cpuTime=0.91  mem=48M699
1.48	   
1.48	   solver IterativeSystematicSolver being built... 
1.66	       =>  wckTime=1.339  cpuTime=1.05  mem=34M529
1.77	   
1.77	   preprocessing
1.77	     nbConstraintChecks=34558  nbValidityChecks=55939  nbPropagations=236  nbRevisions=2368  nbUselessRevisions=2036
1.77	     nbSingletonTests=33  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.77	       =>  wckTime=0.111  cpuTime=0.08  mem=34M529
1.83	   
1.83	   search
1.83	     run=0  nbConstraintChecks=27847  nbValidityChecks=51530  nbPropagations=479  nbRevisions=5388
1.83	     nbUselessRevisions=4473  nbAssignments=25  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=39
1.83	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
1.83	       =>  wckTime=0.17  cpuTime=0.13  mem=35M532
1.90	   
1.90	   search
1.90	     run=1  nbConstraintChecks=65051  nbValidityChecks=136184  nbPropagations=1488  nbRevisions=16559
1.90	     nbUselessRevisions=13589  nbAssignments=80  nbFailedAssignments=31  nbBacktracks=25  nbVisitedNodes=112
1.90	     nbRestartNogoods=5  mapSize=18  nbInferences=0  nbTooLargeKeys=0
1.90	       =>  wckTime=0.24  cpuTime=0.2  mem=35M532
2.03	   
2.03	   search
2.03	     run=2  nbConstraintChecks=135802  nbValidityChecks=282801  nbPropagations=3319  nbRevisions=38151
2.03	     nbUselessRevisions=30864  nbAssignments=154  nbFailedAssignments=76  nbBacktracks=47  nbVisitedNodes=246
2.03	     nbRestartNogoods=7  mapSize=37  nbInferences=0  nbTooLargeKeys=0
2.03	       =>  wckTime=0.371  cpuTime=0.31  mem=35M532
2.19	   
2.19	   search
2.19	     run=3  nbConstraintChecks=238504  nbValidityChecks=490886  nbPropagations=6321  nbRevisions=73103
2.19	     nbUselessRevisions=58594  nbAssignments=263  nbFailedAssignments=132  nbBacktracks=81  nbVisitedNodes=424
2.19	     nbRestartNogoods=11  mapSize=69  nbInferences=0  nbTooLargeKeys=0
2.19	       =>  wckTime=0.526  cpuTime=0.47  mem=35M532
2.37	   
2.37	   search
2.37	     run=4  nbConstraintChecks=352010  nbValidityChecks=723990  nbPropagations=10848  nbRevisions=126540
2.37	     nbUselessRevisions=101214  nbAssignments=400  nbFailedAssignments=212  nbBacktracks=131  nbVisitedNodes=674
2.37	     nbRestartNogoods=16  mapSize=112  nbInferences=0  nbTooLargeKeys=0
2.37	       =>  wckTime=0.709  cpuTime=0.64  mem=35M532
2.63	   
2.63	   search
2.63	     run=5  nbConstraintChecks=515625  nbValidityChecks=1057562  nbPropagations=17371  nbRevisions=201871
2.63	     nbUselessRevisions=161111  nbAssignments=608  nbFailedAssignments=298  nbBacktracks=206  nbVisitedNodes=969
2.63	     nbRestartNogoods=28  mapSize=166  nbInferences=0  nbTooLargeKeys=0
2.63	       =>  wckTime=0.968  cpuTime=0.89  mem=35M532
3.06	   
3.06	   search
3.06	     run=6  nbConstraintChecks=797435  nbValidityChecks=1624951  nbPropagations=27134  nbRevisions=315016
3.06	     nbUselessRevisions=250882  nbAssignments=849  nbFailedAssignments=409  nbBacktracks=319  nbVisitedNodes=1386
3.06	     nbRestartNogoods=35  mapSize=266  nbInferences=0  nbTooLargeKeys=0
3.06	       =>  wckTime=1.402  cpuTime=1.33  mem=35M532
3.84	   
3.84	   search
3.84	     run=7  nbConstraintChecks=1311254  nbValidityChecks=2669806  nbPropagations=42989  nbRevisions=499911
3.84	     nbUselessRevisions=396803  nbAssignments=1341  nbFailedAssignments=713  nbBacktracks=490  nbVisitedNodes=2291
3.84	     nbRestartNogoods=39  mapSize=421  nbInferences=0  nbTooLargeKeys=0
3.84	       =>  wckTime=2.181  cpuTime=2.09  mem=35M532
4.76	   
4.76	   search
4.76	     run=8  nbConstraintChecks=1930660  nbValidityChecks=3884161  nbPropagations=65666  nbRevisions=763214
4.76	     nbUselessRevisions=603466  nbAssignments=1959  nbFailedAssignments=1057  nbBacktracks=747  nbVisitedNodes=3400
4.76	     nbRestartNogoods=48  mapSize=640  nbInferences=0  nbTooLargeKeys=0
4.76	       =>  wckTime=3.096  cpuTime=2.99  mem=35M532
5.58	   
5.58	   search
5.58	     run=9  nbConstraintChecks=2498751  nbValidityChecks=5045602  nbPropagations=96367  nbRevisions=1113232
5.58	     nbUselessRevisions=878070  nbAssignments=2744  nbFailedAssignments=1429  nbBacktracks=1131  nbVisitedNodes=4724
5.58	     nbRestartNogoods=55  mapSize=929  nbInferences=0  nbTooLargeKeys=0
5.58	       =>  wckTime=3.923  cpuTime=3.81  mem=35M532
6.26	   
6.26	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=35M532)
8.41	   
8.41	   search
8.41	     run=10  nbConstraintChecks=4504479  nbValidityChecks=8943906  nbPropagations=145877  nbRevisions=1699790
8.41	     nbUselessRevisions=1338875  nbAssignments=4292  nbFailedAssignments=2397  nbBacktracks=1707  nbVisitedNodes=7691
8.41	     nbRestartNogoods=61
8.41	       =>  wckTime=6.75  cpuTime=6.61  mem=35M532
11.37	   
11.37	   search
11.37	     run=11  nbConstraintChecks=6616698  nbValidityChecks=13242112  nbPropagations=219226  nbRevisions=2570311
11.37	     nbUselessRevisions=2022727  nbAssignments=6471  nbFailedAssignments=3704  nbBacktracks=2571  nbVisitedNodes=11701
11.37	     nbRestartNogoods=65
11.37	       =>  wckTime=9.715  cpuTime=9.55  mem=35M532
15.93	   
15.93	   search
15.93	     run=12  nbConstraintChecks=10058776  nbValidityChecks=20228415  nbPropagations=334562  nbRevisions=3938974
15.93	     nbUselessRevisions=3097297  nbAssignments=9977  nbFailedAssignments=5906  nbBacktracks=3868  nbVisitedNodes=18287
15.93	     nbRestartNogoods=71
15.93	       =>  wckTime=14.27  cpuTime=14.1  mem=35M532
21.92	   
21.92	   search
21.92	     run=13  nbConstraintChecks=14772427  nbValidityChecks=29705558  nbPropagations=503352  nbRevisions=5929103
21.92	     nbUselessRevisions=4656361  nbAssignments=14856  nbFailedAssignments=8820  nbBacktracks=5815  nbVisitedNodes=27245
21.92	     nbRestartNogoods=82
21.92	       =>  wckTime=20.257  cpuTime=20.09  mem=35M532
30.89	   
30.89	   search
30.89	     run=14  nbConstraintChecks=21709470  nbValidityChecks=43627839  nbPropagations=756442  nbRevisions=8899485
30.89	     nbUselessRevisions=6982021  nbAssignments=22042  nbFailedAssignments=13080  nbBacktracks=8735  nbVisitedNodes=40625
30.89	     nbRestartNogoods=94
30.89	       =>  wckTime=29.233  cpuTime=29.06  mem=35M532
45.34	   
45.34	   search
45.34	     run=15  nbConstraintChecks=32973789  nbValidityChecks=66173518  nbPropagations=1134021  nbRevisions=13330695
45.34	     nbUselessRevisions=10447935  nbAssignments=32920  nbFailedAssignments=19561  nbBacktracks=13115
45.34	     nbVisitedNodes=60690  nbRestartNogoods=108
45.34	       =>  wckTime=43.684  cpuTime=43.5  mem=35M532
63.88	   
63.88	   search
63.88	     run=16  nbConstraintChecks=47168091  nbValidityChecks=95034631  nbPropagations=1687942  nbRevisions=19810071
63.88	     nbUselessRevisions=15520800  nbAssignments=48065  nbFailedAssignments=28131  nbBacktracks=19684
63.88	     nbVisitedNodes=88240  nbRestartNogoods=119
63.88	       =>  wckTime=62.219  cpuTime=61.99  mem=35M532
110.87	   
110.87	   search
110.87	     run=17  nbConstraintChecks=83841668  nbValidityChecks=166895772  nbPropagations=2592133  nbRevisions=30700108
110.87	     nbUselessRevisions=24087526  nbAssignments=76099  nbFailedAssignments=46307  nbBacktracks=29536
110.87	     nbVisitedNodes=141937  nbRestartNogoods=149
110.87	       =>  wckTime=109.206  cpuTime=108.93  mem=35M532
151.21	   
151.21	   search
151.21	     run=18  nbConstraintChecks=114907145  nbValidityChecks=228964926  nbPropagations=3847337  nbRevisions=45643892
151.21	     nbUselessRevisions=35820159  nbAssignments=107400  nbFailedAssignments=62822  nbBacktracks=44316
151.21	     nbVisitedNodes=197990  nbRestartNogoods=166
151.21	       =>  wckTime=149.546  cpuTime=149.23  mem=35M532
210.33	   
210.33	   search
210.33	     run=19  nbConstraintChecks=160488897  nbValidityChecks=321309370  nbPropagations=5689281  nbRevisions=67201070
210.33	     nbUselessRevisions=52722153  nbAssignments=157068  nbFailedAssignments=90276  nbBacktracks=66484
210.33	     nbVisitedNodes=288045  nbRestartNogoods=184
210.33	       =>  wckTime=208.67  cpuTime=208.31  mem=35M532
346.57	   
346.58	   search
346.58	     run=20  nbConstraintChecks=266415669  nbValidityChecks=529927661  nbPropagations=8595438  nbRevisions=101712580
346.58	     nbUselessRevisions=79831845  nbAssignments=245730  nbFailedAssignments=145679  nbBacktracks=99737
346.58	     nbVisitedNodes=455016  nbRestartNogoods=202
346.58	       =>  wckTime=344.915  cpuTime=344.35  mem=35M532
484.38	   
484.38	   search
484.38	     run=21  nbConstraintChecks=372579948  nbValidityChecks=743532810  nbPropagations=12763638  nbRevisions=150570951
484.38	     nbUselessRevisions=118086572  nbAssignments=355222  nbFailedAssignments=205287  nbBacktracks=149617
484.38	     nbVisitedNodes=652960  nbRestartNogoods=226
484.38	       =>  wckTime=482.718  cpuTime=482.03  mem=35M532
693.78	   
693.78	   search
693.78	     run=22  nbConstraintChecks=534076599  nbValidityChecks=1070265898  nbPropagations=18997178  nbRevisions=222189958
693.78	     nbUselessRevisions=173900518  nbAssignments=529350  nbFailedAssignments=304590  nbBacktracks=224436
693.78	     nbVisitedNodes=969992  nbRestartNogoods=247
693.78	       =>  wckTime=692.119  cpuTime=691.22  mem=35M532
1098.85	   
1098.85	   search
1098.85	     run=23  nbConstraintChecks=847222491  nbValidityChecks=1691063144  nbPropagations=28455557  nbRevisions=333372495
1098.85	     nbUselessRevisions=260911337  nbAssignments=802062  nbFailedAssignments=465058  nbBacktracks=336664
1098.85	     nbVisitedNodes=1477028  nbRestartNogoods=270
1098.85	       =>  wckTime=1097.19  cpuTime=1095.92  mem=35M532
1555.45	   
1555.45	   search
1555.45	     run=24  nbConstraintChecks=1199325446  nbValidityChecks=2402355853  nbPropagations=42413436  nbRevisions=494002918
1555.45	     nbUselessRevisions=386073002  nbAssignments=1186112  nbFailedAssignments=680760  nbBacktracks=505005
1555.45	     nbVisitedNodes=2172502  nbRestartNogoods=289
1555.45	       =>  wckTime=1553.794  cpuTime=1552.08  mem=35M532

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node42/watcher-196208-1168120633 -o ROOT/results/node42/solver-196208-1168120633 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196208-1168120633/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.96 2.01 1.84 4/85 3552
/proc/meminfo: memFree=1424264/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=9748 CPUtime=0
/proc/3551/stat : 3551 (java) D 3549 3551 3384 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 160462527 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407588 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/3551/statm: 2437 412 333 14 0 1140 0

[startup+0.103223 s]
/proc/loadavg: 1.96 2.01 1.84 4/85 3552
/proc/meminfo: memFree=1424264/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=914988 CPUtime=0.08
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 160462527 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154100737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3551/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511269 s]
/proc/loadavg: 1.96 2.01 1.84 4/85 3552
/proc/meminfo: memFree=1424264/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915328 CPUtime=0.49
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 7413 0 1 0 45 4 0 0 18 0 8 0 160462527 937295872 7152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3551/statm: 228832 7152 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33436 s]
/proc/loadavg: 1.96 2.01 1.84 3/92 3559
/proc/meminfo: memFree=1357264/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915328 CPUtime=1.31
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 19108 0 1 0 121 10 0 0 25 0 8 0 160462527 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073654803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3551/statm: 228832 18846 2160 14 0 215302 0
[pid=3551/tid=3553] ppid=3549 vsize=915328 CPUtime=0.05
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 2644 0 0 0 5 0 0 0 17 0 8 0 160462531 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915328 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915328 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160462532 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915328 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915328 CPUtime=0.09
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 160462535 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915328 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915328 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.98754 s]
/proc/loadavg: 1.96 2.01 1.84 3/92 3559
/proc/meminfo: memFree=1341200/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=2.95
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23477 0 1 0 283 12 0 0 25 0 8 0 160462527 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3551/statm: 228854 23213 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 17 0 8 0 160462531 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.21
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 372 0 0 0 20 1 0 0 15 0 8 0 160462535 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915416

[startup+6.2699 s]
/proc/loadavg: 1.96 2.01 1.84 3/92 3559
/proc/meminfo: memFree=1340944/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=6.22
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23494 0 1 0 610 12 0 0 25 0 8 0 160462527 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3551/statm: 228854 23227 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 17 0 8 0 160462531 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.25
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 387 0 0 0 24 1 0 0 15 0 8 0 160462535 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915416

[startup+12.7656 s]
/proc/loadavg: 1.96 2.01 1.84 2/75 3573
/proc/meminfo: memFree=1770576/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=12.68
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23498 0 1 0 1255 13 0 0 25 0 8 0 160462527 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23230 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.25
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915416

[startup+25.614 s]
/proc/loadavg: 1.97 2.00 1.84 3/88 3632
/proc/meminfo: memFree=1732328/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=25.52
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23498 0 1 0 2539 13 0 0 25 0 8 0 160462527 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757531 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23230 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.25
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915416

[startup+51.2249 s]
/proc/loadavg: 1.98 2.00 1.84 3/88 3632
/proc/meminfo: memFree=1732456/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=51.09
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23499 0 1 0 5095 14 0 0 25 0 8 0 160462527 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785861 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23230 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.25
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915416

[startup+102.461 s]
/proc/loadavg: 2.03 2.01 1.85 3/88 3632
/proc/meminfo: memFree=1732520/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=102.28
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23499 0 1 0 10214 14 0 0 25 0 8 0 160462527 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23230 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.25
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915416

[startup+162.525 s]
/proc/loadavg: 2.01 2.01 1.86 3/88 3632
/proc/meminfo: memFree=1732520/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=162.29
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23499 0 1 0 16215 14 0 0 25 0 8 0 160462527 937385984 23230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 915416

[startup+1483.88 s]
/proc/loadavg: 2.02 2.01 1.93 3/88 3832
/proc/meminfo: memFree=1731816/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=1482.33
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23500 0 1 0 148199 34 0 0 25 0 8 0 160462527 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23231 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.26
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 392 0 0 0 25 1 0 0 16 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 915416

[startup+1543.98 s]
/proc/loadavg: 2.00 2.01 1.93 3/88 3832
/proc/meminfo: memFree=1731816/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=1542.35
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23500 0 1 0 154201 34 0 0 25 0 8 0 160462527 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754382 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23231 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.26
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 392 0 0 0 25 1 0 0 16 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 915416

[startup+1604.07 s]
/proc/loadavg: 2.10 2.03 1.94 3/88 3832
/proc/meminfo: memFree=1731752/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=1602.4
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23500 0 1 0 160206 34 0 0 25 0 8 0 160462527 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23231 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.26
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 392 0 0 0 25 1 0 0 16 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.4
Current children cumulated vsize (KiB) 915416

[startup+1664.14 s]
/proc/loadavg: 2.17 2.06 1.95 3/88 3832
/proc/meminfo: memFree=1731752/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=1662.42
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23500 0 1 0 166208 34 0 0 25 0 8 0 160462527 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23231 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.26
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 392 0 0 0 25 1 0 0 16 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.42
Current children cumulated vsize (KiB) 915416

[startup+1724.21 s]
/proc/loadavg: 2.06 2.04 1.95 3/88 3832
/proc/meminfo: memFree=1731688/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=1722.41
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23500 0 1 0 172207 34 0 0 25 0 8 0 160462527 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778385 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23231 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.26
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 392 0 0 0 25 1 0 0 16 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.41
Current children cumulated vsize (KiB) 915416

[startup+1784.29 s]
/proc/loadavg: 2.02 2.03 1.95 3/88 3832
/proc/meminfo: memFree=1731752/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=1782.45
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23500 0 1 0 178210 35 0 0 25 0 8 0 160462527 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23231 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.26
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 392 0 0 0 25 1 0 0 16 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.89 s]
/proc/loadavg: 2.01 2.03 1.95 3/88 3832
/proc/meminfo: memFree=1731688/2055920 swapFree=4191892/4192956
[pid=3551] ppid=3549 vsize=915416 CPUtime=1800.03
/proc/3551/stat : 3551 (java) R 3549 3551 3384 0 -1 0 23500 0 1 0 179968 35 0 0 25 0 8 0 160462527 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765520 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 228854 23231 2531 14 0 215324 0
[pid=3551/tid=3553] ppid=3549 vsize=915416 CPUtime=0.17
/proc/3551/task/3553/stat : 3553 (java) S 3549 3551 3384 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160462531 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3554] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3554/stat : 3554 (java) S 3549 3551 3384 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3555] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3555/stat : 3555 (java) S 3549 3551 3384 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160462532 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3556] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3556/stat : 3556 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3557] ppid=3549 vsize=915416 CPUtime=0.26
/proc/3551/task/3557/stat : 3557 (java) S 3549 3551 3384 0 -1 64 392 0 0 0 25 1 0 0 16 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3551/tid=3558] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3549 3551 3384 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3551/tid=3559] ppid=3549 vsize=915416 CPUtime=0
/proc/3551/task/3559/stat : 3559 (java) S 3549 3551 3384 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160462535 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915416

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

Child status: 143
Real time (s): 1801.96
CPU time (s): 1800.09
CPU user time (s): 1799.73
CPU system time (s): 0.363944
CPU usage (%): 99.8964
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23516
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= 37538
involuntary context switches= 35536

runsolver used 2.17567 s user time and 5.83111 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Jan  6 21:57:13 UTC 2007


IDJOB= 196208
IDBENCH= 3334
FILE ID= node42/196208-1168120633

PBS_JOBID= 3477489

Free space on /tmp= 66535 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196208-1168120633/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-196208-1168120633 -o ROOT/results/node42/solver-196208-1168120633 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196208-1168120633/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  42af1ef904ee8c0046f5cc5a17801e12

RANDOM SEED= 297373687

TIME LIMIT= 1800 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.229
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.229
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:       1424744 kB
Buffers:         18544 kB
Cached:         121656 kB
SwapCached:        492 kB
Active:         523044 kB
Inactive:        61112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1424744 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            4516 kB
Writeback:           0 kB
Mapped:         462696 kB
Slab:            31560 kB
Committed_AS:  3682120 kB
PageTables:       2648 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= 66537 MiB



End job on node42 on Sat Jan  6 22:27:15 UTC 2007