Trace number 203634

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 ACSAT 834.703 836.704

DiagnosticValue
CHECKS4157663730
NODES2599948

General information on the benchmark

Namerandom/rand-2-27/
rand-27-27-351-163-63021_ext.xml
MD5SUMb9ccb3dea22c70378a1dd0d024777784
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark135.415
SatisfiableYES
(Un)Satisfiability was provedYES
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.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=mac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/203634-1168073137/unknown.xml
0.45	   
0.45	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.49	     nbVariables=27  nbDomainTypes=1  minDomainSize=27  maxDomainSize=27
0.49	       =>  wckTime=0.099  cpuTime=0.08  mem=6M951
0.49	   
0.49	   relations being loaded...
0.62	   
0.62	   constraints being loaded...
0.76	     nbConstraints=351  nbRelationTypes=351  nbExtensionStructures=351  nbSharedExtensionStructures=0
0.76	     nbConflictsStructures=351  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=934  maxDegree=26
0.76	     maxArity=2
0.76	       =>  wckTime=0.366  cpuTime=0.27  mem=15M761
0.80	   
0.80	   solver IterativeSystematicSolver being built... 
0.95	       =>  wckTime=0.563  cpuTime=0.39  mem=14M250
0.96	   
0.96	   preprocessing
0.96	     nbConstraintChecks=0  nbPropagations=27  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.96	     detectedInconsistency=no
0.96	       =>  wckTime=0.0050  cpuTime=0.01  mem=14M250
1.01	   
1.01	   search
1.01	     run=0  nbConstraintChecks=43228  nbPropagations=480  nbRevisions=8212  nbUselessRevisions=7251  nbAssignments=24
1.01	     nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=41  nbRestartNogoods=0  mapSize=10  nbInferences=0
1.01	     nbTooLargeKeys=0
1.01	       =>  wckTime=0.056  cpuTime=0.03  mem=15M290
1.03	   
1.03	   search
1.03	     run=1  nbConstraintChecks=103631  nbPropagations=1575  nbRevisions=28268  nbUselessRevisions=24951
1.03	     nbAssignments=60  nbFailedAssignments=22  nbBacktracks=25  nbVisitedNodes=103  nbRestartNogoods=4  mapSize=23
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.078  cpuTime=0.05  mem=15M290
1.06	   
1.06	   search
1.06	     run=2  nbConstraintChecks=172738  nbPropagations=3453  nbRevisions=63334  nbUselessRevisions=55823
1.06	     nbAssignments=110  nbFailedAssignments=43  nbBacktracks=48  nbVisitedNodes=191  nbRestartNogoods=6  mapSize=46
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.102  cpuTime=0.07  mem=15M290
1.09	   
1.09	   search
1.09	     run=3  nbConstraintChecks=288152  nbPropagations=6530  nbRevisions=123213  nbUselessRevisions=108552
1.09	     nbAssignments=183  nbFailedAssignments=77  nbBacktracks=81  nbVisitedNodes=321  nbRestartNogoods=8  mapSize=79
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.13  cpuTime=0.09  mem=15M290
1.12	   
1.12	   search
1.12	     run=4  nbConstraintChecks=447106  nbPropagations=11296  nbRevisions=218337  nbUselessRevisions=192195
1.12	     nbAssignments=292  nbFailedAssignments=130  nbBacktracks=132  nbVisitedNodes=519  nbRestartNogoods=10  mapSize=130
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.162  cpuTime=0.12  mem=15M290
1.17	   
1.17	   search
1.17	     run=5  nbConstraintChecks=664350  nbPropagations=18431  nbRevisions=363324  nbUselessRevisions=319644
1.17	     nbAssignments=441  nbFailedAssignments=197  nbBacktracks=208  nbVisitedNodes=789  nbRestartNogoods=13  mapSize=203
1.17	     nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.214  cpuTime=0.17  mem=15M290
1.24	   
1.24	   search
1.24	     run=6  nbConstraintChecks=1014495  nbPropagations=29122  nbRevisions=585773  nbUselessRevisions=515104
1.24	     nbAssignments=663  nbFailedAssignments=300  nbBacktracks=321  nbVisitedNodes=1198  nbRestartNogoods=20  mapSize=314
1.24	     nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.281  cpuTime=0.23  mem=15M290
1.33	   
1.33	   search
1.33	     run=7  nbConstraintChecks=1541065  nbPropagations=45178  nbRevisions=925414  nbUselessRevisions=813375
1.33	     nbAssignments=994  nbFailedAssignments=455  nbBacktracks=491  nbVisitedNodes=1814  nbRestartNogoods=26  mapSize=479
1.33	     nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.374  cpuTime=0.32  mem=15M290
1.49	   
1.49	   search
1.49	     run=8  nbConstraintChecks=2370455  nbPropagations=69378  nbRevisions=1446548  nbUselessRevisions=1271114
1.49	     nbAssignments=1500  nbFailedAssignments=698  nbBacktracks=747  nbVisitedNodes=2750  nbRestartNogoods=34
1.49	     mapSize=729  nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.535  cpuTime=0.46  mem=15M290
1.64	   
1.64	   INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=15M290)
1.68	   
1.68	   search
1.68	     run=9  nbConstraintChecks=3474593  nbPropagations=104724  nbRevisions=2212893  nbUselessRevisions=1944070
1.68	     nbAssignments=2224  nbFailedAssignments=1031  nbBacktracks=1132  nbVisitedNodes=4074  nbRestartNogoods=39
1.68	       =>  wckTime=0.721  cpuTime=0.64  mem=15M290
2.02	   
2.02	   search
2.02	     run=10  nbConstraintChecks=5198548  nbPropagations=157706  nbRevisions=3368307  nbUselessRevisions=2959050
2.02	     nbAssignments=3348  nbFailedAssignments=1571  nbBacktracks=1711  nbVisitedNodes=6156  nbRestartNogoods=47
2.02	       =>  wckTime=1.065  cpuTime=0.97  mem=15M290
2.57	   
2.57	   search
2.57	     run=11  nbConstraintChecks=7743418  nbPropagations=236190  nbRevisions=5086185  nbUselessRevisions=4467752
2.57	     nbAssignments=4989  nbFailedAssignments=2341  nbBacktracks=2575  nbVisitedNodes=9186  nbRestartNogoods=52
2.57	       =>  wckTime=1.617  cpuTime=1.51  mem=15M290
3.43	   
3.43	   search
3.43	     run=12  nbConstraintChecks=11695403  nbPropagations=353798  nbRevisions=7677089  nbUselessRevisions=6743048
3.43	     nbAssignments=7460  nbFailedAssignments=3508  nbBacktracks=3872  nbVisitedNodes=13763  nbRestartNogoods=60
3.43	       =>  wckTime=2.47  cpuTime=2.36  mem=15M290
4.68	   
4.68	   search
4.68	     run=13  nbConstraintChecks=17450972  nbPropagations=529885  nbRevisions=11568886  nbUselessRevisions=10162984
4.68	     nbAssignments=11211  nbFailedAssignments=5306  nbBacktracks=5818  nbVisitedNodes=20709  nbRestartNogoods=76
4.68	       =>  wckTime=3.728  cpuTime=3.61  mem=15M290
6.55	   
6.55	   search
6.55	     run=14  nbConstraintChecks=26007640  nbPropagations=792871  nbRevisions=17395862  nbUselessRevisions=15284891
6.55	     nbAssignments=16794  nbFailedAssignments=7963  nbBacktracks=8737  nbVisitedNodes=31054  nbRestartNogoods=90
6.55	       =>  wckTime=5.597  cpuTime=5.47  mem=15M290
9.44	   
9.44	   search
9.44	     run=15  nbConstraintChecks=39477968  nbPropagations=1187919  nbRevisions=26222350  nbUselessRevisions=23046847
9.44	     nbAssignments=25162  nbFailedAssignments=11945  nbBacktracks=13116  nbVisitedNodes=46531  nbRestartNogoods=106
9.44	       =>  wckTime=8.482  cpuTime=8.32  mem=15M290
13.80	   
13.80	   search
13.80	     run=16  nbConstraintChecks=59558284  nbPropagations=1782182  nbRevisions=39528956  nbUselessRevisions=34744663
13.80	     nbAssignments=37898  nbFailedAssignments=18108  nbBacktracks=19687  nbVisitedNodes=70168  nbRestartNogoods=116
13.80	       =>  wckTime=12.841  cpuTime=12.64  mem=15M290
20.10	   
20.10	   search
20.10	     run=17  nbConstraintChecks=88357978  nbPropagations=2668471  nbRevisions=59317718  nbUselessRevisions=52137651
20.10	     nbAssignments=56711  nbFailedAssignments=27063  nbBacktracks=29539  nbVisitedNodes=104926  nbRestartNogoods=118
20.10	       =>  wckTime=19.145  cpuTime=18.89  mem=15M290
29.67	   
29.67	   search
29.67	     run=18  nbConstraintChecks=132294789  nbPropagations=3996294  nbRevisions=88964853  nbUselessRevisions=78196794
29.67	     nbAssignments=84973  nbFailedAssignments=40541  nbBacktracks=44317  nbVisitedNodes=157274  nbRestartNogoods=130
29.67	       =>  wckTime=28.712  cpuTime=28.36  mem=15M290
44.01	   
44.01	   search
44.01	     run=19  nbConstraintChecks=197697128  nbPropagations=5984587  nbRevisions=133409833  nbUselessRevisions=117276247
44.01	     nbAssignments=127474  nbFailedAssignments=60867  nbBacktracks=66486  nbVisitedNodes=236014  nbRestartNogoods=152
44.01	       =>  wckTime=43.058  cpuTime=42.58  mem=15M290
65.76	   
65.76	   search
65.76	     run=20  nbConstraintChecks=298703697  nbPropagations=8967838  nbRevisions=200349985  nbUselessRevisions=176143276
65.76	     nbAssignments=190816  nbFailedAssignments=90951  nbBacktracks=99738  nbVisitedNodes=353200  nbRestartNogoods=172
65.76	       =>  wckTime=64.801  cpuTime=64.12  mem=15M290
98.52	   
98.52	   search
98.52	     run=21  nbConstraintChecks=452658454  nbPropagations=13463250  nbRevisions=301604310  nbUselessRevisions=265195733
98.52	     nbAssignments=286518  nbFailedAssignments=136770  nbBacktracks=149616  nbVisitedNodes=530698  nbRestartNogoods=186
98.52	       =>  wckTime=97.569  cpuTime=96.63  mem=15M290
144.73	   
144.73	   search
144.73	     run=22  nbConstraintChecks=680265728  nbPropagations=20209235  nbRevisions=453381609  nbUselessRevisions=398650199
144.73	     nbAssignments=429702  nbFailedAssignments=205129  nbBacktracks=224434  nbVisitedNodes=795740  nbRestartNogoods=205
144.73	       =>  wckTime=143.775  cpuTime=142.68  mem=15M290
211.83	   
211.83	   search
211.83	     run=23  nbConstraintChecks=1016558498  nbPropagations=30308284  nbRevisions=680605260  nbUselessRevisions=598466561
211.83	     nbAssignments=644318  nbFailedAssignments=307511  nbBacktracks=336663  nbVisitedNodes=1192803  nbRestartNogoods=213
211.83	       =>  wckTime=210.877  cpuTime=209.72  mem=15M290
314.96	   
314.96	   search
314.96	     run=24  nbConstraintChecks=1535267909  nbPropagations=45515059  nbRevisions=1023700597
314.96	     nbUselessRevisions=900278628  nbAssignments=967183  nbFailedAssignments=462028  nbBacktracks=505005
314.96	     nbVisitedNodes=1791556  nbRestartNogoods=228
314.97	       =>  wckTime=314.009  cpuTime=312.73  mem=15M290
470.72	   
470.72	   search
470.72	     run=25  nbConstraintChecks=2313901332  nbPropagations=68374964  nbRevisions=1540313742
470.72	     nbUselessRevisions=1354778072  nbAssignments=1452153  nbFailedAssignments=694482  nbBacktracks=757516
470.72	     nbVisitedNodes=2690515  nbRestartNogoods=254
470.72	       =>  wckTime=469.762  cpuTime=468.15  mem=15M290
702.92	   
702.92	   search
702.92	     run=26  nbConstraintChecks=3484292923  nbPropagations=102737300  nbRevisions=2318133720
702.92	     nbUselessRevisions=2039166262  nbAssignments=2181785  nbFailedAssignments=1045340  nbBacktracks=1136283
702.92	     nbVisitedNodes=4043931  nbRestartNogoods=283
702.92	       =>  wckTime=701.964  cpuTime=700.12  mem=15M290
836.68	   
836.68	   search
836.68	     run=27  nbConstraintChecks=4157663730  nbPropagations=143685725  nbRevisions=3245765022
836.68	     nbUselessRevisions=2855462068  nbAssignments=2599948  nbFailedAssignments=1245170  nbBacktracks=1354589
836.68	     nbVisitedNodes=4818148  nbRestartNogoods=305
836.68	       =>  wckTime=835.724  cpuTime=833.75  mem=15M290
836.68	   
836.68	   global
836.68	     nbConstraintChecks=4157663730  nbPropagations=143685752  nbRevisions=3245765022  nbUselessRevisions=2855462068
836.68	     nbRestartNogoods=305  solvingWckTime=835.725  solvingCpuTime=833.75  expiredTime=no  totalExploration=no
836.68	     nbFoundSolutions=1  globalCpuTime=834.19
836.68	       =>  wckTime=836.291  cpuTime=834.14  mem=15M290
836.68	   
836.68	s SATISFIABLE
836.68	v 7 5 7 22 11 25 0 8 20 2 3 20 26 10 12 14 14 13 18 24 3 16 15 23 5 26 20 
836.68	d NODES 2599948
836.68	d CHECKS 4157663730
836.68	   
836.68	   totalWckTime=836.373  totalCpuTime=834.19

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-203634-1168073137 -o ROOT/results/node5/solver-203634-1168073137 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203634-1168073137/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: 2.05 2.02 1.94 4/93 5525
/proc/meminfo: memFree=1352896/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=18540 CPUtime=0
/proc/5524/stat : 5524 (runsolver) R 5522 5524 5197 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 135928186 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5524/statm: 4635 279 244 17 0 2626 0

[startup+0.107931 s]
/proc/loadavg: 2.05 2.02 1.94 4/93 5525
/proc/meminfo: memFree=1352896/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=914988 CPUtime=0.09
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 2979 0 1 0 8 1 0 0 17 0 8 0 135928186 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515973 s]
/proc/loadavg: 2.05 2.02 1.94 4/93 5525
/proc/meminfo: memFree=1352896/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915328 CPUtime=0.42
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 6141 0 1 0 39 3 0 0 18 0 8 0 135928186 937295872 5880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8359549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228832 5880 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.34007 s]
/proc/loadavg: 2.05 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326920/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=1.23
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9193 0 1 0 119 4 0 0 24 0 8 0 135928186 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8931 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.21
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 374 0 0 0 21 0 0 0 16 0 8 0 135928194 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915456

[startup+2.99325 s]
/proc/loadavg: 2.05 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326856/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=2.87
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9209 0 1 0 282 5 0 0 25 0 8 0 135928186 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793877 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8946 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 390 0 0 0 24 1 0 0 15 0 8 0 135928194 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915456

[startup+6.28662 s]
/proc/loadavg: 2.05 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326728/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=6.13
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9211 0 1 0 608 5 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915456

[startup+12.7744 s]
/proc/loadavg: 2.04 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326792/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=12.56
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9211 0 1 0 1251 5 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817828 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915456

[startup+25.6128 s]
/proc/loadavg: 2.03 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326920/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=25.27
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9211 0 1 0 2522 5 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915456

[startup+51.2217 s]
/proc/loadavg: 2.02 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326984/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=50.65
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 5060 5 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915456

[startup+102.428 s]
/proc/loadavg: 1.93 2.00 1.94 3/100 5590
/proc/meminfo: memFree=1301952/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=101.46
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 10139 7 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915456

[startup+162.492 s]
/proc/loadavg: 1.68 1.92 1.91 3/100 5904
/proc/meminfo: memFree=1298704/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=161.37
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 16127 10 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.17
Current children cumulated vsize (KiB) 915456

[startup+462.819 s]
/proc/loadavg: 1.73 1.73 1.82 3/100 6644
/proc/meminfo: memFree=1188952/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=461.19
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 46081 38 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817810 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.19
Current children cumulated vsize (KiB) 915456

[startup+522.825 s]
/proc/loadavg: 1.94 1.80 1.83 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=521.14
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 52076 38 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803254 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.14
Current children cumulated vsize (KiB) 915456

[startup+582.829 s]
/proc/loadavg: 1.98 1.83 1.83 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=581.06
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 58068 38 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816322 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.06
Current children cumulated vsize (KiB) 915456

[startup+642.833 s]
/proc/loadavg: 2.13 1.91 1.86 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=641.02
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 64063 39 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.02
Current children cumulated vsize (KiB) 915456

[startup+702.84 s]
/proc/loadavg: 2.05 1.93 1.87 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=700.98
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 70059 39 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 700.98
Current children cumulated vsize (KiB) 915456

[startup+762.847 s]
/proc/loadavg: 2.06 1.95 1.88 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=760.91
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9214 0 1 0 76052 39 0 0 25 0 8 0 135928186 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833373 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8949 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.26
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 760.91
Current children cumulated vsize (KiB) 915456

[startup+822.857 s]
/proc/loadavg: 2.02 1.96 1.89 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=820.86
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9214 0 1 0 82047 39 0 0 25 0 8 0 135928186 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808121 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8949 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.26
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 820.86
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 836.704
CPU time (s): 834.703
CPU user time (s): 834.304
CPU system time (s): 0.398939
CPU usage (%): 99.7609
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 834.304
system time used= 0.398939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9221
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= 18071
involuntary context switches= 20708

runsolver used 1.00685 s user time and 2.6396 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Jan  6 08:45:37 UTC 2007


IDJOB= 203634
IDBENCH= 3973
FILE ID= node5/203634-1168073137

PBS_JOBID= 3475736

Free space on /tmp= 66331 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b9ccb3dea22c70378a1dd0d024777784

RANDOM SEED= 249592458

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.240
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.240
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:       1353312 kB
Buffers:         55180 kB
Cached:         485420 kB
SwapCached:          0 kB
Active:         235372 kB
Inactive:       377984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1353312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2096 kB
Writeback:           0 kB
Mapped:         101752 kB
Slab:            73920 kB
Committed_AS:  3943412 kB
PageTables:       2272 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= 66326 MiB



End job on node5 on Sat Jan  6 08:59:34 UTC 2007