0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/277714-1169270217/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.104 cpuTime=0.1 mem=6M887
0.41
0.41 relations being loaded...
0.42
0.42 constraints being loaded...
0.56 nbConstraints=553 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=543
0.56 nbConflictsStructures=10 nbSharedConflictsStructures=543 nbSharedBinaryRepresentations=36 maxDegree=20
0.56 maxArity=2
0.56 => wckTime=0.248 cpuTime=0.18 mem=8M837
0.60
0.60 solver LocalSearchSolver being built...
0.64 => wckTime=0.331 cpuTime=0.22 mem=5M657
0.64
0.64 s SATISFIABLE
0.64 o 406
0.64 c 147
0.65 o 411
0.65 c 142
0.65 o 417
0.65 c 136
0.65 o 421
0.65 c 132
0.65 o 423
0.65 c 130
0.65 o 428
0.65 c 125
0.65 o 431
0.65 c 122
0.65 o 436
0.65 c 117
0.65 o 437
0.65 c 116
0.65 o 440
0.65 c 113
0.66 o 441
0.66 c 112
0.66 o 444
0.66 c 109
0.66 o 446
0.66 c 107
0.66 o 448
0.66 c 105
0.66 o 449
0.66 c 104
0.66 o 450
0.66 c 103
0.66 o 451
0.66 c 102
0.67 o 454
0.67 c 99
0.67 o 456
0.67 c 97
0.67 o 458
0.67 c 95
0.67 o 461
0.67 c 92
0.68 o 463
0.68 c 90
0.68 o 465
0.68 c 88
0.70 o 466
0.70 c 87
0.70 o 467
0.70 c 86
0.70 o 469
0.70 c 84
0.77 o 470
0.77 c 83
0.77 o 471
0.77 c 82
0.79 o 472
0.79 c 81
0.79 o 473
0.79 c 80
0.79 o 474
0.79 c 79
0.79 o 476
0.79 c 77
0.79 o 477
0.79 c 76
2.39
2.39 search
2.39 run=0 nbConstraintChecks=6735396 nbAssignments=10000
2.39 => wckTime=1.752 cpuTime=1.7 mem=5M657
4.09
4.09 search
4.09 run=1 nbConstraintChecks=13744163 nbAssignments=20000
4.09 => wckTime=3.447 cpuTime=3.38 mem=5M657
5.74
5.74 search
5.74 run=2 nbConstraintChecks=20456492 nbAssignments=30000
5.74 => wckTime=5.105 cpuTime=5.02 mem=5M657
7.43
7.43 search
7.43 run=3 nbConstraintChecks=27432651 nbAssignments=40000
7.43 => wckTime=6.795 cpuTime=6.71 mem=5M657
9.09
9.09 search
9.09 run=4 nbConstraintChecks=34150589 nbAssignments=50000
9.09 => wckTime=8.454 cpuTime=8.34 mem=5M657
10.78
10.78 search
10.78 run=5 nbConstraintChecks=41149588 nbAssignments=60000
10.78 => wckTime=10.145 cpuTime=10.02 mem=5M657
12.46
12.46 search
12.46 run=6 nbConstraintChecks=47863396 nbAssignments=70000
12.46 => wckTime=11.817 cpuTime=11.67 mem=5M657
14.16
14.16 search
14.16 run=7 nbConstraintChecks=54887638 nbAssignments=80000
14.16 => wckTime=13.525 cpuTime=13.36 mem=5M657
15.84
15.84 search
15.84 run=8 nbConstraintChecks=61610294 nbAssignments=90000
15.84 => wckTime=15.199 cpuTime=15.03 mem=5M657
17.55
17.55 search
17.55 run=9 nbConstraintChecks=68632390 nbAssignments=100000
17.55 => wckTime=16.907 cpuTime=16.72 mem=5M657
19.21
19.21 search
19.21 run=10 nbConstraintChecks=75351807 nbAssignments=110000
19.22 => wckTime=18.576 cpuTime=18.37 mem=5M657
20.92
20.92 search
20.92 run=11 nbConstraintChecks=82374099 nbAssignments=120000
20.92 => wckTime=20.286 cpuTime=20.07 mem=5M657
22.58
22.58 search
22.58 run=12 nbConstraintChecks=89096536 nbAssignments=130000
22.58 => wckTime=21.94 cpuTime=21.7 mem=5M657
24.28
24.28 search
24.28 run=13 nbConstraintChecks=96100339 nbAssignments=140000
24.28 => wckTime=23.637 cpuTime=23.39 mem=5M657
25.93
25.93 search
25.93 run=14 nbConstraintChecks=102822075 nbAssignments=150000
25.93 => wckTime=25.291 cpuTime=25.02 mem=5M657
27.62
27.62 search
27.62 run=15 nbConstraintChecks=109792175 nbAssignments=160000
27.62 => wckTime=26.982 cpuTime=26.7 mem=5M657
29.27
29.27 search
29.27 run=16 nbConstraintChecks=116501040 nbAssignments=170000
29.27 => wckTime=28.631 cpuTime=28.34 mem=5M657
30.98
30.98 search
30.98 run=17 nbConstraintChecks=123539235 nbAssignments=180000
30.98 => wckTime=30.342 cpuTime=30.03 mem=5M657
31.09
31.09 search
31.09 run=18 nbConstraintChecks=123938944 nbAssignments=180782
31.09 => wckTime=30.454 cpuTime=30.15 mem=5M657
31.10
31.10 global
31.10 nbConstraintChecks=123938944 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.10 solvingWckTime=30.452 solvingCpuTime=30.15 expiredTime=no totalExploration=no nbFoundSolutions=0
31.10 globalCpuTime=30.41
31.10 => wckTime=30.785 cpuTime=30.37 mem=5M657
31.10
31.10 solver IterativeSystematicSolver being built...
31.24 => wckTime=30.934 cpuTime=30.47 mem=17M20
31.32
31.32 preprocessing
31.32 nbConstraintChecks=40536 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.32 detectedInconsistency=no
31.32 => wckTime=0.071 cpuTime=0.05 mem=17M20
31.36
31.36 search
31.36 run=0 nbConstraintChecks=44124 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51
31.36 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=69 nbRestartNogoods=0
31.36 => wckTime=0.115 cpuTime=0.09 mem=17M20
31.41
31.41 search
31.41 run=1 nbConstraintChecks=99646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112
31.41 nbFailedAssignments=14 nbBacktracks=26 nbVisitedNodes=149 nbRestartNogoods=1
31.41 => wckTime=0.161 cpuTime=0.12 mem=17M20
31.45
31.45 search
31.45 run=2 nbConstraintChecks=165649 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=177
31.45 nbFailedAssignments=24 nbBacktracks=48 nbVisitedNodes=246 nbRestartNogoods=2
31.45 => wckTime=0.201 cpuTime=0.16 mem=17M20
31.51
31.51 search
31.51 run=3 nbConstraintChecks=262919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=265
31.51 nbFailedAssignments=41 nbBacktracks=81 nbVisitedNodes=383 nbRestartNogoods=5
31.51 => wckTime=0.265 cpuTime=0.22 mem=17M20
31.60
31.60 search
31.60 run=4 nbConstraintChecks=407637 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=380
31.60 nbFailedAssignments=74 nbBacktracks=131 nbVisitedNodes=580 nbRestartNogoods=7
31.60 => wckTime=0.357 cpuTime=0.31 mem=17M20
31.73
31.73 search
31.73 run=5 nbConstraintChecks=635867 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=547
31.73 nbFailedAssignments=133 nbBacktracks=206 nbVisitedNodes=876 nbRestartNogoods=13
31.73 => wckTime=0.488 cpuTime=0.43 mem=17M20
31.92
31.92 search
31.92 run=6 nbConstraintChecks=971317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=775
31.92 nbFailedAssignments=213 nbBacktracks=319 nbVisitedNodes=1287 nbRestartNogoods=17
31.92 => wckTime=0.68 cpuTime=0.62 mem=17M20
32.21
32.21 search
32.21 run=7 nbConstraintChecks=1456370 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1101
32.21 nbFailedAssignments=339 nbBacktracks=490 nbVisitedNodes=1905 nbRestartNogoods=22
32.21 => wckTime=0.965 cpuTime=0.9 mem=17M20
32.62
32.62 search
32.62 run=8 nbConstraintChecks=2169993 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1565
32.62 nbFailedAssignments=510 nbBacktracks=748 nbVisitedNodes=2793 nbRestartNogoods=24
32.62 => wckTime=1.373 cpuTime=1.3 mem=17M20
33.15
33.15 search
33.15 run=9 nbConstraintChecks=3204562 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2220
33.15 nbFailedAssignments=746 nbBacktracks=1132 nbVisitedNodes=4062 nbRestartNogoods=28
33.15 => wckTime=1.904 cpuTime=1.81 mem=17M20
33.96
33.96 search
33.96 run=10 nbConstraintChecks=4611919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3147
33.96 nbFailedAssignments=1069 nbBacktracks=1708 nbVisitedNodes=5871 nbRestartNogoods=32
33.96 => wckTime=2.719 cpuTime=2.61 mem=17M20
35.23
35.23 search
35.23 run=11 nbConstraintChecks=6941419 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4598
35.23 nbFailedAssignments=1619 nbBacktracks=2576 nbVisitedNodes=8712 nbRestartNogoods=36
35.23 => wckTime=3.985 cpuTime=3.87 mem=17M20
36.93
36.93 search
36.93 run=12 nbConstraintChecks=9943535 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6693
36.93 nbFailedAssignments=2384 nbBacktracks=3873 nbVisitedNodes=12653 nbRestartNogoods=40
36.93 => wckTime=5.688 cpuTime=5.56 mem=17M20
39.56
39.56 search
39.57 run=13 nbConstraintChecks=14389335 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9682
39.57 nbFailedAssignments=3397 nbBacktracks=5820 nbVisitedNodes=18469 nbRestartNogoods=45
39.57 => wckTime=8.32 cpuTime=8.17 mem=17M20
43.64
43.64 search
43.64 run=14 nbConstraintChecks=21775501 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14520
43.64 nbFailedAssignments=5287 nbBacktracks=8742 nbVisitedNodes=27872 nbRestartNogoods=52
43.64 => wckTime=12.395 cpuTime=12.2 mem=17M20
49.33
49.33 search
49.34 run=15 nbConstraintChecks=31852149 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21406
49.34 nbFailedAssignments=7763 nbBacktracks=13121 nbVisitedNodes=40840 nbRestartNogoods=54
49.34 => wckTime=18.09 cpuTime=17.85 mem=17M20
57.47
57.47 search
57.47 run=16 nbConstraintChecks=46134188 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31692
57.47 nbFailedAssignments=11452 nbBacktracks=19689 nbVisitedNodes=59320 nbRestartNogoods=60
57.47 => wckTime=26.228 cpuTime=25.91 mem=17M20
69.12
69.12 search
69.12 run=17 nbConstraintChecks=67000388 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46818
69.12 nbFailedAssignments=16694 nbBacktracks=29544 nbVisitedNodes=86730 nbRestartNogoods=67
69.12 => wckTime=37.878 cpuTime=37.45 mem=17M20
85.22
85.22 search
85.22 run=18 nbConstraintChecks=97495040 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69473
85.22 nbFailedAssignments=24543 nbBacktracks=44322 nbVisitedNodes=126419 nbRestartNogoods=73
85.22 => wckTime=53.976 cpuTime=53.4 mem=17M20
105.56
105.56 search
105.56 run=19 nbConstraintChecks=136372682 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=101293
105.56 nbFailedAssignments=34167 nbBacktracks=66490 nbVisitedNodes=179762 nbRestartNogoods=79
105.56 => wckTime=74.316 cpuTime=73.55 mem=17M20
136.60
136.60 search
136.60 run=20 nbConstraintChecks=196552518 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=148772
136.60 nbFailedAssignments=48365 nbBacktracks=99743 nbVisitedNodes=260085 nbRestartNogoods=86
136.60 => wckTime=105.36 cpuTime=104.31 mem=17M20
181.41
181.41 search
181.41 run=21 nbConstraintChecks=283225430 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=219983
181.41 nbFailedAssignments=69665 nbBacktracks=149621 nbVisitedNodes=380373 nbRestartNogoods=95
181.41 => wckTime=150.166 cpuTime=148.7 mem=17M20
247.08
247.08 search
247.08 run=22 nbConstraintChecks=417004550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=327074
247.08 nbFailedAssignments=101901 nbBacktracks=224439 nbVisitedNodes=560979 nbRestartNogoods=103
247.09 => wckTime=215.84 cpuTime=213.77 mem=17M20
352.94
352.94 search
352.94 run=23 nbConstraintChecks=616436546 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=486663
352.94 nbFailedAssignments=149225 nbBacktracks=336670 nbVisitedNodes=834364 nbRestartNogoods=113
352.94 => wckTime=321.692 cpuTime=318.65 mem=17M20
500.49
500.49 search
500.49 run=24 nbConstraintChecks=902547776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=722758
500.49 nbFailedAssignments=216942 nbBacktracks=505011 nbVisitedNodes=1223807 nbRestartNogoods=119
500.49 => wckTime=469.244 cpuTime=464.85 mem=17M20
712.94
712.94 search
712.94 run=25 nbConstraintChecks=1307079861 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1066658
712.94 nbFailedAssignments=308304 nbBacktracks=757522 nbVisitedNodes=1782557 nbRestartNogoods=127
712.94 => wckTime=681.694 cpuTime=675.34 mem=17M20
1013.03
1013.03 search
1013.03 run=26 nbConstraintChecks=1960160383 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1610083
1013.03 nbFailedAssignments=472924 nbBacktracks=1136290 nbVisitedNodes=2699709 nbRestartNogoods=134
1013.03 => wckTime=981.784 cpuTime=974.96 mem=17M20
1471.52
1471.52 search
1471.52 run=27 nbConstraintChecks=2896841022 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2404344
1471.52 nbFailedAssignments=698999 nbBacktracks=1704442 nbVisitedNodes=4020148 nbRestartNogoods=143
1471.52 => wckTime=1440.275 cpuTime=1432.97 mem=17M20
2165.18
2165.18 search
2165.18 run=28 nbConstraintChecks=4339759274 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3621760
2165.18 nbFailedAssignments=1064155 nbBacktracks=2556674 nbVisitedNodes=6055897 nbRestartNogoods=152
2165.18 => wckTime=2133.939 cpuTime=2124.82 mem=17M20
2410.56 v 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 1 1 0 0 1 0 1 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-277714-1169270217 -o ROOT/results/node65/solver-277714-1169270217 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277714-1169270217/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.97 1.93 4/81 30871
/proc/meminfo: memFree=1457860/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=906644 CPUtime=0.03
/proc/30870/stat : 30870 (java) S 30868 30870 30624 0 -1 0 2069 0 1 0 2 1 0 0 18 0 2 0 74518970 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/30870/statm: 226661 1818 1036 14 0 214244 0
[pid=30870/tid=30872] ppid=30868 vsize=906644 CPUtime=0
/proc/30870/task/30872/stat : 30872 (java) R 30868 30870 30624 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 74518973 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103318 s]
/proc/loadavg: 1.92 1.97 1.93 4/81 30871
/proc/meminfo: memFree=1457860/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=914988 CPUtime=0.09
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 3013 0 1 0 7 2 0 0 17 0 8 0 74518970 936947712 2759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153551129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30870/statm: 228747 2759 1433 14 0 215242 0
[pid=30870/tid=30872] ppid=30868 vsize=914988 CPUtime=0
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 74518973 936947712 2759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511387 s]
/proc/loadavg: 1.92 1.97 1.93 4/81 30871
/proc/meminfo: memFree=1457860/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915332 CPUtime=0.5
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 6416 0 1 0 46 4 0 0 17 0 8 0 74518970 937299968 6155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30870/statm: 228833 6155 2149 14 0 215303 0
[pid=30870/tid=30872] ppid=30868 vsize=915332 CPUtime=0
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 74518973 937299968 6155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33252 s]
/proc/loadavg: 1.93 1.97 1.93 3/88 30878
/proc/meminfo: memFree=1439628/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=1.3
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 7209 0 1 0 112 18 0 0 22 0 8 0 74518970 937431040 6947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073697161 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30870/statm: 228865 6947 2479 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.02
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 74518973 937431040 6947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 6947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 6947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 6947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.14
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 341 0 0 0 13 1 0 0 17 0 8 0 74518977 937431040 6947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 6947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 6947 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+2.96978 s]
/proc/loadavg: 1.93 1.97 1.93 3/88 30878
/proc/meminfo: memFree=1439628/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=2.93
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 7212 0 1 0 239 54 0 0 25 0 8 0 74518970 937431040 6949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073701508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30870/statm: 228865 6949 2479 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.02
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 74518973 937431040 6949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 6949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 6949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 6949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.15
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 343 0 0 0 14 1 0 0 16 0 8 0 74518977 937431040 6949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 6949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 6949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26633 s]
/proc/loadavg: 1.93 1.97 1.93 3/88 30878
/proc/meminfo: memFree=1439564/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=6.19
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 7213 0 1 0 485 134 0 0 25 0 8 0 74518970 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073697196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30870/statm: 228865 6950 2479 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.02
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 74518973 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.15
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 344 0 0 0 14 1 0 0 16 0 8 0 74518977 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7414 s]
/proc/loadavg: 1.94 1.97 1.93 3/88 30878
/proc/meminfo: memFree=1439564/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915464 CPUtime=12.61
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 7213 0 1 0 976 285 0 0 25 0 8 0 74518970 937435136 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30870/statm: 228866 6950 2479 14 0 215336 0
[pid=30870/tid=30872] ppid=30868 vsize=915464 CPUtime=0.02
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 74518973 937435136 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915464 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937435136 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915464 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937435136 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915464 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937435136 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915464 CPUtime=0.15
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 344 0 0 0 14 1 0 0 16 0 8 0 74518977 937435136 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915464 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937435136 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915464 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937435136 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.6005 s]
/proc/loadavg: 1.95 1.97 1.93 3/88 30878
/proc/meminfo: memFree=1439628/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=25.36
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 7213 0 1 0 1947 589 0 0 25 0 8 0 74518970 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073703414 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30870/statm: 228865 6950 2479 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.02
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 74518973 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.15
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 344 0 0 0 14 1 0 0 16 0 8 0 74518977 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 6950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460
[startup+51.2057 s]
/proc/loadavg: 2.03 1.99 1.93 4/88 30878
/proc/meminfo: memFree=1431756/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=50.72
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 9230 0 1 0 4353 719 0 0 25 0 8 0 74518970 937431040 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900883 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30870/statm: 228865 8962 2532 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.03
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 74518973 937431040 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.26
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 74518977 937431040 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915460
[startup+102.506 s]
/proc/loadavg: 2.01 1.99 1.93 3/88 30878
/proc/meminfo: memFree=1431756/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=101.55
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 9238 0 1 0 9436 719 0 0 25 0 8 0 74518970 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30870/statm: 228865 8970 2532 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.03
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 74518973 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.26
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 74518977 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915460
################
# More data... #
################
Current children cumulated CPU time (s) 2015.78
Current children cumulated vsize (KiB) 915460
[startup+2084.49 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 30928
/proc/meminfo: memFree=1434372/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=2075.53
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 9262 0 1 0 206831 722 0 0 25 0 8 0 74518970 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30870/statm: 228865 8993 2532 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.03
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 74518973 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.26
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 74518977 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2075.53
Current children cumulated vsize (KiB) 915460
[startup+2144.51 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 30928
/proc/meminfo: memFree=1434372/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=2135.26
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 9262 0 1 0 212804 722 0 0 25 0 8 0 74518970 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30870/statm: 228865 8993 2532 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.03
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 74518973 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.26
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 74518977 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2135.26
Current children cumulated vsize (KiB) 915460
[startup+2204.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30928
/proc/meminfo: memFree=1434372/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=2195
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 9265 0 1 0 218778 722 0 0 25 0 8 0 74518970 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873210 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30870/statm: 228865 8996 2532 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.03
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 74518973 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.26
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2195
Current children cumulated vsize (KiB) 915460
[startup+2264.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30928
/proc/meminfo: memFree=1434308/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=2254.74
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 9265 0 1 0 224752 722 0 0 25 0 8 0 74518970 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073859727 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30870/statm: 228865 8996 2532 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.03
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 74518973 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.26
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.74
Current children cumulated vsize (KiB) 915460
[startup+2324.53 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30928
/proc/meminfo: memFree=1434308/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=2314.47
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 9265 0 1 0 230725 722 0 0 25 0 8 0 74518970 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900503 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30870/statm: 228865 8996 2532 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.03
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 74518973 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.26
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.47
Current children cumulated vsize (KiB) 915460
[startup+2384.55 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30928
/proc/meminfo: memFree=1434372/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=2374.21
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 9265 0 1 0 236699 722 0 0 25 0 8 0 74518970 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30870/statm: 228865 8996 2532 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.03
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 74518973 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.26
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.21
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2410.55 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30928
/proc/meminfo: memFree=1434372/2055920 swapFree=4191892/4192956
[pid=30870] ppid=30868 vsize=915460 CPUtime=2400.1
/proc/30870/stat : 30870 (java) R 30868 30870 30624 0 -1 0 9265 0 1 0 239287 723 0 0 25 0 8 0 74518970 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30870/statm: 228865 8996 2532 14 0 215335 0
[pid=30870/tid=30872] ppid=30868 vsize=915460 CPUtime=0.03
/proc/30870/task/30872/stat : 30872 (java) S 30868 30870 30624 0 -1 64 196 0 0 0 3 0 0 0 16 0 8 0 74518973 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30873] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30873/stat : 30873 (java) S 30868 30870 30624 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74518974 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30874] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30874/stat : 30874 (java) S 30868 30870 30624 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74518974 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30875] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30875/stat : 30875 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30876] ppid=30868 vsize=915460 CPUtime=0.26
/proc/30870/task/30876/stat : 30876 (java) S 30868 30870 30624 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30870/tid=30877] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30877/stat : 30877 (java) S 30868 30870 30624 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30870/tid=30878] ppid=30868 vsize=915460 CPUtime=0
/proc/30870/task/30878/stat : 30878 (java) S 30868 30870 30624 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74518977 937431040 8996 18446744073709551615 134512640 134570532 4294956464 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) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2410.61
CPU time (s): 2400.15
CPU user time (s): 2392.92
CPU system time (s): 7.2359
CPU usage (%): 99.5661
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.92
system time used= 7.2359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9288
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= 49783
involuntary context switches= 55285
runsolver used 2.84657 s user time and 7.33688 s system time
The end
Begin job on node65 on Sat Jan 20 05:16:57 UTC 2007
IDJOB= 277714
IDBENCH= 7584
IDSOLVER= 68
FILE ID= node65/277714-1169270217
PBS_JOBID= 3607423
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-80-100-1000/cnf-2-80-600-364041_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277714-1169270217/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-277714-1169270217 -o ROOT/results/node65/solver-277714-1169270217 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277714-1169270217/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91f2cf49a4071a8582f6f9c03899aac4
RANDOM SEED= 497387105
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.263
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.263
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: 1458276 kB
Buffers: 47252 kB
Cached: 452696 kB
SwapCached: 396 kB
Active: 115816 kB
Inactive: 412128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1458276 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1692 kB
Writeback: 0 kB
Mapped: 44388 kB
Slab: 54904 kB
Committed_AS: 828832 kB
PageTables: 1932 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node65 on Sat Jan 20 05:57:08 UTC 2007