0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/275666-1169225008/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.38 => wckTime=0.094 cpuTime=0.07 mem=6M910
0.38
0.38 relations being loaded...
0.49
0.49 constraints being loaded...
0.61 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=922 maxDegree=25
0.61 maxArity=2
0.61 => wckTime=0.322 cpuTime=0.23 mem=14M744
0.65
0.65 solver LocalSearchSolver being built...
0.70 => wckTime=0.406 cpuTime=0.28 mem=6M288
0.70
0.70 s SATISFIABLE
0.70 o 254
0.70 c 71
0.70 o 262
0.70 c 63
0.70 o 267
0.70 c 58
0.70 o 273
0.70 c 52
0.71 o 277
0.71 c 48
0.71 o 282
0.71 c 43
0.71 o 285
0.71 c 40
0.71 o 288
0.71 c 37
0.71 o 291
0.71 c 34
0.71 o 293
0.71 c 32
0.71 o 294
0.71 c 31
0.71 o 295
0.71 c 30
0.71 o 297
0.71 c 28
0.71 o 298
0.72 c 27
0.72 o 299
0.72 c 26
0.72 o 300
0.72 c 25
0.72 o 304
0.72 c 21
0.72 o 305
0.72 c 20
0.72 o 309
0.72 c 16
0.72 o 310
0.72 c 15
0.72 o 313
0.72 c 12
0.72 o 314
0.72 c 11
0.72 o 315
0.72 c 10
0.72 o 316
0.72 c 9
0.74 o 317
0.74 c 8
0.74 o 318
0.74 c 7
0.74 o 319
0.74 c 6
0.75 o 320
0.75 c 5
0.87 o 321
0.87 c 4
0.87 o 322
0.87 c 3
0.87 o 323
0.87 c 2
0.87 o 324
0.87 c 1
0.87
0.87 search
0.87 run=0 nbConstraintChecks=1106802 nbAssignments=489
0.87 => wckTime=0.178 cpuTime=0.15 mem=6M288
0.87
0.87 global
0.87 nbConstraintChecks=1106802 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.87 solvingWckTime=0.176 solvingCpuTime=0.15 expiredTime=no totalExploration=no nbFoundSolutions=0
0.87 globalCpuTime=0.48
0.87 => wckTime=0.584 cpuTime=0.43 mem=6M288
0.87
0.87 solver IterativeSystematicSolver being built...
0.99 => wckTime=0.701 cpuTime=0.52 mem=17M228
1.00
1.00 preprocessing
1.00 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.00 detectedInconsistency=no
1.00 => wckTime=0.0070 cpuTime=0.01 mem=17M228
1.10
1.10 search
1.10 run=0 nbConstraintChecks=258534 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59
1.10 nbFailedAssignments=43 nbBacktracks=10 nbVisitedNodes=113 nbRestartNogoods=0
1.10 => wckTime=0.108 cpuTime=0.09 mem=17M228
1.17
1.17 search
1.17 run=1 nbConstraintChecks=484898 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111
1.18 nbFailedAssignments=75 nbBacktracks=25 nbVisitedNodes=212 nbRestartNogoods=10
1.18 => wckTime=0.184 cpuTime=0.14 mem=17M228
1.26
1.26 search
1.26 run=2 nbConstraintChecks=905219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=212
1.26 nbFailedAssignments=149 nbBacktracks=47 nbVisitedNodes=409 nbRestartNogoods=15
1.26 => wckTime=0.272 cpuTime=0.23 mem=17M228
1.41
1.41 search
1.41 run=3 nbConstraintChecks=1636026 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=373
1.41 nbFailedAssignments=271 nbBacktracks=80 nbVisitedNodes=725 nbRestartNogoods=18
1.41 => wckTime=0.415 cpuTime=0.37 mem=17M228
1.60
1.60 search
1.60 run=4 nbConstraintChecks=2633761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=591
1.60 nbFailedAssignments=433 nbBacktracks=130 nbVisitedNodes=1155 nbRestartNogoods=30
1.60 => wckTime=0.604 cpuTime=0.56 mem=17M228
1.88
1.88 search
1.88 run=5 nbConstraintChecks=4117078 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=886
1.88 nbFailedAssignments=647 nbBacktracks=205 nbVisitedNodes=1738 nbRestartNogoods=33
1.88 => wckTime=0.89 cpuTime=0.84 mem=17M228
2.18
2.18 search
2.18 run=6 nbConstraintChecks=5704890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1227
2.18 nbFailedAssignments=869 nbBacktracks=318 nbVisitedNodes=2406 nbRestartNogoods=41
2.18 => wckTime=1.192 cpuTime=1.14 mem=17M228
2.64
2.64 search
2.64 run=7 nbConstraintChecks=8070671 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1686
2.64 nbFailedAssignments=1152 nbBacktracks=488 nbVisitedNodes=3266 nbRestartNogoods=47
2.64 => wckTime=1.647 cpuTime=1.58 mem=17M228
3.25
3.25 search
3.25 run=8 nbConstraintChecks=11138482 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2324
3.25 nbFailedAssignments=1528 nbBacktracks=744 nbVisitedNodes=4452 nbRestartNogoods=56
3.25 => wckTime=2.257 cpuTime=2.18 mem=17M228
4.02
4.02 search
4.02 run=9 nbConstraintChecks=15446986 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3201
4.02 nbFailedAssignments=2013 nbBacktracks=1128 nbVisitedNodes=6034 nbRestartNogoods=69
4.02 => wckTime=3.033 cpuTime=2.95 mem=17M228
5.06
5.06 search
5.06 run=10 nbConstraintChecks=21253067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4394
5.06 nbFailedAssignments=2623 nbBacktracks=1704 nbVisitedNodes=8129 nbRestartNogoods=81
5.06 => wckTime=4.072 cpuTime=3.98 mem=17M228
6.56
6.56 search
6.56 run=11 nbConstraintChecks=29583547 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6121
6.56 nbFailedAssignments=3479 nbBacktracks=2568 nbVisitedNodes=11076 nbRestartNogoods=93
6.56 => wckTime=5.569 cpuTime=5.47 mem=17M228
8.75
8.75 search
8.75 run=12 nbConstraintChecks=41736166 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8685
8.75 nbFailedAssignments=4739 nbBacktracks=3865 nbVisitedNodes=15415 nbRestartNogoods=106
8.75 => wckTime=7.759 cpuTime=7.65 mem=17M228
11.93
11.93 search
11.93 run=13 nbConstraintChecks=59339333 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12505
11.93 nbFailedAssignments=6606 nbBacktracks=5813 nbVisitedNodes=21817 nbRestartNogoods=122
11.93 => wckTime=10.937 cpuTime=10.82 mem=17M228
16.83
16.83 search
16.83 run=14 nbConstraintChecks=86502035 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18119
16.83 nbFailedAssignments=9295 nbBacktracks=8734 nbVisitedNodes=31228 nbRestartNogoods=127
16.83 => wckTime=15.842 cpuTime=15.68 mem=17M228
24.15
24.15 search
24.15 run=15 nbConstraintChecks=127734246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26579
24.15 nbFailedAssignments=13371 nbBacktracks=13114 nbVisitedNodes=45485 nbRestartNogoods=136
24.15 => wckTime=23.155 cpuTime=22.97 mem=17M228
34.65
34.65 search
34.65 run=16 nbConstraintChecks=186004203 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39050
34.65 nbFailedAssignments=19268 nbBacktracks=19683 nbVisitedNodes=66314 nbRestartNogoods=148
34.65 => wckTime=33.657 cpuTime=33.42 mem=17M228
50.60
50.60 search
50.60 run=17 nbConstraintChecks=275069873 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57656
50.60 nbFailedAssignments=28018 nbBacktracks=29535 nbVisitedNodes=97377 nbRestartNogoods=161
50.60 => wckTime=49.607 cpuTime=49.29 mem=17M228
74.31
74.32 search
74.32 run=18 nbConstraintChecks=407315925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85500
74.32 nbFailedAssignments=41077 nbBacktracks=44313 nbVisitedNodes=143794 nbRestartNogoods=175
74.32 => wckTime=73.324 cpuTime=72.9 mem=17M228
110.09
110.09 search
110.09 run=19 nbConstraintChecks=606833161 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=127669
110.09 nbFailedAssignments=61072 nbBacktracks=66481 nbVisitedNodes=214576 nbRestartNogoods=197
110.09 => wckTime=109.099 cpuTime=108.5 mem=17M228
164.45
164.45 search
164.45 run=20 nbConstraintChecks=911832533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=190414
164.45 nbFailedAssignments=90561 nbBacktracks=99733 nbVisitedNodes=319409 nbRestartNogoods=217
164.45 => wckTime=163.458 cpuTime=162.62 mem=17M228
245.24
245.24 search
245.24 run=21 nbConstraintChecks=1364251249 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=284659
245.24 nbFailedAssignments=134923 nbBacktracks=149611 nbVisitedNodes=476573 nbRestartNogoods=235
245.24 => wckTime=244.248 cpuTime=243.03 mem=17M228
367.25
367.25 search
367.25 run=22 nbConstraintChecks=2048460756 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=426060
367.25 nbFailedAssignments=201500 nbBacktracks=224430 nbVisitedNodes=712368 nbRestartNogoods=254
367.25 => wckTime=366.261 cpuTime=364.49 mem=17M228
549.50
549.50 search
549.50 run=23 nbConstraintChecks=3069367180 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=638667
549.50 nbFailedAssignments=301873 nbBacktracks=336657 nbVisitedNodes=1067826 nbRestartNogoods=267
549.50 => wckTime=548.512 cpuTime=545.91 mem=17M228
814.92
814.92 search
814.92 run=24 nbConstraintChecks=4548373416 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=955670
814.92 nbFailedAssignments=450528 nbBacktracks=504999 nbVisitedNodes=1595818 nbRestartNogoods=282
814.92 => wckTime=813.924 cpuTime=810.1 mem=17M228
1213.32
1213.32 search
1213.32 run=25 nbConstraintChecks=6772320831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1427689
1213.32 nbFailedAssignments=670031 nbBacktracks=757510 nbVisitedNodes=2380882 nbRestartNogoods=306
1213.32 => wckTime=1212.329 cpuTime=1206.57 mem=17M228
1804.12
1804.12 search
1804.12 run=26 nbConstraintChecks=10078349623 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1804.12 nbAssignments=2134964 nbFailedAssignments=998533 nbBacktracks=1136278 nbVisitedNodes=3553987
1804.12 nbRestartNogoods=328
1804.12 => wckTime=1803.134 cpuTime=1794.66 mem=17M228
2412.06 v 23 2 19 3 14 9 15 22 15 3 6 9 0 22 15 10 16 23 6 1 22 24 3 1 3 18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-275666-1169225008 -o ROOT/results/node33/solver-275666-1169225008 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275666-1169225008/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 2.00 4/73 21644
/proc/meminfo: memFree=1603232/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=172 CPUtime=0
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 270894647 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10945316 0 0 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 43 24 18 14 0 3 0
[startup+0.107568 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 21644
/proc/meminfo: memFree=1603232/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=914988 CPUtime=0.09
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 3077 0 1 0 8 1 0 0 24 0 8 0 270894647 936947712 2823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515651 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 21644
/proc/meminfo: memFree=1603232/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915332 CPUtime=0.5
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 7284 0 1 0 46 4 0 0 25 0 8 0 270894647 937299968 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228833 7023 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33782 s]
/proc/loadavg: 2.00 2.00 2.00 2/76 21664
/proc/meminfo: memFree=1582664/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=1.3
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9195 0 1 0 123 7 0 0 17 0 8 0 270894647 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073882226 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 8932 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 15 0 8 0 270894650 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.2
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 380 0 0 0 20 0 0 0 16 0 8 0 270894654 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.99017 s]
/proc/loadavg: 1.92 1.98 1.99 2/75 21667
/proc/meminfo: memFree=1582608/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=2.95
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9221 0 1 0 288 7 0 0 19 0 8 0 270894647 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21643/statm: 228866 8957 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 17 0 8 0 270894650 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.24
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 270894654 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.27386 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 21732
/proc/meminfo: memFree=1576592/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=6.22
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9233 0 1 0 615 7 0 0 25 0 8 0 270894647 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 8967 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.24
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 398 0 0 0 23 1 0 0 15 0 8 0 270894654 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
[startup+12.7602 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 21732
/proc/meminfo: memFree=1576592/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=12.68
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9242 0 1 0 1261 7 0 0 25 0 8 0 270894647 937435136 8975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 8975 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 8975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 8975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 8975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 8975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 8975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 8975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 8975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915464
[startup+25.6119 s]
/proc/loadavg: 1.94 1.98 1.99 3/82 21732
/proc/meminfo: memFree=1576720/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=25.46
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9247 0 1 0 2539 7 0 0 25 0 8 0 270894647 937435136 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823101 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 8980 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 8980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915464
[startup+51.2293 s]
/proc/loadavg: 1.96 1.98 1.99 3/81 21733
/proc/meminfo: memFree=1575768/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=50.96
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9252 0 1 0 5089 7 0 0 25 0 8 0 270894647 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 8984 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915464
[startup+102.457 s]
/proc/loadavg: 1.98 1.98 1.99 3/81 21733
/proc/meminfo: memFree=1575832/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=101.96
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9255 0 1 0 10188 8 0 0 25 0 8 0 270894647 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073881527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 8987 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 8987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915464
[startup+162.539 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 21733
/proc/meminfo: memFree=1575768/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=161.75
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9257 0 1 0 16167 8 0 0 25 0 8 0 270894647 937435136 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2015.44
Current children cumulated vsize (KiB) 915464
[startup+2084.95 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 21931
/proc/meminfo: memFree=1575512/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=2075.24
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9277 0 1 0 207503 21 0 0 25 0 8 0 270894647 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848531 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 9008 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2075.24
Current children cumulated vsize (KiB) 915464
[startup+2145.02 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 21931
/proc/meminfo: memFree=1575448/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=2135.02
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9277 0 1 0 213481 21 0 0 25 0 8 0 270894647 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 9008 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2135.02
Current children cumulated vsize (KiB) 915464
[startup+2205.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 21931
/proc/meminfo: memFree=1575448/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=2194.82
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9277 0 1 0 219461 21 0 0 25 0 8 0 270894647 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848581 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 9008 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.82
Current children cumulated vsize (KiB) 915464
[startup+2265.19 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 21931
/proc/meminfo: memFree=1575512/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=2254.43
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9277 0 1 0 225422 21 0 0 25 0 8 0 270894647 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822089 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 9008 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.43
Current children cumulated vsize (KiB) 915464
[startup+2325.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 21931
/proc/meminfo: memFree=1575512/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=2313.95
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9277 0 1 0 231374 21 0 0 25 0 8 0 270894647 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 9008 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2313.95
Current children cumulated vsize (KiB) 915464
[startup+2385.22 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 21933
/proc/meminfo: memFree=1575384/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=2373.48
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9277 0 1 0 237327 21 0 0 25 0 8 0 270894647 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848927 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 9008 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.48
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412.05 s]
/proc/loadavg: 2.06 2.02 2.00 3/81 21933
/proc/meminfo: memFree=1575384/2055920 swapFree=4192224/4192956
[pid=21643] ppid=21641 vsize=915464 CPUtime=2400.08
/proc/21643/stat : 21643 (java) R 21641 21643 20647 0 -1 0 9277 0 1 0 239987 21 0 0 25 0 8 0 270894647 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228866 9008 2525 14 0 215336 0
[pid=21643/tid=21645] ppid=21641 vsize=915464 CPUtime=0.03
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 20647 0 -1 64 349 0 0 0 3 0 0 0 16 0 8 0 270894650 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 20647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270894651 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915464 CPUtime=0.25
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 20647 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915464 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270894654 937435136 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2412.1
CPU time (s): 2400.14
CPU user time (s): 2399.92
CPU system time (s): 0.224965
CPU usage (%): 99.504
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.92
system time used= 0.224965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9300
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= 49913
involuntary context switches= 80930
runsolver used 2.90656 s user time and 7.59384 s system time
The end
Begin job on node33 on Fri Jan 19 16:43:28 UTC 2007
IDJOB= 275666
IDBENCH= 4349
IDSOLVER= 69
FILE ID= node33/275666-1169225008
PBS_JOBID= 3589128
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-58021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275666-1169225008/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-275666-1169225008 -o ROOT/results/node33/solver-275666-1169225008 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275666-1169225008/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2593b659bd409c262ddff5fffdeb8046
RANDOM SEED= 321730538
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.281
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.281
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: 1603648 kB
Buffers: 41952 kB
Cached: 316548 kB
SwapCached: 268 kB
Active: 149500 kB
Inactive: 234404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1603648 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 1948 kB
Writeback: 0 kB
Mapped: 36348 kB
Slab: 53936 kB
Committed_AS: 4356068 kB
PageTables: 1736 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 node33 on Fri Jan 19 17:23:40 UTC 2007