0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=pfc.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/276056-1169230977/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.47 => wckTime=0.095 cpuTime=0.08 mem=6M910
0.47
0.47 relations being loaded...
0.73
0.73 constraints being loaded...
0.88 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.88 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
0.88 => wckTime=0.501 cpuTime=0.44 mem=42M371
0.95
0.95 solver LocalSearchSolver being built...
0.99 => wckTime=0.617 cpuTime=0.48 mem=12M207
1.00
1.00 s SATISFIABLE
1.00 o 25
1.00 c 33
1.00 o 30
1.00 c 28
1.00 o 33
1.00 c 25
1.01 o 34
1.01 c 24
1.01 o 37
1.01 c 21
1.01 o 42
1.01 c 16
1.01 o 44
1.01 c 14
1.03 o 46
1.03 c 12
1.03 o 48
1.03 c 10
1.03 o 49
1.03 c 9
1.03 o 50
1.03 c 8
1.03 o 51
1.03 c 7
1.04 o 54
1.04 c 4
1.04 o 55
1.04 c 3
1.04 o 56
1.04 c 2
9.40
9.40 search
9.40 run=0 nbConstraintChecks=10418492 nbAssignments=10000
9.40 => wckTime=8.409 cpuTime=8.33 mem=12M207
17.69
17.69 search
17.69 run=1 nbConstraintChecks=20675054 nbAssignments=20000
17.69 => wckTime=16.696 cpuTime=16.53 mem=12M207
25.92
25.92 search
25.92 run=2 nbConstraintChecks=30935175 nbAssignments=30000
25.92 => wckTime=24.934 cpuTime=24.7 mem=12M207
31.30
31.30 search
31.30 run=3 nbConstraintChecks=37592078 nbAssignments=36379
31.30 => wckTime=30.314 cpuTime=30.05 mem=12M207
31.30
31.30 global
31.30 nbConstraintChecks=37592078 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.30 solvingWckTime=30.311 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
31.30 globalCpuTime=30.57
31.30 => wckTime=30.93 cpuTime=30.53 mem=12M207
31.31
31.31 solver IterativeSystematicSolver being built...
31.43 => wckTime=31.061 cpuTime=30.62 mem=23M110
31.44
31.44 preprocessing
31.44 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.44 detectedInconsistency=no
31.44 => wckTime=0.0050 cpuTime=0.01 mem=23M110
31.58
31.58 search
31.58 run=0 nbConstraintChecks=46746 nbValidityChecks=242403 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.58 nbAssignments=98 nbFailedAssignments=80 nbBacktracks=10 nbVisitedNodes=189 nbRestartNogoods=0
31.58 => wckTime=0.144 cpuTime=0.12 mem=24M162
31.83
31.83 search
31.83 run=1 nbConstraintChecks=176145 nbValidityChecks=1044732 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.83 nbAssignments=307 nbFailedAssignments=268 nbBacktracks=25 nbVisitedNodes=599 nbRestartNogoods=17
31.83 => wckTime=0.399 cpuTime=0.35 mem=24M162
31.92
31.92 search
31.92 run=2 nbConstraintChecks=228623 nbValidityChecks=1292604 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.92 nbAssignments=437 nbFailedAssignments=367 nbBacktracks=47 nbVisitedNodes=850 nbRestartNogoods=35
31.92 => wckTime=0.487 cpuTime=0.43 mem=24M162
32.13
32.13 search
32.13 run=3 nbConstraintChecks=356275 nbValidityChecks=1900069 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.13 nbAssignments=702 nbFailedAssignments=593 nbBacktracks=80 nbVisitedNodes=1374 nbRestartNogoods=49
32.13 => wckTime=0.698 cpuTime=0.64 mem=24M162
32.60
32.60 search
32.60 run=4 nbConstraintChecks=630863 nbValidityChecks=3540573 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.60 nbAssignments=1242 nbFailedAssignments=1078 nbBacktracks=130 nbVisitedNodes=2448 nbRestartNogoods=72
32.60 => wckTime=1.164 cpuTime=1.1 mem=24M162
32.92
32.92 search
32.92 run=5 nbConstraintChecks=810687 nbValidityChecks=4434993 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.92 nbAssignments=1659 nbFailedAssignments=1412 nbBacktracks=205 nbVisitedNodes=3273 nbRestartNogoods=74
32.92 => wckTime=1.481 cpuTime=1.4 mem=24M162
33.81
33.81 search
33.81 run=6 nbConstraintChecks=1360326 nbValidityChecks=7658457 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.82 nbAssignments=2713 nbFailedAssignments=2346 nbBacktracks=318 nbVisitedNodes=5371 nbRestartNogoods=109
33.82 => wckTime=2.38 cpuTime=2.28 mem=24M162
34.39
34.39 search
34.39 run=7 nbConstraintChecks=1731163 nbValidityChecks=9392205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.39 nbAssignments=3516 nbFailedAssignments=2971 nbBacktracks=489 nbVisitedNodes=6967 nbRestartNogoods=135
34.39 => wckTime=2.958 cpuTime=2.86 mem=24M162
35.35
35.35 search
35.35 run=8 nbConstraintChecks=2289494 nbValidityChecks=12598496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.35 nbAssignments=4857 nbFailedAssignments=4047 nbBacktracks=745 nbVisitedNodes=9639 nbRestartNogoods=164
35.35 => wckTime=3.919 cpuTime=3.81 mem=24M162
38.41
38.41 search
38.41 run=9 nbConstraintChecks=4090601 nbValidityChecks=22729985 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.41 nbAssignments=8179 nbFailedAssignments=6977 nbBacktracks=1129 nbVisitedNodes=16259 nbRestartNogoods=192
38.41 => wckTime=6.969 cpuTime=6.81 mem=24M162
41.74
41.74 search
41.74 run=10 nbConstraintChecks=6332787 nbValidityChecks=33474657 nbPropagations=0 nbRevisions=0
41.74 nbUselessRevisions=0 nbAssignments=12748 nbFailedAssignments=10962 nbBacktracks=1705 nbVisitedNodes=25379
41.74 nbRestartNogoods=216
41.74 => wckTime=10.308 cpuTime=10.11 mem=24M162
47.78
47.78 search
47.78 run=11 nbConstraintChecks=10499004 nbValidityChecks=52894902 nbPropagations=0 nbRevisions=0
47.78 nbUselessRevisions=0 nbAssignments=20199 nbFailedAssignments=17545 nbBacktracks=2569 nbVisitedNodes=40244
47.78 nbRestartNogoods=254
47.78 => wckTime=16.344 cpuTime=16.1 mem=24M162
54.84
54.84 search
54.84 run=12 nbConstraintChecks=14892508 nbValidityChecks=76380087 nbPropagations=0 nbRevisions=0
54.84 nbUselessRevisions=0 nbAssignments=28194 nbFailedAssignments=24235 nbBacktracks=3866 nbVisitedNodes=56173
54.84 nbRestartNogoods=272
54.84 => wckTime=23.407 cpuTime=23.1 mem=24M162
65.37
65.37 search
65.37 run=13 nbConstraintChecks=22159282 nbValidityChecks=110081419 nbPropagations=0 nbRevisions=0
65.37 nbUselessRevisions=0 nbAssignments=39980 nbFailedAssignments=34068 nbBacktracks=5812 nbVisitedNodes=79605
65.37 nbRestartNogoods=304
65.37 => wckTime=33.935 cpuTime=33.53 mem=24M162
75.21
75.21 search
75.21 run=14 nbConstraintChecks=28525493 nbValidityChecks=140250686 nbPropagations=0 nbRevisions=0
75.21 nbUselessRevisions=0 nbAssignments=50092 nbFailedAssignments=41253 nbBacktracks=8731 nbVisitedNodes=99505
75.21 nbRestartNogoods=339
75.21 => wckTime=43.776 cpuTime=43.29 mem=24M162
93.22
93.22 search
93.22 run=15 nbConstraintChecks=39679018 nbValidityChecks=199417736 nbPropagations=0 nbRevisions=0
93.22 nbUselessRevisions=0 nbAssignments=69630 nbFailedAssignments=56406 nbBacktracks=13110 nbVisitedNodes=138238
93.22 nbRestartNogoods=367
93.22 => wckTime=61.784 cpuTime=61.12 mem=24M162
117.61
117.61 search
117.61 run=16 nbConstraintChecks=55067685 nbValidityChecks=274626389 nbPropagations=0 nbRevisions=0
117.61 nbUselessRevisions=0 nbAssignments=92719 nbFailedAssignments=72921 nbBacktracks=19678 nbVisitedNodes=182942
117.61 nbRestartNogoods=383
117.61 => wckTime=86.177 cpuTime=85.3 mem=24M162
150.94
150.94 search
150.94 run=17 nbConstraintChecks=76431709 nbValidityChecks=375379728 nbPropagations=0 nbRevisions=0
150.94 nbUselessRevisions=0 nbAssignments=125562 nbFailedAssignments=95906 nbBacktracks=29531 nbVisitedNodes=246015
150.94 nbRestartNogoods=407
150.94 => wckTime=119.501 cpuTime=118.31 mem=24M162
191.91
191.91 search
191.91 run=18 nbConstraintChecks=103482274 nbValidityChecks=491264924 nbPropagations=0 nbRevisions=0
191.91 nbUselessRevisions=0 nbAssignments=163138 nbFailedAssignments=118697 nbBacktracks=44310 nbVisitedNodes=314226
191.91 nbRestartNogoods=447
191.91 => wckTime=160.473 cpuTime=158.91 mem=24M162
252.63
252.63 search
252.63 run=19 nbConstraintChecks=144149548 nbValidityChecks=654165476 nbPropagations=0 nbRevisions=0
252.63 nbUselessRevisions=0 nbAssignments=215474 nbFailedAssignments=148859 nbBacktracks=66478 nbVisitedNodes=409562
252.63 nbRestartNogoods=471
252.63 => wckTime=221.191 cpuTime=219.08 mem=24M162
325.03
325.03 search
325.03 run=20 nbConstraintChecks=192048845 nbValidityChecks=846116698 nbPropagations=0 nbRevisions=0
325.03 nbUselessRevisions=0 nbAssignments=284434 nbFailedAssignments=184558 nbBacktracks=99730 nbVisitedNodes=530692
325.03 nbRestartNogoods=494
325.03 => wckTime=293.593 cpuTime=290.78 mem=24M162
431.41 o 57
431.41 c 1
435.66
435.66 search
435.66 run=21 nbConstraintChecks=262796987 nbValidityChecks=1149465613 nbPropagations=0 nbRevisions=0
435.66 nbUselessRevisions=0 nbAssignments=390209 nbFailedAssignments=240450 nbBacktracks=149608 nbVisitedNodes=716592
435.66 nbRestartNogoods=518
435.66 => wckTime=404.226 cpuTime=400.41 mem=24M162
587.44
587.44 search
587.44 run=22 nbConstraintChecks=366164779 nbValidityChecks=1516497065 nbPropagations=0 nbRevisions=0
587.44 nbUselessRevisions=0 nbAssignments=525717 nbFailedAssignments=301137 nbBacktracks=224426 nbVisitedNodes=933678
587.44 nbRestartNogoods=548
587.44 => wckTime=556.0 cpuTime=550.76 mem=24M162
672.65
672.65 search
672.65 run=23 nbConstraintChecks=424338394 nbValidityChecks=1722167955 nbPropagations=0 nbRevisions=0
672.65 nbUselessRevisions=0 nbAssignments=602478 nbFailedAssignments=334928 nbBacktracks=267397 nbVisitedNodes=1056398
672.65 nbRestartNogoods=575
672.65 => wckTime=641.213 cpuTime=635.18 mem=24M162
672.65
672.65 global
672.65 nbConstraintChecks=424338394 nbValidityChecks=1722167955 nbRestartNogoods=575 solvingWckTime=641.214
672.65 solvingCpuTime=635.18 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=665.84
672.65 => wckTime=672.275 cpuTime=665.8 mem=24M162
672.65
672.65 s OPTIMUM FOUND
672.65 v 14 5 4 16 2 10 9 11 11 0 10 3 0 13 1 0 6 2 5 8
672.65
672.65 totalWckTime=672.35 totalCpuTime=665.84
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-276056-1169230977 -o ROOT/results/node59/solver-276056-1169230977 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276056-1169230977/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.01 2.02 1.94 5/81 31039
/proc/meminfo: memFree=1384448/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=18540 CPUtime=0
/proc/31038/stat : 31038 (runsolver) R 31036 31038 30501 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 271495605 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31038/statm: 4635 279 244 17 0 2626 0
[startup+0.10314 s]
/proc/loadavg: 2.01 2.02 1.94 5/81 31039
/proc/meminfo: memFree=1384448/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=907808 CPUtime=0.05
/proc/31038/stat : 31038 (java) D 31036 31038 30501 0 -1 0 2457 0 1 0 4 1 0 0 23 0 4 0 271495605 929595392 2204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 226952 2204 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.511187 s]
/proc/loadavg: 2.01 2.02 1.94 5/81 31039
/proc/meminfo: memFree=1384448/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915332 CPUtime=0.41
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 6422 0 1 0 38 3 0 0 22 0 8 0 271495605 937299968 6161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228833 6161 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332
[startup+1.33228 s]
/proc/loadavg: 2.01 2.02 1.94 3/88 31046
/proc/meminfo: memFree=1327112/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=1.22
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 16969 0 1 0 114 8 0 0 25 0 8 0 271495605 937410560 16707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615620 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16707 2475 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.05
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1796 0 0 0 5 0 0 0 17 0 8 0 271495609 937410560 16707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.1
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 320 0 0 0 10 0 0 0 15 0 8 0 271495619 937410560 16707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271495619 937410560 16707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915440
[startup+2.97146 s]
/proc/loadavg: 2.01 2.02 1.94 4/88 31046
/proc/meminfo: memFree=1327112/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=2.84
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 16977 0 1 0 268 16 0 0 25 0 8 0 271495605 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16714 2477 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.05
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1796 0 0 0 5 0 0 0 16 0 8 0 271495609 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.11
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 327 0 0 0 11 0 0 0 15 0 8 0 271495619 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271495619 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915440
[startup+6.17681 s]
/proc/loadavg: 2.01 2.02 1.94 3/88 31046
/proc/meminfo: memFree=1327112/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=6.03
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 16977 0 1 0 572 31 0 0 25 0 8 0 271495605 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16714 2477 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.05
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1796 0 0 0 5 0 0 0 16 0 8 0 271495609 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.11
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 327 0 0 0 11 0 0 0 15 0 8 0 271495619 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271495619 937410560 16714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 915440
[startup+12.6455 s]
/proc/loadavg: 2.01 2.02 1.94 3/88 31046
/proc/meminfo: memFree=1327112/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=12.44
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 16979 0 1 0 1183 61 0 0 25 0 8 0 271495605 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073650044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16716 2477 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.05
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1796 0 0 0 5 0 0 0 16 0 8 0 271495609 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.12
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 271495619 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271495619 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 915440
[startup+25.5019 s]
/proc/loadavg: 2.01 2.02 1.94 4/88 31046
/proc/meminfo: memFree=1327240/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=25.2
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 16979 0 1 0 2399 121 0 0 25 0 8 0 271495605 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073649972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16716 2477 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.05
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1796 0 0 0 5 0 0 0 16 0 8 0 271495609 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.12
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 271495619 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271495619 937410560 16716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 915440
[startup+51.1178 s]
/proc/loadavg: 2.00 2.01 1.94 3/88 31046
/proc/meminfo: memFree=1327048/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=50.57
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 17145 0 1 0 4910 147 0 0 25 0 8 0 271495605 937410560 16877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16877 2530 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.05
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1797 0 0 0 5 0 0 0 16 0 8 0 271495609 937410560 16877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.23
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 271495619 937410560 16877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271495619 937410560 16877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 915440
[startup+102.338 s]
/proc/loadavg: 2.00 2.01 1.94 3/88 31046
/proc/meminfo: memFree=1326984/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=101.33
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 17149 0 1 0 9986 147 0 0 25 0 8 0 271495605 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16878 2530 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.05
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1797 0 0 0 5 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.24
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 915440
[startup+162.409 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 31046
/proc/meminfo: memFree=1326920/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=160.83
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 17149 0 1 0 15936 147 0 0 25 0 8 0 271495605 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.24
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 915440
[startup+282.56 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 31046
/proc/meminfo: memFree=1326984/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=279.89
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 17149 0 1 0 27841 148 0 0 25 0 8 0 271495605 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16878 2530 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.06
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1797 0 0 0 6 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.24
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.89
Current children cumulated vsize (KiB) 915440
[startup+342.631 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 31046
/proc/meminfo: memFree=1326920/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=339.39
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 17149 0 1 0 33791 148 0 0 25 0 8 0 271495605 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778565 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16878 2530 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.06
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1797 0 0 0 6 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.24
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0.01
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (KiB) 915440
[startup+402.642 s]
/proc/loadavg: 2.03 2.01 1.94 3/88 31046
/proc/meminfo: memFree=1326920/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=398.84
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 17149 0 1 0 39736 148 0 0 25 0 8 0 271495605 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789746 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16878 2530 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.06
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1797 0 0 0 6 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.24
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0.01
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.84
Current children cumulated vsize (KiB) 915440
[startup+462.715 s]
/proc/loadavg: 2.01 2.01 1.94 3/88 31046
/proc/meminfo: memFree=1326920/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=458.38
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 17149 0 1 0 45689 149 0 0 25 0 8 0 271495605 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775506 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16878 2530 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.06
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1797 0 0 0 6 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.24
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0.01
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.38
Current children cumulated vsize (KiB) 915440
[startup+522.79 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 31046
/proc/meminfo: memFree=1326920/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=517.91
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 17149 0 1 0 51642 149 0 0 25 0 8 0 271495605 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16878 2530 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.06
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1797 0 0 0 6 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.24
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0.01
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 517.91
Current children cumulated vsize (KiB) 915440
[startup+582.867 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 31046
/proc/meminfo: memFree=1326856/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=577.41
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 17149 0 1 0 57592 149 0 0 25 0 8 0 271495605 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16878 2530 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.06
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1797 0 0 0 6 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.24
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0.01
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.41
Current children cumulated vsize (KiB) 915440
[startup+642.942 s]
/proc/loadavg: 2.08 2.02 1.95 3/88 31046
/proc/meminfo: memFree=1326856/2055920 swapFree=4192680/4192956
[pid=31038] ppid=31036 vsize=915440 CPUtime=636.94
/proc/31038/stat : 31038 (java) R 31036 31038 30501 0 -1 0 17149 0 1 0 63545 149 0 0 25 0 8 0 271495605 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31038/statm: 228860 16878 2530 14 0 215330 0
[pid=31038/tid=31040] ppid=31036 vsize=915440 CPUtime=0.06
/proc/31038/task/31040/stat : 31040 (java) S 31036 31038 30501 0 -1 64 1797 0 0 0 6 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 30501 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 30501 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271495609 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=915440 CPUtime=0.24
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 30501 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=915440 CPUtime=0
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 30501 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=915440 CPUtime=0.01
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 30501 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 271495619 937410560 16878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 636.94
Current children cumulated vsize (KiB) 915440
Child status: 0
Real time (s): 672.707
CPU time (s): 666.384
CPU user time (s): 664.874
CPU system time (s): 1.50977
CPU usage (%): 99.0601
Max. virtual memory (cumulated for all children) (KiB): 915956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 664.874
system time used= 1.50977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17162
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= 14760
involuntary context switches= 32376
runsolver used 0.889864 s user time and 1.79573 s system time
The end
Begin job on node59 on Fri Jan 19 18:22:57 UTC 2007
IDJOB= 276056
IDBENCH= 5224
IDSOLVER= 69
FILE ID= node59/276056-1169230977
PBS_JOBID= 3589264
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276056-1169230977/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-276056-1169230977 -o ROOT/results/node59/solver-276056-1169230977 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276056-1169230977/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 506550cbda854d967347adcd3ccbb79b
RANDOM SEED= 224351256
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: 1384864 kB
Buffers: 48120 kB
Cached: 505264 kB
SwapCached: 0 kB
Active: 140344 kB
Inactive: 455600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1384864 kB
SwapTotal: 4192956 kB
SwapFree: 4192680 kB
Dirty: 2876 kB
Writeback: 0 kB
Mapped: 60248 kB
Slab: 60252 kB
Committed_AS: 5038696 kB
PageTables: 1996 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= 66560 MiB
End job on node59 on Fri Jan 19 18:34:10 UTC 2007