Trace number 275702

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.16 2421.12

General information on the benchmark

NameschurrLemma/
lemma-50-9-mod.xml
MD5SUMbfb8f2c05e7a4ff48488062c6ec8a2e7
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints520
Best CPU time to get the best result obtained on this benchmark2400.13
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables50
Number of constraints600
Maximum constraint arity3
Maximum domain size9
Number of constraints which are defined in extension0
Number of constraints which are defined in intension600
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.63	   
0.63	Abscon 109 (November, 2006)
0.63	   
0.63	   configuration
0.63	     name=epfc.xml
0.73	   
0.73	   instance
0.73	     name=/tmp/evaluation/275702-1169225741/unknown.xml
0.77	   
0.78	   domains being loaded...
0.78	   
0.78	   variables being loaded...
0.80	     nbVariables=50  nbDomainTypes=1  minDomainSize=9  maxDomainSize=9
0.80	       =>  wckTime=0.174  cpuTime=0.09  mem=6M887
0.80	   
0.80	   predicates being loaded...
0.81	   
0.81	   constraints being loaded...
1.06	     nbConstraints=600  nbConflictsStructures=1  nbSharedConflictsStructures=599  nbSharedBinaryRepresentations=0
1.06	     nbEvaluationManagers=1  nbSharedEvaluationManagers=599  maxDegree=48  maxArity=3
1.06	       =>  wckTime=0.429  cpuTime=0.25  mem=12M738
1.10	   
1.10	   solver LocalSearchSolver being built... 
1.15	       =>  wckTime=0.521  cpuTime=0.29  mem=5M723
1.16	
1.16	s SATISFIABLE
1.16	o 408
1.16	c 192
1.16	o 422
1.16	c 178
1.17	o 430
1.17	c 170
1.17	o 435
1.17	c 165
1.17	o 440
1.17	c 160
1.17	o 444
1.17	c 156
1.18	o 450
1.18	c 150
1.18	o 453
1.18	c 147
1.18	o 455
1.18	c 145
1.19	o 458
1.19	c 142
1.20	o 460
1.20	c 140
1.20	o 461
1.20	c 139
1.20	o 463
1.20	c 137
1.21	o 465
1.21	c 135
1.21	o 468
1.21	c 132
1.21	o 470
1.21	c 130
1.22	o 473
1.22	c 127
1.23	o 474
1.23	c 126
1.25	o 475
1.25	c 125
1.26	o 476
1.26	c 124
1.26	o 479
1.26	c 121
1.27	o 481
1.27	c 119
1.31	o 485
1.31	c 115
1.49	o 489
1.49	c 111
1.50	o 492
1.50	c 108
1.50	o 493
1.50	c 107
1.51	o 494
1.51	c 106
1.51	o 495
1.51	c 105
1.51	o 496
1.51	c 104
1.55	o 497
1.55	c 103
1.56	o 499
1.56	c 101
1.56	o 500
1.56	c 100
1.74	o 501
1.74	c 99
1.75	o 503
1.75	c 97
1.75	o 506
1.75	c 94
1.86	o 507
1.86	c 93
1.90	o 510
1.90	c 90
1.96	o 512
1.96	c 88
5.56	o 513
5.56	c 87
5.57	o 514
5.57	c 86
6.25	o 516
6.25	c 84
16.27	o 518
16.27	c 82
16.38	o 519
16.38	c 81
21.64	o 520
21.64	c 80
37.41	   
37.41	   search
37.41	     run=0  nbConstraintChecks=81928500  nbAssignments=10000
37.41	       =>  wckTime=36.258  cpuTime=35.92  mem=5M723
51.92	   
51.92	   search
51.92	     run=1  nbConstraintChecks=115127783  nbAssignments=13993
51.92	       =>  wckTime=50.772  cpuTime=50.33  mem=5M723
51.92	   
51.92	   global
51.92	     nbConstraintChecks=115127783  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
51.92	     solvingWckTime=50.77  solvingCpuTime=50.32  expiredTime=no  totalExploration=no  nbFoundSolutions=0
51.92	     globalCpuTime=50.67
51.92	       =>  wckTime=51.294  cpuTime=50.62  mem=5M723
51.92	   
51.92	   solver IterativeSystematicSolver being built... 
52.09	       =>  wckTime=51.462  cpuTime=50.74  mem=19M606
52.28	   
52.28	   preprocessing
52.28	     nbConstraintChecks=218768  nbValidityChecks=161120  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
52.28	     nbRemovedValues=0  detectedInconsistency=no
52.28	       =>  wckTime=0.186  cpuTime=0.16  mem=19M606
52.49	   
52.49	   search
52.49	     run=0  nbConstraintChecks=191629  nbValidityChecks=425584  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
52.49	     nbAssignments=67  nbFailedAssignments=32  nbBacktracks=10  nbVisitedNodes=110  nbRestartNogoods=0
52.49	       =>  wckTime=0.394  cpuTime=0.36  mem=20M581
52.77	   
52.77	   search
52.77	     run=1  nbConstraintChecks=553620  nbValidityChecks=994996  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
52.77	     nbAssignments=137  nbFailedAssignments=61  nbBacktracks=25  nbVisitedNodes=224  nbRestartNogoods=7
52.77	       =>  wckTime=0.681  cpuTime=0.63  mem=20M581
53.10	   
53.10	   search
53.10	     run=2  nbConstraintChecks=960211  nbValidityChecks=1700136  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
53.10	     nbAssignments=226  nbFailedAssignments=100  nbBacktracks=47  nbVisitedNodes=374  nbRestartNogoods=13
53.10	       =>  wckTime=1.005  cpuTime=0.96  mem=20M581
53.59	   
53.59	   search
53.59	     run=3  nbConstraintChecks=1539290  nbValidityChecks=2782844  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
53.59	     nbAssignments=361  nbFailedAssignments=176  nbBacktracks=80  nbVisitedNodes=618  nbRestartNogoods=21
53.59	       =>  wckTime=1.494  cpuTime=1.44  mem=20M581
54.22	   
54.22	   search
54.22	     run=4  nbConstraintChecks=2305174  nbValidityChecks=4215331  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
54.22	     nbAssignments=537  nbFailedAssignments=272  nbBacktracks=130  nbVisitedNodes=940  nbRestartNogoods=25
54.22	       =>  wckTime=2.13  cpuTime=2.07  mem=20M581
55.08	   
55.08	   search
55.08	     run=5  nbConstraintChecks=3253997  nbValidityChecks=6199464  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
55.08	     nbAssignments=778  nbFailedAssignments=410  nbBacktracks=206  nbVisitedNodes=1395  nbRestartNogoods=31
55.08	       =>  wckTime=2.984  cpuTime=2.91  mem=20M581
56.37	   
56.37	   search
56.37	     run=6  nbConstraintChecks=4646799  nbValidityChecks=9161699  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
56.37	     nbAssignments=1144  nbFailedAssignments=635  nbBacktracks=319  nbVisitedNodes=2099  nbRestartNogoods=40
56.37	       =>  wckTime=4.276  cpuTime=4.19  mem=20M581
58.61	   
58.61	   search
58.61	     run=7  nbConstraintChecks=7080941  nbValidityChecks=14295646  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
58.61	     nbAssignments=1703  nbFailedAssignments=999  nbBacktracks=489  nbVisitedNodes=3192  nbRestartNogoods=54
58.61	       =>  wckTime=6.521  cpuTime=6.4  mem=20M581
61.62	   
61.62	   search
61.62	     run=8  nbConstraintChecks=10173232  nbValidityChecks=21456655  nbPropagations=0  nbRevisions=0
61.62	     nbUselessRevisions=0  nbAssignments=2550  nbFailedAssignments=1564  nbBacktracks=745  nbVisitedNodes=4860
61.62	     nbRestartNogoods=70
61.62	       =>  wckTime=9.532  cpuTime=9.38  mem=20M581
65.97	   
65.97	   search
65.97	     run=9  nbConstraintChecks=15038673  nbValidityChecks=31568631  nbPropagations=0  nbRevisions=0
65.97	     nbUselessRevisions=0  nbAssignments=3707  nbFailedAssignments=2309  nbBacktracks=1129  nbVisitedNodes=7146
65.97	     nbRestartNogoods=80
65.97	       =>  wckTime=13.883  cpuTime=13.69  mem=20M581
72.60	   
72.60	   search
72.60	     run=10  nbConstraintChecks=22312452  nbValidityChecks=47046366  nbPropagations=0  nbRevisions=0
72.60	     nbUselessRevisions=0  nbAssignments=5499  nbFailedAssignments=3499  nbBacktracks=1705  nbVisitedNodes=10704
72.60	     nbRestartNogoods=95
72.60	       =>  wckTime=20.506  cpuTime=20.24  mem=20M581
80.86	   
80.86	   search
80.86	     run=11  nbConstraintChecks=29783113  nbValidityChecks=67108209  nbPropagations=0  nbRevisions=0
80.86	     nbUselessRevisions=0  nbAssignments=7791  nbFailedAssignments=4906  nbBacktracks=2569  nbVisitedNodes=15254
80.86	     nbRestartNogoods=106
80.86	       =>  wckTime=28.768  cpuTime=28.43  mem=20M581
95.82	   
95.82	   search
95.82	     run=12  nbConstraintChecks=46923896  nbValidityChecks=101716360  nbPropagations=0  nbRevisions=0
95.82	     nbUselessRevisions=0  nbAssignments=11570  nbFailedAssignments=7363  nbBacktracks=3866  nbVisitedNodes=22786
95.82	     nbRestartNogoods=121
95.82	       =>  wckTime=43.723  cpuTime=43.27  mem=20M581
120.15	   
120.15	   search
120.15	     run=13  nbConstraintChecks=76254136  nbValidityChecks=156967130  nbPropagations=0  nbRevisions=0
120.15	     nbUselessRevisions=0  nbAssignments=17344  nbFailedAssignments=11162  nbBacktracks=5812  nbVisitedNodes=34305
120.15	     nbRestartNogoods=124
120.15	       =>  wckTime=68.061  cpuTime=67.4  mem=20M581
147.94	   
147.94	   search
147.94	     run=14  nbConstraintChecks=100218483  nbValidityChecks=224356104  nbPropagations=0  nbRevisions=0
147.94	     nbUselessRevisions=0  nbAssignments=25497  nbFailedAssignments=16374  nbBacktracks=8731  nbVisitedNodes=50527
147.95	     nbRestartNogoods=133
147.95	       =>  wckTime=95.853  cpuTime=94.97  mem=20M581
201.70	   
201.70	   search
201.70	     run=15  nbConstraintChecks=160866934  nbValidityChecks=348858337  nbPropagations=0  nbRevisions=0
201.70	     nbUselessRevisions=0  nbAssignments=39156  nbFailedAssignments=25630  nbBacktracks=13109  nbVisitedNodes=77819
201.70	     nbRestartNogoods=145
201.70	       =>  wckTime=149.603  cpuTime=148.27  mem=20M581
278.01	   
278.01	   search
278.01	     run=16  nbConstraintChecks=247670550  nbValidityChecks=525450835  nbPropagations=0  nbRevisions=0
278.01	     nbUselessRevisions=0  nbAssignments=59951  nbFailedAssignments=39831  nbBacktracks=19677  nbVisitedNodes=119382
278.01	     nbRestartNogoods=156
278.01	       =>  wckTime=225.914  cpuTime=223.93  mem=20M581
388.68	   
388.68	   search
388.68	     run=17  nbConstraintChecks=368765915  nbValidityChecks=786842992  nbPropagations=0  nbRevisions=0
388.68	     nbUselessRevisions=0  nbAssignments=89851  nbFailedAssignments=59852  nbBacktracks=29529  nbVisitedNodes=179146
388.68	     nbRestartNogoods=166
388.68	       =>  wckTime=336.59  cpuTime=333.52  mem=20M581
583.54	   
583.54	   search
583.54	     run=18  nbConstraintChecks=612450903  nbValidityChecks=1233561138  nbPropagations=0  nbRevisions=0
583.54	     nbUselessRevisions=0  nbAssignments=137342  nbFailedAssignments=92540  nbBacktracks=44307  nbVisitedNodes=274100
583.54	     nbRestartNogoods=186
583.54	       =>  wckTime=531.449  cpuTime=526.7  mem=20M581
750.68	   
750.69	   search
750.69	     run=19  nbConstraintChecks=748144856  nbValidityChecks=1648972128  nbPropagations=0  nbRevisions=0
750.69	     nbUselessRevisions=0  nbAssignments=191038  nbFailedAssignments=124044  nbBacktracks=66476  nbVisitedNodes=381165
750.69	     nbRestartNogoods=213
750.69	       =>  wckTime=698.593  cpuTime=692.44  mem=20M581
1166.55	   
1166.55	   search
1166.55	     run=20  nbConstraintChecks=1251736795  nbValidityChecks=2619341751  nbPropagations=0  nbRevisions=0
1166.55	     nbUselessRevisions=0  nbAssignments=293775  nbFailedAssignments=193503  nbBacktracks=99728  nbVisitedNodes=586369
1166.55	     nbRestartNogoods=236
1166.55	       =>  wckTime=1114.458  cpuTime=1104.78  mem=20M581
1757.59	   
1757.59	   search
1757.59	     run=21  nbConstraintChecks=2035189055  nbValidityChecks=4017450763  nbPropagations=0  nbRevisions=0
1757.59	     nbUselessRevisions=0  nbAssignments=444163  nbFailedAssignments=293986  nbBacktracks=149606  nbVisitedNodes=887017
1757.59	     nbRestartNogoods=251
1757.59	       =>  wckTime=1705.497  cpuTime=1690.84  mem=20M581
2421.05	v 6 0 7 0 8 0 1 0 5 0 4 2 2 1 6 6 7 5 8 7 1 4 3 8 2 2 5 1 8 3 6 3 4 7 1 5 7 2 3 7 4 1 8 4 5 6 6 8 1 2

Verifier Data (download as text)

80 unsatisfied constraints, 520 satisfied constraints

Watcher Data (download as text)

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

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

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

/proc/loadavg: 0.78 0.95 1.03 7/73 8223
/proc/meminfo: memFree=1036392/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=1784 CPUtime=0
/proc/8222/stat : 8222 (java) D 8217 8222 8084 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 270973319 1826816 140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 18446744072100037788 0 0 17 1 0 0
/proc/8222/statm: 446 140 106 14 0 91 0

[startup+0.106036 s]
/proc/loadavg: 0.78 0.95 1.03 7/73 8223
/proc/meminfo: memFree=1036392/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=912588 CPUtime=0.07
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 2751 0 1 0 6 1 0 0 19 0 8 0 270973319 934490112 2497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8222/statm: 228147 2497 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588

[startup+0.514855 s]
/proc/loadavg: 0.78 0.95 1.03 7/73 8223
/proc/meminfo: memFree=1036392/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915120 CPUtime=0.2
/proc/8222/stat : 8222 (java) D 8217 8222 8084 0 -1 0 4064 0 7 0 18 2 0 0 18 0 8 0 270973319 937082880 3816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8222/statm: 228780 3816 1841 14 0 215275 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 915120

[startup+1.34295 s]
/proc/loadavg: 0.78 0.95 1.03 5/87 8237
/proc/meminfo: memFree=989944/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=0.92
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 8117 0 13 0 84 8 0 0 20 0 8 0 270973319 937402368 7866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073689251 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 7866 2497 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 208 0 0 0 3 0 0 0 17 0 8 0 270973323 937402368 7866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 7866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.15
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 349 0 0 0 15 0 0 0 15 0 8 0 270973327 937402368 7866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 7866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 7866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 915432

[startup+2.99113 s]
/proc/loadavg: 0.78 0.95 1.03 3/87 8237
/proc/meminfo: memFree=989688/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=2.56
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 8119 0 13 0 245 11 0 0 25 0 8 0 270973319 937402368 7867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073766057 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 7867 2497 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 7867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 7867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.15
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 350 0 0 0 15 0 0 0 15 0 8 0 270973327 937402368 7867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 7867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 7867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 915432

[startup+6.26949 s]
/proc/loadavg: 0.88 0.97 1.04 3/87 8237
/proc/meminfo: memFree=989624/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=5.81
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 8123 0 13 0 566 15 0 0 25 0 8 0 270973319 937402368 7871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073766067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 7871 2499 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 7871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 7871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.16
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 354 0 0 0 16 0 0 0 15 0 8 0 270973327 937402368 7871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 7871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 7871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 915432

[startup+12.7532 s]
/proc/loadavg: 0.97 0.98 1.04 3/87 8237
/proc/meminfo: memFree=989624/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=12.23
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 8125 0 13 0 1202 21 0 0 25 0 8 0 270973319 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073691097 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 7873 2499 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.16
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 356 0 0 0 16 0 0 0 16 0 8 0 270973327 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 915432

[startup+25.5896 s]
/proc/loadavg: 1.19 1.03 1.06 4/87 8237
/proc/meminfo: memFree=989752/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=24.96
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 8125 0 13 0 2463 33 0 0 25 0 8 0 270973319 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073691943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 7873 2499 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.16
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 356 0 0 0 16 0 0 0 16 0 8 0 270973327 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 7873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 915432

[startup+51.2855 s]
/proc/loadavg: 1.47 1.11 1.08 3/87 8237
/proc/meminfo: memFree=989880/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=50.44
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 8127 0 13 0 4986 58 0 0 25 0 8 0 270973319 937402368 7875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 7875 2499 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 7875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 7875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 7875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.16
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 358 0 0 0 16 0 0 0 16 0 8 0 270973327 937402368 7875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 7875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 7875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 915432

[startup+102.58 s]
/proc/loadavg: 1.77 1.24 1.12 3/87 8237
/proc/meminfo: memFree=975288/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=101.3
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 10018 0 13 0 10069 61 0 0 25 0 8 0 270973319 937402368 9757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073933575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 9757 2551 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 9757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 9757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.28
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 427 0 0 0 27 1 0 0 16 0 8 0 270973327 937402368 9757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 9757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 9757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 915432

[startup+162.611 s]
/proc/loadavg: 1.91 1.38 1.18 3/87 8237
/proc/meminfo: memFree=975224/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=160.82
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 10023 0 13 0 16020 62 0 0 25 0 8 0 270973319 937402368 9762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073694927 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2005.98
Current children cumulated vsize (KiB) 915432

[startup+2083.68 s]
/proc/loadavg: 2.00 2.00 1.86 3/87 8437
/proc/meminfo: memFree=974648/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=2065.51
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 10046 0 13 0 206473 78 0 0 25 0 8 0 270973319 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073689078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 9784 2551 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.28
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2065.51
Current children cumulated vsize (KiB) 915432

[startup+2143.71 s]
/proc/loadavg: 2.00 2.00 1.87 3/87 8437
/proc/meminfo: memFree=974648/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=2125.03
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 10046 0 13 0 212425 78 0 0 25 0 8 0 270973319 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 9784 2551 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.28
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.03
Current children cumulated vsize (KiB) 915432

[startup+2203.73 s]
/proc/loadavg: 2.05 2.01 1.88 3/87 8437
/proc/meminfo: memFree=974648/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=2184.55
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 10046 0 13 0 218377 78 0 0 25 0 8 0 270973319 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073927281 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 9784 2551 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.28
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2184.55
Current children cumulated vsize (KiB) 915432

[startup+2263.76 s]
/proc/loadavg: 2.02 2.01 1.89 3/87 8437
/proc/meminfo: memFree=974648/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=2244.09
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 10046 0 13 0 224331 78 0 0 25 0 8 0 270973319 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073932035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 9784 2551 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.28
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2244.09
Current children cumulated vsize (KiB) 915432

[startup+2323.8 s]
/proc/loadavg: 2.00 2.00 1.89 3/87 8437
/proc/meminfo: memFree=974584/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=2303.6
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 10046 0 13 0 230282 78 0 0 25 0 8 0 270973319 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912053 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 9784 2551 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.28
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2303.6
Current children cumulated vsize (KiB) 915432

[startup+2383.83 s]
/proc/loadavg: 2.00 2.00 1.90 3/87 8437
/proc/meminfo: memFree=974648/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=2363.13
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 10046 0 13 0 236235 78 0 0 25 0 8 0 270973319 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073689088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 9784 2551 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.28
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2363.13
Current children cumulated vsize (KiB) 915432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2421.04 s]
/proc/loadavg: 2.00 2.00 1.90 3/81 8518
/proc/meminfo: memFree=1001112/2055920 swapFree=4191892/4192956
[pid=8222] ppid=8217 vsize=915432 CPUtime=2400.08
/proc/8222/stat : 8222 (java) R 8217 8222 8084 0 -1 0 10046 0 13 0 239929 79 0 0 25 0 8 0 270973319 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981622 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8222/statm: 228858 9784 2551 14 0 215328 0
[pid=8222/tid=8225] ppid=8217 vsize=915432 CPUtime=0.03
/proc/8222/task/8225/stat : 8225 (java) S 8217 8222 8084 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 270973323 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8228] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8228/stat : 8228 (java) S 8217 8222 8084 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8229] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8229/stat : 8229 (java) S 8217 8222 8084 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270973324 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8234] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8234/stat : 8234 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8235] ppid=8217 vsize=915432 CPUtime=0.28
/proc/8222/task/8235/stat : 8235 (java) S 8217 8222 8084 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8222/tid=8236] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8236/stat : 8236 (java) S 8217 8222 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8222/tid=8237] ppid=8217 vsize=915432 CPUtime=0
/proc/8222/task/8237/stat : 8237 (java) S 8217 8222 8084 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270973327 937402368 9784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915432

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

Child status: 143
Real time (s): 2421.12
CPU time (s): 2400.16
CPU user time (s): 2399.35
CPU system time (s): 0.803877
CPU usage (%): 99.1344
Max. virtual memory (cumulated for all children) (KiB): 915436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.35
system time used= 0.803877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10070
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50386
involuntary context switches= 104899

runsolver used 2.27065 s user time and 6.601 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Fri Jan 19 16:55:41 UTC 2007


IDJOB= 275702
IDBENCH= 4581
IDSOLVER= 68
FILE ID= node42/275702-1169225741

PBS_JOBID= 3589238

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-50-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275702-1169225741/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-275702-1169225741 -o ROOT/results/node42/solver-275702-1169225741 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275702-1169225741/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bfb8f2c05e7a4ff48488062c6ec8a2e7

RANDOM SEED= 565367076

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1037096 kB
Buffers:         48568 kB
Cached:         876440 kB
SwapCached:        268 kB
Active:         247872 kB
Inactive:       696840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1037096 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            3688 kB
Writeback:           0 kB
Mapped:          28640 kB
Slab:            59708 kB
Committed_AS:  4831788 kB
PageTables:       1680 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node42 on Fri Jan 19 17:36:02 UTC 2007