Trace number 278254

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.14 2409.11

General information on the benchmark

NameMaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2100-244621_ext.xml
MD5SUMdbe6e80b0ee55ab022321ccaba3caf81
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints1726
Best CPU time to get the best result obtained on this benchmark127.78
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints1889
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension1889
Number of constraints which are defined in intension0
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/278254-1169283731/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.41	       =>  wckTime=0.09  cpuTime=0.08  mem=6M887
0.41	   
0.41	   relations being loaded...
0.42	   
0.42	   constraints being loaded...
0.67	     nbConstraints=1889  nbRelationTypes=43  nbExtensionStructures=43  nbSharedExtensionStructures=1846
0.67	     nbConflictsStructures=43  nbSharedConflictsStructures=1846  nbSharedBinaryRepresentations=0  maxDegree=172
0.67	     maxArity=3
0.67	       =>  wckTime=0.356  cpuTime=0.22  mem=12M739
0.72	   
0.72	   solver LocalSearchSolver being built... 
0.76	       =>  wckTime=0.449  cpuTime=0.27  mem=6M363
0.77	
0.77	s SATISFIABLE
0.77	o 1641
0.77	c 248
0.77	o 1653
0.77	c 236
0.78	o 1667
0.78	c 222
0.78	o 1675
0.78	c 214
0.78	o 1681
0.78	c 208
0.78	o 1686
0.78	c 203
0.78	o 1695
0.78	c 194
0.78	o 1698
0.78	c 191
0.78	o 1702
0.78	c 187
0.78	o 1703
0.78	c 186
0.78	o 1707
0.78	c 182
0.78	o 1710
0.78	c 179
0.79	o 1712
0.79	c 177
0.79	o 1713
0.79	c 176
0.96	o 1714
0.96	c 175
0.96	o 1715
0.96	c 174
1.30	o 1718
1.30	c 171
1.30	o 1720
1.30	c 169
1.30	o 1721
1.30	c 168
1.30	o 1723
1.30	c 166
2.85	o 1724
2.85	c 165
7.03	o 1725
7.03	c 164
7.80	   
7.80	   search
7.80	     run=0  nbConstraintChecks=41799083  nbAssignments=10000
7.80	       =>  wckTime=7.032  cpuTime=6.92  mem=6M363
14.68	   
14.68	   search
14.68	     run=1  nbConstraintChecks=84634153  nbAssignments=20000
14.68	       =>  wckTime=13.918  cpuTime=13.74  mem=6M363
21.40	   
21.40	   search
21.40	     run=2  nbConstraintChecks=126410294  nbAssignments=30000
21.40	       =>  wckTime=20.637  cpuTime=20.4  mem=6M363
28.32	   
28.32	   search
28.32	     run=3  nbConstraintChecks=169216152  nbAssignments=40000
28.32	       =>  wckTime=27.56  cpuTime=27.25  mem=6M363
35.05	   
35.05	   search
35.05	     run=4  nbConstraintChecks=211004996  nbAssignments=50000
35.05	       =>  wckTime=34.285  cpuTime=33.92  mem=6M363
37.31	   
37.31	   search
37.31	     run=5  nbConstraintChecks=225111600  nbAssignments=53288
37.31	       =>  wckTime=36.545  cpuTime=36.17  mem=6M363
37.31	   
37.31	   global
37.31	     nbConstraintChecks=225111600  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.31	     solvingWckTime=36.544  solvingCpuTime=36.17  expiredTime=no  totalExploration=no  nbFoundSolutions=0
37.31	     globalCpuTime=36.49
37.31	       =>  wckTime=36.994  cpuTime=36.44  mem=6M363
37.31	   
37.31	   solver IterativeSystematicSolver being built... 
37.51	       =>  wckTime=37.193  cpuTime=36.59  mem=27M220
37.65	   
37.65	   preprocessing
37.65	     nbConstraintChecks=17309  nbValidityChecks=42971  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.65	     nbRemovedValues=0  detectedInconsistency=no
37.65	       =>  wckTime=0.134  cpuTime=0.11  mem=27M220
37.77	   
37.77	   search
37.77	     run=0  nbConstraintChecks=36663  nbValidityChecks=94793  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.77	     nbAssignments=42  nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=60  nbRestartNogoods=0
37.77	       =>  wckTime=0.256  cpuTime=0.23  mem=28M196
37.92	   
37.92	   search
37.92	     run=1  nbConstraintChecks=85797  nbValidityChecks=222407  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.92	     nbAssignments=92  nbFailedAssignments=17  nbBacktracks=25  nbVisitedNodes=135  nbRestartNogoods=2
37.92	       =>  wckTime=0.407  cpuTime=0.37  mem=28M196
38.11	   
38.11	   search
38.11	     run=2  nbConstraintChecks=152943  nbValidityChecks=413667  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.11	     nbAssignments=156  nbFailedAssignments=36  nbBacktracks=47  nbVisitedNodes=238  nbRestartNogoods=4
38.11	       =>  wckTime=0.594  cpuTime=0.55  mem=28M196
38.34	   
38.34	   search
38.34	     run=3  nbConstraintChecks=242747  nbValidityChecks=666057  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.34	     nbAssignments=233  nbFailedAssignments=56  nbBacktracks=80  nbVisitedNodes=368  nbRestartNogoods=8
38.34	       =>  wckTime=0.829  cpuTime=0.78  mem=28M196
38.69	   
38.69	   search
38.69	     run=4  nbConstraintChecks=367899  nbValidityChecks=1045421  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.69	     nbAssignments=336  nbFailedAssignments=88  nbBacktracks=130  nbVisitedNodes=553  nbRestartNogoods=10
38.69	       =>  wckTime=1.179  cpuTime=1.12  mem=28M196
39.23	   
39.23	   search
39.23	     run=5  nbConstraintChecks=561779  nbValidityChecks=1647518  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.23	     nbAssignments=495  nbFailedAssignments=147  nbBacktracks=205  nbVisitedNodes=842  nbRestartNogoods=13
39.23	       =>  wckTime=1.72  cpuTime=1.66  mem=28M196
40.04	   
40.04	   search
40.04	     run=6  nbConstraintChecks=834932  nbValidityChecks=2554340  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.04	     nbAssignments=714  nbFailedAssignments=234  nbBacktracks=318  nbVisitedNodes=1257  nbRestartNogoods=15
40.04	       =>  wckTime=2.531  cpuTime=2.46  mem=28M196
41.31	   
41.31	   search
41.31	     run=7  nbConstraintChecks=1230114  nbValidityChecks=3908264  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
41.31	     nbAssignments=1031  nbFailedAssignments=362  nbBacktracks=488  nbVisitedNodes=1867  nbRestartNogoods=20
41.31	       =>  wckTime=3.801  cpuTime=3.72  mem=28M196
43.20	   
43.20	   search
43.20	     run=8  nbConstraintChecks=1817410  nbValidityChecks=5947511  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.20	     nbAssignments=1502  nbFailedAssignments=557  nbBacktracks=744  nbVisitedNodes=2776  nbRestartNogoods=25
43.20	       =>  wckTime=5.687  cpuTime=5.56  mem=28M196
45.90	   
45.90	   search
45.90	     run=9  nbConstraintChecks=2736849  nbValidityChecks=9050705  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
45.90	     nbAssignments=2201  nbFailedAssignments=852  nbBacktracks=1128  nbVisitedNodes=4142  nbRestartNogoods=29
45.90	       =>  wckTime=8.391  cpuTime=8.24  mem=28M196
49.89	   
49.89	   search
49.89	     run=10  nbConstraintChecks=4199030  nbValidityChecks=13835636  nbPropagations=0  nbRevisions=0
49.89	     nbUselessRevisions=0  nbAssignments=3268  nbFailedAssignments=1322  nbBacktracks=1705  nbVisitedNodes=6234
49.89	     nbRestartNogoods=35
49.89	       =>  wckTime=12.383  cpuTime=12.18  mem=28M196
55.14	   
55.14	   search
55.14	     run=11  nbConstraintChecks=6397170  nbValidityChecks=20411760  nbPropagations=0  nbRevisions=0
55.14	     nbUselessRevisions=0  nbAssignments=4742  nbFailedAssignments=1911  nbBacktracks=2569  nbVisitedNodes=9139
55.14	     nbRestartNogoods=40
55.14	       =>  wckTime=17.632  cpuTime=17.38  mem=28M196
63.71	   
63.71	   search
63.71	     run=12  nbConstraintChecks=9453407  nbValidityChecks=30757181  nbPropagations=0  nbRevisions=0
63.71	     nbUselessRevisions=0  nbAssignments=7023  nbFailedAssignments=2873  nbBacktracks=3866  nbVisitedNodes=13629
63.71	     nbRestartNogoods=47
63.71	       =>  wckTime=26.198  cpuTime=25.86  mem=28M196
77.37	   
77.37	   search
77.37	     run=13  nbConstraintChecks=13759679  nbValidityChecks=46364730  nbPropagations=0  nbRevisions=0
77.37	     nbUselessRevisions=0  nbAssignments=10453  nbFailedAssignments=4339  nbBacktracks=5812  nbVisitedNodes=20417
77.37	     nbRestartNogoods=53
77.37	       =>  wckTime=39.861  cpuTime=39.4  mem=28M196
98.72	   
98.72	   search
98.72	     run=14  nbConstraintChecks=20212984  nbValidityChecks=70729775  nbPropagations=0  nbRevisions=0
98.72	     nbUselessRevisions=0  nbAssignments=15684  nbFailedAssignments=6634  nbBacktracks=8731  nbVisitedNodes=30734
98.72	     nbRestartNogoods=58
98.72	       =>  wckTime=61.212  cpuTime=60.55  mem=28M196
131.24	   
131.24	   search
131.24	     run=15  nbConstraintChecks=29472168  nbValidityChecks=106826395  nbPropagations=0  nbRevisions=0
131.24	     nbUselessRevisions=0  nbAssignments=23531  nbFailedAssignments=10086  nbBacktracks=13110  nbVisitedNodes=46231
131.24	     nbRestartNogoods=64
131.24	       =>  wckTime=93.728  cpuTime=92.78  mem=28M196
177.25	   
177.25	   search
177.25	     run=16  nbConstraintChecks=43580803  nbValidityChecks=160059716  nbPropagations=0  nbRevisions=0
177.25	     nbUselessRevisions=0  nbAssignments=34759  nbFailedAssignments=14727  nbBacktracks=19679  nbVisitedNodes=68497
177.25	     nbRestartNogoods=71
177.25	       =>  wckTime=139.738  cpuTime=138.36  mem=28M196
250.09	   
250.09	   search
250.09	     run=17  nbConstraintChecks=65303922  nbValidityChecks=242727148  nbPropagations=0  nbRevisions=0
250.09	     nbUselessRevisions=0  nbAssignments=52381  nbFailedAssignments=22478  nbBacktracks=29531  nbVisitedNodes=103314
250.09	     nbRestartNogoods=75
250.09	       =>  wckTime=212.576  cpuTime=210.52  mem=28M196
359.24	   
359.24	   search
359.24	     run=18  nbConstraintChecks=96980127  nbValidityChecks=368227832  nbPropagations=0  nbRevisions=0
359.24	     nbUselessRevisions=0  nbAssignments=78493  nbFailedAssignments=33793  nbBacktracks=44310  nbVisitedNodes=154916
359.24	     nbRestartNogoods=81
359.24	       =>  wckTime=321.73  cpuTime=318.66  mem=28M196
527.96	   
527.96	   search
527.96	     run=19  nbConstraintChecks=142731626  nbValidityChecks=556524247  nbPropagations=0  nbRevisions=0
527.96	     nbUselessRevisions=0  nbAssignments=118443  nbFailedAssignments=51559  nbBacktracks=66479  nbVisitedNodes=233743
527.96	     nbRestartNogoods=88
527.96	       =>  wckTime=490.445  cpuTime=485.82  mem=28M196
771.86	   
771.86	   search
771.86	     run=20  nbConstraintChecks=214273492  nbValidityChecks=844332575  nbPropagations=0  nbRevisions=0
771.86	     nbUselessRevisions=0  nbAssignments=177207  nbFailedAssignments=77054  nbBacktracks=99731  nbVisitedNodes=349810
771.86	     nbRestartNogoods=97
771.86	       =>  wckTime=734.354  cpuTime=727.5  mem=28M196
1129.21	   
1129.21	   search
1129.21	     run=21  nbConstraintChecks=317337248  nbValidityChecks=1266017385  nbPropagations=0  nbRevisions=0
1129.21	     nbUselessRevisions=0  nbAssignments=264500  nbFailedAssignments=114453  nbBacktracks=149609  nbVisitedNodes=522313
1129.21	     nbRestartNogoods=103
1129.21	       =>  wckTime=1091.696  cpuTime=1083.53  mem=28M196
1649.97	   
1649.97	   search
1649.97	     run=22  nbConstraintChecks=473659053  nbValidityChecks=1882994162  nbPropagations=0  nbRevisions=0
1649.97	     nbUselessRevisions=0  nbAssignments=397400  nbFailedAssignments=172520  nbBacktracks=224427  nbVisitedNodes=784313
1649.97	     nbRestartNogoods=113
1649.97	       =>  wckTime=1612.462  cpuTime=1604.1  mem=28M196
2400.87	   
2400.87	   search
2400.87	     run=23  nbConstraintChecks=710619622  nbValidityChecks=2815632136  nbPropagations=0  nbRevisions=0
2400.87	     nbUselessRevisions=0  nbAssignments=592865  nbFailedAssignments=255741  nbBacktracks=336654  nbVisitedNodes=1169646
2400.87	     nbRestartNogoods=123
2400.87	       =>  wckTime=2363.359  cpuTime=2354.71  mem=28M196
2409.02	v 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1

Verifier Data (download as text)

164 unsatisfied constraints, 1725 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/node11/watcher-278254-1169283731 -o ROOT/results/node11/solver-278254-1169283731 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278254-1169283731/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: 2.00 2.00 2.00 4/92 20655
/proc/meminfo: memFree=1273744/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=18540 CPUtime=0
/proc/20654/stat : 20654 (runsolver) R 20652 20654 19244 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 276768147 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20654/statm: 4635 279 244 17 0 2626 0

[startup+0.107906 s]
/proc/loadavg: 2.00 2.00 2.00 4/92 20655
/proc/meminfo: memFree=1273744/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=914988 CPUtime=0.08
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 276768147 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20654/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516985 s]
/proc/loadavg: 2.00 2.00 2.00 4/92 20655
/proc/meminfo: memFree=1273744/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915332 CPUtime=0.48
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 6356 0 1 0 45 3 0 0 18 0 8 0 276768147 937299968 6095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20654/statm: 228833 6095 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33915 s]
/proc/loadavg: 2.00 2.00 2.00 4/99 20662
/proc/meminfo: memFree=1251160/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=1.3
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 8295 0 1 0 121 9 0 0 25 0 8 0 276768147 937414656 8033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20654/statm: 228861 8033 2477 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 8033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 8033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 8033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 8033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.17
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 368 0 0 0 17 0 0 0 16 0 8 0 276768156 937414656 8033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 8033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 276768156 937414656 8033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444

[startup+2.97747 s]
/proc/loadavg: 2.00 2.00 2.00 3/99 20662
/proc/meminfo: memFree=1251032/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=2.9
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 8302 0 1 0 272 18 0 0 25 0 8 0 276768147 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20654/statm: 228861 8039 2479 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.18
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 276768156 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915444

[startup+6.27713 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20682
/proc/meminfo: memFree=1251968/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=6.17
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 8302 0 1 0 582 35 0 0 25 0 8 0 276768147 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20654/statm: 228861 8039 2479 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.18
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 276768156 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 8039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915444

[startup+12.7544 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20682
/proc/meminfo: memFree=1251984/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=12.59
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 8305 0 1 0 1182 77 0 0 25 0 8 0 276768147 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20654/statm: 228861 8042 2479 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.19
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 377 0 0 0 19 0 0 0 17 0 8 0 276768156 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915444

[startup+25.619 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20682
/proc/meminfo: memFree=1252048/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=25.34
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 8305 0 1 0 2379 155 0 0 25 0 8 0 276768147 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20654/statm: 228861 8042 2479 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 365 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.19
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 377 0 0 0 19 0 0 0 17 0 8 0 276768156 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 8042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915444

[startup+51.2461 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20682
/proc/meminfo: memFree=1238288/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=50.73
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 11859 0 1 0 4844 229 0 0 25 0 8 0 276768147 937414656 11589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20654/statm: 228861 11589 2535 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 11589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 11589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 11589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 11589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.32
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 443 0 0 0 31 1 0 0 16 0 8 0 276768156 937414656 11589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 11589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 11589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915444

[startup+102.497 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20682
/proc/meminfo: memFree=1238352/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=101.51
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 11871 0 1 0 9922 229 0 0 25 0 8 0 276768147 937414656 11601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953561 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20654/statm: 228861 11601 2535 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 11601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 11601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 11601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 11601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.32
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 445 0 0 0 31 1 0 0 16 0 8 0 276768156 937414656 11601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 11601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 11601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915444

[startup+162.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20682
/proc/meminfo: memFree=1238416/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=160.97
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 11875 0 1 0 15867 230 0 0 25 0 8 0 276768147 937414656 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2014.28
Current children cumulated vsize (KiB) 915444

[startup+2083.11 s]
/proc/loadavg: 1.07 1.03 1.26 2/85 20702
/proc/meminfo: memFree=1250472/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=2074.3
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 11892 0 1 0 207191 239 0 0 25 0 8 0 276768147 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073974541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20654/statm: 228861 11622 2535 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.32
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 446 0 0 0 31 1 0 0 16 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.3
Current children cumulated vsize (KiB) 915444

[startup+2143.13 s]
/proc/loadavg: 1.02 1.02 1.25 2/85 20702
/proc/meminfo: memFree=1250536/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=2134.29
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 11892 0 1 0 213190 239 0 0 25 0 8 0 276768147 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951305 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20654/statm: 228861 11622 2535 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.32
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 446 0 0 0 31 1 0 0 16 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.29
Current children cumulated vsize (KiB) 915444

[startup+2203.14 s]
/proc/loadavg: 1.01 1.02 1.23 2/85 20702
/proc/meminfo: memFree=1250472/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=2194.28
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 11892 0 1 0 219189 239 0 0 25 0 8 0 276768147 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20654/statm: 228861 11622 2535 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.32
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 446 0 0 0 31 1 0 0 16 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.28
Current children cumulated vsize (KiB) 915444

[startup+2263.16 s]
/proc/loadavg: 1.00 1.01 1.21 2/85 20702
/proc/meminfo: memFree=1250472/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=2254.28
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 11892 0 1 0 225189 239 0 0 25 0 8 0 276768147 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20654/statm: 228861 11622 2535 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.32
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 446 0 0 0 31 1 0 0 16 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.28
Current children cumulated vsize (KiB) 915444

[startup+2323.19 s]
/proc/loadavg: 1.00 1.01 1.19 2/85 20702
/proc/meminfo: memFree=1250536/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=2314.28
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 11892 0 1 0 231189 239 0 0 25 0 8 0 276768147 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20654/statm: 228861 11622 2535 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.32
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 446 0 0 0 31 1 0 0 16 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.28
Current children cumulated vsize (KiB) 915444

[startup+2383.21 s]
/proc/loadavg: 1.00 1.00 1.18 2/85 20702
/proc/meminfo: memFree=1250472/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=2374.28
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 11892 0 1 0 237189 239 0 0 25 0 8 0 276768147 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20654/statm: 228861 11622 2535 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.32
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 446 0 0 0 31 1 0 0 16 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 11622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.28
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2409.01 s]
/proc/loadavg: 1.00 1.00 1.17 2/85 20702
/proc/meminfo: memFree=1250472/2055920 swapFree=4171812/4192956
[pid=20654] ppid=20652 vsize=915444 CPUtime=2400.07
/proc/20654/stat : 20654 (java) R 20652 20654 19244 0 -1 0 11895 0 1 0 239768 239 0 0 25 0 8 0 276768147 937414656 11625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951366 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20654/statm: 228861 11625 2535 14 0 215331 0
[pid=20654/tid=20656] ppid=20652 vsize=915444 CPUtime=0.03
/proc/20654/task/20656/stat : 20656 (java) S 20652 20654 19244 0 -1 64 366 0 0 0 3 0 0 0 16 0 8 0 276768152 937414656 11625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20657] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20657/stat : 20657 (java) S 20652 20654 19244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276768152 937414656 11625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20658] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20658/stat : 20658 (java) S 20652 20654 19244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276768152 937414656 11625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20659] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20659/stat : 20659 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276768156 937414656 11625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20660] ppid=20652 vsize=915444 CPUtime=0.32
/proc/20654/task/20660/stat : 20660 (java) S 20652 20654 19244 0 -1 64 446 0 0 0 31 1 0 0 16 0 8 0 276768156 937414656 11625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20661] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20661/stat : 20661 (java) S 20652 20654 19244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276768156 937414656 11625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20654/tid=20662] ppid=20652 vsize=915444 CPUtime=0
/proc/20654/task/20662/stat : 20662 (java) S 20652 20654 19244 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276768156 937414656 11625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915444

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

Child status: 143
Real time (s): 2409.11
CPU time (s): 2400.14
CPU user time (s): 2397.73
CPU system time (s): 2.40064
CPU usage (%): 99.6273
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.73
system time used= 2.40063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11916
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= 50087
involuntary context switches= 52069

runsolver used 2.89156 s user time and 6.45302 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Jan 20 09:02:11 UTC 2007


IDJOB= 278254
IDBENCH= 8183
IDSOLVER= 68
FILE ID= node11/278254-1169283731

PBS_JOBID= 3609475

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2100-244621_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278254-1169283731/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-278254-1169283731 -o ROOT/results/node11/solver-278254-1169283731 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278254-1169283731/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  dbe6e80b0ee55ab022321ccaba3caf81

RANDOM SEED= 698632504

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.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
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:       1274160 kB
Buffers:         64256 kB
Cached:         589252 kB
SwapCached:       2828 kB
Active:         233752 kB
Inactive:       468028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1274160 kB
SwapTotal:     4192956 kB
SwapFree:      4171812 kB
Dirty:            1892 kB
Writeback:           0 kB
Mapped:          67136 kB
Slab:            64364 kB
Committed_AS:  8489816 kB
PageTables:       2576 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= 66563 MiB



End job on node11 on Sat Jan 20 09:42:20 UTC 2007