Trace number 282700

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.13 2405.67

General information on the benchmark

NameMaxCSP/celar/scens/
scenw-06-24_ext.xml
MD5SUM95b6a5d3e9a91c69b60abc9fffa0c3ba
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints1181
Best CPU time to get the best result obtained on this benchmark29.2346
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints1203
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension1203
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.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/282700-1169321686/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.43	     nbVariables=100  nbDomainTypes=3  minDomainSize=1  maxDomainSize=20
0.43	       =>  wckTime=0.118  cpuTime=0.09  mem=6M887
0.43	   
0.43	   relations being loaded...
0.61	   
0.61	   constraints being loaded...
0.82	     nbConstraints=1203  nbRelationTypes=1003  nbSingletonDomainVariables=1  nbExtensionStructures=1003
0.82	     nbSharedExtensionStructures=200  nbConflictsStructures=1003  nbSharedConflictsStructures=200
0.82	     nbSharedBinaryRepresentations=31523  maxDegree=78  maxArity=2
0.82	       =>  wckTime=0.508  cpuTime=0.36  mem=21M515
0.87	   
0.87	   solver LocalSearchSolver being built... 
0.91	       =>  wckTime=0.605  cpuTime=0.4  mem=6M698
0.92	
0.92	s SATISFIABLE
0.92	o 757
0.92	c 446
0.93	o 771
0.93	c 432
0.93	o 781
0.93	c 422
0.93	o 791
0.93	c 412
0.93	o 805
0.93	c 398
0.93	o 815
0.93	c 388
0.93	o 819
0.93	c 384
0.93	o 830
0.93	c 373
0.94	o 843
0.94	c 360
0.94	o 851
0.94	c 352
0.94	o 857
0.94	c 346
0.94	o 859
0.94	c 344
0.94	o 867
0.94	c 336
0.94	o 876
0.94	c 327
0.94	o 887
0.94	c 316
0.95	o 896
0.95	c 307
0.95	o 905
0.95	c 298
0.95	o 914
0.95	c 289
0.95	o 921
0.95	c 282
0.95	o 927
0.95	c 276
0.95	o 933
0.95	c 270
0.95	o 938
0.95	c 265
0.95	o 942
0.95	c 261
0.95	o 948
0.95	c 255
0.95	o 952
0.95	c 251
0.96	o 957
0.96	c 246
0.96	o 961
0.96	c 242
0.96	o 963
0.96	c 240
0.96	o 967
0.96	c 236
0.96	o 973
0.96	c 230
0.96	o 979
0.96	c 224
0.96	o 986
0.96	c 217
0.96	o 992
0.96	c 211
0.96	o 995
0.96	c 208
0.96	o 1000
0.96	c 203
0.96	o 1004
0.96	c 199
0.96	o 1008
0.96	c 195
0.96	o 1012
0.96	c 191
0.96	o 1018
0.96	c 185
0.96	o 1020
0.96	c 183
0.97	o 1024
0.97	c 179
0.97	o 1027
0.97	c 176
0.97	o 1031
0.97	c 172
0.97	o 1035
0.97	c 168
0.97	o 1042
0.97	c 161
0.97	o 1043
0.97	c 160
0.97	o 1048
0.97	c 155
0.97	o 1049
0.97	c 154
0.97	o 1052
0.97	c 151
0.97	o 1054
0.97	c 149
0.97	o 1057
0.97	c 146
0.97	o 1060
0.97	c 143
0.97	o 1062
0.97	c 141
0.97	o 1066
0.98	c 137
0.98	o 1068
0.98	c 135
0.98	o 1073
0.98	c 130
0.98	o 1082
0.98	c 121
0.98	o 1084
0.98	c 119
0.98	o 1087
0.98	c 116
0.98	o 1090
0.98	c 113
0.98	o 1093
0.98	c 110
0.99	o 1102
0.99	c 101
0.99	o 1104
0.99	c 99
0.99	o 1106
0.99	c 97
0.99	o 1107
0.99	c 96
1.00	o 1109
1.00	c 94
1.00	o 1113
1.00	c 90
1.00	o 1116
1.00	c 87
1.01	o 1118
1.01	c 85
1.01	o 1120
1.01	c 83
1.03	o 1124
1.03	c 79
1.03	o 1125
1.03	c 78
1.03	o 1129
1.03	c 74
1.04	o 1133
1.04	c 70
1.04	o 1137
1.04	c 66
1.04	o 1140
1.04	c 63
1.04	o 1143
1.04	c 60
1.04	o 1144
1.04	c 59
1.05	o 1146
1.05	c 57
1.07	o 1147
1.07	c 56
1.08	o 1149
1.08	c 54
1.09	o 1153
1.09	c 50
1.11	o 1161
1.11	c 42
1.28	o 1163
1.28	c 40
1.32	o 1168
1.32	c 35
1.36	o 1169
1.36	c 34
1.36	o 1172
1.36	c 31
1.37	o 1173
1.37	c 30
10.21	o 1176
10.21	c 27
16.14	   
16.14	   search
16.14	     run=0  nbConstraintChecks=116879588  nbAssignments=10000
16.14	       =>  wckTime=15.223  cpuTime=15.2  mem=6M698
31.88	   
31.88	   search
31.88	     run=1  nbConstraintChecks=239639215  nbAssignments=20000
31.88	       =>  wckTime=30.966  cpuTime=30.92  mem=6M698
40.26	   
40.26	   search
40.26	     run=2  nbConstraintChecks=305331613  nbAssignments=25882
40.26	       =>  wckTime=39.345  cpuTime=39.28  mem=6M698
40.26	   
40.26	   global
40.26	     nbConstraintChecks=305331613  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.26	     solvingWckTime=39.342  solvingCpuTime=39.27  expiredTime=no  totalExploration=no  nbFoundSolutions=0
40.26	     globalCpuTime=39.75
40.26	       =>  wckTime=39.951  cpuTime=39.68  mem=6M698
40.26	   
40.26	   solver IterativeSystematicSolver being built... 
40.38	       =>  wckTime=40.075  cpuTime=39.77  mem=17M606
40.72	   
40.72	   preprocessing
40.72	     nbConstraintChecks=888127  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
40.72	     detectedInconsistency=no
40.72	       =>  wckTime=0.33  cpuTime=0.32  mem=17M606
41.22	   
41.22	   search
41.22	     run=0  nbConstraintChecks=1388004  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=78
41.22	     nbFailedAssignments=45  nbBacktracks=10  nbVisitedNodes=134  nbRestartNogoods=0
41.22	       =>  wckTime=0.835  cpuTime=0.82  mem=17M606
42.00	   
42.00	   search
42.00	     run=1  nbConstraintChecks=3746773  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=211
42.00	     nbFailedAssignments=133  nbBacktracks=25  nbVisitedNodes=370  nbRestartNogoods=2
42.00	       =>  wckTime=1.619  cpuTime=1.59  mem=17M606
42.73	   
42.73	   search
42.73	     run=2  nbConstraintChecks=5988713  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=331
42.73	     nbFailedAssignments=216  nbBacktracks=47  nbVisitedNodes=595  nbRestartNogoods=9
42.73	       =>  wckTime=2.347  cpuTime=2.32  mem=17M606
44.25	   
44.25	   search
44.25	     run=3  nbConstraintChecks=10517032  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=546
44.25	     nbFailedAssignments=367  nbBacktracks=80  nbVisitedNodes=994  nbRestartNogoods=12
44.25	       =>  wckTime=3.862  cpuTime=3.83  mem=17M606
46.16	   
46.16	   search
46.16	     run=4  nbConstraintChecks=16673105  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=837
46.16	     nbFailedAssignments=582  nbBacktracks=130  nbVisitedNodes=1550  nbRestartNogoods=16
46.16	       =>  wckTime=5.775  cpuTime=5.74  mem=17M606
52.18	   
52.18	   search
52.18	     run=5  nbConstraintChecks=34300044  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1656
52.18	     nbFailedAssignments=1302  nbBacktracks=206  nbVisitedNodes=3165  nbRestartNogoods=40
52.18	       =>  wckTime=11.8  cpuTime=11.75  mem=17M606
55.09	   
55.09	   search
55.09	     run=6  nbConstraintChecks=42427775  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2039
55.09	     nbFailedAssignments=1559  nbBacktracks=319  nbVisitedNodes=3918  nbRestartNogoods=67
55.09	       =>  wckTime=14.706  cpuTime=14.64  mem=17M606
62.32	   
62.32	   search
62.32	     run=7  nbConstraintChecks=60945694  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2868
62.32	     nbFailedAssignments=2202  nbBacktracks=489  nbVisitedNodes=5560  nbRestartNogoods=68
62.32	       =>  wckTime=21.935  cpuTime=21.87  mem=17M606
73.51	   
73.52	   search
73.52	     run=8  nbConstraintChecks=89758269  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4195
73.52	     nbFailedAssignments=3255  nbBacktracks=745  nbVisitedNodes=8193  nbRestartNogoods=77
73.52	       =>  wckTime=33.13  cpuTime=33.06  mem=17M606
82.62	   
82.62	   search
82.62	     run=9  nbConstraintChecks=117379718  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5593
82.62	     nbFailedAssignments=4238  nbBacktracks=1129  nbVisitedNodes=10958  nbRestartNogoods=93
82.62	       =>  wckTime=42.231  cpuTime=42.12  mem=18M581
103.48	   
103.48	   search
103.48	     run=10  nbConstraintChecks=158325934  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7369
103.48	     nbFailedAssignments=5416  nbBacktracks=1705  nbVisitedNodes=14476  nbRestartNogoods=115
103.48	       =>  wckTime=63.09  cpuTime=62.97  mem=18M581
163.73	   
163.73	   search
163.73	     run=11  nbConstraintChecks=303565890  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13746
163.73	     nbFailedAssignments=10905  nbBacktracks=2569  nbVisitedNodes=27159  nbRestartNogoods=132
163.73	       =>  wckTime=123.344  cpuTime=123.18  mem=18M581
223.85	   
223.85	   search
223.85	     run=12  nbConstraintChecks=450607720  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=20803
223.85	     nbFailedAssignments=16650  nbBacktracks=3866  nbVisitedNodes=41168  nbRestartNogoods=157
223.85	       =>  wckTime=183.464  cpuTime=183.22  mem=18M581
290.50	   
290.50	   search
290.50	     run=13  nbConstraintChecks=619735599  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=28594
290.50	     nbFailedAssignments=22484  nbBacktracks=5812  nbVisitedNodes=56594  nbRestartNogoods=174
290.50	       =>  wckTime=250.115  cpuTime=249.82  mem=18M581
412.26	   
412.26	   search
412.26	     run=14  nbConstraintChecks=904947241  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=41523
412.26	     nbFailedAssignments=32485  nbBacktracks=8731  nbVisitedNodes=82282  nbRestartNogoods=202
412.26	       =>  wckTime=371.873  cpuTime=371.46  mem=18M581
551.84	   
551.84	   search
551.84	     run=15  nbConstraintChecks=1212380980  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=55330
551.84	     nbFailedAssignments=41892  nbBacktracks=13109  nbVisitedNodes=109654  nbRestartNogoods=209
551.84	       =>  wckTime=511.453  cpuTime=510.91  mem=18M581
721.24	   
721.24	   search
721.24	     run=16  nbConstraintChecks=1614874764  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=76019
721.24	     nbFailedAssignments=56001  nbBacktracks=19682  nbVisitedNodes=150559  nbRestartNogoods=221
721.24	       =>  wckTime=680.853  cpuTime=680.13  mem=18M581
1022.86	   
1022.86	   search
1022.86	     run=17  nbConstraintChecks=2364456815  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=112903
1022.86	     nbFailedAssignments=83028  nbBacktracks=29534  nbVisitedNodes=224058  nbRestartNogoods=234
1022.86	       =>  wckTime=982.473  cpuTime=981.49  mem=18M581
1431.94	   
1431.94	   search
1431.94	     run=18  nbConstraintChecks=3352194118  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=162581
1431.94	     nbFailedAssignments=117920  nbBacktracks=44312  nbVisitedNodes=323108  nbRestartNogoods=249
1431.94	       =>  wckTime=1391.558  cpuTime=1390.17  mem=18M581
2200.02	   
2200.02	   search
2200.02	     run=19  nbConstraintChecks=5225317965  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=263519
2200.02	     nbFailedAssignments=196682  nbBacktracks=66480  nbVisitedNodes=524506  nbRestartNogoods=279
2200.02	       =>  wckTime=2159.632  cpuTime=2155.0  mem=18M581
2405.61	v 5 2 0 16 1 0 0 19 19 5 19 0 2 8 8 5 5 17 7 6 10 12 11 1 7 8 1 8 11 11 11 3 3 0 3 11 2 6 12 11 8 4 12 9 8 13 15 4 6 9 6 8 10 4 11 0 19 5 1 6 5 14 13 9 4 15 3 3 13 8 9 0 4 4 3 11 11 1 0 7 6 14 3 8 0 9 1 12 4 4 18 4 0 11 18 1 6 2 3 -1

Verifier Data (download as text)

27 unsatisfied constraints, 1176 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/node63/watcher-282700-1169321686 -o ROOT/results/node63/solver-282700-1169321686 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282700-1169321686/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.08 1.02 1.05 5/72 1635
/proc/meminfo: memFree=1274424/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=907676 CPUtime=0.03
/proc/1634/stat : 1634 (java) S 1632 1634 1463 0 -1 0 2171 0 1 0 2 1 0 0 19 0 4 0 79666091 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/1634/statm: 226919 1920 1089 14 0 214502 0
[pid=1634/tid=1636] ppid=1632 vsize=907676 CPUtime=0
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 79666094 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=1634/tid=1637] ppid=1632 vsize=907676 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 79666094 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=907676 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) R 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 79666094 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3817432 0 4 0 7368 0 0 0 -1 1 0 0

[startup+0.103309 s]
/proc/loadavg: 1.08 1.02 1.05 5/72 1635
/proc/meminfo: memFree=1274424/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916012 CPUtime=0.09
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 3019 0 1 0 8 1 0 0 20 0 8 0 79666091 937996288 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153984994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1634/statm: 229003 2765 1435 14 0 215498 0
[pid=1634/tid=1636] ppid=1632 vsize=916012 CPUtime=0
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 79666094 937996288 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916012 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 79666094 937996288 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916012 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 79666094 937996288 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 916012

[startup+0.511353 s]
/proc/loadavg: 1.08 1.02 1.05 5/72 1635
/proc/meminfo: memFree=1274424/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916356 CPUtime=0.5
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 6727 0 1 0 45 5 0 0 18 0 8 0 79666091 938348544 6466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1634/statm: 229089 6466 2142 14 0 215559 0
[pid=1634/tid=1636] ppid=1632 vsize=916356 CPUtime=0
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 79666094 938348544 6466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916356 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 79666094 938348544 6466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916356 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 79666094 938348544 6466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 916356

[startup+1.33444 s]
/proc/loadavg: 1.15 1.03 1.05 3/80 1649
/proc/meminfo: memFree=1274232/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=1.31
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10483 0 1 0 122 9 0 0 20 0 8 0 79666091 938471424 10221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839778 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10221 2479 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 450 0 0 0 4 0 0 0 17 0 8 0 79666094 938471424 10221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.18
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 369 0 0 0 17 1 0 0 15 0 8 0 79666098 938471424 10221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916476

[startup+2.98661 s]
/proc/loadavg: 1.15 1.03 1.05 4/80 1649
/proc/meminfo: memFree=1270968/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=2.96
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10487 0 1 0 282 14 0 0 25 0 8 0 79666091 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10224 2479 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.19
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 372 0 0 0 18 1 0 0 16 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 916476

[startup+6.27696 s]
/proc/loadavg: 1.22 1.05 1.06 3/80 1649
/proc/meminfo: memFree=1270904/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=6.25
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10487 0 1 0 603 22 0 0 25 0 8 0 79666091 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10224 2479 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.19
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 372 0 0 0 18 1 0 0 15 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 916476

[startup+12.7657 s]
/proc/loadavg: 1.28 1.06 1.06 3/80 1649
/proc/meminfo: memFree=1270920/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=12.73
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10487 0 1 0 1235 38 0 0 25 0 8 0 79666091 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837534 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10224 2479 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.19
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 372 0 0 0 18 1 0 0 15 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916476

[startup+25.605 s]
/proc/loadavg: 1.39 1.09 1.07 3/80 1649
/proc/meminfo: memFree=1271112/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=25.57
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10490 0 1 0 2490 67 0 0 25 0 8 0 79666091 938471424 10227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837409 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10227 2479 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.19
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 79666098 938471424 10227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 916476

[startup+51.2198 s]
/proc/loadavg: 1.63 1.18 1.10 3/80 1649
/proc/meminfo: memFree=1270984/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=51.14
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10642 0 1 0 5004 110 0 0 25 0 8 0 79666091 938471424 10374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952223 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10374 2532 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 451 0 0 0 4 0 0 0 17 0 8 0 79666094 938471424 10374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.26
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 424 0 0 0 25 1 0 0 15 0 8 0 79666098 938471424 10374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 916476

[startup+102.436 s]
/proc/loadavg: 1.84 1.30 1.14 3/80 1649
/proc/meminfo: memFree=1270984/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=102.31
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10654 0 1 0 10120 111 0 0 25 0 8 0 79666091 938471424 10381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10381 2532 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 451 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

Current children cumulated CPU time (s) 2020.58
Current children cumulated vsize (KiB) 916476

[startup+2084.47 s]
/proc/loadavg: 2.01 2.00 1.87 3/80 1908
/proc/meminfo: memFree=1273928/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=2080.37
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10659 0 1 0 207915 122 0 0 25 0 8 0 79666091 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074021261 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10383 2532 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 451 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.28
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 438 0 0 0 27 1 0 0 16 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.37
Current children cumulated vsize (KiB) 916476

[startup+2144.52 s]
/proc/loadavg: 2.00 2.00 1.87 3/80 1908
/proc/meminfo: memFree=1273864/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=2140.15
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10659 0 1 0 213893 122 0 0 25 0 8 0 79666091 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10383 2532 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 451 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.28
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 438 0 0 0 27 1 0 0 16 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.15
Current children cumulated vsize (KiB) 916476

[startup+2204.58 s]
/proc/loadavg: 2.00 2.00 1.88 3/80 1908
/proc/meminfo: memFree=1273928/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=2199.92
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10659 0 1 0 219870 122 0 0 25 0 8 0 79666091 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10383 2532 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 451 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.28
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 438 0 0 0 27 1 0 0 16 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.92
Current children cumulated vsize (KiB) 916476

[startup+2264.63 s]
/proc/loadavg: 2.00 2.00 1.89 3/80 1908
/proc/meminfo: memFree=1273864/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=2259.72
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10659 0 1 0 225850 122 0 0 25 0 8 0 79666091 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10383 2532 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 451 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.28
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 438 0 0 0 27 1 0 0 16 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2259.72
Current children cumulated vsize (KiB) 916476

[startup+2324.68 s]
/proc/loadavg: 2.00 2.00 1.89 3/80 1908
/proc/meminfo: memFree=1273928/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=2319.51
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10659 0 1 0 231829 122 0 0 25 0 8 0 79666091 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839763 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10383 2532 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 451 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.28
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 438 0 0 0 27 1 0 0 16 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2319.51
Current children cumulated vsize (KiB) 916476

[startup+2384.74 s]
/proc/loadavg: 2.00 2.00 1.90 3/80 1908
/proc/meminfo: memFree=1273928/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=2379.27
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10659 0 1 0 237805 122 0 0 25 0 8 0 79666091 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073944602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10383 2532 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 451 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.28
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 438 0 0 0 27 1 0 0 16 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) R 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2379.27
Current children cumulated vsize (KiB) 916476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2405.61 s]
/proc/loadavg: 2.00 2.00 1.90 3/80 1908
/proc/meminfo: memFree=1273864/2055920 swapFree=4192812/4192956
[pid=1634] ppid=1632 vsize=916476 CPUtime=2400.06
/proc/1634/stat : 1634 (java) R 1632 1634 1463 0 -1 0 10659 0 1 0 239884 122 0 0 25 0 8 0 79666091 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1634/statm: 229119 10383 2532 14 0 215589 0
[pid=1634/tid=1636] ppid=1632 vsize=916476 CPUtime=0.04
/proc/1634/task/1636/stat : 1636 (java) S 1632 1634 1463 0 -1 64 451 0 0 0 4 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1637] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1637/stat : 1637 (java) S 1632 1634 1463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1638] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1638/stat : 1638 (java) S 1632 1634 1463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79666094 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1639] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1639/stat : 1639 (java) S 1632 1634 1463 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1640] ppid=1632 vsize=916476 CPUtime=0.28
/proc/1634/task/1640/stat : 1640 (java) S 1632 1634 1463 0 -1 64 438 0 0 0 27 1 0 0 16 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1634/tid=1641] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1641/stat : 1641 (java) S 1632 1634 1463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1634/tid=1642] ppid=1632 vsize=916476 CPUtime=0
/proc/1634/task/1642/stat : 1642 (java) S 1632 1634 1463 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 79666098 938471424 10383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 916476

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

Child status: 143
Real time (s): 2405.67
CPU time (s): 2400.13
CPU user time (s): 2398.9
CPU system time (s): 1.23281
CPU usage (%): 99.7697
Max. virtual memory (cumulated for all children) (KiB): 916480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.9
system time used= 1.23281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10678
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= 49981
involuntary context switches= 23633

runsolver used 2.95755 s user time and 7.66483 s system time

The end

Launcher Data (download as text)

Begin job on node63 on Sat Jan 20 19:34:46 UTC 2007


IDJOB= 282700
IDBENCH= 12880
IDSOLVER= 68
FILE ID= node63/282700-1169321686

PBS_JOBID= 3610436

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/scens/scenw-06-24_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282700-1169321686/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-282700-1169321686 -o ROOT/results/node63/solver-282700-1169321686 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282700-1169321686/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  95b6a5d3e9a91c69b60abc9fffa0c3ba

RANDOM SEED= 421372589

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.216
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.216
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:       1274840 kB
Buffers:         51444 kB
Cached:         605904 kB
SwapCached:        144 kB
Active:         214640 kB
Inactive:       495932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1274840 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5624 kB
Writeback:           0 kB
Mapped:          64568 kB
Slab:            55944 kB
Committed_AS:  1162808 kB
PageTables:       1884 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= 66560 MiB



End job on node63 on Sat Jan 20 20:14:52 UTC 2007