0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=epfc.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/282088-1169317930/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.45 => wckTime=0.094 cpuTime=0.08 mem=6M885
0.45
0.45 relations being loaded...
0.50
0.50 constraints being loaded...
0.56 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.56 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1351 maxDegree=11
0.56 maxArity=2
0.56 => wckTime=0.209 cpuTime=0.14 mem=8M844
0.60
0.60 solver LocalSearchSolver being built...
0.64 => wckTime=0.288 cpuTime=0.19 mem=5M497
0.65
0.65 s SATISFIABLE
0.65 o 55
0.65 c 54
0.65 o 60
0.65 c 49
0.65 o 61
0.65 c 48
0.65 o 64
0.65 c 45
0.65 o 68
0.65 c 41
0.65 o 70
0.65 c 39
0.65 o 71
0.65 c 38
0.65 o 73
0.65 c 36
0.65 o 74
0.65 c 35
0.66 o 75
0.66 c 34
0.66 o 76
0.66 c 33
0.66 o 77
0.66 c 32
0.66 o 78
0.66 c 31
0.66 o 80
0.66 c 29
0.66 o 81
0.66 c 28
0.66 o 83
0.66 c 26
0.66 o 85
0.66 c 24
0.66 o 88
0.66 c 21
0.67 o 89
0.67 c 20
0.67 o 90
0.67 c 19
0.67 o 91
0.67 c 18
0.67 o 93
0.67 c 16
0.67 o 94
0.67 c 15
0.67 o 95
0.67 c 14
0.67 o 96
0.67 c 13
0.67 o 97
0.67 c 12
0.67 o 98
0.67 c 11
0.70 o 99
0.70 c 10
0.71 o 100
0.71 c 9
0.71 o 101
0.71 c 8
2.11
2.11 search
2.11 run=0 nbConstraintChecks=6883671 nbAssignments=10000
2.11 => wckTime=1.463 cpuTime=1.44 mem=5M497
3.52
3.52 search
3.52 run=1 nbConstraintChecks=13708086 nbAssignments=20000
3.52 => wckTime=2.874 cpuTime=2.83 mem=5M497
4.94
4.94 search
4.94 run=2 nbConstraintChecks=20729036 nbAssignments=30000
4.94 => wckTime=4.296 cpuTime=4.25 mem=5M497
6.33
6.33 search
6.33 run=3 nbConstraintChecks=27467742 nbAssignments=40000
6.33 => wckTime=5.689 cpuTime=5.64 mem=5M497
7.73
7.73 search
7.73 run=4 nbConstraintChecks=34295262 nbAssignments=50000
7.73 => wckTime=7.092 cpuTime=7.04 mem=5M497
9.17
9.17 search
9.17 run=5 nbConstraintChecks=41344320 nbAssignments=60000
9.17 => wckTime=8.528 cpuTime=8.47 mem=5M497
10.60
10.60 search
10.60 run=6 nbConstraintChecks=48389499 nbAssignments=70000
10.60 => wckTime=9.954 cpuTime=9.88 mem=5M497
12.00
12.00 search
12.00 run=7 nbConstraintChecks=55272357 nbAssignments=80000
12.00 => wckTime=11.357 cpuTime=11.28 mem=5M497
13.38
13.38 search
13.39 run=8 nbConstraintChecks=62025023 nbAssignments=90000
13.39 => wckTime=12.742 cpuTime=12.67 mem=5M497
14.79
14.80 search
14.80 run=9 nbConstraintChecks=68970184 nbAssignments=100000
14.80 => wckTime=14.153 cpuTime=14.06 mem=5M497
16.20
16.20 search
16.20 run=10 nbConstraintChecks=75890072 nbAssignments=110000
16.20 => wckTime=15.558 cpuTime=15.46 mem=5M497
17.59
17.59 search
17.59 run=11 nbConstraintChecks=82722441 nbAssignments=120000
17.59 => wckTime=16.95 cpuTime=16.85 mem=5M497
19.01
19.01 search
19.01 run=12 nbConstraintChecks=89803429 nbAssignments=130000
19.01 => wckTime=18.37 cpuTime=18.27 mem=5M497
20.39
20.39 search
20.39 run=13 nbConstraintChecks=96469941 nbAssignments=140000
20.39 => wckTime=19.75 cpuTime=19.64 mem=5M497
21.79
21.79 search
21.79 run=14 nbConstraintChecks=103331790 nbAssignments=150000
21.79 => wckTime=21.152 cpuTime=21.03 mem=5M497
23.22
23.22 search
23.22 run=15 nbConstraintChecks=110382102 nbAssignments=160000
23.22 => wckTime=22.581 cpuTime=22.45 mem=5M497
24.62
24.62 search
24.62 run=16 nbConstraintChecks=117186969 nbAssignments=170000
24.62 => wckTime=23.98 cpuTime=23.84 mem=5M497
26.03
26.03 search
26.03 run=17 nbConstraintChecks=123994397 nbAssignments=180000
26.03 => wckTime=25.391 cpuTime=25.25 mem=5M497
27.44
27.44 search
27.44 run=18 nbConstraintChecks=130895104 nbAssignments=190000
27.44 => wckTime=26.802 cpuTime=26.65 mem=5M497
28.85
28.85 search
28.85 run=19 nbConstraintChecks=137710259 nbAssignments=200000
28.85 => wckTime=28.206 cpuTime=28.05 mem=5M497
30.27
30.27 search
30.27 run=20 nbConstraintChecks=144645173 nbAssignments=210000
30.27 => wckTime=29.624 cpuTime=29.46 mem=5M497
30.87
30.87 search
30.87 run=21 nbConstraintChecks=147613638 nbAssignments=214253
30.87 => wckTime=30.232 cpuTime=30.07 mem=5M497
30.88
30.88 global
30.88 nbConstraintChecks=147613638 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.88 solvingWckTime=30.231 solvingCpuTime=30.07 expiredTime=no totalExploration=no nbFoundSolutions=0
30.88 globalCpuTime=30.31
30.88 => wckTime=30.521 cpuTime=30.26 mem=5M497
30.88
30.88 solver IterativeSystematicSolver being built...
31.02 => wckTime=30.664 cpuTime=30.37 mem=16M581
31.07
31.07 preprocessing
31.07 nbConstraintChecks=20451 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.07 detectedInconsistency=no
31.07 => wckTime=0.045 cpuTime=0.02 mem=16M581
31.12
31.12 search
31.12 run=0 nbConstraintChecks=94972 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=60
31.12 nbFailedAssignments=43 nbBacktracks=10 nbVisitedNodes=114 nbRestartNogoods=0
31.12 => wckTime=0.095 cpuTime=0.07 mem=16M581
31.17
31.17 search
31.17 run=1 nbConstraintChecks=201251 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=124
31.17 nbFailedAssignments=84 nbBacktracks=25 nbVisitedNodes=234 nbRestartNogoods=14
31.17 => wckTime=0.148 cpuTime=0.11 mem=16M581
31.25
31.25 search
31.25 run=2 nbConstraintChecks=418130 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=258
31.25 nbFailedAssignments=188 nbBacktracks=48 nbVisitedNodes=491 nbRestartNogoods=22
31.25 => wckTime=0.23 cpuTime=0.19 mem=16M581
31.35
31.35 search
31.35 run=3 nbConstraintChecks=703919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=419
31.35 nbFailedAssignments=310 nbBacktracks=81 nbVisitedNodes=806 nbRestartNogoods=39
31.35 => wckTime=0.327 cpuTime=0.28 mem=16M581
31.45
31.45 search
31.45 run=4 nbConstraintChecks=1047230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=617
31.45 nbFailedAssignments=451 nbBacktracks=132 nbVisitedNodes=1196 nbRestartNogoods=43
31.45 => wckTime=0.429 cpuTime=0.38 mem=16M581
31.66
31.66 search
31.66 run=5 nbConstraintChecks=1717344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1016
31.66 nbFailedAssignments=768 nbBacktracks=207 nbVisitedNodes=1986 nbRestartNogoods=52
31.66 => wckTime=0.638 cpuTime=0.59 mem=16M581
31.87
31.87 search
31.87 run=6 nbConstraintChecks=2324277 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1384
31.87 nbFailedAssignments=1014 nbBacktracks=320 nbVisitedNodes=2713 nbRestartNogoods=63
31.87 => wckTime=0.845 cpuTime=0.79 mem=16M581
32.26
32.26 search
32.26 run=7 nbConstraintChecks=3561246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2074
32.26 nbFailedAssignments=1525 nbBacktracks=490 nbVisitedNodes=4084 nbRestartNogoods=78
32.26 => wckTime=1.238 cpuTime=1.16 mem=16M581
32.75
32.75 search
32.75 run=8 nbConstraintChecks=5238740 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3021
32.75 nbFailedAssignments=2208 nbBacktracks=746 nbVisitedNodes=5969 nbRestartNogoods=100
32.75 => wckTime=1.729 cpuTime=1.65 mem=16M581
33.68
33.68 search
33.68 run=9 nbConstraintChecks=8220636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4792
33.68 nbFailedAssignments=3590 nbBacktracks=1130 nbVisitedNodes=9464 nbRestartNogoods=113
33.68 => wckTime=2.658 cpuTime=2.57 mem=16M581
35.06
35.06 search
35.06 run=10 nbConstraintChecks=12972037 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7398
35.06 nbFailedAssignments=5613 nbBacktracks=1706 nbVisitedNodes=14642 nbRestartNogoods=130
35.06 => wckTime=4.035 cpuTime=3.94 mem=16M581
36.83
36.83 search
36.83 run=11 nbConstraintChecks=19089580 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10904
36.83 nbFailedAssignments=8247 nbBacktracks=2571 nbVisitedNodes=21595 nbRestartNogoods=143
36.83 => wckTime=5.813 cpuTime=5.7 mem=16M581
39.77
39.77 search
39.77 run=12 nbConstraintChecks=29147772 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16349
39.77 nbFailedAssignments=12389 nbBacktracks=3869 nbVisitedNodes=32432 nbRestartNogoods=170
39.77 => wckTime=8.746 cpuTime=8.62 mem=16M581
43.97
43.97 search
43.97 run=13 nbConstraintChecks=42241343 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23662
43.97 nbFailedAssignments=17750 nbBacktracks=5815 nbVisitedNodes=46888 nbRestartNogoods=189
43.97 => wckTime=12.949 cpuTime=12.81 mem=16M581
50.25
50.25 search
50.25 run=14 nbConstraintChecks=62476013 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34967
50.25 nbFailedAssignments=26130 nbBacktracks=8734 nbVisitedNodes=69388 nbRestartNogoods=203
50.25 => wckTime=19.228 cpuTime=19.05 mem=16M581
58.64
58.64 search
58.64 run=15 nbConstraintChecks=90199817 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50287
58.64 nbFailedAssignments=37064 nbBacktracks=13112 nbVisitedNodes=99852 nbRestartNogoods=212
58.64 => wckTime=27.616 cpuTime=27.4 mem=16M581
70.58
70.58 search
70.58 run=16 nbConstraintChecks=129164581 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73280
70.58 nbFailedAssignments=53482 nbBacktracks=19680 nbVisitedNodes=145578 nbRestartNogoods=235
70.58 => wckTime=39.558 cpuTime=39.28 mem=16M581
87.70
87.70 search
87.70 run=17 nbConstraintChecks=182391475 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=105996
87.70 nbFailedAssignments=76338 nbBacktracks=29533 nbVisitedNodes=210753 nbRestartNogoods=243
87.70 => wckTime=56.676 cpuTime=56.32 mem=16M581
112.02
112.02 search
112.02 run=18 nbConstraintChecks=256550675 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=151198
112.02 nbFailedAssignments=106757 nbBacktracks=44311 nbVisitedNodes=300482 nbRestartNogoods=257
112.02 => wckTime=80.997 cpuTime=80.54 mem=16M581
144.28
144.28 search
144.28 run=19 nbConstraintChecks=353415285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=211428
144.28 nbFailedAssignments=144812 nbBacktracks=66479 nbVisitedNodes=420057 nbRestartNogoods=271
144.28 => wckTime=113.262 cpuTime=112.65 mem=16M581
193.88
193.88 search
193.88 run=20 nbConstraintChecks=498732947 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=303592
193.88 nbFailedAssignments=203717 nbBacktracks=99731 nbVisitedNodes=603134 nbRestartNogoods=290
193.88 => wckTime=162.86 cpuTime=162.02 mem=16M581
268.09
268.09 search
268.09 run=21 nbConstraintChecks=721228758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=441061
268.09 nbFailedAssignments=291298 nbBacktracks=149609 nbVisitedNodes=875319 nbRestartNogoods=304
268.09 => wckTime=237.065 cpuTime=235.87 mem=16M581
367.00
367.00 search
367.00 run=22 nbConstraintChecks=1022821136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=631762
367.00 nbFailedAssignments=407175 nbBacktracks=224427 nbVisitedNodes=1251811 nbRestartNogoods=327
367.00 => wckTime=335.975 cpuTime=334.32 mem=16M581
525.74
525.75 search
525.75 run=23 nbConstraintChecks=1494127319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=926885
525.75 nbFailedAssignments=590063 nbBacktracks=336654 nbVisitedNodes=1834582 nbRestartNogoods=348
525.75 => wckTime=494.724 cpuTime=492.34 mem=16M581
755.04
755.04 search
755.04 run=24 nbConstraintChecks=2193726988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1356992
755.04 nbFailedAssignments=851824 nbBacktracks=504995 nbVisitedNodes=2683481 nbRestartNogoods=356
755.04 => wckTime=724.02 cpuTime=721.58 mem=16M581
1004.61
1004.61 search
1004.61 run=25 nbConstraintChecks=2959138998 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1832575
1004.61 nbFailedAssignments=1132453 nbBacktracks=699950 nbVisitedNodes=3617111 nbRestartNogoods=366
1004.61 => wckTime=973.586 cpuTime=971.08 mem=16M581
1004.61
1004.61 global
1004.61 nbConstraintChecks=2959159449 nbRestartNogoods=366 solvingWckTime=973.586 solvingCpuTime=971.08 expiredTime=no
1004.61 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1001.5
1004.61 => wckTime=1004.252 cpuTime=1001.45 mem=16M581
1004.61
1004.61 s OPTIMUM FOUND
1004.61 v 3 2 9 5 2 1 9 7 10 9 6 4 7 6 6 1 7 1 10 9 8 3 5 9 9 7 6 6 6 5
1004.61
1004.61 totalWckTime=1004.333 totalCpuTime=1001.5
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-282088-1169317930 -o ROOT/results/node58/solver-282088-1169317930 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282088-1169317930/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.67 1.22 1.07 4/74 12359
/proc/meminfo: memFree=1337976/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=18540 CPUtime=0
/proc/12358/stat : 12358 (runsolver) R 12356 12358 12090 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280191017 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12358/statm: 4635 279 244 17 0 2626 0
[startup+0.107092 s]
/proc/loadavg: 1.67 1.22 1.07 4/74 12359
/proc/meminfo: memFree=1337976/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=907676 CPUtime=0.05
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 2411 0 1 0 4 1 0 0 16 0 4 0 280191017 929460224 2158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 226919 2158 1193 14 0 214502 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907676
[startup+0.519124 s]
/proc/loadavg: 1.67 1.22 1.07 4/74 12359
/proc/meminfo: memFree=1337976/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915332 CPUtime=0.45
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 6217 0 1 0 41 4 0 0 18 0 8 0 280191017 937299968 5956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154112353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228833 5956 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.34819 s]
/proc/loadavg: 1.70 1.23 1.08 3/81 12366
/proc/meminfo: memFree=1320448/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915448 CPUtime=1.27
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 7033 0 1 0 103 24 0 0 25 0 8 0 280191017 937418752 6771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228862 6771 2479 14 0 215332 0
[pid=12358/tid=12360] ppid=12356 vsize=915448 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280191025 937418752 6771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915448 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937418752 6771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915448 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937418752 6771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915448 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937418752 6771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915448 CPUtime=0.12
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 328 0 0 0 12 0 0 0 16 0 8 0 280191029 937418752 6771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915448 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937418752 6771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915448 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937418752 6771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915448
[startup+2.98534 s]
/proc/loadavg: 1.70 1.23 1.08 3/81 12366
/proc/meminfo: memFree=1320384/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=2.91
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 7036 0 1 0 218 73 0 0 25 0 8 0 280191017 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 6773 2479 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.12
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915444
[startup+6.26462 s]
/proc/loadavg: 1.70 1.23 1.08 3/81 12366
/proc/meminfo: memFree=1320384/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=6.17
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 7036 0 1 0 451 166 0 0 25 0 8 0 280191017 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073652020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 6773 2479 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.12
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915444
[startup+12.7522 s]
/proc/loadavg: 1.74 1.25 1.09 3/81 12366
/proc/meminfo: memFree=1320384/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=12.63
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 7036 0 1 0 916 347 0 0 25 0 8 0 280191017 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073652059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 6773 2479 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.12
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 6773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915444
[startup+25.6053 s]
/proc/loadavg: 1.78 1.28 1.10 3/81 12366
/proc/meminfo: memFree=1320384/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=25.42
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 7037 0 1 0 1842 700 0 0 25 0 8 0 280191017 937414656 6774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073653943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 6774 2479 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 6774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 6774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 6774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 6774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.12
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280191029 937414656 6774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 6774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 6774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915444
[startup+51.2116 s]
/proc/loadavg: 1.85 1.33 1.12 3/81 12366
/proc/meminfo: memFree=1312384/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=50.9
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 9115 0 1 0 4238 852 0 0 25 0 8 0 280191017 937414656 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 8847 2532 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.24
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 280191029 937414656 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915444
[startup+102.513 s]
/proc/loadavg: 1.94 1.44 1.17 3/81 12366
/proc/meminfo: memFree=1312384/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=101.97
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 9126 0 1 0 9345 852 0 0 25 0 8 0 280191017 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 8856 2532 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.24
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 280191029 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915444
[startup+162.557 s]
/proc/loadavg: 1.98 1.54 1.22 3/81 12366
/proc/meminfo: memFree=1312320/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=161.73
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 9132 0 1 0 15321 852 0 0 25 0 8 0 280191017 937414656 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073661414 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.24
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.41
Current children cumulated vsize (KiB) 915444
[startup+643.001 s]
/proc/loadavg: 2.01 1.93 1.53 3/81 12366
/proc/meminfo: memFree=1312256/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=640.46
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 9142 0 1 0 63193 853 0 0 25 0 8 0 280191017 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 8871 2532 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.24
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.46
Current children cumulated vsize (KiB) 915444
[startup+703.064 s]
/proc/loadavg: 2.00 1.94 1.56 3/81 12366
/proc/meminfo: memFree=1312256/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=700.51
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 9142 0 1 0 69198 853 0 0 25 0 8 0 280191017 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 8871 2532 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.24
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 700.51
Current children cumulated vsize (KiB) 915444
[startup+763.138 s]
/proc/loadavg: 2.00 1.95 1.58 3/81 12366
/proc/meminfo: memFree=1312256/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=760.56
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 9144 0 1 0 75203 853 0 0 25 0 8 0 280191017 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 8873 2532 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.24
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 760.56
Current children cumulated vsize (KiB) 915444
[startup+823.224 s]
/proc/loadavg: 2.00 1.95 1.61 3/81 12366
/proc/meminfo: memFree=1312256/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=820.64
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 9144 0 1 0 81210 854 0 0 25 0 8 0 280191017 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 8873 2532 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.24
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 820.64
Current children cumulated vsize (KiB) 915444
[startup+883.292 s]
/proc/loadavg: 2.00 1.96 1.63 3/81 12366
/proc/meminfo: memFree=1312256/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=880.7
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 9144 0 1 0 87216 854 0 0 25 0 8 0 280191017 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 8873 2532 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.24
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 880.7
Current children cumulated vsize (KiB) 915444
[startup+943.359 s]
/proc/loadavg: 2.00 1.96 1.65 3/81 12366
/proc/meminfo: memFree=1312256/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=940.75
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 9144 0 1 0 93221 854 0 0 25 0 8 0 280191017 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 8873 2532 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.24
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 940.75
Current children cumulated vsize (KiB) 915444
[startup+1003.43 s]
/proc/loadavg: 2.04 1.98 1.67 3/81 12366
/proc/meminfo: memFree=1312256/2055920 swapFree=4184256/4192956
[pid=12358] ppid=12356 vsize=915444 CPUtime=1000.81
/proc/12358/stat : 12358 (java) R 12356 12358 12090 0 -1 0 9144 0 1 0 99227 854 0 0 25 0 8 0 280191017 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12358/statm: 228861 8873 2532 14 0 215331 0
[pid=12358/tid=12360] ppid=12356 vsize=915444 CPUtime=0.02
/proc/12358/task/12360/stat : 12360 (java) S 12356 12358 12090 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280191025 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12361] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12361/stat : 12361 (java) S 12356 12358 12090 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280191026 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12362] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12362/stat : 12362 (java) S 12356 12358 12090 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280191026 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12363] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12363/stat : 12363 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12364] ppid=12356 vsize=915444 CPUtime=0.24
/proc/12358/task/12364/stat : 12364 (java) S 12356 12358 12090 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12365] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12365/stat : 12365 (java) S 12356 12358 12090 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12358/tid=12366] ppid=12356 vsize=915444 CPUtime=0
/proc/12358/task/12366/stat : 12366 (java) S 12356 12358 12090 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280191029 937414656 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1000.81
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 1004.67
CPU time (s): 1002
CPU user time (s): 993.452
CPU system time (s): 8.5487
CPU usage (%): 99.7346
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 993.452
system time used= 8.5487
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9241
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= 21442
involuntary context switches= 29386
runsolver used 1.21981 s user time and 3.04854 s system time
The end
Begin job on node58 on Sat Jan 20 18:32:10 UTC 2007
IDJOB= 282088
IDBENCH= 12398
IDSOLVER= 68
FILE ID= node58/282088-1169317930
PBS_JOBID= 3610387
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-30-10-25-t58/pi-30-10-197-42-51.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282088-1169317930/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-282088-1169317930 -o ROOT/results/node58/solver-282088-1169317930 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282088-1169317930/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 20aa7eac67408d907fc67f5273042216
RANDOM SEED= 633156881
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: 1338456 kB
Buffers: 47440 kB
Cached: 517000 kB
SwapCached: 2680 kB
Active: 214384 kB
Inactive: 433724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1338456 kB
SwapTotal: 4192956 kB
SwapFree: 4184256 kB
Dirty: 1688 kB
Writeback: 0 kB
Mapped: 91040 kB
Slab: 54728 kB
Committed_AS: 4986224 kB
PageTables: 1860 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node58 on Sat Jan 20 18:48:55 UTC 2007