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/278137-1169276111/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.091 cpuTime=0.09 mem=6M887
0.40
0.40 relations being loaded...
0.42
0.42 constraints being loaded...
0.59 nbConstraints=1128 nbRelationTypes=36 nbExtensionStructures=36 nbSharedExtensionStructures=1092
0.60 nbConflictsStructures=36 nbSharedConflictsStructures=1092 nbSharedBinaryRepresentations=0 maxDegree=99
0.60 maxArity=3
0.60 => wckTime=0.283 cpuTime=0.19 mem=10M804
0.64
0.64 solver LocalSearchSolver being built...
0.68 => wckTime=0.369 cpuTime=0.24 mem=5M959
0.69
0.69 s SATISFIABLE
0.69 o 986
0.69 c 142
0.69 o 993
0.69 c 135
0.69 o 999
0.69 c 129
0.69 o 1006
0.69 c 122
0.69 o 1010
0.69 c 118
0.69 o 1013
0.69 c 115
0.69 o 1016
0.69 c 112
0.70 o 1020
0.70 c 108
0.70 o 1022
0.70 c 106
0.70 o 1023
0.70 c 105
0.70 o 1025
0.70 c 103
0.70 o 1026
0.70 c 102
0.72 o 1031
0.72 c 97
0.72 o 1033
0.72 c 95
0.72 o 1039
0.72 c 89
1.16 o 1040
1.16 c 88
1.85 o 1041
1.85 c 87
4.79
4.79 search
4.79 run=0 nbConstraintChecks=23587015 nbAssignments=10000
4.79 => wckTime=4.106 cpuTime=4.06 mem=5M959
5.40 o 1042
5.40 c 86
8.84
8.84 search
8.84 run=1 nbConstraintChecks=47760292 nbAssignments=20000
8.84 => wckTime=8.163 cpuTime=8.1 mem=5M959
12.83
12.83 search
12.83 run=2 nbConstraintChecks=71369208 nbAssignments=30000
12.83 => wckTime=12.148 cpuTime=12.06 mem=5M959
16.27 o 1043
16.27 c 85
16.93
16.93 search
16.93 run=3 nbConstraintChecks=95618594 nbAssignments=40000
16.93 => wckTime=16.248 cpuTime=16.15 mem=5M959
20.93
20.93 search
20.93 run=4 nbConstraintChecks=119179361 nbAssignments=50000
20.93 => wckTime=20.253 cpuTime=20.13 mem=5M959
25.01
25.01 search
25.01 run=5 nbConstraintChecks=143438484 nbAssignments=60000
25.01 => wckTime=24.334 cpuTime=24.19 mem=5M959
28.98
28.98 search
28.98 run=6 nbConstraintChecks=167032659 nbAssignments=70000
28.98 => wckTime=28.304 cpuTime=28.15 mem=5M959
33.05
33.05 search
33.05 run=7 nbConstraintChecks=191175865 nbAssignments=80000
33.05 => wckTime=32.369 cpuTime=32.19 mem=5M959
37.05
37.05 search
37.05 run=8 nbConstraintChecks=214756588 nbAssignments=90000
37.05 => wckTime=36.373 cpuTime=36.17 mem=5M959
41.16
41.16 search
41.16 run=9 nbConstraintChecks=239000156 nbAssignments=100000
41.16 => wckTime=40.476 cpuTime=40.26 mem=5M959
45.13
45.13 search
45.13 run=10 nbConstraintChecks=262572322 nbAssignments=110000
45.13 => wckTime=44.45 cpuTime=44.22 mem=5M959
46.42
46.42 search
46.42 run=11 nbConstraintChecks=270215365 nbAssignments=113155
46.42 => wckTime=45.737 cpuTime=45.5 mem=5M959
46.42
46.42 global
46.42 nbConstraintChecks=270215365 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.42 solvingWckTime=45.736 solvingCpuTime=45.5 expiredTime=no totalExploration=no nbFoundSolutions=0
46.42 globalCpuTime=45.79
46.42 => wckTime=46.107 cpuTime=45.74 mem=5M959
46.42
46.42 solver IterativeSystematicSolver being built...
46.61 => wckTime=46.296 cpuTime=45.88 mem=22M768
46.70
46.70 preprocessing
46.70 nbConstraintChecks=8479 nbValidityChecks=20808 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.70 nbRemovedValues=0 detectedInconsistency=no
46.70 => wckTime=0.091 cpuTime=0.06 mem=22M768
46.78
46.78 search
46.78 run=0 nbConstraintChecks=22471 nbValidityChecks=59787 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.78 nbAssignments=44 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=62 nbRestartNogoods=0
46.78 => wckTime=0.167 cpuTime=0.13 mem=23M759
46.86
46.86 search
46.87 run=1 nbConstraintChecks=47779 nbValidityChecks=134483 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.87 nbAssignments=92 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=134 nbRestartNogoods=2
46.87 => wckTime=0.256 cpuTime=0.2 mem=23M759
46.97
46.97 search
46.97 run=2 nbConstraintChecks=88414 nbValidityChecks=257941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.97 nbAssignments=158 nbFailedAssignments=38 nbBacktracks=48 nbVisitedNodes=243 nbRestartNogoods=4
46.97 => wckTime=0.361 cpuTime=0.31 mem=23M759
47.10
47.10 search
47.10 run=3 nbConstraintChecks=142162 nbValidityChecks=420935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.10 nbAssignments=240 nbFailedAssignments=62 nbBacktracks=82 nbVisitedNodes=382 nbRestartNogoods=7
47.10 => wckTime=0.494 cpuTime=0.44 mem=23M759
47.31
47.31 search
47.31 run=4 nbConstraintChecks=214418 nbValidityChecks=673201 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.31 nbAssignments=350 nbFailedAssignments=101 nbBacktracks=132 nbVisitedNodes=580 nbRestartNogoods=9
47.31 => wckTime=0.705 cpuTime=0.65 mem=23M759
47.58
47.58 search
47.58 run=5 nbConstraintChecks=326964 nbValidityChecks=1006748 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.58 nbAssignments=495 nbFailedAssignments=147 nbBacktracks=208 nbVisitedNodes=846 nbRestartNogoods=12
47.58 => wckTime=0.967 cpuTime=0.9 mem=23M759
48.01
48.01 search
48.01 run=6 nbConstraintChecks=487430 nbValidityChecks=1569279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.01 nbAssignments=716 nbFailedAssignments=237 nbBacktracks=321 nbVisitedNodes=1263 nbRestartNogoods=15
48.01 => wckTime=1.397 cpuTime=1.33 mem=23M759
48.62
48.62 search
48.62 run=7 nbConstraintChecks=726039 nbValidityChecks=2342622 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.62 nbAssignments=1022 nbFailedAssignments=352 nbBacktracks=492 nbVisitedNodes=1847 nbRestartNogoods=20
48.62 => wckTime=2.007 cpuTime=1.94 mem=23M759
49.61
49.61 search
49.61 run=8 nbConstraintChecks=1073091 nbValidityChecks=3575131 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
49.61 nbAssignments=1491 nbFailedAssignments=545 nbBacktracks=749 nbVisitedNodes=2753 nbRestartNogoods=25
49.61 => wckTime=3.002 cpuTime=2.91 mem=23M759
51.04
51.04 search
51.04 run=9 nbConstraintChecks=1545007 nbValidityChecks=5336555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
51.04 nbAssignments=2182 nbFailedAssignments=833 nbBacktracks=1133 nbVisitedNodes=4092 nbRestartNogoods=28
51.04 => wckTime=4.433 cpuTime=4.32 mem=23M759
53.10
53.10 search
53.10 run=10 nbConstraintChecks=2231237 nbValidityChecks=7932533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
53.10 nbAssignments=3159 nbFailedAssignments=1218 nbBacktracks=1709 nbVisitedNodes=6017 nbRestartNogoods=32
53.10 => wckTime=6.486 cpuTime=6.38 mem=23M759
56.44
56.44 search
56.44 run=11 nbConstraintChecks=3278044 nbValidityChecks=11994652 nbPropagations=0 nbRevisions=0
56.44 nbUselessRevisions=0 nbAssignments=4713 nbFailedAssignments=1889 nbBacktracks=2574 nbVisitedNodes=9077
56.44 nbRestartNogoods=37
56.44 => wckTime=9.833 cpuTime=9.7 mem=23M759
61.05
61.05 search
61.05 run=12 nbConstraintChecks=4936517 nbValidityChecks=18191776 nbPropagations=0 nbRevisions=0
61.05 nbUselessRevisions=0 nbAssignments=6961 nbFailedAssignments=2819 nbBacktracks=3872 nbVisitedNodes=13485
61.05 nbRestartNogoods=41
61.05 => wckTime=14.439 cpuTime=14.29 mem=23M759
68.27
68.27 search
68.27 run=13 nbConstraintChecks=7180532 nbValidityChecks=27061890 nbPropagations=0 nbRevisions=0
68.27 nbUselessRevisions=0 nbAssignments=10285 nbFailedAssignments=4180 nbBacktracks=5818 nbVisitedNodes=20028
68.27 nbRestartNogoods=46
68.27 => wckTime=21.657 cpuTime=21.47 mem=23M759
79.04
79.04 search
79.04 run=14 nbConstraintChecks=10549891 nbValidityChecks=40664765 nbPropagations=0 nbRevisions=0
79.04 nbUselessRevisions=0 nbAssignments=15277 nbFailedAssignments=6237 nbBacktracks=8737 nbVisitedNodes=29864
79.04 nbRestartNogoods=51
79.04 => wckTime=32.426 cpuTime=32.19 mem=23M759
95.56
95.56 search
95.56 run=15 nbConstraintChecks=15767030 nbValidityChecks=61887558 nbPropagations=0 nbRevisions=0
95.56 nbUselessRevisions=0 nbAssignments=22947 nbFailedAssignments=9510 nbBacktracks=13116 nbVisitedNodes=44980
95.56 nbRestartNogoods=59
95.56 => wckTime=48.952 cpuTime=48.63 mem=23M759
119.44
119.44 search
119.44 run=16 nbConstraintChecks=23924922 nbValidityChecks=93660113 nbPropagations=0 nbRevisions=0
119.44 nbUselessRevisions=0 nbAssignments=34272 nbFailedAssignments=14247 nbBacktracks=19684 nbVisitedNodes=67289
119.44 nbRestartNogoods=66
119.44 => wckTime=72.832 cpuTime=72.4 mem=23M759
158.08
158.08 search
158.08 run=17 nbConstraintChecks=35184833 nbValidityChecks=140289123 nbPropagations=0 nbRevisions=0
158.08 nbUselessRevisions=0 nbAssignments=51573 nbFailedAssignments=21679 nbBacktracks=29537 nbVisitedNodes=101229
158.08 nbRestartNogoods=72
158.08 => wckTime=111.467 cpuTime=110.85 mem=23M759
213.97
213.97 search
213.97 run=18 nbConstraintChecks=52083756 nbValidityChecks=211670803 nbPropagations=0 nbRevisions=0
213.97 nbUselessRevisions=0 nbAssignments=76885 nbFailedAssignments=32195 nbBacktracks=44315 nbVisitedNodes=150963
213.97 nbRestartNogoods=79
213.97 => wckTime=167.361 cpuTime=166.48 mem=23M759
298.97
298.97 search
298.97 run=19 nbConstraintChecks=76746497 nbValidityChecks=315734366 nbPropagations=0 nbRevisions=0
298.97 nbUselessRevisions=0 nbAssignments=114828 nbFailedAssignments=47955 nbBacktracks=66483 nbVisitedNodes=225400
298.97 nbRestartNogoods=84
298.97 => wckTime=252.357 cpuTime=251.07 mem=23M759
424.25
424.25 search
424.25 run=20 nbConstraintChecks=114494327 nbValidityChecks=469791838 nbPropagations=0 nbRevisions=0
424.25 nbUselessRevisions=0 nbAssignments=171409 nbFailedAssignments=71267 nbBacktracks=99735 nbVisitedNodes=336335
424.25 nbRestartNogoods=92
424.25 => wckTime=377.645 cpuTime=375.6 mem=23M759
609.65
609.65 search
609.65 run=21 nbConstraintChecks=169775717 nbValidityChecks=694919109 nbPropagations=0 nbRevisions=0
609.65 nbUselessRevisions=0 nbAssignments=257057 nbFailedAssignments=107022 nbBacktracks=149613 nbVisitedNodes=503023
609.65 nbRestartNogoods=97
609.65 => wckTime=563.038 cpuTime=560.12 mem=23M759
877.53
877.53 search
877.53 run=22 nbConstraintChecks=254108614 nbValidityChecks=1024487035 nbPropagations=0 nbRevisions=0
877.53 nbUselessRevisions=0 nbAssignments=382848 nbFailedAssignments=157982 nbBacktracks=224431 nbVisitedNodes=746460
877.53 nbRestartNogoods=104
877.53 => wckTime=830.926 cpuTime=826.75 mem=23M759
1259.33
1259.33 search
1259.33 run=23 nbConstraintChecks=386933311 nbValidityChecks=1500337948 nbPropagations=0 nbRevisions=0
1259.33 nbUselessRevisions=0 nbAssignments=571721 nbFailedAssignments=234609 nbBacktracks=336659 nbVisitedNodes=1109991
1259.33 nbRestartNogoods=114
1259.33 => wckTime=1212.723 cpuTime=1206.75 mem=23M759
1781.05
1781.05 search
1781.05 run=24 nbConstraintChecks=574245511 nbValidityChecks=2151916287 nbPropagations=0 nbRevisions=0
1781.05 nbUselessRevisions=0 nbAssignments=844333 nbFailedAssignments=338860 nbBacktracks=505000 nbVisitedNodes=1621020
1781.06 nbRestartNogoods=124
1781.06 => wckTime=1734.446 cpuTime=1726.17 mem=23M759
2409.12 v 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-278137-1169276111 -o ROOT/results/node14/solver-278137-1169276111 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278137-1169276111/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.02 1.90 1.53 4/93 25927
/proc/meminfo: memFree=1259608/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=9948 CPUtime=0
/proc/25926/stat : 25926 (java) S 25924 25926 25715 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 276006044 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/25926/statm: 2487 472 386 14 0 1142 0
[startup+0.103583 s]
/proc/loadavg: 2.02 1.90 1.53 4/93 25927
/proc/meminfo: memFree=1259608/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=914988 CPUtime=0.08
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 276006044 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25926/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511621 s]
/proc/loadavg: 2.02 1.90 1.53 4/93 25927
/proc/meminfo: memFree=1259608/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915332 CPUtime=0.49
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 6353 0 1 0 45 4 0 0 18 0 8 0 276006044 937299968 6092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073622236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25926/statm: 228833 6092 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3327 s]
/proc/loadavg: 2.02 1.90 1.53 4/100 25934
/proc/meminfo: memFree=1239584/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915432 CPUtime=1.31
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 7680 0 1 0 118 13 0 0 25 0 8 0 276006044 937402368 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25926/statm: 228858 7418 2478 14 0 215328 0
[pid=25926/tid=25928] ppid=25924 vsize=915432 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 276006047 937402368 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915432 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937402368 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915432 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937402368 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915432 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937402368 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915432 CPUtime=0.14
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 276006051 937402368 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915432 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937402368 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915432 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937402368 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915432
[startup+2.96985 s]
/proc/loadavg: 2.02 1.90 1.53 3/100 25934
/proc/meminfo: memFree=1239520/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=2.93
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 7681 0 1 0 263 30 0 0 25 0 8 0 276006044 937398272 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073717778 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25926/statm: 228857 7418 2478 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.14
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 276006051 937398272 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 7418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 7418 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) 915428
[startup+6.17315 s]
/proc/loadavg: 2.02 1.90 1.53 3/100 25934
/proc/meminfo: memFree=1239456/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=6.12
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 7684 0 1 0 555 57 0 0 25 0 8 0 276006044 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073712189 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25926/statm: 228857 7421 2478 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.14
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 346 0 0 0 14 0 0 0 16 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915428
[startup+12.6408 s]
/proc/loadavg: 2.02 1.90 1.53 3/100 25934
/proc/meminfo: memFree=1239456/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=12.56
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 7684 0 1 0 1134 122 0 0 25 0 8 0 276006044 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073712052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25926/statm: 228857 7421 2478 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.14
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 346 0 0 0 14 0 0 0 16 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915428
[startup+25.505 s]
/proc/loadavg: 2.01 1.91 1.54 3/100 25934
/proc/meminfo: memFree=1239456/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=25.37
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 7684 0 1 0 2290 247 0 0 25 0 8 0 276006044 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073712052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25926/statm: 228857 7421 2478 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 266 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.14
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 346 0 0 0 14 0 0 0 16 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915428
[startup+51.1144 s]
/proc/loadavg: 2.01 1.91 1.55 3/100 25934
/proc/meminfo: memFree=1227360/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=50.84
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 10765 0 1 0 4633 451 0 0 25 0 8 0 276006044 937398272 10497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073714307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25926/statm: 228857 10497 2534 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 267 0 0 0 3 0 0 0 17 0 8 0 276006047 937398272 10497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 10497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 10497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 10497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.27
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 276006051 937398272 10497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 10497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 10497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915428
[startup+102.344 s]
/proc/loadavg: 2.06 1.94 1.57 3/100 25934
/proc/meminfo: memFree=1227296/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=101.83
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 10783 0 1 0 9732 451 0 0 25 0 8 0 276006044 937398272 10514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906653 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25926/statm: 228857 10514 2534 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 10514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 10514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 10514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 10514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.28
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 417 0 0 0 27 1 0 0 16 0 8 0 276006051 937398272 10514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 10514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 10514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 915428
[startup+162.423 s]
/proc/loadavg: 2.02 1.95 1.60 3/100 25934
/proc/meminfo: memFree=1227296/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=161.63
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 10790 0 1 0 15711 452 0 0 25 0 8 0 276006044 937398272 10521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073943671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2016.21
Current children cumulated vsize (KiB) 915428
[startup+2084.99 s]
/proc/loadavg: 2.03 2.02 1.92 3/101 26208
/proc/meminfo: memFree=1251872/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=2076.24
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 10810 0 1 0 207160 464 0 0 25 0 8 0 276006044 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073893272 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25926/statm: 228857 10539 2534 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.28
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 420 0 0 0 27 1 0 0 16 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2076.24
Current children cumulated vsize (KiB) 915428
[startup+2145.09 s]
/proc/loadavg: 2.08 2.03 1.93 3/101 26208
/proc/meminfo: memFree=1251872/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=2136.26
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 10810 0 1 0 213162 464 0 0 25 0 8 0 276006044 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875221 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25926/statm: 228857 10539 2534 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.28
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 420 0 0 0 27 1 0 0 16 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2136.26
Current children cumulated vsize (KiB) 915428
[startup+2205.18 s]
/proc/loadavg: 2.03 2.02 1.93 3/101 26208
/proc/meminfo: memFree=1251808/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=2196.3
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 10810 0 1 0 219165 465 0 0 25 0 8 0 276006044 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073713335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25926/statm: 228857 10539 2534 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.28
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 420 0 0 0 27 1 0 0 16 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2196.3
Current children cumulated vsize (KiB) 915428
[startup+2265.26 s]
/proc/loadavg: 2.07 2.03 1.93 3/101 26208
/proc/meminfo: memFree=1251808/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=2256.33
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 10810 0 1 0 225168 465 0 0 25 0 8 0 276006044 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073943665 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25926/statm: 228857 10539 2534 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.28
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 420 0 0 0 27 1 0 0 16 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2256.33
Current children cumulated vsize (KiB) 915428
[startup+2325.36 s]
/proc/loadavg: 2.02 2.03 1.93 3/101 26208
/proc/meminfo: memFree=1251808/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=2316.35
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 10810 0 1 0 231170 465 0 0 25 0 8 0 276006044 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25926/statm: 228857 10539 2534 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.28
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 420 0 0 0 27 1 0 0 16 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2316.35
Current children cumulated vsize (KiB) 915428
[startup+2385.45 s]
/proc/loadavg: 2.04 2.03 1.94 3/101 26208
/proc/meminfo: memFree=1251808/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=2376.39
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 10810 0 1 0 237174 465 0 0 25 0 8 0 276006044 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073896202 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25926/statm: 228857 10539 2534 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.28
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 420 0 0 0 27 1 0 0 16 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2376.39
Current children cumulated vsize (KiB) 915428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2409.11 s]
/proc/loadavg: 2.09 2.04 1.94 3/101 26208
/proc/meminfo: memFree=1251872/2055920 swapFree=4158792/4192956
[pid=25926] ppid=25924 vsize=915428 CPUtime=2400.04
/proc/25926/stat : 25926 (java) R 25924 25926 25715 0 -1 0 10810 0 1 0 239539 465 0 0 25 0 8 0 276006044 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25926/statm: 228857 10539 2534 14 0 215327 0
[pid=25926/tid=25928] ppid=25924 vsize=915428 CPUtime=0.03
/proc/25926/task/25928/stat : 25928 (java) S 25924 25926 25715 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 276006047 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25929] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25929/stat : 25929 (java) S 25924 25926 25715 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25930] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25930/stat : 25930 (java) S 25924 25926 25715 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276006048 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25931] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25931/stat : 25931 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25932] ppid=25924 vsize=915428 CPUtime=0.28
/proc/25926/task/25932/stat : 25932 (java) S 25924 25926 25715 0 -1 64 420 0 0 0 27 1 0 0 16 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25933] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25933/stat : 25933 (java) S 25924 25926 25715 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25926/tid=25934] ppid=25924 vsize=915428 CPUtime=0
/proc/25926/task/25934/stat : 25934 (java) S 25924 25926 25715 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276006051 937398272 10539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2409.18
CPU time (s): 2400.11
CPU user time (s): 2395.45
CPU system time (s): 4.66329
CPU usage (%): 99.6236
Max. virtual memory (cumulated for all children) (KiB): 915432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.45
system time used= 4.66329
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10832
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= 49986
involuntary context switches= 92545
runsolver used 3.2885 s user time and 7.38488 s system time
The end
Begin job on node14 on Sat Jan 20 06:55:11 UTC 2007
IDJOB= 278137
IDBENCH= 8064
IDSOLVER= 68
FILE ID= node14/278137-1169276111
PBS_JOBID= 3609470
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-1200-713321_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278137-1169276111/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-278137-1169276111 -o ROOT/results/node14/solver-278137-1169276111 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278137-1169276111/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f3baffe674e03ec60e964a06d3071d22
RANDOM SEED= 73801351
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.227
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.227
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: 1260152 kB
Buffers: 52500 kB
Cached: 597928 kB
SwapCached: 9104 kB
Active: 231032 kB
Inactive: 487980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1260152 kB
SwapTotal: 4192956 kB
SwapFree: 4158792 kB
Dirty: 1752 kB
Writeback: 0 kB
Mapped: 86408 kB
Slab: 61564 kB
Committed_AS: 9764880 kB
PageTables: 2292 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 node14 on Sat Jan 20 07:35:21 UTC 2007