Trace number 278128

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.09 2400.89

General information on the benchmark

NameMaxCSP/cnf/3-40-1100-2000/
cnf-3-40-1700-341821_ext.xml
MD5SUM35492032a20db64b0cb7c663c21cea73
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints1424
Best CPU time to get the best result obtained on this benchmark103.976
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints1552
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension1552
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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=epfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/278128-1169275905/unknown.xml
0.42	   
0.42	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.45	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.45	       =>  wckTime=0.088  cpuTime=0.09  mem=6M887
0.45	   
0.45	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.69	     nbConstraints=1552  nbRelationTypes=41  nbExtensionStructures=41  nbSharedExtensionStructures=1511
0.69	     nbConflictsStructures=41  nbSharedConflictsStructures=1511  nbSharedBinaryRepresentations=0  maxDegree=140
0.69	     maxArity=3
0.69	       =>  wckTime=0.332  cpuTime=0.21  mem=11M763
0.74	   
0.74	   solver LocalSearchSolver being built... 
0.78	       =>  wckTime=0.418  cpuTime=0.26  mem=6M187
0.79	
0.79	s SATISFIABLE
0.79	o 1367
0.79	c 185
0.79	o 1372
0.79	c 180
0.79	o 1385
0.79	c 167
0.79	o 1390
0.79	c 162
0.79	o 1399
0.79	c 153
0.79	o 1405
0.79	c 147
0.79	o 1408
0.79	c 144
0.79	o 1409
0.79	c 143
0.89	o 1410
0.89	c 142
0.90	o 1414
0.90	c 138
0.90	o 1417
0.90	c 135
1.09	o 1421
1.09	c 131
1.30	o 1422
1.30	c 130
3.91	o 1423
3.91	c 129
6.28	   
6.28	   search
6.28	     run=0  nbConstraintChecks=33937374  nbAssignments=10000
6.28	       =>  wckTime=5.496  cpuTime=5.48  mem=6M187
11.81	   
11.81	   search
11.81	     run=1  nbConstraintChecks=68858857  nbAssignments=20000
11.81	       =>  wckTime=11.028  cpuTime=11.01  mem=6M187
17.16	   
17.16	   search
17.16	     run=2  nbConstraintChecks=102803134  nbAssignments=30000
17.16	       =>  wckTime=16.378  cpuTime=16.36  mem=6M187
18.49	o 1424
18.49	c 128
22.63	   
22.63	   search
22.63	     run=3  nbConstraintChecks=137655921  nbAssignments=40000
22.63	       =>  wckTime=21.855  cpuTime=21.83  mem=6M187
28.01	   
28.01	   search
28.01	     run=4  nbConstraintChecks=171516979  nbAssignments=50000
28.01	       =>  wckTime=27.234  cpuTime=27.21  mem=6M187
33.52	   
33.52	   search
33.52	     run=5  nbConstraintChecks=206362608  nbAssignments=60000
33.52	       =>  wckTime=32.737  cpuTime=32.72  mem=6M187
38.85	   
38.85	   search
38.85	     run=6  nbConstraintChecks=240191533  nbAssignments=70000
38.85	       =>  wckTime=38.068  cpuTime=38.04  mem=6M187
44.34	   
44.34	   search
44.34	     run=7  nbConstraintChecks=275116630  nbAssignments=80000
44.34	       =>  wckTime=43.565  cpuTime=43.54  mem=6M187
48.50	   
48.50	   search
48.50	     run=8  nbConstraintChecks=301237383  nbAssignments=87777
48.50	       =>  wckTime=47.718  cpuTime=47.7  mem=6M187
48.50	   
48.50	   global
48.50	     nbConstraintChecks=301237383  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.50	     solvingWckTime=47.717  solvingCpuTime=47.69  expiredTime=no  totalExploration=no  nbFoundSolutions=0
48.50	     globalCpuTime=47.99
48.50	       =>  wckTime=48.137  cpuTime=47.95  mem=6M187
48.50	   
48.50	   solver IterativeSystematicSolver being built... 
48.68	       =>  wckTime=48.32  cpuTime=48.1  mem=24M988
48.79	   
48.79	   preprocessing
48.79	     nbConstraintChecks=12899  nbValidityChecks=31512  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.79	     nbRemovedValues=0  detectedInconsistency=no
48.79	       =>  wckTime=0.101  cpuTime=0.08  mem=24M988
48.87	   
48.87	   search
48.87	     run=0  nbConstraintChecks=24850  nbValidityChecks=75544  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.87	     nbAssignments=40  nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=57  nbRestartNogoods=0
48.87	       =>  wckTime=0.189  cpuTime=0.16  mem=25M979
48.98	   
48.98	   search
48.98	     run=1  nbConstraintChecks=60612  nbValidityChecks=177558  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.98	     nbAssignments=88  nbFailedAssignments=18  nbBacktracks=25  nbVisitedNodes=130  nbRestartNogoods=2
48.98	       =>  wckTime=0.296  cpuTime=0.26  mem=25M979
49.12	   
49.12	   search
49.12	     run=2  nbConstraintChecks=116171  nbValidityChecks=343691  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
49.12	     nbAssignments=152  nbFailedAssignments=37  nbBacktracks=48  nbVisitedNodes=236  nbRestartNogoods=5
49.12	       =>  wckTime=0.435  cpuTime=0.4  mem=25M979
49.27	   
49.27	   search
49.27	     run=3  nbConstraintChecks=190169  nbValidityChecks=540833  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
49.27	     nbAssignments=226  nbFailedAssignments=56  nbBacktracks=81  nbVisitedNodes=361  nbRestartNogoods=7
49.27	       =>  wckTime=0.59  cpuTime=0.55  mem=25M979
49.53	   
49.53	   search
49.53	     run=4  nbConstraintChecks=311091  nbValidityChecks=874442  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
49.53	     nbAssignments=339  nbFailedAssignments=94  nbBacktracks=133  nbVisitedNodes=562  nbRestartNogoods=8
49.53	       =>  wckTime=0.845  cpuTime=0.8  mem=25M979
49.91	   
49.91	   search
49.91	     run=5  nbConstraintChecks=452631  nbValidityChecks=1334146  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
49.91	     nbAssignments=488  nbFailedAssignments=145  nbBacktracks=208  nbVisitedNodes=834  nbRestartNogoods=12
49.91	       =>  wckTime=1.224  cpuTime=1.18  mem=25M979
50.48	   
50.48	   search
50.48	     run=6  nbConstraintChecks=671842  nbValidityChecks=2068975  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
50.48	     nbAssignments=707  nbFailedAssignments=228  nbBacktracks=322  nbVisitedNodes=1243  nbRestartNogoods=14
50.48	       =>  wckTime=1.793  cpuTime=1.74  mem=25M979
51.38	   
51.38	   search
51.38	     run=7  nbConstraintChecks=1011767  nbValidityChecks=3174353  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
51.38	     nbAssignments=1028  nbFailedAssignments=360  nbBacktracks=492  nbVisitedNodes=1859  nbRestartNogoods=16
51.38	       =>  wckTime=2.697  cpuTime=2.65  mem=25M979
52.69	   
52.69	   search
52.69	     run=8  nbConstraintChecks=1468803  nbValidityChecks=4784203  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
52.69	     nbAssignments=1492  nbFailedAssignments=550  nbBacktracks=748  nbVisitedNodes=2756  nbRestartNogoods=22
52.69	       =>  wckTime=4.005  cpuTime=3.94  mem=25M979
54.48	   
54.48	   search
54.48	     run=9  nbConstraintChecks=2238211  nbValidityChecks=7273122  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
54.48	     nbAssignments=2186  nbFailedAssignments=839  nbBacktracks=1132  nbVisitedNodes=4107  nbRestartNogoods=26
54.48	       =>  wckTime=5.793  cpuTime=5.71  mem=25M979
57.34	   
57.34	   search
57.34	     run=10  nbConstraintChecks=3244467  nbValidityChecks=10894324  nbPropagations=0  nbRevisions=0
57.34	     nbUselessRevisions=0  nbAssignments=3186  nbFailedAssignments=1243  nbBacktracks=1708  nbVisitedNodes=6070
57.34	     nbRestartNogoods=30
57.34	       =>  wckTime=8.656  cpuTime=8.57  mem=25M979
61.74	   
61.74	   search
61.74	     run=11  nbConstraintChecks=4780724  nbValidityChecks=16681368  nbPropagations=0  nbRevisions=0
61.74	     nbUselessRevisions=0  nbAssignments=4748  nbFailedAssignments=1924  nbBacktracks=2572  nbVisitedNodes=9127
61.74	     nbRestartNogoods=34
61.74	       =>  wckTime=13.054  cpuTime=12.96  mem=25M979
68.16	   
68.16	   search
68.16	     run=12  nbConstraintChecks=7219513  nbValidityChecks=25319089  nbPropagations=0  nbRevisions=0
68.16	     nbUselessRevisions=0  nbAssignments=7045  nbFailedAssignments=2904  nbBacktracks=3871  nbVisitedNodes=13648
68.16	     nbRestartNogoods=39
68.16	       =>  wckTime=19.473  cpuTime=19.38  mem=25M979
77.54	   
77.54	   search
77.54	     run=13  nbConstraintChecks=10780252  nbValidityChecks=37800541  nbPropagations=0  nbRevisions=0
77.54	     nbUselessRevisions=0  nbAssignments=10391  nbFailedAssignments=4286  nbBacktracks=5817  nbVisitedNodes=20248
77.54	     nbRestartNogoods=46
77.54	       =>  wckTime=28.853  cpuTime=28.75  mem=25M979
92.32	   
92.32	   search
92.32	     run=14  nbConstraintChecks=16000111  nbValidityChecks=57105055  nbPropagations=0  nbRevisions=0
92.32	     nbUselessRevisions=0  nbAssignments=15527  nbFailedAssignments=6482  nbBacktracks=8738  nbVisitedNodes=30389
92.32	     nbRestartNogoods=55
92.32	       =>  wckTime=43.633  cpuTime=43.53  mem=25M979
114.28	   
114.28	   search
114.28	     run=15  nbConstraintChecks=23482955  nbValidityChecks=85729104  nbPropagations=0  nbRevisions=0
114.28	     nbUselessRevisions=0  nbAssignments=23101  nbFailedAssignments=9659  nbBacktracks=13117  nbVisitedNodes=45323
114.28	     nbRestartNogoods=60
114.28	       =>  wckTime=65.6  cpuTime=65.49  mem=25M979
149.44	   
149.44	   search
149.44	     run=16  nbConstraintChecks=34497030  nbValidityChecks=129794261  nbPropagations=0  nbRevisions=0
149.44	     nbUselessRevisions=0  nbAssignments=34810  nbFailedAssignments=14784  nbBacktracks=19685  nbVisitedNodes=68423
149.44	     nbRestartNogoods=66
149.44	       =>  wckTime=100.757  cpuTime=100.63  mem=25M979
200.04	   
200.04	   search
200.04	     run=17  nbConstraintChecks=51887811  nbValidityChecks=195485624  nbPropagations=0  nbRevisions=0
200.04	     nbUselessRevisions=0  nbAssignments=52083  nbFailedAssignments=22188  nbBacktracks=29538  nbVisitedNodes=102616
200.04	     nbRestartNogoods=69
200.04	       =>  wckTime=151.361  cpuTime=151.22  mem=25M979
279.17	   
279.17	   search
279.17	     run=18  nbConstraintChecks=76733919  nbValidityChecks=295395332  nbPropagations=0  nbRevisions=0
279.17	     nbUselessRevisions=0  nbAssignments=78264  nbFailedAssignments=33576  nbBacktracks=44316  nbVisitedNodes=154174
279.17	     nbRestartNogoods=75
279.17	       =>  wckTime=230.488  cpuTime=230.33  mem=25M979
393.99	   
393.99	   search
393.99	     run=19  nbConstraintChecks=113744535  nbValidityChecks=443729546  nbPropagations=0  nbRevisions=0
393.99	     nbUselessRevisions=0  nbAssignments=117116  nbFailedAssignments=50237  nbBacktracks=66485  nbVisitedNodes=230978
393.99	     nbRestartNogoods=82
393.99	       =>  wckTime=345.304  cpuTime=345.12  mem=25M979
571.08	   
571.08	   search
571.08	     run=20  nbConstraintChecks=168975965  nbValidityChecks=664273981  nbPropagations=0  nbRevisions=0
571.08	     nbUselessRevisions=0  nbAssignments=175677  nbFailedAssignments=75531  nbBacktracks=99737  nbVisitedNodes=346291
571.08	     nbRestartNogoods=87
571.08	       =>  wckTime=522.393  cpuTime=522.13  mem=25M979
819.98	   
819.98	   search
819.98	     run=21  nbConstraintChecks=253869048  nbValidityChecks=994750359  nbPropagations=0  nbRevisions=0
819.98	     nbUselessRevisions=0  nbAssignments=261523  nbFailedAssignments=111481  nbBacktracks=149615  nbVisitedNodes=514878
819.98	     nbRestartNogoods=94
819.98	       =>  wckTime=771.3  cpuTime=770.9  mem=25M979
1194.43	   
1194.43	   search
1194.43	     run=22  nbConstraintChecks=378356324  nbValidityChecks=1454765529  nbPropagations=0  nbRevisions=0
1194.43	     nbUselessRevisions=0  nbAssignments=391018  nbFailedAssignments=166142  nbBacktracks=224433  nbVisitedNodes=766503
1194.43	     nbRestartNogoods=101
1194.43	       =>  wckTime=1145.751  cpuTime=1145.27  mem=25M979
1711.63	   
1711.63	   search
1711.63	     run=23  nbConstraintChecks=564760000  nbValidityChecks=2112583366  nbPropagations=0  nbRevisions=0
1711.63	     nbUselessRevisions=0  nbAssignments=581925  nbFailedAssignments=244802  nbBacktracks=336661  nbVisitedNodes=1132947
1711.63	     nbRestartNogoods=111
1711.63	       =>  wckTime=1662.946  cpuTime=1662.33  mem=25M979
2400.84	v 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1

Verifier Data (download as text)

128 unsatisfied constraints, 1424 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/node72/watcher-278128-1169275905 -o ROOT/results/node72/solver-278128-1169275905 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278128-1169275905/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: 1.02 1.63 1.85 3/78 22164
/proc/meminfo: memFree=1694368/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=1784 CPUtime=0
/proc/22163/stat : 22163 (java) D 22161 22163 21478 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 275999424 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/22163/statm: 446 136 102 14 0 91 0

[startup+0.104814 s]
/proc/loadavg: 1.02 1.63 1.85 3/78 22164
/proc/meminfo: memFree=1694368/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=907676 CPUtime=0.03
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 2185 0 1 0 2 1 0 0 20 0 4 0 275999424 929460224 1933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3547088 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/22163/statm: 226919 1933 1098 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.512847 s]
/proc/loadavg: 1.02 1.63 1.85 3/78 22164
/proc/meminfo: memFree=1694368/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915332 CPUtime=0.42
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 6149 0 1 0 39 3 0 0 16 0 8 0 275999424 937299968 5888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073581557 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228833 5889 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332

[startup+1.33392 s]
/proc/loadavg: 1.02 1.63 1.85 2/85 22171
/proc/meminfo: memFree=1672936/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=1.23
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 8034 0 1 0 115 8 0 0 17 0 8 0 275999424 937414656 7772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 7772 2476 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 7772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 7772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 7772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915448 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937418752 7772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.16
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 367 0 0 0 16 0 0 0 16 0 8 0 275999437 937414656 7772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 7772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 7772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915444

[startup+2.98607 s]
/proc/loadavg: 1.02 1.63 1.85 2/85 22171
/proc/meminfo: memFree=1672872/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=2.89
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 8041 0 1 0 268 21 0 0 18 0 8 0 275999424 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 7778 2478 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.16
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 373 0 0 0 16 0 0 0 16 0 8 0 275999437 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915444

[startup+6.27937 s]
/proc/loadavg: 1.02 1.62 1.85 2/85 22171
/proc/meminfo: memFree=1672808/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=6.18
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 8041 0 1 0 572 46 0 0 25 0 8 0 275999424 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 7778 2478 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.16
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 373 0 0 0 16 0 0 0 16 0 8 0 275999437 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 7778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915444

[startup+12.761 s]
/proc/loadavg: 1.02 1.60 1.84 2/85 22171
/proc/meminfo: memFree=1672808/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=12.66
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 8044 0 1 0 1172 94 0 0 25 0 8 0 275999424 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 7781 2478 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.17
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 376 0 0 0 17 0 0 0 16 0 8 0 275999437 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915444

[startup+25.5911 s]
/proc/loadavg: 1.01 1.57 1.83 2/85 22171
/proc/meminfo: memFree=1672808/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=25.49
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 8044 0 1 0 2364 185 0 0 19 0 8 0 275999424 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 7781 2478 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.17
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 376 0 0 0 17 0 0 0 16 0 8 0 275999437 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 7781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915444

[startup+51.2755 s]
/proc/loadavg: 1.01 1.53 1.81 2/85 22171
/proc/meminfo: memFree=1659880/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=51.17
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 11360 0 1 0 4760 357 0 0 19 0 8 0 275999424 937414656 11094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073968573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 11094 2534 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 11094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 11094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.25
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 423 0 0 0 25 0 0 0 15 0 8 0 275999437 937414656 11094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 11094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 11094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915444

[startup+102.541 s]
/proc/loadavg: 1.00 1.44 1.76 2/85 22171
/proc/meminfo: memFree=1659752/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=102.41
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 11399 0 1 0 9884 357 0 0 25 0 8 0 275999424 937414656 11130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 11130 2534 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 11130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 11130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.29
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 439 0 0 0 28 1 0 0 16 0 8 0 275999437 937414656 11130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 11130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 11130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915444

[startup+162.632 s]
/proc/loadavg: 1.00 1.36 1.71 2/85 22171
/proc/meminfo: memFree=1659752/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=162.48
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 11405 0 1 0 15890 358 0 0 25 0 8 0 275999424 937414656 11136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2085.47 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 22375
/proc/meminfo: memFree=1658800/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=2084.75
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 11425 0 1 0 208099 376 0 0 25 0 8 0 275999424 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 11155 2534 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.29
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 441 0 0 0 28 1 0 0 16 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.75
Current children cumulated vsize (KiB) 915444

[startup+2145.56 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 22375
/proc/meminfo: memFree=1658800/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=2144.82
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 11425 0 1 0 214106 376 0 0 25 0 8 0 275999424 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 11155 2534 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.29
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 441 0 0 0 28 1 0 0 16 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.82
Current children cumulated vsize (KiB) 915444

[startup+2205.65 s]
/proc/loadavg: 1.04 1.01 1.06 2/85 22375
/proc/meminfo: memFree=1658800/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=2204.9
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 11425 0 1 0 220113 377 0 0 25 0 8 0 275999424 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 11155 2534 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.29
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 441 0 0 0 28 1 0 0 16 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.9
Current children cumulated vsize (KiB) 915444

[startup+2265.75 s]
/proc/loadavg: 1.01 1.01 1.05 2/85 22375
/proc/meminfo: memFree=1658800/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=2264.98
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 11425 0 1 0 226121 377 0 0 25 0 8 0 275999424 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073909992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 11155 2534 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.29
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 441 0 0 0 28 1 0 0 16 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.98
Current children cumulated vsize (KiB) 915444

[startup+2325.84 s]
/proc/loadavg: 1.00 1.00 1.04 2/85 22375
/proc/meminfo: memFree=1658800/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=2325.06
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 11425 0 1 0 232128 378 0 0 25 0 8 0 275999424 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 11155 2534 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.29
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 441 0 0 0 28 1 0 0 16 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2325.06
Current children cumulated vsize (KiB) 915444

[startup+2385.94 s]
/proc/loadavg: 1.00 1.00 1.04 2/85 22375
/proc/meminfo: memFree=1658800/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=2385.14
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 11425 0 1 0 238136 378 0 0 25 0 8 0 275999424 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 11155 2534 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.29
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 441 0 0 0 28 1 0 0 16 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2385.14
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.84 s]
/proc/loadavg: 1.00 1.00 1.04 2/85 22375
/proc/meminfo: memFree=1658800/2055920 swapFree=4191880/4192956
[pid=22163] ppid=22161 vsize=915444 CPUtime=2400.04
/proc/22163/stat : 22163 (java) R 22161 22163 21478 0 -1 0 11425 0 1 0 239626 378 0 0 25 0 8 0 275999424 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22163/statm: 228861 11155 2534 14 0 215331 0
[pid=22163/tid=22165] ppid=22161 vsize=915444 CPUtime=0.03
/proc/22163/task/22165/stat : 22165 (java) S 22161 22163 21478 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22166] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22166/stat : 22166 (java) S 22161 22163 21478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22167] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22167/stat : 22167 (java) S 22161 22163 21478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275999434 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22168] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22168/stat : 22168 (java) S 22161 22163 21478 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22169] ppid=22161 vsize=915444 CPUtime=0.29
/proc/22163/task/22169/stat : 22169 (java) S 22161 22163 21478 0 -1 64 441 0 0 0 28 1 0 0 16 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22163/tid=22170] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22170/stat : 22170 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22163/tid=22171] ppid=22161 vsize=915444 CPUtime=0
/proc/22163/task/22171/stat : 22171 (java) S 22161 22163 21478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275999437 937414656 11155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915444

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

Child status: 143
Real time (s): 2400.89
CPU time (s): 2400.09
CPU user time (s): 2396.3
CPU system time (s): 3.79342
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.3
system time used= 3.79342
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11448
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= 49621
involuntary context switches= 6464

runsolver used 2.80357 s user time and 5.72213 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sat Jan 20 06:51:46 UTC 2007


IDJOB= 278128
IDBENCH= 8055
IDSOLVER= 68
FILE ID= node72/278128-1169275905

PBS_JOBID= 3607455

Free space on /tmp= 66563 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  35492032a20db64b0cb7c663c21cea73

RANDOM SEED= 671095573

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.223
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.223
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:       1694848 kB
Buffers:         31452 kB
Cached:         222328 kB
SwapCached:        268 kB
Active:          87136 kB
Inactive:       209408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1694848 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1872 kB
Writeback:           0 kB
Mapped:          60108 kB
Slab:            49972 kB
Committed_AS:  4613588 kB
PageTables:       1916 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 node72 on Sat Jan 20 07:31:47 UTC 2007