0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/277949-1169272755/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.097 cpuTime=0.07 mem=6M910
0.39
0.39 relations being loaded...
0.39
0.39 constraints being loaded...
0.52 nbConstraints=599 nbRelationTypes=9 nbExtensionStructures=9 nbSharedExtensionStructures=590
0.52 nbConflictsStructures=9 nbSharedConflictsStructures=590 nbSharedBinaryRepresentations=0 maxDegree=33 maxArity=3
0.52 => wckTime=0.236 cpuTime=0.15 mem=8M860
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.312 cpuTime=0.2 mem=5M693
0.60
0.60 s SATISFIABLE
0.60 o 527
0.60 c 72
0.60 o 530
0.60 c 69
0.60 o 534
0.60 c 65
0.61 o 538
0.61 c 61
0.61 o 540
0.61 c 59
0.61 o 542
0.61 c 57
0.61 o 545
0.61 c 54
0.61 o 549
0.61 c 50
0.61 o 551
0.61 c 48
0.61 o 553
0.61 c 46
0.61 o 557
0.61 c 42
0.62 o 558
0.62 c 41
0.62 o 562
0.62 c 37
0.62 o 563
0.62 c 36
0.62 o 564
0.62 c 35
0.62 o 565
0.62 c 34
0.62 o 566
0.62 c 33
0.63 o 567
0.63 c 32
0.63 o 569
0.63 c 30
0.63 o 570
0.63 c 29
0.63 o 573
0.63 c 26
0.64 o 574
0.64 c 25
0.65 o 575
0.65 c 24
0.65 o 576
0.65 c 23
0.65 o 577
0.65 c 22
0.65 o 580
0.65 c 19
0.67 o 581
0.67 c 18
0.67 o 582
0.67 c 17
0.67 o 584
0.67 c 15
0.67 o 585
0.67 c 14
0.67 o 587
0.67 c 12
2.11
2.11 search
2.11 run=0 nbConstraintChecks=6452745 nbAssignments=10000
2.11 => wckTime=1.513 cpuTime=1.49 mem=5M693
3.64
3.64 search
3.64 run=1 nbConstraintChecks=13470517 nbAssignments=20000
3.64 => wckTime=3.038 cpuTime=3.0 mem=5M693
5.10
5.10 search
5.10 run=2 nbConstraintChecks=20070831 nbAssignments=30000
5.10 => wckTime=4.497 cpuTime=4.46 mem=5M693
6.62
6.62 search
6.62 run=3 nbConstraintChecks=27109179 nbAssignments=40000
6.62 => wckTime=6.021 cpuTime=5.99 mem=5M693
8.09
8.09 search
8.09 run=4 nbConstraintChecks=33672127 nbAssignments=50000
8.09 => wckTime=7.486 cpuTime=7.45 mem=5M693
9.64
9.64 search
9.64 run=5 nbConstraintChecks=40689833 nbAssignments=60000
9.64 => wckTime=9.038 cpuTime=8.98 mem=5M693
11.10
11.10 search
11.10 run=6 nbConstraintChecks=47215679 nbAssignments=70000
11.10 => wckTime=10.499 cpuTime=10.44 mem=5M693
12.62
12.62 search
12.62 run=7 nbConstraintChecks=54184967 nbAssignments=80000
12.62 => wckTime=12.024 cpuTime=11.96 mem=5M693
14.10
14.10 search
14.10 run=8 nbConstraintChecks=60812878 nbAssignments=90000
14.10 => wckTime=13.498 cpuTime=13.44 mem=5M693
15.63
15.63 search
15.63 run=9 nbConstraintChecks=67831493 nbAssignments=100000
15.63 => wckTime=15.03 cpuTime=14.96 mem=5M693
17.10
17.10 search
17.10 run=10 nbConstraintChecks=74388807 nbAssignments=110000
17.10 => wckTime=16.498 cpuTime=16.42 mem=5M693
18.61
18.61 search
18.61 run=11 nbConstraintChecks=81389112 nbAssignments=120000
18.61 => wckTime=18.014 cpuTime=17.94 mem=5M693
20.07
20.07 search
20.07 run=12 nbConstraintChecks=87967183 nbAssignments=130000
20.07 => wckTime=19.472 cpuTime=19.4 mem=5M693
21.58
21.58 search
21.58 run=13 nbConstraintChecks=94902732 nbAssignments=140000
21.58 => wckTime=20.98 cpuTime=20.91 mem=5M693
23.03
23.04 search
23.04 run=14 nbConstraintChecks=101480064 nbAssignments=150000
23.04 => wckTime=22.436 cpuTime=22.36 mem=5M693
24.54
24.54 search
24.54 run=15 nbConstraintChecks=108384870 nbAssignments=160000
24.54 => wckTime=23.94 cpuTime=23.87 mem=5M693
25.99
25.99 search
25.99 run=16 nbConstraintChecks=114925928 nbAssignments=170000
25.99 => wckTime=25.391 cpuTime=25.32 mem=5M693
27.51
27.51 search
27.51 run=17 nbConstraintChecks=121893423 nbAssignments=180000
27.51 => wckTime=26.914 cpuTime=26.84 mem=5M693
28.98
28.98 search
28.98 run=18 nbConstraintChecks=128476701 nbAssignments=190000
28.98 => wckTime=28.383 cpuTime=28.3 mem=5M693
30.53
30.53 search
30.53 run=19 nbConstraintChecks=135543837 nbAssignments=200000
30.53 => wckTime=29.926 cpuTime=29.84 mem=5M693
30.74
30.74 search
30.74 run=20 nbConstraintChecks=136423780 nbAssignments=201658
30.74 => wckTime=30.141 cpuTime=30.06 mem=5M693
30.74
30.74 global
30.74 nbConstraintChecks=136423780 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.74 solvingWckTime=30.139 solvingCpuTime=30.06 expiredTime=no totalExploration=no nbFoundSolutions=0
30.74 globalCpuTime=30.32
30.74 => wckTime=30.453 cpuTime=30.26 mem=5M693
30.74
30.74 solver IterativeSystematicSolver being built...
30.92 => wckTime=30.627 cpuTime=30.39 mem=20M533
30.93
30.93 preprocessing
30.93 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.93 detectedInconsistency=no
30.93 => wckTime=0.01 cpuTime=0.01 mem=20M533
31.01
31.01 search
31.01 run=0 nbConstraintChecks=5224 nbValidityChecks=23405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.01 nbAssignments=50 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=71 nbRestartNogoods=0
31.01 => wckTime=0.093 cpuTime=0.07 mem=20M533
31.07
31.07 search
31.07 run=1 nbConstraintChecks=11642 nbValidityChecks=56392 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.07 nbAssignments=108 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=157 nbRestartNogoods=2
31.07 => wckTime=0.152 cpuTime=0.11 mem=20M533
31.11
31.11 search
31.11 run=2 nbConstraintChecks=17290 nbValidityChecks=86401 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.11 nbAssignments=164 nbFailedAssignments=29 nbBacktracks=49 nbVisitedNodes=239 nbRestartNogoods=5
31.11 => wckTime=0.196 cpuTime=0.16 mem=20M533
31.21
31.21 search
31.21 run=3 nbConstraintChecks=32468 nbValidityChecks=179572 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.21 nbAssignments=263 nbFailedAssignments=62 nbBacktracks=82 nbVisitedNodes=404 nbRestartNogoods=7
31.21 => wckTime=0.289 cpuTime=0.25 mem=20M533
31.31
31.31 search
31.31 run=4 nbConstraintChecks=48351 nbValidityChecks=268162 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.31 nbAssignments=366 nbFailedAssignments=86 nbBacktracks=134 nbVisitedNodes=581 nbRestartNogoods=12
31.31 => wckTime=0.389 cpuTime=0.35 mem=20M533
31.46
31.46 search
31.46 run=5 nbConstraintChecks=73922 nbValidityChecks=419805 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.46 nbAssignments=529 nbFailedAssignments=140 nbBacktracks=209 nbVisitedNodes=868 nbRestartNogoods=15
31.46 => wckTime=0.545 cpuTime=0.5 mem=20M533
31.70
31.70 search
31.70 run=6 nbConstraintChecks=113747 nbValidityChecks=661200 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.70 nbAssignments=779 nbFailedAssignments=247 nbBacktracks=322 nbVisitedNodes=1312 nbRestartNogoods=19
31.70 => wckTime=0.787 cpuTime=0.74 mem=20M533
32.02
32.02 search
32.02 run=7 nbConstraintChecks=161722 nbValidityChecks=920454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.02 nbAssignments=1093 nbFailedAssignments=360 nbBacktracks=494 nbVisitedNodes=1859 nbRestartNogoods=21
32.02 => wckTime=1.1 cpuTime=1.05 mem=20M533
32.48
32.48 search
32.48 run=8 nbConstraintChecks=230126 nbValidityChecks=1345946 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.48 nbAssignments=1504 nbFailedAssignments=487 nbBacktracks=751 nbVisitedNodes=2612 nbRestartNogoods=27
32.48 => wckTime=1.56 cpuTime=1.5 mem=20M533
33.16
33.16 search
33.16 run=9 nbConstraintChecks=346156 nbValidityChecks=2000408 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.16 nbAssignments=2171 nbFailedAssignments=740 nbBacktracks=1136 nbVisitedNodes=3848 nbRestartNogoods=30
33.16 => wckTime=2.239 cpuTime=2.17 mem=20M533
34.03
34.03 search
34.03 run=10 nbConstraintChecks=502620 nbValidityChecks=2853543 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.03 nbAssignments=3069 nbFailedAssignments=1032 nbBacktracks=1713 nbVisitedNodes=5519 nbRestartNogoods=33
34.03 => wckTime=3.118 cpuTime=3.04 mem=20M533
35.52
35.52 search
35.52 run=11 nbConstraintChecks=765152 nbValidityChecks=4410763 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.52 nbAssignments=4594 nbFailedAssignments=1659 nbBacktracks=2578 nbVisitedNodes=8388 nbRestartNogoods=37
35.52 => wckTime=4.604 cpuTime=4.53 mem=20M533
37.33
37.33 search
37.33 run=12 nbConstraintChecks=1085848 nbValidityChecks=6118709 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.33 nbAssignments=6550 nbFailedAssignments=2290 nbBacktracks=3877 nbVisitedNodes=11883 nbRestartNogoods=45
37.33 => wckTime=6.414 cpuTime=6.34 mem=20M533
39.84
39.84 search
39.84 run=13 nbConstraintChecks=1584104 nbValidityChecks=8516205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.84 nbAssignments=9435 nbFailedAssignments=3204 nbBacktracks=5825 nbVisitedNodes=16947 nbRestartNogoods=51
39.84 => wckTime=8.927 cpuTime=8.84 mem=20M533
43.56
43.56 search
43.56 run=14 nbConstraintChecks=2274272 nbValidityChecks=11927563 nbPropagations=0 nbRevisions=0
43.56 nbUselessRevisions=0 nbAssignments=13904 nbFailedAssignments=4724 nbBacktracks=8747 nbVisitedNodes=24560
43.56 nbRestartNogoods=54
43.56 => wckTime=12.647 cpuTime=12.56 mem=20M533
48.86
48.86 search
48.86 run=15 nbConstraintChecks=3520556 nbValidityChecks=17398817 nbPropagations=0 nbRevisions=0
48.86 nbUselessRevisions=0 nbAssignments=20282 nbFailedAssignments=6686 nbBacktracks=13131 nbVisitedNodes=35692
48.86 nbRestartNogoods=59
48.86 => wckTime=17.948 cpuTime=17.86 mem=20M533
56.76
56.76 search
56.76 run=16 nbConstraintChecks=5027632 nbValidityChecks=24415612 nbPropagations=0 nbRevisions=0
56.76 nbUselessRevisions=0 nbAssignments=29688 nbFailedAssignments=9492 nbBacktracks=19703 nbVisitedNodes=51347
56.76 nbRestartNogoods=65
56.76 => wckTime=25.846 cpuTime=25.73 mem=20M533
67.57
67.57 search
67.57 run=17 nbConstraintChecks=7401856 nbValidityChecks=34455263 nbPropagations=0 nbRevisions=0
67.57 nbUselessRevisions=0 nbAssignments=43338 nbFailedAssignments=13261 nbBacktracks=29555 nbVisitedNodes=73856
67.57 nbRestartNogoods=73
67.57 => wckTime=36.655 cpuTime=36.53 mem=20M533
83.95
83.95 search
83.95 run=18 nbConstraintChecks=10955478 nbValidityChecks=49286095 nbPropagations=0 nbRevisions=0
83.95 nbUselessRevisions=0 nbAssignments=63663 nbFailedAssignments=18781 nbBacktracks=44335 nbVisitedNodes=107940
83.95 nbRestartNogoods=78
83.95 => wckTime=53.037 cpuTime=52.91 mem=20M533
107.30
107.30 search
107.30 run=19 nbConstraintChecks=16835620 nbValidityChecks=72410462 nbPropagations=0 nbRevisions=0
107.30 nbUselessRevisions=0 nbAssignments=94086 nbFailedAssignments=27012 nbBacktracks=66506 nbVisitedNodes=157656
107.30 nbRestartNogoods=81
107.30 => wckTime=76.383 cpuTime=76.21 mem=20M533
142.59
142.59 search
142.59 run=20 nbConstraintChecks=25331282 nbValidityChecks=105884237 nbPropagations=0 nbRevisions=0
142.59 nbUselessRevisions=0 nbAssignments=139213 nbFailedAssignments=38852 nbBacktracks=99760 nbVisitedNodes=231186
142.59 nbRestartNogoods=85
142.59 => wckTime=111.671 cpuTime=111.49 mem=20M533
194.98
194.98 search
194.98 run=21 nbConstraintChecks=38913071 nbValidityChecks=158752715 nbPropagations=0 nbRevisions=0
194.98 nbUselessRevisions=0 nbAssignments=207029 nbFailedAssignments=56759 nbBacktracks=149638 nbVisitedNodes=342154
194.98 nbRestartNogoods=93
194.98 => wckTime=164.058 cpuTime=163.78 mem=20M533
274.78
274.78 search
274.78 run=22 nbConstraintChecks=56100083 nbValidityChecks=224712245 nbPropagations=0 nbRevisions=0
274.78 nbUselessRevisions=0 nbAssignments=309140 nbFailedAssignments=84022 nbBacktracks=224456 nbVisitedNodes=505452
274.78 nbRestartNogoods=99
274.78 => wckTime=243.862 cpuTime=243.52 mem=20M533
393.75
393.75 search
393.75 run=23 nbConstraintChecks=84677507 nbValidityChecks=331266400 nbPropagations=0 nbRevisions=0
393.75 nbUselessRevisions=0 nbAssignments=462424 nbFailedAssignments=125050 nbBacktracks=336685 nbVisitedNodes=755831
393.75 nbRestartNogoods=111
393.75 => wckTime=362.833 cpuTime=362.36 mem=20M533
565.27
565.27 search
565.27 run=24 nbConstraintChecks=132007797 nbValidityChecks=499098954 nbPropagations=0 nbRevisions=0
565.27 nbUselessRevisions=0 nbAssignments=690914 nbFailedAssignments=185159 nbBacktracks=505031 nbVisitedNodes=1121951
565.27 nbRestartNogoods=119
565.27 => wckTime=534.351 cpuTime=533.72 mem=20M533
834.47
834.47 search
834.47 run=25 nbConstraintChecks=192947482 nbValidityChecks=733667529 nbPropagations=0 nbRevisions=0
834.47 nbUselessRevisions=0 nbAssignments=1035126 nbFailedAssignments=276825 nbBacktracks=757544
834.47 nbVisitedNodes=1684529 nbRestartNogoods=125
834.47 => wckTime=803.554 cpuTime=802.85 mem=20M533
1244.71
1244.71 search
1244.71 run=26 nbConstraintChecks=290118593 nbValidityChecks=1102952294 nbPropagations=0 nbRevisions=0
1244.71 nbUselessRevisions=0 nbAssignments=1561189 nbFailedAssignments=424086 nbBacktracks=1136311
1244.71 nbVisitedNodes=2544562 nbRestartNogoods=132
1244.71 => wckTime=1213.792 cpuTime=1212.97 mem=20M533
1840.74
1840.74 search
1840.74 run=27 nbConstraintChecks=434927878 nbValidityChecks=1634798241 nbPropagations=0 nbRevisions=0
1840.74 nbUselessRevisions=0 nbAssignments=2330723 nbFailedAssignments=625433 nbBacktracks=1704467
1840.74 nbVisitedNodes=3807807 nbRestartNogoods=142
1840.74 => wckTime=1809.821 cpuTime=1808.84 mem=20M533
2401.14 v 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 0 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-277949-1169272755 -o ROOT/results/node69/solver-277949-1169272755 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277949-1169272755/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 1.98 4/73 9765
/proc/meminfo: memFree=1334744/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=172 CPUtime=0
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 74772462 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11952427 0 0 4096 0 0 0 0 17 0 0 0
/proc/9764/statm: 43 24 18 14 0 3 0
[startup+0.107045 s]
/proc/loadavg: 2.00 2.00 1.98 4/73 9765
/proc/meminfo: memFree=1334744/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=914988 CPUtime=0.08
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 3075 0 1 0 7 1 0 0 24 0 8 0 74772462 936947712 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228747 2821 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515069 s]
/proc/loadavg: 2.00 2.00 1.98 4/73 9765
/proc/meminfo: memFree=1334744/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915332 CPUtime=0.49
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 6687 0 1 0 45 4 0 0 25 0 8 0 74772462 937299968 6426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228833 6426 2156 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33614 s]
/proc/loadavg: 2.00 2.00 1.98 3/80 9772
/proc/meminfo: memFree=1316320/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915420 CPUtime=1.31
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 7273 0 1 0 110 21 0 0 25 0 8 0 74772462 937390080 7011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228855 7011 2475 14 0 215325 0
[pid=9764/tid=9766] ppid=9762 vsize=915420 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 74772466 937390080 7011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937390080 7011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937390080 7011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915424 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937394176 7011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915420 CPUtime=0.13
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 74772469 937390080 7011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937390080 7011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937390080 7011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915420
[startup+2.97328 s]
/proc/loadavg: 2.00 2.00 1.98 3/80 9772
/proc/meminfo: memFree=1316320/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915424 CPUtime=2.95
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 7277 0 1 0 235 60 0 0 25 0 8 0 74772462 937394176 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228855 7014 2475 14 0 215325 0
[pid=9764/tid=9766] ppid=9762 vsize=915420 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 74772466 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915424 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937394176 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915420 CPUtime=0.13
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 344 0 0 0 13 0 0 0 16 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915424 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937394176 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915424
[startup+6.26156 s]
/proc/loadavg: 2.00 2.00 1.98 3/80 9772
/proc/meminfo: memFree=1316256/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915420 CPUtime=6.23
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 7277 0 1 0 487 136 0 0 25 0 8 0 74772462 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228855 7014 2475 14 0 215325 0
[pid=9764/tid=9766] ppid=9762 vsize=915424 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 74772466 937394176 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915420 CPUtime=0.13
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 344 0 0 0 13 0 0 0 16 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915420
[startup+12.7391 s]
/proc/loadavg: 2.00 2.00 1.98 3/80 9772
/proc/meminfo: memFree=1316256/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915420 CPUtime=12.69
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 7277 0 1 0 978 291 0 0 25 0 8 0 74772462 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228855 7014 2475 14 0 215325 0
[pid=9764/tid=9766] ppid=9762 vsize=915420 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 74772466 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915420 CPUtime=0.13
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 344 0 0 0 13 0 0 0 16 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915420
[startup+25.6062 s]
/proc/loadavg: 2.00 2.00 1.98 3/80 9772
/proc/meminfo: memFree=1316256/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915424 CPUtime=25.54
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 7277 0 1 0 1948 606 0 0 25 0 8 0 74772462 937394176 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228855 7014 2475 14 0 215325 0
[pid=9764/tid=9766] ppid=9762 vsize=915420 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 74772466 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915424 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937394176 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915424 CPUtime=0.13
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 344 0 0 0 13 0 0 0 17 0 8 0 74772469 937394176 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915420 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937390080 7014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915424
[startup+51.2094 s]
/proc/loadavg: 2.00 2.00 1.98 3/80 9772
/proc/meminfo: memFree=1305312/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915556 CPUtime=51.13
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 10112 0 1 0 4380 733 0 0 25 0 8 0 74772462 937529344 9845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228889 9845 2529 14 0 215359 0
[pid=9764/tid=9766] ppid=9762 vsize=915556 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 74772466 937529344 9845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937529344 9845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937529344 9845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937529344 9845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915556 CPUtime=0.26
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 420 0 0 0 25 1 0 0 16 0 8 0 74772469 937529344 9845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937529344 9845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937529344 9845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915556
[startup+102.511 s]
/proc/loadavg: 2.00 2.00 1.98 3/80 9772
/proc/meminfo: memFree=1305312/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915556 CPUtime=102.37
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 10121 0 1 0 9503 734 0 0 25 0 8 0 74772462 937529344 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228889 9854 2529 14 0 215359 0
[pid=9764/tid=9766] ppid=9762 vsize=915556 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 74772466 937529344 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937529344 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937529344 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937529344 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915556 CPUtime=0.26
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 74772469 937529344 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937529344 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937529344 9854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915556
[startup+162.581 s]
/proc/loadavg: 2.03 2.01 1.98 3/86 9940
/proc/meminfo: memFree=1303912/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915556 CPUtime=162.35
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 10127 0 1 0 15492 743 0 0 25 0 8 0 74772462 937529344 9859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073731872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.99
Current children cumulated vsize (KiB) 915556
[startup+2083.01 s]
/proc/loadavg: 1.00 1.00 1.16 2/72 10080
/proc/meminfo: memFree=1315896/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915556 CPUtime=2081.98
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 10149 0 1 0 207450 748 0 0 25 0 8 0 74772462 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073704684 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228889 9879 2529 14 0 215359 0
[pid=9764/tid=9766] ppid=9762 vsize=915556 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915556 CPUtime=0.27
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.98
Current children cumulated vsize (KiB) 915556
[startup+2143.02 s]
/proc/loadavg: 1.00 1.00 1.15 2/72 10080
/proc/meminfo: memFree=1315896/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915556 CPUtime=2141.97
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 10149 0 1 0 213449 748 0 0 25 0 8 0 74772462 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928907 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228889 9879 2529 14 0 215359 0
[pid=9764/tid=9766] ppid=9762 vsize=915556 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915556 CPUtime=0.27
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.97
Current children cumulated vsize (KiB) 915556
[startup+2203.03 s]
/proc/loadavg: 1.00 1.00 1.13 2/72 10080
/proc/meminfo: memFree=1315896/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915556 CPUtime=2201.96
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 10149 0 1 0 219448 748 0 0 25 0 8 0 74772462 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073943878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228889 9879 2529 14 0 215359 0
[pid=9764/tid=9766] ppid=9762 vsize=915556 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915556 CPUtime=0.27
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.96
Current children cumulated vsize (KiB) 915556
[startup+2263.03 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 10080
/proc/meminfo: memFree=1315896/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915556 CPUtime=2261.95
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 10149 0 1 0 225447 748 0 0 25 0 8 0 74772462 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073898157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228889 9879 2529 14 0 215359 0
[pid=9764/tid=9766] ppid=9762 vsize=915556 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915556 CPUtime=0.27
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.95
Current children cumulated vsize (KiB) 915556
[startup+2323.04 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 10080
/proc/meminfo: memFree=1315896/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915556 CPUtime=2321.95
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 10149 0 1 0 231447 748 0 0 25 0 8 0 74772462 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928801 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228889 9879 2529 14 0 215359 0
[pid=9764/tid=9766] ppid=9762 vsize=915556 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915556 CPUtime=0.27
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.95
Current children cumulated vsize (KiB) 915556
[startup+2383.05 s]
/proc/loadavg: 1.00 1.00 1.10 2/72 10080
/proc/meminfo: memFree=1315832/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915556 CPUtime=2381.94
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 10149 0 1 0 237446 748 0 0 25 0 8 0 74772462 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073966864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228889 9879 2529 14 0 215359 0
[pid=9764/tid=9766] ppid=9762 vsize=915556 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915556 CPUtime=0.27
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.94
Current children cumulated vsize (KiB) 915556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.13 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 10080
/proc/meminfo: memFree=1315832/2055920 swapFree=4191892/4192956
[pid=9764] ppid=9762 vsize=915556 CPUtime=2400.02
/proc/9764/stat : 9764 (java) R 9762 9764 9512 0 -1 0 10149 0 1 0 239254 748 0 0 25 0 8 0 74772462 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073917478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9764/statm: 228889 9879 2529 14 0 215359 0
[pid=9764/tid=9766] ppid=9762 vsize=915556 CPUtime=0.02
/proc/9764/task/9766/stat : 9766 (java) S 9762 9764 9512 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9767] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9767/stat : 9767 (java) S 9762 9764 9512 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9768] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9768/stat : 9768 (java) S 9762 9764 9512 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74772466 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9769] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9769/stat : 9769 (java) S 9762 9764 9512 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9770] ppid=9762 vsize=915556 CPUtime=0.27
/proc/9764/task/9770/stat : 9770 (java) S 9762 9764 9512 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9771] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9771/stat : 9771 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9764/tid=9772] ppid=9762 vsize=915556 CPUtime=0
/proc/9764/task/9772/stat : 9772 (java) S 9762 9764 9512 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74772469 937529344 9879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2401.16
CPU time (s): 2400.06
CPU user time (s): 2392.56
CPU system time (s): 7.49386
CPU usage (%): 99.9539
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.56
system time used= 7.49386
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10172
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= 49916
involuntary context switches= 55186
runsolver used 2.28465 s user time and 6.601 s system time
The end
Begin job on node69 on Sat Jan 20 05:59:15 UTC 2007
IDJOB= 277949
IDBENCH= 7861
IDSOLVER= 69
FILE ID= node69/277949-1169272755
PBS_JOBID= 3607435
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-80-100-1000/cnf-3-80-600-364041_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277949-1169272755/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-277949-1169272755 -o ROOT/results/node69/solver-277949-1169272755 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277949-1169272755/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91f4648b20fa382871ea04b68fb07c24
RANDOM SEED= 436073013
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.218
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.218
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: 1335224 kB
Buffers: 47808 kB
Cached: 578824 kB
SwapCached: 396 kB
Active: 114452 kB
Inactive: 535832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1335224 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 33856 kB
Slab: 55888 kB
Committed_AS: 799032 kB
PageTables: 1820 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 node69 on Sat Jan 20 06:39:17 UTC 2007