0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/282899-1169323738/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=83 nbDomainTypes=3 minDomainSize=1 maxDomainSize=4
0.42 => wckTime=0.114 cpuTime=0.1 mem=6M910
0.42
0.42 relations being loaded...
0.43
0.43 constraints being loaded...
0.55 nbConstraints=462 nbRelationTypes=7 nbSingletonDomainVariables=1 nbExtensionStructures=7
0.55 nbSharedExtensionStructures=455 nbConflictsStructures=7 nbSharedConflictsStructures=455
0.55 nbSharedBinaryRepresentations=28 maxDegree=82 maxArity=2
0.55 => wckTime=0.238 cpuTime=0.16 mem=8M860
0.59
0.59 solver LocalSearchSolver being built...
0.63 => wckTime=0.323 cpuTime=0.21 mem=5M615
0.64
0.64 s SATISFIABLE
0.64 o 351
0.64 c 111
0.64 o 360
0.64 c 102
0.64 o 369
0.64 c 93
0.64 o 376
0.64 c 86
0.64 o 381
0.64 c 81
0.64 o 385
0.64 c 77
0.64 o 389
0.64 c 73
0.64 o 392
0.64 c 70
0.64 o 394
0.64 c 68
0.65 o 396
0.65 c 66
0.65 o 398
0.65 c 64
0.65 o 399
0.65 c 63
0.65 o 400
0.65 c 62
0.65 o 401
0.65 c 61
0.65 o 402
0.65 c 60
0.65 o 403
0.65 c 59
0.65 o 404
0.65 c 58
0.65 o 405
0.65 c 57
0.66 o 406
0.66 c 56
0.66 o 407
0.66 c 55
0.66 o 408
0.66 c 54
0.66 o 409
0.66 c 53
0.66 o 410
0.66 c 52
0.66 o 411
0.66 c 51
0.66 o 412
0.66 c 50
2.42
2.42 search
2.42 run=0 nbConstraintChecks=8576666 nbAssignments=10000
2.42 => wckTime=1.787 cpuTime=1.76 mem=5M615
4.17
4.17 search
4.17 run=1 nbConstraintChecks=17454040 nbAssignments=20000
4.17 => wckTime=3.537 cpuTime=3.49 mem=5M615
5.89
5.89 search
5.89 run=2 nbConstraintChecks=26016595 nbAssignments=30000
5.89 => wckTime=5.26 cpuTime=5.2 mem=5M615
7.65
7.65 search
7.65 run=3 nbConstraintChecks=34928100 nbAssignments=40000
7.65 => wckTime=7.021 cpuTime=6.95 mem=5M615
9.37
9.37 search
9.37 run=4 nbConstraintChecks=43497068 nbAssignments=50000
9.37 => wckTime=8.746 cpuTime=8.65 mem=5M615
11.14
11.14 search
11.14 run=5 nbConstraintChecks=52448283 nbAssignments=60000
11.14 => wckTime=10.508 cpuTime=10.41 mem=5M615
12.86
12.86 search
12.86 run=6 nbConstraintChecks=61006023 nbAssignments=70000
12.86 => wckTime=12.231 cpuTime=12.11 mem=5M615
14.62
14.62 search
14.62 run=7 nbConstraintChecks=69952534 nbAssignments=80000
14.62 => wckTime=13.991 cpuTime=13.87 mem=5M615
14.62 o 413
14.62 c 49
14.62 o 414
14.62 c 48
16.33
16.33 search
16.33 run=8 nbConstraintChecks=78519490 nbAssignments=90000
16.33 => wckTime=15.697 cpuTime=15.55 mem=5M615
18.08
18.08 search
18.08 run=9 nbConstraintChecks=87438520 nbAssignments=100000
18.08 => wckTime=17.449 cpuTime=17.3 mem=5M615
19.78
19.78 search
19.78 run=10 nbConstraintChecks=95961031 nbAssignments=110000
19.78 => wckTime=19.155 cpuTime=18.98 mem=5M615
21.55
21.55 search
21.55 run=11 nbConstraintChecks=104957989 nbAssignments=120000
21.55 => wckTime=20.918 cpuTime=20.73 mem=5M615
23.25
23.25 search
23.25 run=12 nbConstraintChecks=113555762 nbAssignments=130000
23.25 => wckTime=22.626 cpuTime=22.43 mem=5M615
25.02
25.02 search
25.02 run=13 nbConstraintChecks=122452369 nbAssignments=140000
25.02 => wckTime=24.395 cpuTime=24.18 mem=5M615
26.74
26.74 search
26.74 run=14 nbConstraintChecks=130994663 nbAssignments=150000
26.74 => wckTime=26.11 cpuTime=25.89 mem=5M615
28.51
28.51 search
28.51 run=15 nbConstraintChecks=139948969 nbAssignments=160000
28.51 => wckTime=27.886 cpuTime=27.64 mem=5M615
30.23
30.23 search
30.23 run=16 nbConstraintChecks=148542007 nbAssignments=170000
30.23 => wckTime=29.603 cpuTime=29.35 mem=5M615
32.00
32.01 search
32.01 run=17 nbConstraintChecks=157412218 nbAssignments=180000
32.01 => wckTime=31.373 cpuTime=31.1 mem=5M615
33.73
33.73 search
33.73 run=18 nbConstraintChecks=166019471 nbAssignments=190000
33.73 => wckTime=33.097 cpuTime=32.81 mem=5M615
35.49
35.49 search
35.49 run=19 nbConstraintChecks=174958787 nbAssignments=200000
35.49 => wckTime=34.856 cpuTime=34.56 mem=5M615
37.20
37.20 search
37.20 run=20 nbConstraintChecks=183560660 nbAssignments=210000
37.20 => wckTime=36.569 cpuTime=36.26 mem=5M615
38.94
38.94 search
38.94 run=21 nbConstraintChecks=192397030 nbAssignments=220000
38.94 => wckTime=38.315 cpuTime=37.99 mem=5M615
40.65
40.65 search
40.65 run=22 nbConstraintChecks=200978532 nbAssignments=230000
40.65 => wckTime=40.023 cpuTime=39.68 mem=5M615
42.41
42.41 search
42.41 run=23 nbConstraintChecks=209956064 nbAssignments=240000
42.41 => wckTime=41.782 cpuTime=41.44 mem=5M615
44.13
44.13 search
44.13 run=24 nbConstraintChecks=218539949 nbAssignments=250000
44.13 => wckTime=43.503 cpuTime=43.14 mem=5M615
44.87
44.87 search
44.87 run=25 nbConstraintChecks=222308808 nbAssignments=254188
44.87 => wckTime=44.241 cpuTime=43.88 mem=5M615
44.87
44.87 global
44.87 nbConstraintChecks=222308808 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.87 solvingWckTime=44.237 solvingCpuTime=43.87 expiredTime=no totalExploration=no nbFoundSolutions=0
44.87 globalCpuTime=44.13
44.87 => wckTime=44.563 cpuTime=44.08 mem=5M615
44.87
44.87 solver IterativeSystematicSolver being built...
45.01 => wckTime=44.699 cpuTime=44.19 mem=16M652
45.02
45.02 preprocessing
45.02 nbConstraintChecks=202 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
45.02 detectedInconsistency=no
45.02 => wckTime=0.0080 cpuTime=0.01 mem=16M652
45.10
45.10 search
45.10 run=0 nbConstraintChecks=63344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=70
45.10 nbFailedAssignments=27 nbBacktracks=10 nbVisitedNodes=108 nbRestartNogoods=0
45.10 => wckTime=0.091 cpuTime=0.06 mem=16M652
45.17
45.18 search
45.18 run=1 nbConstraintChecks=154289 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=159
45.18 nbFailedAssignments=69 nbBacktracks=25 nbVisitedNodes=254 nbRestartNogoods=3
45.18 => wckTime=0.166 cpuTime=0.13 mem=16M652
45.27
45.27 search
45.27 run=2 nbConstraintChecks=285452 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=278
45.27 nbFailedAssignments=133 nbBacktracks=47 nbVisitedNodes=459 nbRestartNogoods=8
45.27 => wckTime=0.257 cpuTime=0.21 mem=16M652
45.38
45.38 search
45.38 run=3 nbConstraintChecks=472957 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=437
45.38 nbFailedAssignments=226 nbBacktracks=80 nbVisitedNodes=744 nbRestartNogoods=12
45.38 => wckTime=0.369 cpuTime=0.31 mem=16M652
45.51
45.51 search
45.51 run=4 nbConstraintChecks=608900 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=561
45.51 nbFailedAssignments=286 nbBacktracks=132 nbVisitedNodes=978 nbRestartNogoods=16
45.51 => wckTime=0.499 cpuTime=0.44 mem=16M652
45.74
45.74 search
45.74 run=5 nbConstraintChecks=1003578 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=869
45.74 nbFailedAssignments=488 nbBacktracks=207 nbVisitedNodes=1563 nbRestartNogoods=20
45.74 => wckTime=0.73 cpuTime=0.67 mem=16M652
46.02
46.02 search
46.02 run=6 nbConstraintChecks=1280832 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1119
46.02 nbFailedAssignments=615 nbBacktracks=320 nbVisitedNodes=2040 nbRestartNogoods=25
46.02 => wckTime=1.007 cpuTime=0.95 mem=16M652
46.49
46.49 search
46.49 run=7 nbConstraintChecks=2050074 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1713
46.49 nbFailedAssignments=1009 nbBacktracks=490 nbVisitedNodes=3198 nbRestartNogoods=28
46.49 => wckTime=1.478 cpuTime=1.4 mem=16M652
47.04
47.04 search
47.04 run=8 nbConstraintChecks=2924650 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2325
47.04 nbFailedAssignments=1335 nbBacktracks=747 nbVisitedNodes=4388 nbRestartNogoods=33
47.04 => wckTime=2.029 cpuTime=1.94 mem=16M652
47.99
47.99 search
47.99 run=9 nbConstraintChecks=4539340 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3467
47.99 nbFailedAssignments=2063 nbBacktracks=1131 nbVisitedNodes=6629 nbRestartNogoods=42
47.99 => wckTime=2.983 cpuTime=2.88 mem=16M652
48.88
48.88 search
48.88 run=10 nbConstraintChecks=6040143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4601
48.88 nbFailedAssignments=2589 nbBacktracks=1707 nbVisitedNodes=8787 nbRestartNogoods=50
48.88 => wckTime=3.868 cpuTime=3.75 mem=16M652
50.64
50.64 search
50.64 run=11 nbConstraintChecks=8705506 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6523
50.64 nbFailedAssignments=3607 nbBacktracks=2573 nbVisitedNodes=12477 nbRestartNogoods=62
50.64 => wckTime=5.63 cpuTime=5.5 mem=16M652
53.87
53.87 search
53.87 run=12 nbConstraintChecks=14109057 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10480
53.87 nbFailedAssignments=6239 nbBacktracks=3870 nbVisitedNodes=20363 nbRestartNogoods=75
53.87 => wckTime=8.865 cpuTime=8.71 mem=16M652
56.30
56.30 search
56.30 run=13 nbConstraintChecks=18228686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13240
56.30 nbFailedAssignments=7016 nbBacktracks=5819 nbVisitedNodes=25688 nbRestartNogoods=84
56.30 => wckTime=11.288 cpuTime=11.12 mem=16M652
59.86
59.86 search
59.86 run=14 nbConstraintChecks=24156728 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17312
59.86 nbFailedAssignments=8133 nbBacktracks=8741 nbVisitedNodes=33683 nbRestartNogoods=99
59.86 => wckTime=14.85 cpuTime=14.65 mem=16M652
70.19
70.19 search
70.19 run=15 nbConstraintChecks=42373793 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30645
70.19 nbFailedAssignments=17058 nbBacktracks=13120 nbVisitedNodes=59861 nbRestartNogoods=110
70.19 => wckTime=25.18 cpuTime=24.89 mem=16M652
77.76
77.76 search
77.76 run=16 nbConstraintChecks=55687396 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39673
77.76 nbFailedAssignments=19479 nbBacktracks=19688 nbVisitedNodes=77355 nbRestartNogoods=122
77.76 => wckTime=32.753 cpuTime=32.41 mem=16M652
90.00
90.00 search
90.00 run=17 nbConstraintChecks=77295465 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54768
90.00 nbFailedAssignments=24690 nbBacktracks=29542 nbVisitedNodes=106688 nbRestartNogoods=137
90.00 => wckTime=44.993 cpuTime=44.55 mem=16M652
132.94
132.94 search
132.94 run=18 nbConstraintChecks=142567269 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103422
132.94 nbFailedAssignments=58542 nbBacktracks=44320 nbVisitedNodes=202954 nbRestartNogoods=154
132.94 => wckTime=87.929 cpuTime=87.16 mem=16M652
206.18
206.18 search
206.18 run=19 nbConstraintChecks=244081975 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=182625
206.18 nbFailedAssignments=115552 nbBacktracks=66488 nbVisitedNodes=360948 nbRestartNogoods=169
206.18 => wckTime=161.173 cpuTime=159.86 mem=16M652
259.46
259.46 search
259.46 run=20 nbConstraintChecks=328611024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=245881
259.46 nbFailedAssignments=145520 nbBacktracks=99740 nbVisitedNodes=483932 nbRestartNogoods=184
259.46 => wckTime=214.45 cpuTime=212.73 mem=16M652
383.08
383.08 search
383.08 run=21 nbConstraintChecks=498606885 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=360360
383.08 nbFailedAssignments=210093 nbBacktracks=149618 nbVisitedNodes=710949 nbRestartNogoods=197
383.08 => wckTime=338.075 cpuTime=335.42 mem=16M652
383.11 o 415
383.11 c 47
524.43
524.43 search
524.43 run=22 nbConstraintChecks=714179214 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=501491
524.43 nbFailedAssignments=276366 nbBacktracks=224436 nbVisitedNodes=980088 nbRestartNogoods=210
524.43 => wckTime=479.419 cpuTime=475.67 mem=16M652
708.61
708.61 search
708.61 run=23 nbConstraintChecks=995009149 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=707122
708.61 nbFailedAssignments=369733 nbBacktracks=336672 nbVisitedNodes=1352944 nbRestartNogoods=220
708.61 => wckTime=663.603 cpuTime=658.47 mem=16M652
904.03
904.03 search
904.03 run=24 nbConstraintChecks=1369417403 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=984410
904.03 nbFailedAssignments=478622 nbBacktracks=505014 nbVisitedNodes=1871416 nbRestartNogoods=227
904.03 => wckTime=859.02 cpuTime=852.39 mem=16M652
1111.16
1111.16 search
1111.16 run=25 nbConstraintChecks=1849717846 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1404964
1111.16 nbFailedAssignments=646599 nbBacktracks=757528 nbVisitedNodes=2641737 nbRestartNogoods=248
1111.16 => wckTime=1066.15 cpuTime=1057.87 mem=16M652
1452.91
1452.91 search
1452.91 run=26 nbConstraintChecks=2520874144 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1994833
1452.91 nbFailedAssignments=857654 nbBacktracks=1136297 nbVisitedNodes=3643039 nbRestartNogoods=267
1452.91 => wckTime=1407.901 cpuTime=1396.88 mem=16M652
1920.49
1920.49 search
1920.49 run=27 nbConstraintChecks=3469460254 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2852197
1920.49 nbFailedAssignments=1146823 nbBacktracks=1704448 nbVisitedNodes=5061723 nbRestartNogoods=283
1920.49 => wckTime=1875.477 cpuTime=1860.84 mem=16M652
2416.54 v 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 2 3 0 1 1 1 1 0 3 3 2 3 0 1 1 1 0 2 3 1 1 0 0 2 1 1 3 0 -1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-282899-1169323738 -o ROOT/results/node44/solver-282899-1169323738 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282899-1169323738/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.05 1.64 1.29 4/73 25425
/proc/meminfo: memFree=1258528/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=9948 CPUtime=0
/proc/25424/stat : 25424 (java) S 25422 25424 24480 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 280772860 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/25424/statm: 2487 472 386 14 0 1142 0
[startup+0.103184 s]
/proc/loadavg: 2.05 1.64 1.29 4/73 25425
/proc/meminfo: memFree=1258528/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=914988 CPUtime=0.08
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 280772860 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25424/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511228 s]
/proc/loadavg: 2.05 1.64 1.29 4/73 25425
/proc/meminfo: memFree=1258528/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915332 CPUtime=0.49
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 6476 0 1 0 45 4 0 0 18 0 8 0 280772860 937299968 6215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25424/statm: 228833 6215 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33331 s]
/proc/loadavg: 2.05 1.64 1.29 3/80 25432
/proc/meminfo: memFree=1240296/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=1.3
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 7220 0 1 0 111 19 0 0 24 0 8 0 280772860 937422848 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25424/statm: 228863 6958 2476 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.13
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 340 0 0 0 13 0 0 0 16 0 8 0 280772867 937422848 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280772867 937422848 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.98247 s]
/proc/loadavg: 2.05 1.64 1.29 3/80 25432
/proc/meminfo: memFree=1240168/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=2.94
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 7224 0 1 0 239 55 0 0 25 0 8 0 280772860 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25424/statm: 228863 6961 2476 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.13
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.26181 s]
/proc/loadavg: 2.05 1.64 1.29 3/80 25432
/proc/meminfo: memFree=1240176/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=6.2
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 7224 0 1 0 488 132 0 0 25 0 8 0 280772860 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693781 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25424/statm: 228863 6961 2476 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.13
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
[startup+12.7475 s]
/proc/loadavg: 2.04 1.66 1.30 3/80 25432
/proc/meminfo: memFree=1240176/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=12.63
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 7224 0 1 0 983 280 0 0 25 0 8 0 280772860 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25424/statm: 228863 6961 2476 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.13
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280772867 937422848 6961 18446744073709551615 134512640 134570532 4294956480 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) 915452
[startup+25.5878 s]
/proc/loadavg: 2.03 1.67 1.30 3/80 25432
/proc/meminfo: memFree=1240304/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=25.38
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 7226 0 1 0 1964 574 0 0 25 0 8 0 280772860 937422848 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25424/statm: 228863 6962 2476 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.14
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 280772867 937422848 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280772867 937422848 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915452
[startup+51.1904 s]
/proc/loadavg: 2.02 1.69 1.32 3/80 25432
/proc/meminfo: memFree=1232880/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=50.77
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 9133 0 1 0 4065 1012 0 0 25 0 8 0 280772860 937422848 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073877347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25424/statm: 228863 8865 2527 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.25
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 406 0 0 0 24 1 0 0 15 0 8 0 280772867 937422848 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280772867 937422848 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915452
[startup+102.486 s]
/proc/loadavg: 2.01 1.74 1.36 3/80 25432
/proc/meminfo: memFree=1232816/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=101.66
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 9150 0 1 0 9154 1012 0 0 25 0 8 0 280772860 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25424/statm: 228863 8882 2527 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.25
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 280772867 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280772867 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 915452
[startup+162.521 s]
/proc/loadavg: 2.00 1.79 1.39 3/80 25432
/proc/meminfo: memFree=1232816/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=161.24
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 9154 0 1 0 15112 1012 0 0 25 0 8 0 280772860 937422848 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073889697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2008.1
Current children cumulated vsize (KiB) 915452
[startup+2083.79 s]
/proc/loadavg: 2.10 2.04 1.91 3/80 25434
/proc/meminfo: memFree=1232560/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=2067.68
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 9179 0 1 0 205746 1022 0 0 25 0 8 0 280772860 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25424/statm: 228863 8910 2527 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.25
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0.03
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 1 2 0 0 15 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2067.68
Current children cumulated vsize (KiB) 915452
[startup+2143.82 s]
/proc/loadavg: 1.64 1.94 1.88 2/72 25454
/proc/meminfo: memFree=1247856/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=2127.45
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 9179 0 1 0 211723 1022 0 0 25 0 8 0 280772860 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25424/statm: 228863 8910 2527 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.25
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0.03
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 1 2 0 0 15 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2127.45
Current children cumulated vsize (KiB) 915452
[startup+2203.83 s]
/proc/loadavg: 1.23 1.77 1.83 2/72 25454
/proc/meminfo: memFree=1247920/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=2187.44
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 9179 0 1 0 217722 1022 0 0 25 0 8 0 280772860 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073718386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25424/statm: 228863 8910 2527 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.25
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0.03
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 1 2 0 0 15 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2187.44
Current children cumulated vsize (KiB) 915452
[startup+2263.84 s]
/proc/loadavg: 1.08 1.62 1.77 2/72 25454
/proc/meminfo: memFree=1247920/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=2247.43
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 9179 0 1 0 223721 1022 0 0 25 0 8 0 280772860 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890714 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25424/statm: 228863 8910 2527 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.25
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0.03
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 1 2 0 0 15 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2247.43
Current children cumulated vsize (KiB) 915452
[startup+2323.84 s]
/proc/loadavg: 1.03 1.51 1.72 2/72 25454
/proc/meminfo: memFree=1247984/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=2307.42
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 9179 0 1 0 229720 1022 0 0 25 0 8 0 280772860 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073877251 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25424/statm: 228863 8910 2527 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.25
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0.03
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 1 2 0 0 15 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2307.42
Current children cumulated vsize (KiB) 915452
[startup+2383.85 s]
/proc/loadavg: 1.01 1.41 1.67 2/72 25454
/proc/meminfo: memFree=1247984/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=2367.42
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 9179 0 1 0 235719 1023 0 0 25 0 8 0 280772860 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073889641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25424/statm: 228863 8910 2527 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.25
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0.03
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 1 2 0 0 15 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2367.42
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2416.53 s]
/proc/loadavg: 1.00 1.36 1.65 2/72 25454
/proc/meminfo: memFree=1247984/2055920 swapFree=4191892/4192956
[pid=25424] ppid=25422 vsize=915452 CPUtime=2400.1
/proc/25424/stat : 25424 (java) R 25422 25424 24480 0 -1 0 9179 0 1 0 238987 1023 0 0 25 0 8 0 280772860 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832199 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25424/statm: 228863 8910 2527 14 0 215333 0
[pid=25424/tid=25426] ppid=25422 vsize=915452 CPUtime=0.02
/proc/25424/task/25426/stat : 25426 (java) S 25422 25424 24480 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280772863 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25427] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25427/stat : 25427 (java) S 25422 25424 24480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25428] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25428/stat : 25428 (java) S 25422 25424 24480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280772864 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25429] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25429/stat : 25429 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25430] ppid=25422 vsize=915452 CPUtime=0.25
/proc/25424/task/25430/stat : 25430 (java) S 25422 25424 24480 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25431] ppid=25422 vsize=915452 CPUtime=0
/proc/25424/task/25431/stat : 25431 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25424/tid=25432] ppid=25422 vsize=915452 CPUtime=0.03
/proc/25424/task/25432/stat : 25432 (java) S 25422 25424 24480 0 -1 64 1 0 0 0 1 2 0 0 15 0 8 0 280772867 937422848 8910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2416.6
CPU time (s): 2400.17
CPU user time (s): 2389.93
CPU system time (s): 10.2384
CPU usage (%): 99.32
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.93
system time used= 10.2384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9202
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= 50044
involuntary context switches= 81699
runsolver used 2.14467 s user time and 6.585 s system time
The end
Begin job on node44 on Sat Jan 20 20:08:58 UTC 2007
IDJOB= 282899
IDBENCH= 12909
IDSOLVER= 69
FILE ID= node44/282899-1169323738
PBS_JOBID= 3610439
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/spot5/spot5-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282899-1169323738/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-282899-1169323738 -o ROOT/results/node44/solver-282899-1169323738 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282899-1169323738/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d6994feb2c840659c8083290fb61c6fc
RANDOM SEED= 288359603
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.213
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.213
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: 1259008 kB
Buffers: 57392 kB
Cached: 632336 kB
SwapCached: 268 kB
Active: 212168 kB
Inactive: 505212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1259008 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1748 kB
Writeback: 0 kB
Mapped: 37912 kB
Slab: 65092 kB
Committed_AS: 5572864 kB
PageTables: 1720 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node44 on Sat Jan 20 20:49:26 UTC 2007