0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/275164-1169218267/unknown.xml
0.40
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.44 => wckTime=0.106 cpuTime=0.08 mem=6M887
0.44
0.44 relations being loaded...
0.53
0.53 constraints being loaded...
0.64 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=829 maxDegree=22
0.64 maxArity=2
0.64 => wckTime=0.303 cpuTime=0.21 mem=12M738
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.389 cpuTime=0.26 mem=5M987
0.73
0.73 s SATISFIABLE
0.73 o 203
0.73 c 50
0.73 o 209
0.73 c 44
0.73 o 214
0.73 c 39
0.73 o 219
0.73 c 34
0.73 o 221
0.73 c 32
0.73 o 224
0.73 c 29
0.73 o 227
0.73 c 26
0.73 o 229
0.73 c 24
0.74 o 231
0.74 c 22
0.74 o 233
0.74 c 20
0.74 o 235
0.74 c 18
0.74 o 237
0.74 c 16
0.74 o 239
0.74 c 14
0.74 o 240
0.74 c 13
0.74 o 241
0.74 c 12
0.74 o 242
0.74 c 11
0.75 o 244
0.75 c 9
0.75 o 246
0.75 c 7
0.79 o 247
0.79 c 6
0.82 o 248
0.82 c 5
0.82 o 249
0.82 c 4
0.86 o 250
0.86 c 3
0.87 o 251
0.87 c 2
3.17 o 252
3.17 c 1
3.17
3.17 search
3.17 run=0 nbConstraintChecks=17148777 nbAssignments=8170
3.17 => wckTime=2.446 cpuTime=2.42 mem=5M987
3.17
3.17 global
3.17 nbConstraintChecks=17148777 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.17 solvingWckTime=2.445 solvingCpuTime=2.42 expiredTime=no totalExploration=no nbFoundSolutions=0
3.17 globalCpuTime=2.73
3.17 => wckTime=2.836 cpuTime=2.68 mem=5M987
3.17
3.17 solver IterativeSystematicSolver being built...
3.30 => wckTime=2.965 cpuTime=2.79 mem=16M911
3.36
3.36 preprocessing
3.36 nbConstraintChecks=59513 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.36 detectedInconsistency=no
3.36 => wckTime=0.06 cpuTime=0.03 mem=16M911
3.42
3.42 search
3.42 run=0 nbConstraintChecks=199233 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55
3.42 nbFailedAssignments=40 nbBacktracks=10 nbVisitedNodes=104 nbRestartNogoods=0
3.42 => wckTime=0.116 cpuTime=0.09 mem=16M911
3.48
3.48 search
3.48 run=1 nbConstraintChecks=439538 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=118
3.48 nbFailedAssignments=84 nbBacktracks=25 nbVisitedNodes=225 nbRestartNogoods=15
3.48 => wckTime=0.184 cpuTime=0.15 mem=16M911
3.56
3.56 search
3.56 run=2 nbConstraintChecks=765844 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=207
3.56 nbFailedAssignments=147 nbBacktracks=47 nbVisitedNodes=398 nbRestartNogoods=32
3.56 => wckTime=0.258 cpuTime=0.22 mem=16M911
3.64
3.64 search
3.64 run=3 nbConstraintChecks=1112230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=305
3.64 nbFailedAssignments=207 nbBacktracks=80 nbVisitedNodes=588 nbRestartNogoods=37
3.64 => wckTime=0.338 cpuTime=0.3 mem=16M911
3.76
3.76 search
3.76 run=4 nbConstraintChecks=1687777 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=465
3.76 nbFailedAssignments=311 nbBacktracks=130 nbVisitedNodes=902 nbRestartNogoods=40
3.76 => wckTime=0.46 cpuTime=0.42 mem=16M911
3.96
3.96 search
3.96 run=5 nbConstraintChecks=2615420 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=724
3.96 nbFailedAssignments=491 nbBacktracks=205 nbVisitedNodes=1415 nbRestartNogoods=54
3.96 => wckTime=0.658 cpuTime=0.62 mem=16M911
4.26
4.26 search
4.26 run=6 nbConstraintChecks=4010635 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1121
4.26 nbFailedAssignments=770 nbBacktracks=318 nbVisitedNodes=2202 nbRestartNogoods=58
4.26 => wckTime=0.964 cpuTime=0.92 mem=16M911
4.74
4.74 search
4.74 run=7 nbConstraintChecks=6255893 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1704
4.74 nbFailedAssignments=1179 nbBacktracks=488 nbVisitedNodes=3359 nbRestartNogoods=69
4.74 => wckTime=1.44 cpuTime=1.38 mem=16M911
5.44
5.44 search
5.44 run=8 nbConstraintChecks=9723145 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2634
5.44 nbFailedAssignments=1849 nbBacktracks=744 nbVisitedNodes=5211 nbRestartNogoods=75
5.44 => wckTime=2.143 cpuTime=2.08 mem=16M911
6.41
6.41 search
6.41 run=9 nbConstraintChecks=14569892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3905
6.41 nbFailedAssignments=2732 nbBacktracks=1128 nbVisitedNodes=7733 nbRestartNogoods=88
6.41 => wckTime=3.113 cpuTime=3.05 mem=16M911
7.79
7.79 search
7.79 run=10 nbConstraintChecks=21428326 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5752
7.79 nbFailedAssignments=3999 nbBacktracks=1704 nbVisitedNodes=11405 nbRestartNogoods=106
7.79 => wckTime=4.487 cpuTime=4.42 mem=16M911
9.79
9.79 search
9.79 run=11 nbConstraintChecks=31467877 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8513
9.79 nbFailedAssignments=5892 nbBacktracks=2568 nbVisitedNodes=16885 nbRestartNogoods=134
9.79 => wckTime=6.489 cpuTime=6.42 mem=16M911
12.66
12.66 search
12.66 run=12 nbConstraintChecks=45720439 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12442
12.66 nbFailedAssignments=8520 nbBacktracks=3865 nbVisitedNodes=24644 nbRestartNogoods=160
12.66 => wckTime=9.36 cpuTime=9.29 mem=16M911
16.57
16.57 search
16.57 run=13 nbConstraintChecks=65444834 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17252
16.57 nbFailedAssignments=11380 nbBacktracks=5812 nbVisitedNodes=33667 nbRestartNogoods=189
16.57 => wckTime=13.271 cpuTime=13.18 mem=16M911
21.58
21.58 search
21.58 run=14 nbConstraintChecks=90383398 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23705
21.58 nbFailedAssignments=14908 nbBacktracks=8732 nbVisitedNodes=45073 nbRestartNogoods=212
21.58 => wckTime=18.283 cpuTime=18.19 mem=16M911
29.41
29.41 search
29.41 run=15 nbConstraintChecks=130169351 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33301
29.41 nbFailedAssignments=20121 nbBacktracks=13110 nbVisitedNodes=61861 nbRestartNogoods=246
29.41 => wckTime=26.116 cpuTime=26.02 mem=16M911
40.74
40.74 search
40.74 run=16 nbConstraintChecks=187494874 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47352
40.74 nbFailedAssignments=27599 nbBacktracks=19678 nbVisitedNodes=86134 nbRestartNogoods=257
40.74 => wckTime=37.445 cpuTime=37.34 mem=16M911
57.16
57.16 search
57.16 run=17 nbConstraintChecks=271254741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68071
57.16 nbFailedAssignments=38462 nbBacktracks=29530 nbVisitedNodes=121804 nbRestartNogoods=280
57.16 => wckTime=53.857 cpuTime=53.75 mem=16M911
82.52
82.52 search
82.52 run=18 nbConstraintChecks=400003087 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=99245
82.52 nbFailedAssignments=54854 nbBacktracks=44308 nbVisitedNodes=175481 nbRestartNogoods=295
82.52 => wckTime=79.219 cpuTime=79.1 mem=16M911
118.03
118.03 search
118.03 run=19 nbConstraintChecks=580107049 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=144613
118.03 nbFailedAssignments=78050 nbBacktracks=66476 nbVisitedNodes=252587 nbRestartNogoods=339
118.03 => wckTime=114.734 cpuTime=114.61 mem=16M911
173.07
173.07 search
173.07 run=20 nbConstraintChecks=860042746 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=213856
173.07 nbFailedAssignments=114037 nbBacktracks=99729 nbVisitedNodes=371548 nbRestartNogoods=372
173.07 => wckTime=169.767 cpuTime=169.63 mem=16M911
257.73
257.73 search
257.73 run=21 nbConstraintChecks=1289568975 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=317086
257.73 nbFailedAssignments=167385 nbBacktracks=149608 nbVisitedNodes=547903 nbRestartNogoods=403
257.73 => wckTime=254.429 cpuTime=254.28 mem=16M911
378.06
378.06 search
378.06 run=22 nbConstraintChecks=1901335158 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=468379
378.06 nbFailedAssignments=243856 nbBacktracks=224426 nbVisitedNodes=803696 nbRestartNogoods=456
378.06 => wckTime=374.757 cpuTime=374.58 mem=16M911
565.50
565.50 search
565.50 run=23 nbConstraintChecks=2855216334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=701023
565.50 nbFailedAssignments=364269 nbBacktracks=336654 nbVisitedNodes=1201760 nbRestartNogoods=525
565.50 => wckTime=562.199 cpuTime=561.98 mem=16M911
837.34
837.34 search
837.34 run=24 nbConstraintChecks=4236763346 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1041851
837.34 nbFailedAssignments=536751 nbBacktracks=504995 nbVisitedNodes=1778127 nbRestartNogoods=571
837.34 => wckTime=834.043 cpuTime=832.39 mem=16M911
1225.02
1225.02 search
1225.02 run=25 nbConstraintChecks=6318363480 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1554556
1225.02 nbFailedAssignments=796940 nbBacktracks=757506 nbVisitedNodes=2647721 nbRestartNogoods=591
1225.02 => wckTime=1221.725 cpuTime=1218.26 mem=16M911
1806.31
1806.31 search
1806.31 run=26 nbConstraintChecks=9440101236 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2321672
1806.31 nbFailedAssignments=1185285 nbBacktracks=1136275 nbVisitedNodes=3949103 nbRestartNogoods=598
1806.31 => wckTime=1803.008 cpuTime=1796.76 mem=16M911
2409.18 v 5 18 8 4 4 4 14 3 15 5 22 16 18 14 10 8 13 16 8 16 21 22 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-275164-1169218267 -o ROOT/results/node29/solver-275164-1169218267 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275164-1169218267/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 1.98 1.91 6/84 9893
/proc/meminfo: memFree=1423672/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=1460 CPUtime=0
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 125 0 0 0 0 0 0 0 18 0 1 0 270220843 1495040 98 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4160643136 0 0 4096 0 0 0 0 17 0 0 0
/proc/9892/statm: 446 105 83 14 0 91 0
[startup+0.104762 s]
/proc/loadavg: 2.00 1.98 1.91 6/84 9893
/proc/meminfo: memFree=1423672/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=914988 CPUtime=0.08
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 2979 0 1 0 7 1 0 0 17 0 8 0 270220843 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9892/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512786 s]
/proc/loadavg: 2.00 1.98 1.91 6/84 9893
/proc/meminfo: memFree=1423672/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915332 CPUtime=0.46
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 6575 0 12 0 41 5 0 0 16 0 8 0 270220843 937299968 6326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9892/statm: 228833 6327 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33483 s]
/proc/loadavg: 2.00 1.98 1.91 2/88 9911
/proc/meminfo: memFree=1401424/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915468 CPUtime=1.28
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 8208 0 12 0 115 13 0 0 17 0 8 0 270220843 937439232 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9892/statm: 228866 7957 2479 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.14
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 345 0 0 0 13 1 0 0 16 0 8 0 270220851 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915468
[startup+2.98794 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1376688/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915468 CPUtime=2.94
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 8209 0 12 0 262 32 0 0 19 0 8 0 270220843 937439232 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9892/statm: 228866 7957 2479 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.14
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 345 0 0 0 13 1 0 0 16 0 8 0 270220851 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 7957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915468
[startup+6.26814 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369520/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=6.21
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9140 0 12 0 586 35 0 0 25 0 8 0 270220843 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9892/statm: 228866 8885 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 17 0 8 0 270220847 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.22
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 270220851 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915464
[startup+12.7535 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369400/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=12.7
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9153 0 12 0 1234 36 0 0 25 0 8 0 270220843 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9892/statm: 228866 8896 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915464
[startup+25.5854 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369528/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=25.51
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9160 0 12 0 2515 36 0 0 25 0 8 0 270220843 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9892/statm: 228866 8902 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915464
[startup+51.284 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369592/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=51.2
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9165 0 12 0 5084 36 0 0 25 0 8 0 270220843 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9892/statm: 228866 8907 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 17 0 8 0 270220847 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915464
[startup+102.571 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369528/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=102.47
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9171 0 12 0 10211 36 0 0 25 0 8 0 270220843 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9892/statm: 228866 8912 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 915464
[startup+162.597 s]
/proc/loadavg: 2.00 1.98 1.91 3/100 9956
/proc/meminfo: memFree=1369528/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=162.48
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9175 0 12 0 16212 36 0 0 25 0 8 0 270220843 937435136 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2016.24
Current children cumulated vsize (KiB) 915464
[startup+2083.54 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 10286
/proc/meminfo: memFree=1248752/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=2075.97
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9195 0 12 0 207549 48 0 0 25 0 8 0 270220843 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9892/statm: 228866 8935 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2075.97
Current children cumulated vsize (KiB) 915464
[startup+2143.57 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10286
/proc/meminfo: memFree=1248752/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=2135.72
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9195 0 12 0 213524 48 0 0 25 0 8 0 270220843 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9892/statm: 228866 8935 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2135.72
Current children cumulated vsize (KiB) 915464
[startup+2203.6 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 10286
/proc/meminfo: memFree=1248816/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=2195.46
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9195 0 12 0 219497 49 0 0 25 0 8 0 270220843 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849418 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9892/statm: 228866 8935 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2195.46
Current children cumulated vsize (KiB) 915464
[startup+2263.62 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 10286
/proc/meminfo: memFree=1248688/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=2255.19
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9195 0 12 0 225470 49 0 0 25 0 8 0 270220843 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831369 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9892/statm: 228866 8935 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2255.19
Current children cumulated vsize (KiB) 915464
[startup+2323.65 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 10286
/proc/meminfo: memFree=1248752/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=2314.94
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9195 0 12 0 231445 49 0 0 25 0 8 0 270220843 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9892/statm: 228866 8935 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.94
Current children cumulated vsize (KiB) 915464
[startup+2383.68 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10286
/proc/meminfo: memFree=1248688/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=2374.67
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9195 0 12 0 237418 49 0 0 25 0 8 0 270220843 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073871549 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9892/statm: 228866 8935 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) S 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.67
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2409.17 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10286
/proc/meminfo: memFree=1248752/2055920 swapFree=4161388/4192956
[pid=9892] ppid=9887 vsize=915464 CPUtime=2400.04
/proc/9892/stat : 9892 (java) R 9887 9892 9703 0 -1 0 9195 0 12 0 239955 49 0 0 25 0 8 0 270220843 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887377 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9892/statm: 228866 8935 2532 14 0 215336 0
[pid=9892/tid=9898] ppid=9887 vsize=915464 CPUtime=0.03
/proc/9892/task/9898/stat : 9898 (java) R 9887 9892 9703 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9899] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9899/stat : 9899 (java) S 9887 9892 9703 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9900] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9900/stat : 9900 (java) S 9887 9892 9703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270220847 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9903] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9903/stat : 9903 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9904] ppid=9887 vsize=915464 CPUtime=0.23
/proc/9892/task/9904/stat : 9904 (java) S 9887 9892 9703 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9905] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9905/stat : 9905 (java) S 9887 9892 9703 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9892/tid=9906] ppid=9887 vsize=915464 CPUtime=0
/proc/9892/task/9906/stat : 9906 (java) S 9887 9892 9703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270220851 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2409.22
CPU time (s): 2400.09
CPU user time (s): 2399.58
CPU system time (s): 0.505923
CPU usage (%): 99.6209
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.58
system time used= 0.505923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9216
page faults= 12
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49778
involuntary context switches= 85998
runsolver used 2.6086 s user time and 6.52601 s system time
The end
Begin job on node29 on Fri Jan 19 14:51:07 UTC 2007
IDJOB= 275164
IDBENCH= 3627
IDSOLVER= 68
FILE ID= node29/275164-1169218267
PBS_JOBID= 3589142
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-47021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275164-1169218267/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-275164-1169218267 -o ROOT/results/node29/solver-275164-1169218267 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275164-1169218267/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91689171d947c8c08ebb7b0d8380a5b4
RANDOM SEED= 725773978
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.241
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.241
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: 1424736 kB
Buffers: 39060 kB
Cached: 492344 kB
SwapCached: 2192 kB
Active: 133888 kB
Inactive: 427092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1424736 kB
SwapTotal: 4192956 kB
SwapFree: 4161388 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 44892 kB
Slab: 55192 kB
Committed_AS: 4940996 kB
PageTables: 2220 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= 66558 MiB
End job on node29 on Fri Jan 19 15:31:17 UTC 2007