0.42
0.42 Abscon 109 (November, 2006)
0.42
0.42 configuration
0.42 name=epfc.xml
0.46
0.46 instance
0.46 name=/tmp/evaluation/277534-1169268470/unknown.xml
0.49
0.49 domains being loaded...
0.49
0.49 variables being loaded...
0.53 nbVariables=60 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.53 => wckTime=0.1 cpuTime=0.08 mem=6M887
0.53
0.53 relations being loaded...
0.53
0.53 constraints being loaded...
0.56 nbConstraints=40 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=38
0.56 nbConflictsStructures=2 nbSharedConflictsStructures=38 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.57 => wckTime=0.138 cpuTime=0.11 mem=6M887
0.60
0.60 solver LocalSearchSolver being built...
0.64 => wckTime=0.217 cpuTime=0.16 mem=5M379
0.65
0.65 s SATISFIABLE
0.65 o 17
0.65 c 23
0.65 o 19
0.65 c 21
0.65 o 21
0.65 c 19
0.65 o 23
0.65 c 17
0.65 o 25
0.65 c 15
0.65 o 27
0.65 c 13
0.65 o 29
0.65 c 11
0.65 o 31
0.65 c 9
0.65 o 33
0.65 c 7
0.65 o 35
0.65 c 5
0.65 o 37
0.65 c 3
0.67 o 39
0.67 c 1
0.67
0.67 search
0.67 run=0 nbConstraintChecks=1075 nbAssignments=44
0.67 => wckTime=0.025 cpuTime=0.02 mem=5M379
0.67
0.67 global
0.67 nbConstraintChecks=1075 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.67 solvingWckTime=0.024 solvingCpuTime=0.01 expiredTime=no totalExploration=no nbFoundSolutions=0
0.67 globalCpuTime=0.22
0.67 => wckTime=0.242 cpuTime=0.17 mem=5M379
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.401 cpuTime=0.29 mem=17M262
0.87
0.87 preprocessing
0.87 nbConstraintChecks=371 nbValidityChecks=5344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.87 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.044 cpuTime=0.02 mem=17M262
0.89
0.89 search
0.89 run=0 nbConstraintChecks=196 nbValidityChecks=3682 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.89 nbAssignments=45 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=53 nbRestartNogoods=0
0.89 => wckTime=0.062 cpuTime=0.03 mem=17M262
0.91
0.91 search
0.91 run=1 nbConstraintChecks=378 nbValidityChecks=7718 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.91 nbAssignments=88 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=106 nbRestartNogoods=3
0.91 => wckTime=0.08 cpuTime=0.04 mem=17M262
0.92
0.92 search
0.92 run=2 nbConstraintChecks=574 nbValidityChecks=12914 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.92 nbAssignments=134 nbFailedAssignments=20 nbBacktracks=52 nbVisitedNodes=167 nbRestartNogoods=5
0.92 => wckTime=0.092 cpuTime=0.05 mem=17M262
0.93
0.93 search
0.93 run=3 nbConstraintChecks=888 nbValidityChecks=19232 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.93 nbAssignments=207 nbFailedAssignments=35 nbBacktracks=86 nbVisitedNodes=259 nbRestartNogoods=6
0.93 => wckTime=0.105 cpuTime=0.06 mem=17M262
0.95
0.95 search
0.95 run=4 nbConstraintChecks=1397 nbValidityChecks=28458 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.95 nbAssignments=308 nbFailedAssignments=59 nbBacktracks=138 nbVisitedNodes=392 nbRestartNogoods=10
0.95 => wckTime=0.121 cpuTime=0.07 mem=17M262
0.97
0.97 search
0.97 run=5 nbConstraintChecks=2062 nbValidityChecks=41056 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.97 nbAssignments=439 nbFailedAssignments=88 nbBacktracks=213 nbVisitedNodes=566 nbRestartNogoods=12
0.97 => wckTime=0.142 cpuTime=0.09 mem=17M262
0.99
0.99 search
0.99 run=6 nbConstraintChecks=2908 nbValidityChecks=59331 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.99 nbAssignments=610 nbFailedAssignments=119 nbBacktracks=335 nbVisitedNodes=779 nbRestartNogoods=15
0.99 => wckTime=0.166 cpuTime=0.11 mem=17M262
1.03
1.03 search
1.03 run=7 nbConstraintChecks=4275 nbValidityChecks=87272 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.03 nbAssignments=852 nbFailedAssignments=167 nbBacktracks=505 nbVisitedNodes=1087 nbRestartNogoods=19
1.03 => wckTime=0.202 cpuTime=0.14 mem=17M262
1.07
1.07 search
1.07 run=8 nbConstraintChecks=6066 nbValidityChecks=125895 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.07 nbAssignments=1194 nbFailedAssignments=225 nbBacktracks=764 nbVisitedNodes=1500 nbRestartNogoods=22
1.07 => wckTime=0.246 cpuTime=0.18 mem=17M262
1.15
1.15 search
1.15 run=9 nbConstraintChecks=9960 nbValidityChecks=172174 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.15 nbAssignments=1719 nbFailedAssignments=337 nbBacktracks=1149 nbVisitedNodes=2175 nbRestartNogoods=25
1.15 => wckTime=0.323 cpuTime=0.23 mem=17M262
1.22
1.22 search
1.22 run=10 nbConstraintChecks=18249 nbValidityChecks=237553 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.22 nbAssignments=2474 nbFailedAssignments=478 nbBacktracks=1728 nbVisitedNodes=3105 nbRestartNogoods=30
1.22 => wckTime=0.393 cpuTime=0.29 mem=17M262
1.31
1.31 search
1.31 run=11 nbConstraintChecks=26497 nbValidityChecks=343120 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.31 nbAssignments=3542 nbFailedAssignments=649 nbBacktracks=2595 nbVisitedNodes=4387 nbRestartNogoods=33
1.31 => wckTime=0.482 cpuTime=0.38 mem=17M262
1.44
1.44 search
1.44 run=12 nbConstraintChecks=45791 nbValidityChecks=490092 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.44 nbAssignments=5178 nbFailedAssignments=946 nbBacktracks=3896 nbVisitedNodes=6418 nbRestartNogoods=37
1.44 => wckTime=0.61 cpuTime=0.51 mem=17M262
1.61
1.61 search
1.61 run=13 nbConstraintChecks=77690 nbValidityChecks=687982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.61 nbAssignments=7649 nbFailedAssignments=1440 nbBacktracks=5852 nbVisitedNodes=9510 nbRestartNogoods=42
1.61 => wckTime=0.779 cpuTime=0.67 mem=17M262
1.83
1.83 search
1.83 run=14 nbConstraintChecks=144458 nbValidityChecks=942718 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.83 nbAssignments=11292 nbFailedAssignments=2132 nbBacktracks=8772 nbVisitedNodes=14063 nbRestartNogoods=51
1.83 => wckTime=1.006 cpuTime=0.9 mem=17M262
2.13
2.13 search
2.13 run=15 nbConstraintChecks=265385 nbValidityChecks=1276557 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.13 nbAssignments=16587 nbFailedAssignments=3010 nbBacktracks=13161 nbVisitedNodes=20472 nbRestartNogoods=53
2.13 => wckTime=1.303 cpuTime=1.19 mem=17M262
2.60
2.60 search
2.60 run=16 nbConstraintChecks=420416 nbValidityChecks=1820615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.60 nbAssignments=24353 nbFailedAssignments=4164 nbBacktracks=19744 nbVisitedNodes=29646 nbRestartNogoods=59
2.60 => wckTime=1.768 cpuTime=1.65 mem=17M262
3.28
3.28 search
3.28 run=17 nbConstraintChecks=635355 nbValidityChecks=2632972 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.28 nbAssignments=35714 nbFailedAssignments=5649 nbBacktracks=29597 nbVisitedNodes=42951 nbRestartNogoods=67
3.28 => wckTime=2.451 cpuTime=2.33 mem=17M262
4.32
4.32 search
4.32 run=18 nbConstraintChecks=990158 nbValidityChecks=3897105 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.32 nbAssignments=52685 nbFailedAssignments=7798 nbBacktracks=44383 nbVisitedNodes=62511 nbRestartNogoods=75
4.32 => wckTime=3.488 cpuTime=3.36 mem=17M262
5.70
5.70 search
5.70 run=19 nbConstraintChecks=1617996 nbValidityChecks=5474346 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.70 nbAssignments=78176 nbFailedAssignments=11079 nbBacktracks=66563 nbVisitedNodes=92251 nbRestartNogoods=79
5.70 => wckTime=4.87 cpuTime=4.72 mem=17M262
7.93
7.93 search
7.94 run=20 nbConstraintChecks=2485280 nbValidityChecks=8193315 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.94 nbAssignments=116396 nbFailedAssignments=16009 nbBacktracks=99818 nbVisitedNodes=136499 nbRestartNogoods=87
7.94 => wckTime=7.107 cpuTime=6.94 mem=17M262
11.12
11.12 search
11.12 run=21 nbConstraintChecks=4004263 nbValidityChecks=11875277 nbPropagations=0 nbRevisions=0
11.12 nbUselessRevisions=0 nbAssignments=174058 nbFailedAssignments=23763 nbBacktracks=149699 nbVisitedNodes=203913
11.12 nbRestartNogoods=94
11.12 => wckTime=10.287 cpuTime=10.1 mem=17M262
15.71
15.71 search
15.71 run=22 nbConstraintChecks=6014505 nbValidityChecks=17716261 nbPropagations=0 nbRevisions=0
15.71 nbUselessRevisions=0 nbAssignments=259941 nbFailedAssignments=34799 nbBacktracks=224519 nbVisitedNodes=303651
15.71 nbRestartNogoods=99
15.71 => wckTime=14.878 cpuTime=14.66 mem=17M262
22.43
22.43 search
22.43 run=23 nbConstraintChecks=9227096 nbValidityChecks=26304312 nbPropagations=0 nbRevisions=0
22.43 nbUselessRevisions=0 nbAssignments=389408 nbFailedAssignments=52006 nbBacktracks=336752 nbVisitedNodes=453895
22.43 nbRestartNogoods=109
22.43 => wckTime=21.604 cpuTime=21.38 mem=17M262
32.56
32.56 search
32.56 run=24 nbConstraintChecks=13921499 nbValidityChecks=39334738 nbPropagations=0 nbRevisions=0
32.56 nbUselessRevisions=0 nbAssignments=584132 nbFailedAssignments=78360 nbBacktracks=505098 nbVisitedNodes=681065
32.56 nbRestartNogoods=117
32.56 => wckTime=31.731 cpuTime=31.48 mem=17M262
47.30
47.30 search
47.30 run=25 nbConstraintChecks=20957423 nbValidityChecks=58412830 nbPropagations=0 nbRevisions=0
47.30 nbUselessRevisions=0 nbAssignments=871725 nbFailedAssignments=113409 nbBacktracks=757617 nbVisitedNodes=1013167
47.30 nbRestartNogoods=126
47.30 => wckTime=46.47 cpuTime=46.21 mem=17M262
68.95
68.95 search
68.95 run=26 nbConstraintChecks=32130792 nbValidityChecks=86499083 nbPropagations=0 nbRevisions=0
68.95 nbUselessRevisions=0 nbAssignments=1304475 nbFailedAssignments=167357 nbBacktracks=1136393
68.95 nbVisitedNodes=1511403 nbRestartNogoods=132
68.95 => wckTime=68.124 cpuTime=67.85 mem=17M262
102.00
102.00 search
102.00 run=27 nbConstraintChecks=48724042 nbValidityChecks=129400410 nbPropagations=0 nbRevisions=0
102.00 nbUselessRevisions=0 nbAssignments=1952777 nbFailedAssignments=247462 nbBacktracks=1704564
102.00 nbVisitedNodes=2260202 nbRestartNogoods=142
102.00 => wckTime=101.176 cpuTime=100.87 mem=17M262
151.93
151.93 search
151.93 run=28 nbConstraintChecks=73068858 nbValidityChecks=194183001 nbPropagations=0 nbRevisions=0
151.93 nbUselessRevisions=0 nbAssignments=2927547 nbFailedAssignments=369965 nbBacktracks=2556807
151.93 nbVisitedNodes=3385508 nbRestartNogoods=149
151.93 => wckTime=151.102 cpuTime=150.75 mem=17M262
230.63
230.63 search
230.63 run=29 nbConstraintChecks=106520534 nbValidityChecks=301009455 nbPropagations=0 nbRevisions=0
230.63 nbUselessRevisions=0 nbAssignments=4384814 nbFailedAssignments=548850 nbBacktracks=3835150
230.63 nbVisitedNodes=5053010 nbRestartNogoods=162
230.63 => wckTime=229.798 cpuTime=229.39 mem=17M262
346.32
346.32 search
346.32 run=30 nbConstraintChecks=158080063 nbValidityChecks=456181014 nbPropagations=0 nbRevisions=0
346.32 nbUselessRevisions=0 nbAssignments=6563539 nbFailedAssignments=810039 nbBacktracks=5752661
346.32 nbVisitedNodes=7547132 nbRestartNogoods=170
346.32 => wckTime=345.489 cpuTime=344.96 mem=17M262
512.46
512.46 search
512.46 run=31 nbConstraintChecks=238329653 nbValidityChecks=672453593 nbPropagations=0 nbRevisions=0
512.46 nbUselessRevisions=0 nbAssignments=9828680 nbFailedAssignments=1198864 nbBacktracks=8628926
512.46 nbVisitedNodes=11289352 nbRestartNogoods=179
512.46 => wckTime=511.633 cpuTime=510.96 mem=17M262
772.25
772.25 search
772.25 run=32 nbConstraintChecks=353664677 nbValidityChecks=1017941896 nbPropagations=0 nbRevisions=0
772.25 nbUselessRevisions=0 nbAssignments=14729350 nbFailedAssignments=1785103 nbBacktracks=12943333
772.25 nbVisitedNodes=16903986 nbRestartNogoods=189
772.25 => wckTime=771.42 cpuTime=770.48 mem=17M262
1057.82
1057.82 search
1057.82 run=33 nbConstraintChecks=483826226 nbValidityChecks=1398571393 nbPropagations=0 nbRevisions=0
1057.82 nbUselessRevisions=0 nbAssignments=20175661 nbFailedAssignments=2413047 nbBacktracks=17761701
1057.82 nbVisitedNodes=23113905 nbRestartNogoods=203
1057.82 => wckTime=1056.99 cpuTime=1055.75 mem=17M262
1057.82
1057.82 global
1057.82 nbConstraintChecks=483826597 nbValidityChecks=1398576737 nbRestartNogoods=203 solvingWckTime=1056.991
1057.82 solvingCpuTime=1055.75 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1056.09
1057.82 => wckTime=1057.392 cpuTime=1056.04 mem=17M262
1057.82
1057.82 s OPTIMUM FOUND
1057.82 v 1 1 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0
1057.82
1057.82 totalWckTime=1057.476 totalCpuTime=1056.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-277534-1169268470 -o ROOT/results/node59/solver-277534-1169268470 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277534-1169268470/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.85 1.97 1.93 2/80 14143
/proc/meminfo: memFree=1267464/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=18540 CPUtime=0
/proc/14142/stat : 14142 (runsolver) R 14140 14142 13815 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275244960 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14142/statm: 4635 279 244 17 0 2626 0
[startup+0.102166 s]
/proc/loadavg: 1.85 1.97 1.93 2/80 14143
/proc/meminfo: memFree=1267464/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=56496 CPUtime=0
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 1237 0 1 0 0 0 0 0 17 0 1 0 275244960 57851904 986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151971241 0 4 0 7368 0 0 0 17 1 0 0
/proc/14142/statm: 14124 986 778 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 56496
[startup+0.510217 s]
/proc/loadavg: 1.85 1.97 1.93 2/80 14143
/proc/meminfo: memFree=1267464/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915332 CPUtime=0.38
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 5991 0 1 0 34 4 0 0 18 0 8 0 275244960 937299968 5730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14142/statm: 228833 5730 2131 14 0 215303 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915332
[startup+1.3363 s]
/proc/loadavg: 1.85 1.97 1.93 3/87 14150
/proc/meminfo: memFree=1241552/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=1.19
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9203 0 1 0 112 7 0 0 23 0 8 0 275244960 937435136 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073703574 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14142/statm: 228866 8940 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.21
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 365 0 0 0 20 1 0 0 15 0 8 0 275244976 937435136 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8940 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915464
[startup+2.98848 s]
/proc/loadavg: 1.86 1.97 1.93 3/87 14150
/proc/meminfo: memFree=1241424/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=2.84
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9219 0 1 0 277 7 0 0 25 0 8 0 275244960 937435136 8955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073738729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14142/statm: 228866 8955 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 367 0 0 0 21 1 0 0 15 0 8 0 275244976 937435136 8955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915464
[startup+6.27784 s]
/proc/loadavg: 1.86 1.97 1.93 3/87 14150
/proc/meminfo: memFree=1241424/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=6.09
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9227 0 1 0 602 7 0 0 25 0 8 0 275244960 937435136 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14142/statm: 228866 8963 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 17 0 8 0 275244972 937435136 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 368 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915464
[startup+12.7646 s]
/proc/loadavg: 1.88 1.97 1.93 3/77 14161
/proc/meminfo: memFree=1384160/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=12.52
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9233 0 1 0 1245 7 0 0 25 0 8 0 275244960 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8968 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 368 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915464
[startup+25.6 s]
/proc/loadavg: 1.74 1.94 1.91 3/80 14336
/proc/meminfo: memFree=1385728/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=25.34
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9241 0 1 0 2525 9 0 0 25 0 8 0 275244960 937435136 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8975 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915464
[startup+51.2058 s]
/proc/loadavg: 1.83 1.94 1.91 3/80 14336
/proc/meminfo: memFree=1385864/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=50.91
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9248 0 1 0 5082 9 0 0 25 0 8 0 275244960 937435136 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8980 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915464
[startup+102.409 s]
/proc/loadavg: 1.93 1.95 1.91 3/80 14336
/proc/meminfo: memFree=1385992/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=102.07
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9253 0 1 0 10197 10 0 0 25 0 8 0 275244960 937435136 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073738729 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8985 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 915464
[startup+162.461 s]
/proc/loadavg: 2.01 1.97 1.92 3/80 14336
/proc/meminfo: memFree=1385992/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=162.05
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9256 0 1 0 16195 10 0 0 25 0 8 0 275244960 937435136 8988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073723514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 915464
[startup+642.857 s]
/proc/loadavg: 1.99 1.97 1.91 3/81 14451
/proc/meminfo: memFree=1386048/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=642.02
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9263 0 1 0 64190 12 0 0 25 0 8 0 275244960 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8995 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 915464
[startup+702.903 s]
/proc/loadavg: 1.99 1.97 1.91 3/81 14451
/proc/meminfo: memFree=1385984/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=702
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9263 0 1 0 70188 12 0 0 25 0 8 0 275244960 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073684531 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8995 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 915464
[startup+762.948 s]
/proc/loadavg: 2.06 1.99 1.92 3/81 14451
/proc/meminfo: memFree=1386048/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=761.99
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9263 0 1 0 76187 12 0 0 25 0 8 0 275244960 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8995 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 915464
[startup+823.007 s]
/proc/loadavg: 2.02 1.99 1.92 3/87 14569
/proc/meminfo: memFree=1384648/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=821.99
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9266 0 1 0 82182 17 0 0 25 0 8 0 275244960 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8998 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 915464
[startup+883.079 s]
/proc/loadavg: 2.00 1.99 1.92 3/81 14649
/proc/meminfo: memFree=1385664/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=881.96
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9266 0 1 0 88175 21 0 0 25 0 8 0 275244960 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8998 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 915464
[startup+943.127 s]
/proc/loadavg: 2.00 1.99 1.92 3/81 14649
/proc/meminfo: memFree=1385664/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=941.96
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9266 0 1 0 94175 21 0 0 25 0 8 0 275244960 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8998 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 915464
[startup+1003.17 s]
/proc/loadavg: 2.07 2.00 1.93 3/81 14649
/proc/meminfo: memFree=1385664/2055920 swapFree=4192680/4192956
[pid=14142] ppid=14140 vsize=915464 CPUtime=1001.95
/proc/14142/stat : 14142 (java) R 14140 14142 13815 0 -1 0 9266 0 1 0 100174 21 0 0 25 0 8 0 275244960 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073708358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14142/statm: 228866 8998 2533 14 0 215336 0
[pid=14142/tid=14144] ppid=14140 vsize=915464 CPUtime=0.02
/proc/14142/task/14144/stat : 14144 (java) S 14140 14142 13815 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14145] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14145/stat : 14145 (java) S 14140 14142 13815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14146] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14146/stat : 14146 (java) S 14140 14142 13815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275244972 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14147] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14147/stat : 14147 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14148] ppid=14140 vsize=915464 CPUtime=0.22
/proc/14142/task/14148/stat : 14148 (java) S 14140 14142 13815 0 -1 64 369 0 0 0 21 1 0 0 16 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14142/tid=14149] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14149/stat : 14149 (java) S 14140 14142 13815 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14142/tid=14150] ppid=14140 vsize=915464 CPUtime=0
/proc/14142/task/14150/stat : 14150 (java) S 14140 14142 13815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275244976 937435136 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1057.88
CPU time (s): 1056.57
CPU user time (s): 1056.36
CPU system time (s): 0.217966
CPU usage (%): 99.8763
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1056.36
system time used= 0.217966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9364
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= 22440
involuntary context switches= 7083
runsolver used 1.21582 s user time and 3.36949 s system time
The end
Begin job on node59 on Sat Jan 20 04:47:50 UTC 2007
IDJOB= 277534
IDBENCH= 7351
IDSOLVER= 68
FILE ID= node59/277534-1169268470
PBS_JOBID= 3607376
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-60-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277534-1169268470/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-277534-1169268470 -o ROOT/results/node59/solver-277534-1169268470 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277534-1169268470/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5373c097d76184877d5eaffb3c2cb383
RANDOM SEED= 891992808
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.239
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.239
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: 1267880 kB
Buffers: 47180 kB
Cached: 498180 kB
SwapCached: 0 kB
Active: 241024 kB
Inactive: 471356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1267880 kB
SwapTotal: 4192956 kB
SwapFree: 4192680 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 187260 kB
Slab: 60652 kB
Committed_AS: 5832872 kB
PageTables: 2196 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node59 on Sat Jan 20 05:05:28 UTC 2007