Trace number 203766

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 1812.13

General information on the benchmark

Namerandom/rand-2-27/
rand-27-27-351-163-61021_ext.xml
MD5SUM1acdbceef9bfb6410329133ff072e451
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark873.694
SatisfiableNO
(Un)Satisfiability was proved
Number of variables27
Number of constraints351
Maximum constraint arity2
Maximum domain size27
Number of constraints which are defined in extension351
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/203766-1168164103/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=27  nbDomainTypes=1  minDomainSize=27  maxDomainSize=27
0.42	       =>  wckTime=0.105  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.56	   
0.56	   constraints being loaded...
0.68	     nbConstraints=351  nbRelationTypes=351  nbExtensionStructures=351  nbSharedExtensionStructures=0
0.68	     nbConflictsStructures=351  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=942  maxDegree=26
0.68	     maxArity=2
0.68	       =>  wckTime=0.363  cpuTime=0.27  mem=15M761
0.72	   
0.72	   solver IterativeSystematicSolver being built... 
0.88	       =>  wckTime=0.567  cpuTime=0.4  mem=15M373
0.94	   
0.94	   preprocessing
0.94	     nbConstraintChecks=68826  nbPropagations=786  nbRevisions=8189  nbUselessRevisions=7223  nbSingletonTests=36
0.94	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.94	       =>  wckTime=0.05  cpuTime=0.02  mem=15M373
0.96	   
0.96	   search
0.97	     run=0  nbConstraintChecks=46485  nbPropagations=1265  nbRevisions=17117  nbUselessRevisions=14988  nbAssignments=25
0.97	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=45  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.97	     nbTooLargeKeys=0
0.97	       =>  wckTime=0.077  cpuTime=0.04  mem=15M373
0.98	   
0.98	   search
0.98	     run=1  nbConstraintChecks=107532  nbPropagations=3185  nbRevisions=46753  nbUselessRevisions=41068
0.98	     nbAssignments=63  nbFailedAssignments=25  nbBacktracks=26  nbVisitedNodes=110  nbRestartNogoods=2  mapSize=26
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.096  cpuTime=0.06  mem=15M373
1.01	   
1.01	   search
1.01	     run=2  nbConstraintChecks=194864  nbPropagations=6039  nbRevisions=94896  nbUselessRevisions=83362
1.01	     nbAssignments=114  nbFailedAssignments=46  nbBacktracks=50  nbVisitedNodes=202  nbRestartNogoods=4  mapSize=50
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.119  cpuTime=0.09  mem=15M373
1.03	   
1.03	   search
1.03	     run=3  nbConstraintChecks=299224  nbPropagations=9984  nbRevisions=165002  nbUselessRevisions=144971
1.03	     nbAssignments=184  nbFailedAssignments=76  nbBacktracks=84  nbVisitedNodes=326  nbRestartNogoods=8  mapSize=84
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.145  cpuTime=0.11  mem=15M373
1.07	   
1.07	   search
1.07	     run=4  nbConstraintChecks=453924  nbPropagations=15557  nbRevisions=269357  nbUselessRevisions=236688
1.07	     nbAssignments=290  nbFailedAssignments=124  nbBacktracks=135  nbVisitedNodes=517  nbRestartNogoods=13  mapSize=133
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.177  cpuTime=0.14  mem=15M373
1.12	   
1.12	   search
1.12	     run=5  nbConstraintChecks=714894  nbPropagations=23820  nbRevisions=427825  nbUselessRevisions=376032
1.12	     nbAssignments=459  nbFailedAssignments=196  nbBacktracks=210  nbVisitedNodes=798  nbRestartNogoods=19  mapSize=206
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.231  cpuTime=0.19  mem=15M373
1.19	   
1.19	   search
1.19	     run=6  nbConstraintChecks=1057431  nbPropagations=35567  nbRevisions=661626  nbUselessRevisions=581699
1.19	     nbAssignments=682  nbFailedAssignments=300  nbBacktracks=323  nbVisitedNodes=1209  nbRestartNogoods=26  mapSize=317
1.19	     nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.303  cpuTime=0.25  mem=15M373
1.29	   
1.29	   search
1.29	     run=7  nbConstraintChecks=1575754  nbPropagations=52589  nbRevisions=1010763  nbUselessRevisions=888750
1.29	     nbAssignments=1024  nbFailedAssignments=465  nbBacktracks=495  nbVisitedNodes=1838  nbRestartNogoods=32
1.29	     mapSize=486  nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.399  cpuTime=0.35  mem=15M373
1.43	   
1.43	   search
1.43	     run=8  nbConstraintChecks=2284775  nbPropagations=77063  nbRevisions=1523813  nbUselessRevisions=1339980
1.43	     nbAssignments=1492  nbFailedAssignments=671  nbBacktracks=753  nbVisitedNodes=2702  nbRestartNogoods=39
1.43	     mapSize=739  nbInferences=0  nbTooLargeKeys=0
1.43	       =>  wckTime=0.54  cpuTime=0.48  mem=15M373
1.59	   
1.60	   INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M373)
1.64	   
1.64	   search
1.64	     run=9  nbConstraintChecks=3379965  nbPropagations=112939  nbRevisions=2286539  nbUselessRevisions=2010806
1.64	     nbAssignments=2235  nbFailedAssignments=1024  nbBacktracks=1138  nbVisitedNodes=4074  nbRestartNogoods=45
1.64	       =>  wckTime=0.749  cpuTime=0.67  mem=15M373
1.98	   
1.98	   search
1.98	     run=10  nbConstraintChecks=5069444  nbPropagations=166041  nbRevisions=3431009  nbUselessRevisions=3017501
1.98	     nbAssignments=3347  nbFailedAssignments=1552  nbBacktracks=1715  nbVisitedNodes=6124  nbRestartNogoods=53
1.99	       =>  wckTime=1.097  cpuTime=1.0  mem=15M373
2.52	   
2.52	   search
2.52	     run=11  nbConstraintChecks=7528378  nbPropagations=244368  nbRevisions=5133746  nbUselessRevisions=4514286
2.52	     nbAssignments=5018  nbFailedAssignments=2352  nbBacktracks=2579  nbVisitedNodes=9204  nbRestartNogoods=64
2.52	       =>  wckTime=1.63  cpuTime=1.53  mem=15M373
3.35	   
3.35	   search
3.35	     run=12  nbConstraintChecks=11432728  nbPropagations=361902  nbRevisions=7713718  nbUselessRevisions=6782791
3.35	     nbAssignments=7525  nbFailedAssignments=3556  nbBacktracks=3876  nbVisitedNodes=13852  nbRestartNogoods=70
3.35	       =>  wckTime=2.461  cpuTime=2.35  mem=15M373
4.56	   
4.56	   search
4.56	     run=13  nbConstraintChecks=17040444  nbPropagations=536800  nbRevisions=11568824  nbUselessRevisions=10172487
4.56	     nbAssignments=11214  nbFailedAssignments=5292  nbBacktracks=5824  nbVisitedNodes=20695  nbRestartNogoods=78
4.56	       =>  wckTime=3.67  cpuTime=3.54  mem=15M373
6.37	   
6.37	   search
6.37	     run=14  nbConstraintChecks=25512596  nbPropagations=797665  nbRevisions=17343264  nbUselessRevisions=15251565
6.37	     nbAssignments=16730  nbFailedAssignments=7881  nbBacktracks=8744  nbVisitedNodes=30867  nbRestartNogoods=91
6.37	       =>  wckTime=5.48  cpuTime=5.34  mem=15M373
9.07	   
9.07	   search
9.07	     run=15  nbConstraintChecks=37853431  nbPropagations=1186441  nbRevisions=25944738  nbUselessRevisions=22816253
9.07	     nbAssignments=25058  nbFailedAssignments=11826  nbBacktracks=13122  nbVisitedNodes=46248  nbRestartNogoods=101
9.07	       =>  wckTime=8.183  cpuTime=8.01  mem=15M373
13.30	   
13.30	   search
13.30	     run=16  nbConstraintChecks=57694622  nbPropagations=1772757  nbRevisions=38999549  nbUselessRevisions=34299054
13.30	     nbAssignments=37593  nbFailedAssignments=17786  nbBacktracks=19691  nbVisitedNodes=69496  nbRestartNogoods=113
13.30	       =>  wckTime=12.414  cpuTime=12.21  mem=15M373
19.45	   
19.45	   search
19.45	     run=17  nbConstraintChecks=86269901  nbPropagations=2649415  nbRevisions=58534649  nbUselessRevisions=51484476
19.45	     nbAssignments=56207  nbFailedAssignments=26542  nbBacktracks=29543  nbVisitedNodes=103919  nbRestartNogoods=123
19.45	       =>  wckTime=18.564  cpuTime=18.29  mem=15M373
28.64	   
28.64	   search
28.64	     run=18  nbConstraintChecks=129126987  nbPropagations=3962922  nbRevisions=87802060  nbUselessRevisions=77227194
28.64	     nbAssignments=84462  nbFailedAssignments=40000  nbBacktracks=44321  nbVisitedNodes=156132  nbRestartNogoods=139
28.64	       =>  wckTime=27.75  cpuTime=27.38  mem=15M373
42.71	   
42.71	   search
42.71	     run=19  nbConstraintChecks=195554785  nbPropagations=5937978  nbRevisions=131981188  nbUselessRevisions=116091629
42.71	     nbAssignments=126610  nbFailedAssignments=59973  nbBacktracks=66489  nbVisitedNodes=234106  nbRestartNogoods=151
42.71	       =>  wckTime=41.823  cpuTime=41.31  mem=15M373
63.57	   
63.57	   search
63.57	     run=20  nbConstraintChecks=291577334  nbPropagations=8891709  nbRevisions=198134206  nbUselessRevisions=174312389
63.57	     nbAssignments=189863  nbFailedAssignments=89959  nbBacktracks=99741  nbVisitedNodes=351035  nbRestartNogoods=163
63.57	       =>  wckTime=62.683  cpuTime=61.95  mem=15M373
95.77	   
95.77	   search
95.77	     run=21  nbConstraintChecks=443990288  nbPropagations=13354699  nbRevisions=298508998  nbUselessRevisions=262641337
95.77	     nbAssignments=285885  nbFailedAssignments=136097  nbBacktracks=149620  nbVisitedNodes=529184  nbRestartNogoods=184
95.77	       =>  wckTime=94.885  cpuTime=93.86  mem=15M373
143.00	   
143.00	   search
143.00	     run=22  nbConstraintChecks=667080223  nbPropagations=20053128  nbRevisions=449146016  nbUselessRevisions=395187628
143.00	     nbAssignments=428750  nbFailedAssignments=204137  nbBacktracks=224438  nbVisitedNodes=793855  nbRestartNogoods=200
143.00	       =>  wckTime=142.112  cpuTime=140.64  mem=15M373
213.38	   
213.38	   search
213.38	     run=23  nbConstraintChecks=999738387  nbPropagations=30083776  nbRevisions=674492888  nbUselessRevisions=593429001
213.38	     nbAssignments=641818  nbFailedAssignments=304960  nbBacktracks=336665  nbVisitedNodes=1187857  nbRestartNogoods=217
213.38	       =>  wckTime=212.491  cpuTime=210.38  mem=15M373
319.64	   
319.64	   search
319.64	     run=24  nbConstraintChecks=1499444200  nbPropagations=45125633  nbRevisions=1012671722
319.64	     nbUselessRevisions=890986022  nbAssignments=962778  nbFailedAssignments=457573  nbBacktracks=505006
319.64	     nbVisitedNodes=1781821  nbRestartNogoods=240
319.64	       =>  wckTime=318.757  cpuTime=315.68  mem=15M373
482.50	   
482.50	   search
482.50	     run=25  nbConstraintChecks=2274625476  nbPropagations=67802294  nbRevisions=1524067652
482.50	     nbUselessRevisions=1341010781  nbAssignments=1446365  nbFailedAssignments=688644  nbBacktracks=757517
482.50	     nbVisitedNodes=2678385  nbRestartNogoods=270
482.50	       =>  wckTime=481.615  cpuTime=477.04  mem=15M373
723.63	   
723.63	   search
723.63	     run=26  nbConstraintChecks=3406255039  nbPropagations=101779609  nbRevisions=2290656274
723.63	     nbUselessRevisions=2015795408  nbAssignments=2169582  nbFailedAssignments=1033089  nbBacktracks=1136285
723.63	     nbVisitedNodes=4017648  nbRestartNogoods=292
723.63	       =>  wckTime=722.743  cpuTime=715.95  mem=15M373
1086.44	   
1086.44	   search
1086.44	     run=27  nbConstraintChecks=5130034600  nbPropagations=152827151  nbRevisions=3443848726
1086.44	     nbUselessRevisions=3031002334  nbAssignments=3256904  nbFailedAssignments=1552254  nbBacktracks=1704437
1086.44	     nbVisitedNodes=6032491  nbRestartNogoods=323
1086.44	       =>  wckTime=1085.556  cpuTime=1075.52  mem=15M373
1593.90	   
1593.90	   search
1593.90	     run=28  nbConstraintChecks=7732284034  nbPropagations=229514536  nbRevisions=5178367216
1593.90	     nbUselessRevisions=4558113442  nbAssignments=4889302  nbFailedAssignments=2332420  nbBacktracks=2556663
1593.90	     nbVisitedNodes=9056346  nbRestartNogoods=352
1593.90	       =>  wckTime=1593.009  cpuTime=1581.87  mem=15M373

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/node2/watcher-203766-1168164103 -o ROOT/results/node2/solver-203766-1168164103 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203766-1168164103/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
/proc/loadavg: 1.93 2.00 1.99 4/99 3106
/proc/meminfo: memFree=1218512/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=18540 CPUtime=0
/proc/3105/stat : 3105 (runsolver) R 3103 3036 3036 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 164806007 18984960 277 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 4232163 0 0 4096 24578 0 0 0 17 1 0 0
/proc/3105/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.107262 s]
/proc/loadavg: 1.93 2.00 1.99 4/99 3106
/proc/meminfo: memFree=1218512/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=914988 CPUtime=0.08
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 2987 0 1 0 7 1 0 0 19 0 8 0 164806007 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155079874 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3105/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515336 s]
/proc/loadavg: 1.93 2.00 1.99 4/99 3106
/proc/meminfo: memFree=1218512/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915328 CPUtime=0.48
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 6907 0 1 0 45 3 0 0 18 0 8 0 164806007 937295872 6646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3105/statm: 228832 6646 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33749 s]
/proc/loadavg: 1.93 2.00 1.99 3/106 3113
/proc/meminfo: memFree=1192536/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=1.3
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9213 0 1 0 124 6 0 0 24 0 8 0 164806007 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3105/statm: 228864 8951 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.21
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 377 0 0 0 21 0 0 0 15 0 8 0 164806015 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456

[startup+2.98078 s]
/proc/loadavg: 1.93 2.00 1.99 3/106 3113
/proc/meminfo: memFree=1192344/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=2.92
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9229 0 1 0 286 6 0 0 25 0 8 0 164806007 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3105/statm: 228864 8966 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456

[startup+6.27739 s]
/proc/loadavg: 1.94 2.00 1.99 4/106 3115
/proc/meminfo: memFree=1192352/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=6.18
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9230 0 1 0 612 6 0 0 25 0 8 0 164806007 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3105/statm: 228864 8966 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 392 0 0 0 24 1 0 0 15 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456

[startup+12.7566 s]
/proc/loadavg: 1.94 2.00 1.99 3/106 3121
/proc/meminfo: memFree=1192352/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=12.6
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9230 0 1 0 1254 6 0 0 25 0 8 0 164806007 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3105/statm: 228864 8966 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915456

[startup+25.6259 s]
/proc/loadavg: 1.95 2.00 1.99 3/106 3131
/proc/meminfo: memFree=1192544/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=25.34
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9230 0 1 0 2528 6 0 0 25 0 8 0 164806007 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810961 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3105/statm: 228864 8966 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915456

[startup+51.2417 s]
/proc/loadavg: 1.97 2.00 1.99 3/100 3171
/proc/meminfo: memFree=1193680/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=50.67
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9232 0 1 0 5061 6 0 0 25 0 8 0 164806007 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3105/statm: 228864 8967 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915456

[startup+102.453 s]
/proc/loadavg: 1.98 2.00 1.99 3/100 3171
/proc/meminfo: memFree=1193680/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=101.41
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9232 0 1 0 10135 6 0 0 25 0 8 0 164806007 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3105/statm: 228864 8967 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915456

[startup+162.512 s]
/proc/loadavg: 1.99 2.00 1.99 3/100 3171
/proc/meminfo: memFree=1193680/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=160.92
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9232 0 1 0 16085 7 0 0 25 0 8 0 164806007 937426944 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1412.81
Current children cumulated vsize (KiB) 915456

[startup+1483.72 s]
/proc/loadavg: 1.74 1.77 1.87 3/101 3932
/proc/meminfo: memFree=1146832/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=1472.74
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9233 0 1 0 147250 24 0 0 25 0 8 0 164806007 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3105/statm: 228864 8968 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.74
Current children cumulated vsize (KiB) 915456

[startup+1543.74 s]
/proc/loadavg: 1.82 1.78 1.86 3/101 4271
/proc/meminfo: memFree=1114256/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=1532.71
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9233 0 1 0 153244 27 0 0 25 0 8 0 164806007 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3105/statm: 228864 8968 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.71
Current children cumulated vsize (KiB) 915456

[startup+1603.74 s]
/proc/loadavg: 1.89 1.81 1.86 3/101 4342
/proc/meminfo: memFree=1113680/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=1592.65
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9233 0 1 0 159236 29 0 0 25 0 8 0 164806007 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793993 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3105/statm: 228864 8968 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.65
Current children cumulated vsize (KiB) 915456

[startup+1663.77 s]
/proc/loadavg: 2.10 1.89 1.89 3/101 4413
/proc/meminfo: memFree=1112144/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=1652.59
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9233 0 1 0 165228 31 0 0 25 0 8 0 164806007 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813910 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3105/statm: 228864 8968 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.59
Current children cumulated vsize (KiB) 915456

[startup+1723.81 s]
/proc/loadavg: 2.19 1.96 1.91 3/104 4465
/proc/meminfo: memFree=798712/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=1712.31
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9233 0 1 0 171199 32 0 0 25 0 8 0 164806007 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813893 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3105/statm: 228864 8968 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.31
Current children cumulated vsize (KiB) 915456

[startup+1783.81 s]
/proc/loadavg: 2.67 2.13 1.97 4/104 4465
/proc/meminfo: memFree=475576/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=1771.94
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9233 0 1 0 177161 33 0 0 25 0 8 0 164806007 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810860 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3105/statm: 228864 8968 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.94
Current children cumulated vsize (KiB) 915456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.08 s]
/proc/loadavg: 2.72 2.18 1.99 4/104 4465
/proc/meminfo: memFree=475576/2055920 swapFree=4191880/4192956
[pid=3105] ppid=3103 vsize=915456 CPUtime=1800.04
/proc/3105/stat : 3105 (java) R 3103 3105 3036 0 -1 0 9233 0 1 0 179971 33 0 0 25 0 8 0 164806007 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816001 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3105/statm: 228864 8968 2524 14 0 215334 0
[pid=3105/tid=3107] ppid=3103 vsize=915456 CPUtime=0.03
/proc/3105/task/3107/stat : 3107 (java) S 3103 3105 3036 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3108] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3108/stat : 3108 (java) S 3103 3105 3036 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3109] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3109/stat : 3109 (java) S 3103 3105 3036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164806012 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3110] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3110/stat : 3110 (java) S 3103 3105 3036 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3111] ppid=3103 vsize=915456 CPUtime=0.25
/proc/3105/task/3111/stat : 3111 (java) S 3103 3105 3036 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3112] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3112/stat : 3112 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3105/tid=3113] ppid=3103 vsize=915456 CPUtime=0
/proc/3105/task/3113/stat : 3113 (java) S 3103 3105 3036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164806015 937426944 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915456

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

Child status: 143
Real time (s): 1812.13
CPU time (s): 1800.09
CPU user time (s): 1799.75
CPU system time (s): 0.342947
CPU usage (%): 99.3359
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.342947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9251
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= 37740
involuntary context switches= 88783

runsolver used 2.03169 s user time and 5.98009 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sun Jan  7 10:01:44 UTC 2007


IDJOB= 203766
IDBENCH= 3980
FILE ID= node2/203766-1168164103

PBS_JOBID= 3478312

Free space on /tmp= 66332 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-61021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203766-1168164103/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-203766-1168164103 -o ROOT/results/node2/solver-203766-1168164103 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203766-1168164103/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1acdbceef9bfb6410329133ff072e451

RANDOM SEED= 534411260

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.259
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	: 5931.00
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.259
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:       1218992 kB
Buffers:         77024 kB
Cached:         602256 kB
SwapCached:        448 kB
Active:         384148 kB
Inactive:       383216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1218992 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2176 kB
Writeback:           0 kB
Mapped:         116656 kB
Slab:            53752 kB
Committed_AS:  4712304 kB
PageTables:       2736 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= 66331 MiB



End job on node2 on Sun Jan  7 10:31:56 UTC 2007