Trace number 196222

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 1115.33 1118.36

DiagnosticValue
CHECKS759653527
NODES574601

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-28_ext.xml
MD5SUM1a2e5d96c6a61872cb1b48a21e2dca23
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark81.1737
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints72
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension72
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=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/196222-1168070457/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.104  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.97	   
0.97	   constraints being loaded...
1.28	     nbConstraints=72  nbRelationTypes=72  nbExtensionStructures=72  nbSharedExtensionStructures=0
1.28	     nbConflictsStructures=72  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
1.28	       =>  wckTime=0.968  cpuTime=0.84  mem=44M45
1.39	   
1.39	   solver IterativeSystematicSolver being built... 
1.57	       =>  wckTime=1.251  cpuTime=0.97  mem=33M160
1.57	   
1.57	   preprocessing
1.57	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.57	     detectedInconsistency=no
1.57	       =>  wckTime=0.0040  cpuTime=0.01  mem=33M160
1.68	   
1.68	   search
1.68	     run=0  nbConstraintChecks=23749  nbValidityChecks=41384  nbPropagations=327  nbRevisions=3061
1.68	     nbUselessRevisions=2372  nbAssignments=26  nbFailedAssignments=11  nbBacktracks=10  nbVisitedNodes=43
1.68	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.69	       =>  wckTime=0.115  cpuTime=0.09  mem=34M200
1.82	   
1.82	   search
1.82	     run=1  nbConstraintChecks=98042  nbValidityChecks=187762  nbPropagations=1423  nbRevisions=14700
1.82	     nbUselessRevisions=11281  nbAssignments=78  nbFailedAssignments=43  nbBacktracks=25  nbVisitedNodes=140
1.82	     nbRestartNogoods=5  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.82	       =>  wckTime=0.256  cpuTime=0.22  mem=34M200
1.96	   
1.96	   search
1.96	     run=2  nbConstraintChecks=181103  nbValidityChecks=320905  nbPropagations=3116  nbRevisions=33059
1.96	     nbUselessRevisions=25284  nbAssignments=130  nbFailedAssignments=67  nbBacktracks=48  nbVisitedNodes=229
1.96	     nbRestartNogoods=8  mapSize=41  nbInferences=0  nbTooLargeKeys=0
1.96	       =>  wckTime=0.395  cpuTime=0.34  mem=34M200
2.18	   
2.18	   search
2.18	     run=3  nbConstraintChecks=321109  nbValidityChecks=580067  nbPropagations=6226  nbRevisions=66516
2.18	     nbUselessRevisions=50815  nbAssignments=234  nbFailedAssignments=132  nbBacktracks=83  nbVisitedNodes=425
2.18	     nbRestartNogoods=11  mapSize=75  nbInferences=0  nbTooLargeKeys=0
2.18	       =>  wckTime=0.611  cpuTime=0.55  mem=34M200
2.42	   
2.42	   search
2.42	     run=4  nbConstraintChecks=461394  nbValidityChecks=839155  nbPropagations=10748  nbRevisions=115932
2.42	     nbUselessRevisions=88803  nbAssignments=355  nbFailedAssignments=197  nbBacktracks=135  nbVisitedNodes=644
2.42	     nbRestartNogoods=16  mapSize=124  nbInferences=0  nbTooLargeKeys=0
2.42	       =>  wckTime=0.848  cpuTime=0.78  mem=34M200
2.80	   
2.80	   search
2.80	     run=5  nbConstraintChecks=709214  nbValidityChecks=1292797  nbPropagations=17643  nbRevisions=191218
2.80	     nbUselessRevisions=146790  nbAssignments=538  nbFailedAssignments=299  nbBacktracks=210  nbVisitedNodes=978
2.80	     nbRestartNogoods=23  mapSize=192  nbInferences=0  nbTooLargeKeys=0
2.80	       =>  wckTime=1.236  cpuTime=1.16  mem=34M200
3.33	   
3.33	   search
3.33	     run=6  nbConstraintChecks=1011610  nbValidityChecks=1877704  nbPropagations=27958  nbRevisions=305700
3.33	     nbUselessRevisions=235176  nbAssignments=821  nbFailedAssignments=464  nbBacktracks=323  nbVisitedNodes=1506
3.33	     nbRestartNogoods=34  mapSize=302  nbInferences=0  nbTooLargeKeys=0
3.33	       =>  wckTime=1.759  cpuTime=1.65  mem=34M200
4.40	   
4.40	   search
4.41	     run=7  nbConstraintChecks=1645569  nbValidityChecks=3153195  nbPropagations=44740  nbRevisions=492290
4.41	     nbUselessRevisions=378782  nbAssignments=1305  nbFailedAssignments=773  nbBacktracks=494  nbVisitedNodes=2425
4.41	     nbRestartNogoods=44  mapSize=465  nbInferences=0  nbTooLargeKeys=0
4.41	       =>  wckTime=2.837  cpuTime=2.71  mem=34M200
5.62	   
5.62	   search
5.62	     run=8  nbConstraintChecks=2444592  nbValidityChecks=4632442  nbPropagations=68695  nbRevisions=760692
5.62	     nbUselessRevisions=586522  nbAssignments=1956  nbFailedAssignments=1164  nbBacktracks=750  nbVisitedNodes=3629
5.62	     nbRestartNogoods=54  mapSize=690  nbInferences=0  nbTooLargeKeys=0
5.62	       =>  wckTime=4.051  cpuTime=3.9  mem=34M200
7.38	   
7.38	   INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=34M200)
7.55	   
7.55	   search
7.55	     run=9  nbConstraintChecks=3755546  nbValidityChecks=6936555  nbPropagations=104616  nbRevisions=1158568
7.55	     nbUselessRevisions=894746  nbAssignments=2857  nbFailedAssignments=1675  nbBacktracks=1135  nbVisitedNodes=5289
7.55	     nbRestartNogoods=60
7.55	       =>  wckTime=5.981  cpuTime=5.77  mem=34M200
9.91	   
9.91	   search
9.91	     run=10  nbConstraintChecks=5265058  nbValidityChecks=9867669  nbPropagations=156777  nbRevisions=1742847
9.91	     nbUselessRevisions=1348857  nbAssignments=4271  nbFailedAssignments=2506  nbBacktracks=1712  nbVisitedNodes=7891
9.91	     nbRestartNogoods=69
9.91	       =>  wckTime=8.343  cpuTime=8.11  mem=34M200
13.59	   
13.59	   search
13.59	     run=11  nbConstraintChecks=7780707  nbValidityChecks=14477027  nbPropagations=234313  nbRevisions=2609392
13.59	     nbUselessRevisions=2021345  nbAssignments=6257  nbFailedAssignments=3622  nbBacktracks=2579  nbVisitedNodes=11543
13.59	     nbRestartNogoods=73
13.59	       =>  wckTime=12.022  cpuTime=11.77  mem=34M200
19.76	   
19.76	   search
19.76	     run=12  nbConstraintChecks=11792987  nbValidityChecks=21956863  nbPropagations=349599  nbRevisions=3940765
19.76	     nbUselessRevisions=3058321  nbAssignments=9455  nbFailedAssignments=5515  nbBacktracks=3878  nbVisitedNodes=17554
19.76	     nbRestartNogoods=76
19.76	       =>  wckTime=18.191  cpuTime=17.9  mem=34M200
29.78	   
29.78	   search
29.78	     run=13  nbConstraintChecks=18935014  nbValidityChecks=34400435  nbPropagations=520765  nbRevisions=5923389
29.78	     nbUselessRevisions=4606307  nbAssignments=14554  nbFailedAssignments=8662  nbBacktracks=5824  nbVisitedNodes=27050
29.78	     nbRestartNogoods=85
29.78	       =>  wckTime=28.214  cpuTime=27.86  mem=34M200
43.98	   
43.98	   search
43.98	     run=14  nbConstraintChecks=28801225  nbValidityChecks=52201268  nbPropagations=781836  nbRevisions=8910968
43.98	     nbUselessRevisions=6934408  nbAssignments=21583  nbFailedAssignments=12768  nbBacktracks=8743  nbVisitedNodes=40051
43.98	     nbRestartNogoods=93
43.98	       =>  wckTime=42.416  cpuTime=41.96  mem=34M200
64.77	   
64.77	   search
64.77	     run=15  nbConstraintChecks=42303272  nbValidityChecks=77535549  nbPropagations=1171551  nbRevisions=13484283
64.77	     nbUselessRevisions=10504447  nbAssignments=32568  nbFailedAssignments=19370  nbBacktracks=13121
64.77	     nbVisitedNodes=60630  nbRestartNogoods=106
64.77	       =>  wckTime=63.205  cpuTime=62.64  mem=34M200
95.12	   
95.12	   search
95.12	     run=16  nbConstraintChecks=63699261  nbValidityChecks=115938008  nbPropagations=1755132  nbRevisions=20194739
95.12	     nbUselessRevisions=15735036  nbAssignments=48174  nbFailedAssignments=28402  nbBacktracks=19692
95.12	     nbVisitedNodes=89320  nbRestartNogoods=128
95.12	       =>  wckTime=93.557  cpuTime=92.82  mem=34M200
141.04	   
141.04	   search
141.04	     run=17  nbConstraintChecks=94437723  nbValidityChecks=172572644  nbPropagations=2627170  nbRevisions=30316735
141.04	     nbUselessRevisions=23631740  nbAssignments=71991  nbFailedAssignments=42361  nbBacktracks=29544
141.04	     nbVisitedNodes=133592  nbRestartNogoods=147
141.04	       =>  wckTime=139.469  cpuTime=138.49  mem=34M200
216.19	   
216.19	   search
216.19	     run=18  nbConstraintChecks=143986633  nbValidityChecks=264567697  nbPropagations=3959561  nbRevisions=46165248
216.19	     nbUselessRevisions=36026933  nbAssignments=111847  nbFailedAssignments=67433  nbBacktracks=44322
216.19	     nbVisitedNodes=209195  nbRestartNogoods=155
216.19	       =>  wckTime=214.621  cpuTime=213.29  mem=34M200
319.84	   
319.84	   search
319.84	     run=19  nbConstraintChecks=216671612  nbValidityChecks=393692039  nbPropagations=5922709  nbRevisions=69217703
319.84	     nbUselessRevisions=54030148  nbAssignments=164117  nbFailedAssignments=97529  nbBacktracks=66491
319.84	     nbVisitedNodes=305336  nbRestartNogoods=185
319.84	       =>  wckTime=318.273  cpuTime=316.45  mem=34M200
473.61	   
473.61	   search
473.61	     run=20  nbConstraintChecks=319815956  nbValidityChecks=583577645  nbPropagations=8847508  nbRevisions=103649349
473.61	     nbUselessRevisions=80947525  nbAssignments=243917  nbFailedAssignments=144072  nbBacktracks=99743
473.61	     nbVisitedNodes=453235  nbRestartNogoods=206
473.61	       =>  wckTime=472.038  cpuTime=469.49  mem=34M200
712.71	   
712.71	   search
712.71	     run=21  nbConstraintChecks=480557380  nbValidityChecks=879536229  nbPropagations=13253506  nbRevisions=155893525
712.71	     nbUselessRevisions=121831616  nbAssignments=368067  nbFailedAssignments=218338  nbBacktracks=149624
712.71	     nbVisitedNodes=685120  nbRestartNogoods=230
712.71	       =>  wckTime=711.139  cpuTime=708.2  mem=34M200
1062.32	   
1062.32	   search
1062.32	     run=22  nbConstraintChecks=721693357  nbValidityChecks=1316746433  nbPropagations=19846956  nbRevisions=233466020
1062.32	     nbUselessRevisions=182517029  nbAssignments=545564  nbFailedAssignments=321011  nbBacktracks=224444
1062.32	     nbVisitedNodes=1013546  nbRestartNogoods=250
1062.32	       =>  wckTime=1060.754  cpuTime=1057.69  mem=34M200
1118.33	   
1118.33	   search
1118.33	     run=23  nbConstraintChecks=759653527  nbValidityChecks=1386273951  nbPropagations=26792183  nbRevisions=315226411
1118.33	     nbUselessRevisions=246475587  nbAssignments=574601  nbFailedAssignments=338371  nbBacktracks=236097
1118.33	     nbVisitedNodes=1067667  nbRestartNogoods=264
1118.33	       =>  wckTime=1116.758  cpuTime=1113.67  mem=34M200
1118.33	   
1118.33	   global
1118.33	     nbConstraintChecks=759653527  nbValidityChecks=1386273951  nbPropagations=26792207  nbRevisions=315226411
1118.33	     nbUselessRevisions=246475587  nbRestartNogoods=264  solvingWckTime=1116.759  solvingCpuTime=1113.67  expiredTime=no
1118.33	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=1114.68
1118.33	       =>  wckTime=1118.013  cpuTime=1114.64  mem=34M200
1118.33	   
1118.33	s SATISFIABLE
1118.33	v 2 13 19 9 7 18 9 20 2 4 13 0 8 22 13 23 7 23 12 5 10 22 21 1 
1118.33	d NODES 574601
1118.33	d CHECKS 759653527
1118.33	   
1118.33	   totalWckTime=1118.095  totalCpuTime=1114.69

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/node35/watcher-196222-1168070457 -o ROOT/results/node35/solver-196222-1168070457 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196222-1168070457/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.00 2.00 1.94 4/80 11285
/proc/meminfo: memFree=1674688/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=906644 CPUtime=0.01
/proc/11284/stat : 11284 (java) S 11282 11284 10847 0 -1 0 2069 0 1 0 1 0 0 0 18 0 2 0 155439392 928403456 1818 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 226661 1818 1036 14 0 214244 0
[pid=11284/tid=11286] ppid=11282 vsize=906644 CPUtime=0
/proc/11284/task/11286/stat : 11286 (java) R 11282 11284 10847 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155439396 928403456 1818 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.102745 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 11285
/proc/meminfo: memFree=1674688/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=914988 CPUtime=0.08
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 2984 0 1 0 7 1 0 0 19 0 8 0 155439392 936947712 2730 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155770499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228747 2730 1426 14 0 215242 0
[pid=11284/tid=11286] ppid=11282 vsize=914988 CPUtime=0
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155439396 936947712 2730 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510791 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 11285
/proc/meminfo: memFree=1674688/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915328 CPUtime=0.48
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 7399 0 1 0 44 4 0 0 18 0 8 0 155439392 937295872 7138 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155769855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228832 7138 2137 14 0 215302 0
[pid=11284/tid=11286] ppid=11282 vsize=915328 CPUtime=0
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155439396 937295872 7138 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33389 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11292
/proc/meminfo: memFree=1607560/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=1.3
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 19141 0 1 0 120 10 0 0 24 0 8 0 155439392 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 18878 2169 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.09
/proc/11284/task/11286/stat : 11286 (java) R 11282 11284 10847 0 -1 64 2662 0 0 0 9 0 0 0 16 0 8 0 155439396 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155523553 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.1
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 315 0 0 0 10 0 0 0 16 0 8 0 155439400 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 18878 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 18878 18446744073709551615 134512640 134570532 4294956400 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) 915416

[startup+2.98709 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11292
/proc/meminfo: memFree=1592584/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=2.93
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23204 0 1 0 280 13 0 0 25 0 8 0 155439392 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073748355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22939 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 17 0 8 0 155439396 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.2
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 366 0 0 0 19 1 0 0 15 0 8 0 155439400 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22939 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915416

[startup+6.26947 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 11318
/proc/meminfo: memFree=1591176/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=6.13
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23219 0 1 0 599 14 0 0 25 0 8 0 155439392 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22952 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 17 0 8 0 155439396 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.22
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 380 0 0 0 21 1 0 0 15 0 8 0 155439400 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22952 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22952 18446744073709551615 134512640 134570532 4294956400 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) 915416

[startup+12.751 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 11364
/proc/meminfo: memFree=1591104/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=12.56
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23225 0 1 0 1242 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073620948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 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) 915416

[startup+25.5966 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 11394
/proc/meminfo: memFree=1591360/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=25.32
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 2518 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073751049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915416

[startup+51.2066 s]
/proc/loadavg: 2.00 2.00 1.94 3/93 11434
/proc/meminfo: memFree=1591368/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=50.77
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 5063 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073752711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915416

[startup+102.416 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11490
/proc/meminfo: memFree=1592384/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=101.67
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 10153 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073751049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 915416

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

/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 639.83
Current children cumulated vsize (KiB) 915416

[startup+702.72 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11490
/proc/meminfo: memFree=1592528/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=699.84
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 69970 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.84
Current children cumulated vsize (KiB) 915416

[startup+762.747 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11490
/proc/meminfo: memFree=1592464/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=759.85
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 75971 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073743259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 759.85
Current children cumulated vsize (KiB) 915416

[startup+822.776 s]
/proc/loadavg: 2.07 2.02 1.94 3/87 11490
/proc/meminfo: memFree=1592400/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=819.86
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 81972 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 819.86
Current children cumulated vsize (KiB) 915416

[startup+882.804 s]
/proc/loadavg: 2.02 2.01 1.94 3/87 11490
/proc/meminfo: memFree=1592400/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=879.87
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 87973 14 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073620963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 879.87
Current children cumulated vsize (KiB) 915416

[startup+942.83 s]
/proc/loadavg: 1.93 1.99 1.94 3/87 11548
/proc/meminfo: memFree=1595016/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=939.86
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 93971 15 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073745143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 939.86
Current children cumulated vsize (KiB) 915416

[startup+1002.86 s]
/proc/loadavg: 2.04 2.00 1.94 4/87 11548
/proc/meminfo: memFree=1594192/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=999.87
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 99972 15 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 999.87
Current children cumulated vsize (KiB) 915416

[startup+1062.88 s]
/proc/loadavg: 2.01 2.00 1.94 3/87 11548
/proc/meminfo: memFree=1594192/2055920 swapFree=4192812/4192956
[pid=11284] ppid=11282 vsize=915416 CPUtime=1059.87
/proc/11284/stat : 11284 (java) R 11282 11284 10847 0 -1 0 23226 0 1 0 105972 15 0 0 25 0 8 0 155439392 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073763171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11284/statm: 228854 22957 2521 14 0 215324 0
[pid=11284/tid=11286] ppid=11282 vsize=915416 CPUtime=0.15
/proc/11284/task/11286/stat : 11286 (java) S 11282 11284 10847 0 -1 64 6248 0 0 0 14 1 0 0 16 0 8 0 155439396 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11287] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11287/stat : 11287 (java) S 11282 11284 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11288] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11288/stat : 11288 (java) S 11282 11284 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439397 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11289] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11289/stat : 11289 (java) S 11282 11284 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11290] ppid=11282 vsize=915416 CPUtime=0.23
/proc/11284/task/11290/stat : 11290 (java) S 11282 11284 10847 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11291] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11291/stat : 11291 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11284/tid=11292] ppid=11282 vsize=915416 CPUtime=0
/proc/11284/task/11292/stat : 11292 (java) S 11282 11284 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155439400 937385984 22957 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1059.87
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 1118.36
CPU time (s): 1115.33
CPU user time (s): 1115.16
CPU system time (s): 0.173973
CPU usage (%): 99.7292
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1115.16
system time used= 0.173973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23232
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= 23719
involuntary context switches= 30875

runsolver used 1.07384 s user time and 2.98955 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Jan  6 08:00:57 UTC 2007


IDJOB= 196222
IDBENCH= 3335
FILE ID= node35/196222-1168070457

PBS_JOBID= 3475659

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1a2e5d96c6a61872cb1b48a21e2dca23

RANDOM SEED= 801476074

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.234
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.234
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:       1675168 kB
Buffers:         24368 kB
Cached:         231720 kB
SwapCached:          0 kB
Active:          80084 kB
Inactive:       224316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1675168 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4336 kB
Writeback:           0 kB
Mapped:          68528 kB
Slab:            61552 kB
Committed_AS:  3794164 kB
PageTables:       1888 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= 66555 MiB



End job on node35 on Sat Jan  6 08:19:36 UTC 2007