0.46
0.46 Abscon 109 (November, 2006)
0.46
0.46 configuration
0.46 name=epfc.xml
0.49
0.49 instance
0.49 name=/tmp/evaluation/277948-1169272744/unknown.xml
0.52
0.52 domains being loaded...
0.52
0.52 variables being loaded...
0.55 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.55 => wckTime=0.095 cpuTime=0.08 mem=6M887
0.55
0.55 relations being loaded...
0.56
0.56 constraints being loaded...
0.69 nbConstraints=599 nbRelationTypes=9 nbExtensionStructures=9 nbSharedExtensionStructures=590
0.69 nbConflictsStructures=9 nbSharedConflictsStructures=590 nbSharedBinaryRepresentations=0 maxDegree=33 maxArity=3
0.69 => wckTime=0.234 cpuTime=0.16 mem=8M838
0.73
0.73 solver LocalSearchSolver being built...
0.77 => wckTime=0.31 cpuTime=0.2 mem=5M693
0.77
0.77 s SATISFIABLE
0.77 o 527
0.77 c 72
0.77 o 530
0.77 c 69
0.77 o 534
0.77 c 65
0.78 o 538
0.78 c 61
0.78 o 540
0.78 c 59
0.78 o 542
0.78 c 57
0.78 o 545
0.78 c 54
0.78 o 549
0.78 c 50
0.78 o 551
0.78 c 48
0.78 o 553
0.78 c 46
0.78 o 557
0.78 c 42
0.78 o 558
0.78 c 41
0.78 o 562
0.78 c 37
0.78 o 563
0.78 c 36
0.79 o 564
0.79 c 35
0.79 o 565
0.79 c 34
0.79 o 566
0.79 c 33
0.79 o 567
0.79 c 32
0.80 o 569
0.80 c 30
0.80 o 570
0.80 c 29
0.80 o 573
0.80 c 26
0.81 o 574
0.81 c 25
0.82 o 575
0.82 c 24
0.82 o 576
0.82 c 23
0.82 o 577
0.82 c 22
0.82 o 580
0.82 c 19
0.83 o 581
0.83 c 18
0.83 o 582
0.83 c 17
0.83 o 584
0.83 c 15
0.83 o 585
0.83 c 14
0.84 o 587
0.84 c 12
2.29
2.29 search
2.29 run=0 nbConstraintChecks=6452745 nbAssignments=10000
2.29 => wckTime=1.523 cpuTime=1.5 mem=5M693
3.81
3.81 search
3.81 run=1 nbConstraintChecks=13470517 nbAssignments=20000
3.81 => wckTime=3.04 cpuTime=3.02 mem=5M693
5.26
5.26 search
5.26 run=2 nbConstraintChecks=20070831 nbAssignments=30000
5.26 => wckTime=4.494 cpuTime=4.47 mem=5M693
6.79
6.79 search
6.79 run=3 nbConstraintChecks=27109179 nbAssignments=40000
6.79 => wckTime=6.021 cpuTime=5.99 mem=5M693
8.25
8.25 search
8.25 run=4 nbConstraintChecks=33672127 nbAssignments=50000
8.25 => wckTime=7.482 cpuTime=7.46 mem=5M693
9.77
9.77 search
9.77 run=5 nbConstraintChecks=40689833 nbAssignments=60000
9.77 => wckTime=9.007 cpuTime=8.99 mem=5M693
11.23
11.23 search
11.23 run=6 nbConstraintChecks=47215679 nbAssignments=70000
11.23 => wckTime=10.462 cpuTime=10.44 mem=5M693
12.75
12.75 search
12.75 run=7 nbConstraintChecks=54184967 nbAssignments=80000
12.75 => wckTime=11.981 cpuTime=11.95 mem=5M693
14.22
14.22 search
14.22 run=8 nbConstraintChecks=60812878 nbAssignments=90000
14.22 => wckTime=13.451 cpuTime=13.43 mem=5M693
15.74
15.74 search
15.74 run=9 nbConstraintChecks=67831493 nbAssignments=100000
15.74 => wckTime=14.974 cpuTime=14.95 mem=5M693
17.19
17.19 search
17.19 run=10 nbConstraintChecks=74388807 nbAssignments=110000
17.19 => wckTime=16.423 cpuTime=16.4 mem=5M693
18.70
18.70 search
18.70 run=11 nbConstraintChecks=81389112 nbAssignments=120000
18.70 => wckTime=17.934 cpuTime=17.9 mem=5M693
20.15
20.15 search
20.15 run=12 nbConstraintChecks=87967183 nbAssignments=130000
20.15 => wckTime=19.384 cpuTime=19.36 mem=5M693
21.65
21.65 search
21.65 run=13 nbConstraintChecks=94902732 nbAssignments=140000
21.65 => wckTime=20.887 cpuTime=20.86 mem=5M693
23.11
23.11 search
23.11 run=14 nbConstraintChecks=101480064 nbAssignments=150000
23.11 => wckTime=22.339 cpuTime=22.3 mem=5M693
24.60
24.60 search
24.60 run=15 nbConstraintChecks=108384870 nbAssignments=160000
24.60 => wckTime=23.837 cpuTime=23.81 mem=5M693
26.06
26.06 search
26.06 run=16 nbConstraintChecks=114925928 nbAssignments=170000
26.06 => wckTime=25.289 cpuTime=25.26 mem=5M693
27.58
27.58 search
27.58 run=17 nbConstraintChecks=121893423 nbAssignments=180000
27.58 => wckTime=26.808 cpuTime=26.77 mem=5M693
29.04
29.04 search
29.04 run=18 nbConstraintChecks=128476701 nbAssignments=190000
29.04 => wckTime=28.272 cpuTime=28.23 mem=5M693
30.58
30.58 search
30.58 run=19 nbConstraintChecks=135543837 nbAssignments=200000
30.58 => wckTime=29.808 cpuTime=29.77 mem=5M693
30.88
30.88 search
30.88 run=20 nbConstraintChecks=136799890 nbAssignments=202266
30.88 => wckTime=30.108 cpuTime=30.07 mem=5M693
30.88
30.88 global
30.88 nbConstraintChecks=136799890 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.88 solvingWckTime=30.107 solvingCpuTime=30.07 expiredTime=no totalExploration=no nbFoundSolutions=0
30.88 globalCpuTime=30.32
30.88 => wckTime=30.419 cpuTime=30.27 mem=5M693
30.88
30.88 solver IterativeSystematicSolver being built...
31.05 => wckTime=30.594 cpuTime=30.39 mem=20M534
31.14
31.14 preprocessing
31.14 nbConstraintChecks=3542 nbValidityChecks=12609 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.14 nbRemovedValues=0 detectedInconsistency=no
31.14 => wckTime=0.089 cpuTime=0.07 mem=20M534
31.18
31.18 search
31.18 run=0 nbConstraintChecks=3037 nbValidityChecks=14711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.18 nbAssignments=41 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=53 nbRestartNogoods=0
31.18 => wckTime=0.128 cpuTime=0.1 mem=20M534
31.23
31.23 search
31.23 run=1 nbConstraintChecks=8113 nbValidityChecks=39757 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.23 nbAssignments=91 nbFailedAssignments=9 nbBacktracks=25 nbVisitedNodes=123 nbRestartNogoods=2
31.23 => wckTime=0.178 cpuTime=0.14 mem=20M534
31.29
31.29 search
31.29 run=2 nbConstraintChecks=15989 nbValidityChecks=85741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.29 nbAssignments=165 nbFailedAssignments=30 nbBacktracks=48 nbVisitedNodes=233 nbRestartNogoods=4
31.29 => wckTime=0.239 cpuTime=0.2 mem=20M534
31.36
31.36 search
31.36 run=3 nbConstraintChecks=24787 nbValidityChecks=135526 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.36 nbAssignments=245 nbFailedAssignments=52 nbBacktracks=84 nbVisitedNodes=359 nbRestartNogoods=9
31.36 => wckTime=0.31 cpuTime=0.27 mem=20M534
31.46
31.46 search
31.46 run=4 nbConstraintChecks=38388 nbValidityChecks=222180 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.46 nbAssignments=361 nbFailedAssignments=87 nbBacktracks=134 nbVisitedNodes=538 nbRestartNogoods=13
31.46 => wckTime=0.402 cpuTime=0.36 mem=20M534
31.60
31.60 search
31.60 run=5 nbConstraintChecks=60593 nbValidityChecks=359321 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.60 nbAssignments=514 nbFailedAssignments=135 nbBacktracks=209 nbVisitedNodes=804 nbRestartNogoods=17
31.60 => wckTime=0.547 cpuTime=0.51 mem=20M534
31.78
31.78 search
31.78 run=6 nbConstraintChecks=85149 nbValidityChecks=530257 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.78 nbAssignments=725 nbFailedAssignments=207 nbBacktracks=323 nbVisitedNodes=1149 nbRestartNogoods=20
31.78 => wckTime=0.727 cpuTime=0.69 mem=20M534
32.06
32.06 search
32.06 run=7 nbConstraintChecks=126278 nbValidityChecks=786117 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.06 nbAssignments=1020 nbFailedAssignments=305 nbBacktracks=494 nbVisitedNodes=1654 nbRestartNogoods=24
32.06 => wckTime=1.01 cpuTime=0.97 mem=20M534
32.52
32.52 search
32.52 run=8 nbConstraintChecks=192359 nbValidityChecks=1144999 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.52 nbAssignments=1450 nbFailedAssignments=453 nbBacktracks=752 nbVisitedNodes=2419 nbRestartNogoods=27
32.52 => wckTime=1.463 cpuTime=1.41 mem=20M534
33.13
33.13 search
33.13 run=9 nbConstraintChecks=283602 nbValidityChecks=1646717 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.13 nbAssignments=2057 nbFailedAssignments=654 nbBacktracks=1136 nbVisitedNodes=3509 nbRestartNogoods=30
33.13 => wckTime=2.074 cpuTime=2.01 mem=20M534
33.99
33.99 search
33.99 run=10 nbConstraintChecks=437931 nbValidityChecks=2565697 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.99 nbAssignments=2990 nbFailedAssignments=981 nbBacktracks=1714 nbVisitedNodes=5215 nbRestartNogoods=34
33.99 => wckTime=2.934 cpuTime=2.86 mem=20M534
35.31
35.31 search
35.31 run=11 nbConstraintChecks=663060 nbValidityChecks=3848398 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.32 nbAssignments=4414 nbFailedAssignments=1515 nbBacktracks=2581 nbVisitedNodes=7692 nbRestartNogoods=39
35.32 => wckTime=4.261 cpuTime=4.19 mem=20M534
37.31
37.31 search
37.31 run=12 nbConstraintChecks=1026954 nbValidityChecks=5856555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.31 nbAssignments=6502 nbFailedAssignments=2280 nbBacktracks=3878 nbVisitedNodes=11497 nbRestartNogoods=45
37.31 => wckTime=6.261 cpuTime=6.18 mem=20M534
40.05
40.05 search
40.05 run=13 nbConstraintChecks=1556608 nbValidityChecks=8867770 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.05 nbAssignments=9628 nbFailedAssignments=3429 nbBacktracks=5824 nbVisitedNodes=17051 nbRestartNogoods=49
40.05 => wckTime=8.995 cpuTime=8.91 mem=20M534
43.89
43.89 search
43.89 run=14 nbConstraintChecks=2230762 nbValidityChecks=12377966 nbPropagations=0 nbRevisions=0
43.89 nbUselessRevisions=0 nbAssignments=13992 nbFailedAssignments=4849 nbBacktracks=8744 nbVisitedNodes=24630
43.89 nbRestartNogoods=56
43.89 => wckTime=12.833 cpuTime=12.74 mem=20M534
49.59
49.59 search
49.59 run=15 nbConstraintChecks=3281034 nbValidityChecks=17767363 nbPropagations=0 nbRevisions=0
49.59 nbUselessRevisions=0 nbAssignments=20462 nbFailedAssignments=6915 nbBacktracks=13123 nbVisitedNodes=35875
49.59 nbRestartNogoods=61
49.59 => wckTime=18.535 cpuTime=18.42 mem=20M534
57.57
57.57 search
57.57 run=16 nbConstraintChecks=4859130 nbValidityChecks=25396948 nbPropagations=0 nbRevisions=0
57.57 nbUselessRevisions=0 nbAssignments=30079 nbFailedAssignments=9931 nbBacktracks=19691 nbVisitedNodes=52115
57.57 nbRestartNogoods=66
57.57 => wckTime=26.519 cpuTime=26.4 mem=20M534
69.55
69.55 search
69.55 run=17 nbConstraintChecks=7322468 nbValidityChecks=36727676 nbPropagations=0 nbRevisions=0
69.55 nbUselessRevisions=0 nbAssignments=44293 nbFailedAssignments=14264 nbBacktracks=29544 nbVisitedNodes=75984
69.55 nbRestartNogoods=76
69.55 => wckTime=38.495 cpuTime=38.38 mem=20M534
86.99
86.99 search
86.99 run=18 nbConstraintChecks=10552023 nbValidityChecks=51274491 nbPropagations=0 nbRevisions=0
86.99 nbUselessRevisions=0 nbAssignments=65510 nbFailedAssignments=20675 nbBacktracks=44324 nbVisitedNodes=111697
86.99 nbRestartNogoods=81
86.99 => wckTime=55.939 cpuTime=55.81 mem=20M534
112.82
112.82 search
112.82 run=19 nbConstraintChecks=16037093 nbValidityChecks=73957536 nbPropagations=0 nbRevisions=0
112.82 nbUselessRevisions=0 nbAssignments=96877 nbFailedAssignments=29849 nbBacktracks=66494 nbVisitedNodes=164461
112.82 nbRestartNogoods=88
112.82 => wckTime=81.762 cpuTime=81.6 mem=20M534
150.90
150.90 search
150.90 run=20 nbConstraintChecks=24408142 nbValidityChecks=108230628 nbPropagations=0 nbRevisions=0
150.90 nbUselessRevisions=0 nbAssignments=143504 nbFailedAssignments=43187 nbBacktracks=99748 nbVisitedNodes=242850
150.90 nbRestartNogoods=92
150.90 => wckTime=119.848 cpuTime=119.61 mem=20M534
207.46
207.46 search
207.46 run=21 nbConstraintChecks=36639170 nbValidityChecks=154585096 nbPropagations=0 nbRevisions=0
207.46 nbUselessRevisions=0 nbAssignments=213500 nbFailedAssignments=63276 nbBacktracks=149628 nbVisitedNodes=359367
207.46 nbRestartNogoods=99
207.46 => wckTime=176.408 cpuTime=176.09 mem=20M534
290.19
290.19 search
290.19 run=22 nbConstraintChecks=54735657 nbValidityChecks=230420294 nbPropagations=0 nbRevisions=0
290.19 nbUselessRevisions=0 nbAssignments=318392 nbFailedAssignments=93320 nbBacktracks=224446 nbVisitedNodes=532736
290.19 nbRestartNogoods=105
290.19 => wckTime=259.135 cpuTime=258.73 mem=20M534
419.08
419.08 search
419.08 run=23 nbConstraintChecks=84712221 nbValidityChecks=340860588 nbPropagations=0 nbRevisions=0
419.08 nbUselessRevisions=0 nbAssignments=475272 nbFailedAssignments=137946 nbBacktracks=336673 nbVisitedNodes=797254
419.08 nbRestartNogoods=110
419.08 => wckTime=388.027 cpuTime=387.5 mem=20M534
600.04
600.04 search
600.04 run=24 nbConstraintChecks=133975684 nbValidityChecks=527494082 nbPropagations=0 nbRevisions=0
600.04 nbUselessRevisions=0 nbAssignments=707499 nbFailedAssignments=201795 nbBacktracks=505015 nbVisitedNodes=1182563
600.04 nbRestartNogoods=118
600.04 => wckTime=568.982 cpuTime=568.28 mem=20M534
877.76
877.76 search
877.76 run=25 nbConstraintChecks=205478320 nbValidityChecks=784045970 nbPropagations=0 nbRevisions=0
877.76 nbUselessRevisions=0 nbAssignments=1047867 nbFailedAssignments=289624 nbBacktracks=757528
877.76 nbVisitedNodes=1760438 nbRestartNogoods=128
877.76 => wckTime=846.707 cpuTime=845.87 mem=20M534
1284.95
1284.95 search
1284.95 run=26 nbConstraintChecks=315752412 nbValidityChecks=1192530382 nbPropagations=0 nbRevisions=0
1284.95 nbUselessRevisions=0 nbAssignments=1574571 nbFailedAssignments=437527 nbBacktracks=1136295
1284.95 nbVisitedNodes=2624410 nbRestartNogoods=137
1284.95 => wckTime=1253.893 cpuTime=1252.95 mem=20M534
1945.68
1945.68 search
1945.68 run=27 nbConstraintChecks=454696612 nbValidityChecks=1717560214 nbPropagations=0 nbRevisions=0
1945.68 nbUselessRevisions=0 nbAssignments=2379328 nbFailedAssignments=674102 nbBacktracks=1704447
1945.68 nbVisitedNodes=3977634 nbRestartNogoods=148
1945.68 => wckTime=1914.623 cpuTime=1913.51 mem=20M534
2401.39 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/node42/watcher-277948-1169272744 -o ROOT/results/node42/solver-277948-1169272744 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277948-1169272744/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.96 4/73 7076
/proc/meminfo: memFree=1315720/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=172 CPUtime=0
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 275673660 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12407588 0 0 4096 0 0 0 0 17 0 0 0
/proc/7075/statm: 43 24 18 14 0 3 0
[startup+0.107467 s]
/proc/loadavg: 2.00 2.00 1.96 4/73 7076
/proc/meminfo: memFree=1315720/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=47976 CPUtime=0
/proc/7075/stat : 7075 (java) D 7073 7075 6906 0 -1 0 1223 0 1 0 0 0 0 0 18 0 1 0 275673660 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/7075/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.515513 s]
/proc/loadavg: 2.00 2.00 1.96 4/73 7076
/proc/meminfo: memFree=1315720/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915332 CPUtime=0.33
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 5808 0 1 0 30 3 0 0 24 0 8 0 275673660 937299968 5547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228833 5548 2092 14 0 215303 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 915332
[startup+1.3376 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 7083
/proc/meminfo: memFree=1297360/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915424 CPUtime=1.14
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 7283 0 1 0 95 19 0 0 25 0 8 0 275673660 937394176 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228856 7021 2478 14 0 215326 0
[pid=7075/tid=7077] ppid=7073 vsize=915424 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 275673680 937394176 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915428 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937398272 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937394176 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937394176 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915424 CPUtime=0.12
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 344 0 0 0 12 0 0 0 16 0 8 0 275673684 937394176 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915428 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937398272 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937394176 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 915424
[startup+2.98979 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 7083
/proc/meminfo: memFree=1297296/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915428 CPUtime=2.8
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 7287 0 1 0 222 58 0 0 25 0 8 0 275673660 937398272 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228856 7024 2478 14 0 215326 0
[pid=7075/tid=7077] ppid=7073 vsize=915424 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 275673680 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915424 CPUtime=0.12
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 347 0 0 0 12 0 0 0 16 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 915428
[startup+6.28315 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 7083
/proc/meminfo: memFree=1297168/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915424 CPUtime=6.1
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 7287 0 1 0 470 140 0 0 25 0 8 0 275673660 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228857 7024 2478 14 0 215327 0
[pid=7075/tid=7077] ppid=7073 vsize=915424 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 275673680 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915428 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937398272 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915424 CPUtime=0.12
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 347 0 0 0 12 0 0 0 16 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915424
[startup+12.7679 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 7083
/proc/meminfo: memFree=1297176/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915424 CPUtime=12.58
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 7287 0 1 0 962 296 0 0 25 0 8 0 275673660 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228857 7024 2478 14 0 215327 0
[pid=7075/tid=7077] ppid=7073 vsize=915424 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 275673680 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915428 CPUtime=0.12
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 347 0 0 0 12 0 0 0 16 0 8 0 275673684 937398272 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915424
[startup+25.6073 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 7083
/proc/meminfo: memFree=1297240/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915424 CPUtime=25.41
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 7287 0 1 0 1932 609 0 0 25 0 8 0 275673660 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228856 7024 2478 14 0 215326 0
[pid=7075/tid=7077] ppid=7073 vsize=915424 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 275673680 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915428 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937398272 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915424 CPUtime=0.12
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 347 0 0 0 12 0 0 0 16 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915424 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937394176 7024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915424
[startup+51.2191 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 7083
/proc/meminfo: memFree=1286296/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915556 CPUtime=50.97
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 10126 0 1 0 4365 732 0 0 25 0 8 0 275673660 937529344 9859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831561 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228889 9859 2534 14 0 215359 0
[pid=7075/tid=7077] ppid=7073 vsize=915556 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 275673680 937529344 9859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937529344 9859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937529344 9859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937529344 9859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915556 CPUtime=0.25
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 427 0 0 0 25 0 0 0 16 0 8 0 275673684 937529344 9859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937529344 9859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937529344 9859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915556
[startup+102.43 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 7083
/proc/meminfo: memFree=1286296/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915556 CPUtime=102.14
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 10134 0 1 0 9482 732 0 0 25 0 8 0 275673660 937529344 9867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914272 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228889 9867 2534 14 0 215359 0
[pid=7075/tid=7077] ppid=7073 vsize=915556 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 275673680 937529344 9867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937529344 9867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937529344 9867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937529344 9867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915556 CPUtime=0.25
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 427 0 0 0 25 0 0 0 16 0 8 0 275673684 937529344 9867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937529344 9867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937529344 9867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 915556
[startup+162.498 s]
/proc/loadavg: 2.00 2.00 1.96 3/86 7239
/proc/meminfo: memFree=1284704/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915556 CPUtime=162.11
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 10141 0 1 0 15473 738 0 0 25 0 8 0 275673660 937529344 9873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.9
Current children cumulated vsize (KiB) 915556
[startup+2083.17 s]
/proc/loadavg: 1.00 1.00 1.18 2/72 7439
/proc/meminfo: memFree=1296816/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915556 CPUtime=2081.89
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 10162 0 1 0 207444 745 0 0 25 0 8 0 275673660 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916908 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228889 9892 2534 14 0 215359 0
[pid=7075/tid=7077] ppid=7073 vsize=915556 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 275673680 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915556 CPUtime=0.26
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 429 0 0 0 25 1 0 0 16 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.89
Current children cumulated vsize (KiB) 915556
[startup+2143.18 s]
/proc/loadavg: 1.00 1.00 1.17 2/72 7439
/proc/meminfo: memFree=1296880/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915556 CPUtime=2141.88
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 10162 0 1 0 213443 745 0 0 25 0 8 0 275673660 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073671760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228889 9892 2534 14 0 215359 0
[pid=7075/tid=7077] ppid=7073 vsize=915556 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 275673680 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915556 CPUtime=0.26
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 429 0 0 0 25 1 0 0 16 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.88
Current children cumulated vsize (KiB) 915556
[startup+2203.18 s]
/proc/loadavg: 1.00 1.00 1.16 2/72 7439
/proc/meminfo: memFree=1296816/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915556 CPUtime=2201.87
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 10162 0 1 0 219442 745 0 0 25 0 8 0 275673660 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228889 9892 2534 14 0 215359 0
[pid=7075/tid=7077] ppid=7073 vsize=915556 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 275673680 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915556 CPUtime=0.26
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 429 0 0 0 25 1 0 0 16 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.87
Current children cumulated vsize (KiB) 915556
[startup+2263.19 s]
/proc/loadavg: 1.00 1.00 1.15 2/72 7439
/proc/meminfo: memFree=1296880/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915556 CPUtime=2261.86
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 10162 0 1 0 225441 745 0 0 25 0 8 0 275673660 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073919896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228889 9892 2534 14 0 215359 0
[pid=7075/tid=7077] ppid=7073 vsize=915556 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 275673680 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915556 CPUtime=0.26
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 429 0 0 0 25 1 0 0 16 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.86
Current children cumulated vsize (KiB) 915556
[startup+2323.2 s]
/proc/loadavg: 1.00 1.00 1.14 2/72 7439
/proc/meminfo: memFree=1296816/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915556 CPUtime=2321.85
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 10162 0 1 0 231440 745 0 0 25 0 8 0 275673660 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073895861 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228889 9892 2534 14 0 215359 0
[pid=7075/tid=7077] ppid=7073 vsize=915556 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 275673680 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915556 CPUtime=0.26
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 429 0 0 0 25 1 0 0 16 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.85
Current children cumulated vsize (KiB) 915556
[startup+2383.2 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 7439
/proc/meminfo: memFree=1296880/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915556 CPUtime=2381.84
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 10162 0 1 0 237439 745 0 0 25 0 8 0 275673660 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898117 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228889 9892 2534 14 0 215359 0
[pid=7075/tid=7077] ppid=7073 vsize=915556 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 275673680 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915556 CPUtime=0.26
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 429 0 0 0 25 1 0 0 16 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.84
Current children cumulated vsize (KiB) 915556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.39 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 7439
/proc/meminfo: memFree=1296816/2055920 swapFree=4184856/4192956
[pid=7075] ppid=7073 vsize=915556 CPUtime=2400.02
/proc/7075/stat : 7075 (java) R 7073 7075 6906 0 -1 0 10162 0 1 0 239257 745 0 0 25 0 8 0 275673660 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073671754 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7075/statm: 228889 9892 2534 14 0 215359 0
[pid=7075/tid=7077] ppid=7073 vsize=915556 CPUtime=0.02
/proc/7075/task/7077/stat : 7077 (java) S 7073 7075 6906 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 275673680 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7078] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7073 7075 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7079] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7073 7075 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275673681 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7080] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7073 7075 6906 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7081] ppid=7073 vsize=915556 CPUtime=0.26
/proc/7075/task/7081/stat : 7081 (java) S 7073 7075 6906 0 -1 64 429 0 0 0 25 1 0 0 16 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7082] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7082/stat : 7082 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7075/tid=7083] ppid=7073 vsize=915556 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7073 7075 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275673684 937529344 9892 18446744073709551615 134512640 134570532 4294956464 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.44
CPU time (s): 2400.09
CPU user time (s): 2392.62
CPU system time (s): 7.46886
CPU usage (%): 99.9436
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.62
system time used= 7.46886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10186
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= 49918
involuntary context switches= 56631
runsolver used 2.52662 s user time and 6.6 s system time
The end
Begin job on node42 on Sat Jan 20 05:59:04 UTC 2007
IDJOB= 277948
IDBENCH= 7861
IDSOLVER= 68
FILE ID= node42/277948-1169272744
PBS_JOBID= 3607434
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/277948-1169272744/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-277948-1169272744 -o ROOT/results/node42/solver-277948-1169272744 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277948-1169272744/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91f4648b20fa382871ea04b68fb07c24
RANDOM SEED= 783283589
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.229
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.229
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: 1316200 kB
Buffers: 46236 kB
Cached: 600596 kB
SwapCached: 2500 kB
Active: 115684 kB
Inactive: 549588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1316200 kB
SwapTotal: 4192956 kB
SwapFree: 4184856 kB
Dirty: 1688 kB
Writeback: 0 kB
Mapped: 26640 kB
Slab: 59984 kB
Committed_AS: 5008352 kB
PageTables: 1728 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 node42 on Sat Jan 20 06:39:06 UTC 2007