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/275089-1169216474/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=36 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.45
0.45 constraints being loaded...
0.52 nbConstraints=153 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=143
0.52 nbConflictsStructures=10 nbSharedConflictsStructures=143 nbSharedBinaryRepresentations=9 maxDegree=9 maxArity=4
0.52 => wckTime=0.2 cpuTime=0.15 mem=8M837
0.55
0.55 solver LocalSearchSolver being built...
0.60 => wckTime=0.283 cpuTime=0.19 mem=5M612
0.60
0.60 s SATISFIABLE
0.60 o 129
0.60 c 24
0.60 o 132
0.60 c 21
0.61 o 134
0.61 c 19
0.61 o 136
0.61 c 17
0.61 o 138
0.61 c 15
0.61 o 139
0.61 c 14
0.61 o 140
0.61 c 13
0.61 o 141
0.61 c 12
0.62 o 142
0.62 c 11
0.62 o 143
0.62 c 10
0.62 o 144
0.62 c 9
0.62 o 145
0.62 c 8
0.62 o 146
0.62 c 7
0.62 o 147
0.62 c 6
0.62 o 148
0.62 c 5
0.62 o 149
0.62 c 4
0.62 o 150
0.62 c 3
0.62 o 151
0.62 c 2
0.67 o 152
0.67 c 1
0.68
0.68 search
0.68 run=0 nbConstraintChecks=130251 nbAssignments=301
0.68 => wckTime=0.077 cpuTime=0.06 mem=5M612
0.68
0.68 global
0.68 nbConstraintChecks=130251 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.68 solvingWckTime=0.076 solvingCpuTime=0.06 expiredTime=no totalExploration=no nbFoundSolutions=0
0.68 globalCpuTime=0.3
0.68 => wckTime=0.361 cpuTime=0.25 mem=5M612
0.68
0.68 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.498 cpuTime=0.37 mem=16M848
0.88
0.88 preprocessing
0.88 nbConstraintChecks=13624 nbValidityChecks=8750 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.88 nbRemovedValues=79 detectedInconsistency=no
0.88 => wckTime=0.061 cpuTime=0.03 mem=16M848
0.89
0.89 search
0.89 run=0 nbConstraintChecks=11871 nbValidityChecks=3934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.89 nbAssignments=38 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=55 nbRestartNogoods=0
0.89 => wckTime=0.078 cpuTime=0.05 mem=16M848
0.92
0.92 search
0.92 run=1 nbConstraintChecks=27323 nbValidityChecks=11650 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.92 nbAssignments=72 nbFailedAssignments=19 nbBacktracks=25 nbVisitedNodes=106 nbRestartNogoods=2
0.92 => wckTime=0.104 cpuTime=0.06 mem=16M848
0.94
0.94 search
0.94 run=2 nbConstraintChecks=49354 nbValidityChecks=18083 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.94 nbAssignments=129 nbFailedAssignments=36 nbBacktracks=47 nbVisitedNodes=197 nbRestartNogoods=6
0.94 => wckTime=0.128 cpuTime=0.08 mem=16M848
0.97
0.97 search
0.97 run=3 nbConstraintChecks=88428 nbValidityChecks=27773 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.97 nbAssignments=212 nbFailedAssignments=69 nbBacktracks=80 nbVisitedNodes=343 nbRestartNogoods=11
0.97 => wckTime=0.152 cpuTime=0.1 mem=16M848
1.00
1.00 search
1.00 run=4 nbConstraintChecks=147150 nbValidityChecks=46097 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.00 nbAssignments=327 nbFailedAssignments=121 nbBacktracks=130 nbVisitedNodes=529 nbRestartNogoods=16
1.00 => wckTime=0.189 cpuTime=0.14 mem=16M848
1.07
1.07 search
1.07 run=5 nbConstraintChecks=226801 nbValidityChecks=105136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.07 nbAssignments=475 nbFailedAssignments=189 nbBacktracks=205 nbVisitedNodes=795 nbRestartNogoods=23
1.07 => wckTime=0.258 cpuTime=0.21 mem=16M848
1.14
1.14 search
1.14 run=6 nbConstraintChecks=335972 nbValidityChecks=140975 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.14 nbAssignments=712 nbFailedAssignments=301 nbBacktracks=318 nbVisitedNodes=1214 nbRestartNogoods=30
1.14 => wckTime=0.327 cpuTime=0.27 mem=16M848
1.21
1.21 search
1.21 run=7 nbConstraintChecks=443248 nbValidityChecks=176222 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.21 nbAssignments=984 nbFailedAssignments=391 nbBacktracks=490 nbVisitedNodes=1623 nbRestartNogoods=37
1.21 => wckTime=0.397 cpuTime=0.34 mem=16M848
1.37
1.37 search
1.37 run=8 nbConstraintChecks=635473 nbValidityChecks=299182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.37 nbAssignments=1416 nbFailedAssignments=563 nbBacktracks=746 nbVisitedNodes=2328 nbRestartNogoods=45
1.37 => wckTime=0.558 cpuTime=0.49 mem=16M848
1.56
1.57 search
1.57 run=9 nbConstraintChecks=920766 nbValidityChecks=403860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.57 nbAssignments=2100 nbFailedAssignments=850 nbBacktracks=1130 nbVisitedNodes=3469 nbRestartNogoods=46
1.57 => wckTime=0.751 cpuTime=0.67 mem=16M848
1.88
1.88 search
1.88 run=10 nbConstraintChecks=1426146 nbValidityChecks=649059 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.88 nbAssignments=3062 nbFailedAssignments=1227 nbBacktracks=1706 nbVisitedNodes=5006 nbRestartNogoods=55
1.88 => wckTime=1.068 cpuTime=0.98 mem=16M848
2.38
2.38 search
2.39 run=11 nbConstraintChecks=1961654 nbValidityChecks=1110485 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.39 nbAssignments=4500 nbFailedAssignments=1795 nbBacktracks=2570 nbVisitedNodes=7324 nbRestartNogoods=61
2.39 => wckTime=1.571 cpuTime=1.48 mem=16M848
2.92
2.92 search
2.92 run=12 nbConstraintChecks=2771991 nbValidityChecks=1506913 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.92 nbAssignments=6613 nbFailedAssignments=2606 nbBacktracks=3869 nbVisitedNodes=10734 nbRestartNogoods=67
2.92 => wckTime=2.106 cpuTime=2.02 mem=16M848
3.70
3.70 search
3.70 run=13 nbConstraintChecks=4239043 nbValidityChecks=2053207 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.70 nbAssignments=9784 nbFailedAssignments=3820 nbBacktracks=5815 nbVisitedNodes=15812 nbRestartNogoods=79
3.70 => wckTime=2.885 cpuTime=2.79 mem=16M848
4.72
4.72 search
4.73 run=14 nbConstraintChecks=6016674 nbValidityChecks=2718648 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.73 nbAssignments=14315 nbFailedAssignments=5420 nbBacktracks=8736 nbVisitedNodes=22764 nbRestartNogoods=88
4.73 => wckTime=3.911 cpuTime=3.82 mem=16M848
6.17
6.17 search
6.17 run=15 nbConstraintChecks=8643591 nbValidityChecks=3635749 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.17 nbAssignments=21224 nbFailedAssignments=7938 nbBacktracks=13118 nbVisitedNodes=33685 nbRestartNogoods=99
6.17 => wckTime=5.355 cpuTime=5.26 mem=16M848
8.57
8.57 search
8.57 run=16 nbConstraintChecks=12487961 nbValidityChecks=5287325 nbPropagations=0 nbRevisions=0
8.57 nbUselessRevisions=0 nbAssignments=31339 nbFailedAssignments=11474 nbBacktracks=19686 nbVisitedNodes=49250
8.57 nbRestartNogoods=105
8.57 => wckTime=7.754 cpuTime=7.65 mem=16M848
11.99
11.99 search
11.99 run=17 nbConstraintChecks=18672528 nbValidityChecks=7564721 nbPropagations=0 nbRevisions=0
11.99 nbUselessRevisions=0 nbAssignments=46390 nbFailedAssignments=16662 nbBacktracks=29538 nbVisitedNodes=72409
11.99 nbRestartNogoods=119
11.99 => wckTime=11.18 cpuTime=11.08 mem=16M848
17.08
17.08 search
17.08 run=18 nbConstraintChecks=27594013 nbValidityChecks=10845266 nbPropagations=0 nbRevisions=0
17.08 nbUselessRevisions=0 nbAssignments=68941 nbFailedAssignments=24423 nbBacktracks=44318 nbVisitedNodes=107282
17.09 nbRestartNogoods=136
17.09 => wckTime=16.271 cpuTime=16.17 mem=16M848
24.67
24.67 search
24.67 run=19 nbConstraintChecks=40401434 nbValidityChecks=15946177 nbPropagations=0 nbRevisions=0
24.67 nbUselessRevisions=0 nbAssignments=101638 nbFailedAssignments=34944 nbBacktracks=66490 nbVisitedNodes=155848
24.67 nbRestartNogoods=151
24.67 => wckTime=23.858 cpuTime=23.76 mem=16M848
35.70
35.70 search
35.70 run=20 nbConstraintChecks=59653999 nbValidityChecks=22935932 nbPropagations=0 nbRevisions=0
35.70 nbUselessRevisions=0 nbAssignments=151866 nbFailedAssignments=51912 nbBacktracks=99744 nbVisitedNodes=231373
35.70 nbRestartNogoods=173
35.70 => wckTime=34.886 cpuTime=34.78 mem=16M848
55.94
55.94 search
55.94 run=21 nbConstraintChecks=91936222 nbValidityChecks=37822793 nbPropagations=0 nbRevisions=0
55.94 nbUselessRevisions=0 nbAssignments=227516 nbFailedAssignments=77672 nbBacktracks=149630 nbVisitedNodes=345580
55.94 nbRestartNogoods=189
55.94 => wckTime=55.129 cpuTime=55.02 mem=16M848
81.57
81.58 search
81.58 run=22 nbConstraintChecks=140873528 nbValidityChecks=54763250 nbPropagations=0 nbRevisions=0
81.58 nbUselessRevisions=0 nbAssignments=341393 nbFailedAssignments=116716 nbBacktracks=224451 nbVisitedNodes=519759
81.58 nbRestartNogoods=211
81.58 => wckTime=80.761 cpuTime=80.64 mem=16M848
119.89
119.89 search
119.89 run=23 nbConstraintChecks=205319024 nbValidityChecks=80412370 nbPropagations=0 nbRevisions=0
119.89 nbUselessRevisions=0 nbAssignments=510978 nbFailedAssignments=174059 nbBacktracks=336679 nbVisitedNodes=776680
119.89 nbRestartNogoods=227
119.89 => wckTime=119.081 cpuTime=118.95 mem=16M848
173.59
173.59 search
173.59 run=24 nbConstraintChecks=295464767 nbValidityChecks=115304496 nbPropagations=0 nbRevisions=0
173.59 nbUselessRevisions=0 nbAssignments=763177 nbFailedAssignments=257911 nbBacktracks=505022 nbVisitedNodes=1158745
173.59 nbRestartNogoods=240
173.59 => wckTime=172.773 cpuTime=172.63 mem=16M848
262.22
262.22 search
262.22 run=25 nbConstraintChecks=441362192 nbValidityChecks=177712510 nbPropagations=0 nbRevisions=0
262.22 nbUselessRevisions=0 nbAssignments=1139116 nbFailedAssignments=381328 nbBacktracks=757534
262.22 nbVisitedNodes=1717120 nbRestartNogoods=256
262.22 => wckTime=261.411 cpuTime=261.23 mem=16M848
387.79
387.79 search
387.79 run=26 nbConstraintChecks=652900917 nbValidityChecks=262880732 nbPropagations=0 nbRevisions=0
387.79 nbUselessRevisions=0 nbAssignments=1700587 nbFailedAssignments=564018 nbBacktracks=1136301
387.79 nbVisitedNodes=2554435 nbRestartNogoods=273
387.79 => wckTime=386.98 cpuTime=386.77 mem=16M848
394.06
394.06 search
394.06 run=27 nbConstraintChecks=662582588 nbValidityChecks=267210920 nbPropagations=0 nbRevisions=0
394.06 nbUselessRevisions=0 nbAssignments=1727940 nbFailedAssignments=572550 nbBacktracks=1155123
394.06 nbVisitedNodes=2594585 nbRestartNogoods=283
394.06 => wckTime=393.243 cpuTime=393.03 mem=16M848
394.06
394.06 global
394.06 nbConstraintChecks=662596212 nbValidityChecks=267219670 nbRestartNogoods=283 solvingWckTime=393.244
394.06 solvingCpuTime=393.03 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=393.45
394.06 => wckTime=393.743 cpuTime=393.4 mem=16M848
394.06
394.06 s OPTIMUM FOUND
394.06 v 4 4 3 4 1 1 1 6 6 0 5 2 0 6 8 7 8 7 7 0 3 3 4 3 7 2 6 8 5 8 0 5 2 5 2 1
394.06
394.06 totalWckTime=393.824 totalCpuTime=393.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-275089-1169216474 -o ROOT/results/node5/solver-275089-1169216474 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275089-1169216474/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.61 1.90 1.79 5/93 11052
/proc/meminfo: memFree=1179344/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=18540 CPUtime=0
/proc/11051/stat : 11051 (runsolver) R 11049 11051 10571 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 250262697 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/11051/statm: 4635 279 244 17 0 2626 0
[startup+0.107768 s]
/proc/loadavg: 1.61 1.90 1.79 5/93 11052
/proc/meminfo: memFree=1179344/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=914988 CPUtime=0.08
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 2986 0 1 0 7 1 0 0 19 0 8 0 250262697 936947712 2732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515812 s]
/proc/loadavg: 1.61 1.90 1.79 5/93 11052
/proc/meminfo: memFree=1179344/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915332 CPUtime=0.49
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 6646 0 1 0 44 5 0 0 22 0 8 0 250262697 937299968 6385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228833 6387 2155 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3369 s]
/proc/loadavg: 1.61 1.90 1.79 3/100 11059
/proc/meminfo: memFree=1153816/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=1.3
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9139 0 1 0 122 8 0 0 25 0 8 0 250262697 937414656 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8876 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 250262701 937414656 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.19
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 371 0 0 0 18 1 0 0 15 0 8 0 250262704 937414656 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.97409 s]
/proc/loadavg: 1.61 1.90 1.79 3/100 11059
/proc/meminfo: memFree=1153688/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=2.94
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9164 0 1 0 286 8 0 0 25 0 8 0 250262697 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8900 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 250262701 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.21
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 383 0 0 0 20 1 0 0 15 0 8 0 250262704 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.17945 s]
/proc/loadavg: 1.72 1.92 1.80 3/100 11059
/proc/meminfo: memFree=1153688/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=6.14
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9174 0 1 0 606 8 0 0 25 0 8 0 250262697 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8908 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 17 0 8 0 250262701 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.21
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 384 0 0 0 20 1 0 0 15 0 8 0 250262704 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915444
[startup+12.6472 s]
/proc/loadavg: 1.75 1.92 1.80 3/100 11059
/proc/meminfo: memFree=1153368/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=12.6
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9181 0 1 0 1252 8 0 0 25 0 8 0 250262697 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744420 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8913 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 250262701 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.21
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 250262704 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915444
[startup+25.5036 s]
/proc/loadavg: 1.80 1.93 1.81 3/100 11059
/proc/meminfo: memFree=1153368/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=25.45
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9187 0 1 0 2537 8 0 0 25 0 8 0 250262697 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073772864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8919 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 250262701 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.22
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 250262704 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915444
[startup+51.1105 s]
/proc/loadavg: 1.87 1.93 1.81 3/100 11059
/proc/meminfo: memFree=1153304/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=51.05
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9191 0 1 0 5097 8 0 0 25 0 8 0 250262697 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073667285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8922 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 250262701 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.22
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 250262704 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915444
[startup+102.411 s]
/proc/loadavg: 1.94 1.94 1.82 3/100 11059
/proc/meminfo: memFree=1153240/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=102.35
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9197 0 1 0 10226 9 0 0 25 0 8 0 250262697 937414656 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8928 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 250262701 937414656 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.22
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 250262704 937414656 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915444
[startup+162.472 s]
/proc/loadavg: 1.98 1.95 1.83 3/100 11059
/proc/meminfo: memFree=1153176/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=162.38
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9200 0 1 0 16229 9 0 0 25 0 8 0 250262697 937414656 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8931 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 250262701 937414656 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.22
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 250262704 937414656 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (KiB) 915444
[startup+222.54 s]
/proc/loadavg: 1.99 1.95 1.83 3/100 11059
/proc/meminfo: memFree=1153176/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=222.44
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9202 0 1 0 22234 10 0 0 25 0 8 0 250262697 937414656 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790210 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8933 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 250262701 937414656 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.22
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 250262704 937414656 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.44
Current children cumulated vsize (KiB) 915444
[startup+282.609 s]
/proc/loadavg: 1.99 1.96 1.84 3/100 11059
/proc/meminfo: memFree=1153176/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=282.49
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9205 0 1 0 28239 10 0 0 25 0 8 0 250262697 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751878 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8936 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 250262701 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.22
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 250262704 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.49
Current children cumulated vsize (KiB) 915444
[startup+342.671 s]
/proc/loadavg: 2.04 1.98 1.85 3/100 11059
/proc/meminfo: memFree=1153112/2055920 swapFree=4192812/4192956
[pid=11051] ppid=11049 vsize=915444 CPUtime=342.54
/proc/11051/stat : 11051 (java) R 11049 11051 10571 0 -1 0 9205 0 1 0 34243 11 0 0 25 0 8 0 250262697 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11051/statm: 228861 8936 2535 14 0 215331 0
[pid=11051/tid=11053] ppid=11049 vsize=915444 CPUtime=0.02
/proc/11051/task/11053/stat : 11053 (java) S 11049 11051 10571 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 250262701 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11054] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11054/stat : 11054 (java) S 11049 11051 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250262701 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11055] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11055/stat : 11055 (java) S 11049 11051 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250262701 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11056] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11056/stat : 11056 (java) S 11049 11051 10571 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250262704 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11057] ppid=11049 vsize=915444 CPUtime=0.22
/proc/11051/task/11057/stat : 11057 (java) S 11049 11051 10571 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 250262704 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11058] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11058/stat : 11058 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250262704 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11051/tid=11059] ppid=11049 vsize=915444 CPUtime=0
/proc/11051/task/11059/stat : 11059 (java) S 11049 11051 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250262704 937414656 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.54
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 394.118
CPU time (s): 393.926
CPU user time (s): 393.807
CPU system time (s): 0.118981
CPU usage (%): 99.9513
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.807
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9304
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= 9052
involuntary context switches= 24441
runsolver used 0.504923 s user time and 1.16082 s system time
The end
Begin job on node5 on Fri Jan 19 14:21:17 UTC 2007
IDJOB= 275089
IDBENCH= 3506
IDSOLVER= 68
FILE ID= node5/275089-1169216474
PBS_JOBID= 3588928
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/cril/cril-7.ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275089-1169216474/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-275089-1169216474 -o ROOT/results/node5/solver-275089-1169216474 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275089-1169216474/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7cc7e95e3ab2b5c1b2e8d820acd1fe1b
RANDOM SEED= 942722923
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.240
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.240
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: 1180008 kB
Buffers: 60080 kB
Cached: 652696 kB
SwapCached: 0 kB
Active: 236284 kB
Inactive: 562628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1180008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3812 kB
Writeback: 0 kB
Mapped: 115212 kB
Slab: 61816 kB
Committed_AS: 7507880 kB
PageTables: 2300 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 node5 on Fri Jan 19 14:27:57 UTC 2007