0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276221-1169233602/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=901 maxDegree=23
0.64 maxArity=2
0.64 => wckTime=0.325 cpuTime=0.24 mem=13M769
0.69
0.69 solver LocalSearchSolver being built...
0.74 => wckTime=0.417 cpuTime=0.28 mem=6M127
0.74
0.74 s SATISFIABLE
0.74 o 223
0.74 c 53
0.74 o 230
0.74 c 46
0.75 o 236
0.75 c 40
0.75 o 240
0.75 c 36
0.75 o 242
0.75 c 34
0.75 o 244
0.75 c 32
0.75 o 248
0.75 c 28
0.75 o 251
0.75 c 25
0.75 o 252
0.75 c 24
0.75 o 253
0.75 c 23
0.75 o 255
0.76 c 21
0.76 o 257
0.76 c 19
0.76 o 259
0.76 c 17
0.76 o 262
0.76 c 14
0.76 o 264
0.76 c 12
0.76 o 265
0.76 c 11
0.76 o 266
0.76 c 10
0.77 o 267
0.77 c 9
0.77 o 268
0.77 c 8
0.77 o 269
0.77 c 7
0.77 o 270
0.77 c 6
0.81 o 271
0.81 c 5
0.88 o 272
0.88 c 4
0.91 o 273
0.91 c 3
1.02 o 274
1.02 c 2
1.10 o 275
1.10 c 1
1.10
1.10 search
1.10 run=0 nbConstraintChecks=2277472 nbAssignments=1075
1.10 => wckTime=0.363 cpuTime=0.35 mem=6M127
1.10
1.10 global
1.10 nbConstraintChecks=2277472 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.10 solvingWckTime=0.361 solvingCpuTime=0.35 expiredTime=no totalExploration=no nbFoundSolutions=0
1.10 globalCpuTime=0.69
1.10 => wckTime=0.781 cpuTime=0.63 mem=6M127
1.10
1.10 solver IterativeSystematicSolver being built...
1.24 => wckTime=0.92 cpuTime=0.74 mem=17M52
1.25
1.25 preprocessing
1.25 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.25 detectedInconsistency=no
1.25 => wckTime=0.0060 cpuTime=0.0 mem=17M52
1.31
1.31 search
1.31 run=0 nbConstraintChecks=112334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34
1.31 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=63 nbRestartNogoods=0
1.31 => wckTime=0.071 cpuTime=0.05 mem=17M52
1.41
1.41 search
1.41 run=1 nbConstraintChecks=428190 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=116
1.41 nbFailedAssignments=80 nbBacktracks=25 nbVisitedNodes=222 nbRestartNogoods=13
1.41 => wckTime=0.166 cpuTime=0.12 mem=17M52
1.49
1.49 search
1.49 run=2 nbConstraintChecks=836272 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=217
1.49 nbFailedAssignments=154 nbBacktracks=47 nbVisitedNodes=419 nbRestartNogoods=21
1.49 => wckTime=0.252 cpuTime=0.21 mem=17M52
1.59
1.59 search
1.59 run=3 nbConstraintChecks=1294313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=353
1.59 nbFailedAssignments=251 nbBacktracks=80 nbVisitedNodes=685 nbRestartNogoods=45
1.59 => wckTime=0.352 cpuTime=0.31 mem=17M52
1.77
1.77 search
1.77 run=4 nbConstraintChecks=2140858 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=594
1.77 nbFailedAssignments=437 nbBacktracks=130 nbVisitedNodes=1162 nbRestartNogoods=54
1.77 => wckTime=0.527 cpuTime=0.48 mem=17M52
1.97
1.97 search
1.97 run=5 nbConstraintChecks=3122704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=846
1.97 nbFailedAssignments=609 nbBacktracks=205 nbVisitedNodes=1661 nbRestartNogoods=76
1.97 => wckTime=0.728 cpuTime=0.68 mem=17M52
2.38
2.38 search
2.38 run=6 nbConstraintChecks=5109742 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1325
2.38 nbFailedAssignments=970 nbBacktracks=318 nbVisitedNodes=2613 nbRestartNogoods=90
2.38 => wckTime=1.137 cpuTime=1.07 mem=17M52
2.91
2.91 search
2.91 run=7 nbConstraintChecks=7573777 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2015
2.91 nbFailedAssignments=1485 nbBacktracks=489 nbVisitedNodes=3986 nbRestartNogoods=113
2.91 => wckTime=1.669 cpuTime=1.58 mem=17M52
3.54
3.54 search
3.54 run=8 nbConstraintChecks=10618161 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2726
3.54 nbFailedAssignments=1935 nbBacktracks=745 nbVisitedNodes=5358 nbRestartNogoods=117
3.54 => wckTime=2.297 cpuTime=2.2 mem=17M52
4.30
4.30 search
4.30 run=9 nbConstraintChecks=14418590 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3660
4.30 nbFailedAssignments=2483 nbBacktracks=1129 nbVisitedNodes=7094 nbRestartNogoods=129
4.30 => wckTime=3.059 cpuTime=2.96 mem=17M52
5.51
5.51 search
5.51 run=10 nbConstraintChecks=20394231 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5044
5.51 nbFailedAssignments=3286 nbBacktracks=1705 nbVisitedNodes=9632 nbRestartNogoods=130
5.51 => wckTime=4.266 cpuTime=4.15 mem=17M52
6.94
6.94 search
6.94 run=11 nbConstraintChecks=27549248 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6799
6.94 nbFailedAssignments=4171 nbBacktracks=2571 nbVisitedNodes=12688 nbRestartNogoods=141
6.94 => wckTime=5.702 cpuTime=5.56 mem=17M52
9.18
9.18 search
9.18 run=12 nbConstraintChecks=38612895 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9450
9.18 nbFailedAssignments=5519 nbBacktracks=3870 nbVisitedNodes=17267 nbRestartNogoods=154
9.18 => wckTime=7.942 cpuTime=7.77 mem=17M52
12.38
12.38 search
12.38 run=13 nbConstraintChecks=54472140 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13405
12.38 nbFailedAssignments=7522 nbBacktracks=5816 nbVisitedNodes=24026 nbRestartNogoods=164
12.38 => wckTime=11.138 cpuTime=10.94 mem=17M52
16.89
16.89 search
16.89 run=14 nbConstraintChecks=76796496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19000
16.89 nbFailedAssignments=10193 nbBacktracks=8735 nbVisitedNodes=33388 nbRestartNogoods=179
16.89 => wckTime=15.645 cpuTime=15.39 mem=17M52
23.98
23.98 search
23.98 run=15 nbConstraintChecks=112367101 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27545
23.98 nbFailedAssignments=14354 nbBacktracks=13113 nbVisitedNodes=47876 nbRestartNogoods=188
23.98 => wckTime=22.737 cpuTime=22.41 mem=17M52
34.37
34.37 search
34.37 run=16 nbConstraintChecks=164421514 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40350
34.37 nbFailedAssignments=20585 nbBacktracks=19682 nbVisitedNodes=69591 nbRestartNogoods=202
34.37 => wckTime=33.133 cpuTime=32.71 mem=17M52
50.06
50.06 search
50.06 run=17 nbConstraintChecks=243517294 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59429
50.06 nbFailedAssignments=29807 nbBacktracks=29535 nbVisitedNodes=101835 nbRestartNogoods=229
50.06 => wckTime=48.815 cpuTime=48.25 mem=17M52
73.05
73.05 search
73.05 run=18 nbConstraintChecks=358375567 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87825
73.05 nbFailedAssignments=43420 nbBacktracks=44313 nbVisitedNodes=149555 nbRestartNogoods=243
73.05 => wckTime=71.805 cpuTime=71.03 mem=17M52
108.03
108.03 search
108.03 run=19 nbConstraintChecks=534484129 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=130181
108.03 nbFailedAssignments=63603 nbBacktracks=66482 nbVisitedNodes=220834 nbRestartNogoods=252
108.03 => wckTime=106.787 cpuTime=105.7 mem=17M52
158.79
158.79 search
158.79 run=20 nbConstraintChecks=788795482 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=193317
158.79 nbFailedAssignments=93481 nbBacktracks=99735 nbVisitedNodes=326419 nbRestartNogoods=268
158.79 => wckTime=157.549 cpuTime=155.99 mem=17M52
236.16
236.16 search
236.16 run=21 nbConstraintChecks=1175620333 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=288499
236.16 nbFailedAssignments=138782 nbBacktracks=149613 nbVisitedNodes=486011 nbRestartNogoods=286
236.16 => wckTime=234.922 cpuTime=232.66 mem=17M52
353.26
353.26 search
353.26 run=22 nbConstraintChecks=1765914605 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=431933
353.26 nbFailedAssignments=207393 nbBacktracks=224431 nbVisitedNodes=726829 nbRestartNogoods=305
353.26 => wckTime=352.022 cpuTime=349.0 mem=17M52
520.45
520.45 search
520.45 run=23 nbConstraintChecks=2617316645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=645400
520.45 nbFailedAssignments=308628 nbBacktracks=336659 nbVisitedNodes=1084096 nbRestartNogoods=324
520.45 => wckTime=519.209 cpuTime=515.38 mem=17M52
773.99
773.99 search
773.99 run=24 nbConstraintChecks=3913265458 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=965217
773.99 nbFailedAssignments=460098 nbBacktracks=505000 nbVisitedNodes=1619165 nbRestartNogoods=347
773.99 => wckTime=772.753 cpuTime=767.73 mem=17M52
1157.36
1157.36 search
1157.36 run=25 nbConstraintChecks=5874288218 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1444903
1157.36 nbFailedAssignments=687268 nbBacktracks=757511 nbVisitedNodes=2422342 nbRestartNogoods=375
1157.36 => wckTime=1156.121 cpuTime=1149.3 mem=17M52
1577.29
1577.29 search
1577.29 run=26 nbConstraintChecks=8024619883 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1966230
1577.29 nbFailedAssignments=935535 nbBacktracks=1030572 nbVisitedNodes=3297066 nbRestartNogoods=392
1577.29 => wckTime=1576.052 cpuTime=1567.26 mem=17M52
1577.29
1577.29 global
1577.29 nbConstraintChecks=8024619883 nbRestartNogoods=392 solvingWckTime=1576.054 solvingCpuTime=1567.26
1577.29 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1568.06
1577.29 => wckTime=1576.974 cpuTime=1568.0 mem=17M52
1577.30
1577.30 s OPTIMUM FOUND
1577.30 v 18 14 18 23 19 4 14 20 5 6 6 18 18 0 5 6 20 16 12 8 2 20 14 1
1577.30
1577.30 totalWckTime=1577.056 totalCpuTime=1568.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-276221-1169233602 -o ROOT/results/node14/solver-276221-1169233602 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276221-1169233602/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.98 1.99 4/93 18905
/proc/meminfo: memFree=1266408/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=47892 CPUtime=0
/proc/18904/stat : 18904 (java) D 18902 18904 18836 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 271755149 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/18904/statm: 11973 968 766 14 0 1707 0
[startup+0.103699 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 18905
/proc/meminfo: memFree=1266408/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=913228 CPUtime=0.08
/proc/18904/stat : 18904 (java) S 18902 18904 18836 0 -1 0 2909 0 1 0 7 1 0 0 18 0 8 0 271755149 935145472 2655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228307 2655 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.515736 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 18905
/proc/meminfo: memFree=1266408/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915332 CPUtime=0.49
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 6817 0 1 0 45 4 0 0 18 0 8 0 271755149 937299968 6556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228833 6556 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34282 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 18912
/proc/meminfo: memFree=1243120/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1.31
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9136 0 1 0 119 12 0 0 25 0 8 0 271755149 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8873 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.19
/proc/18904/task/18910/stat : 18910 (java) R 18902 18904 18836 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 271755157 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.97996 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240624/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=2.93
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9174 0 1 0 280 13 0 0 25 0 8 0 271755149 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8910 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 17 0 8 0 271755153 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.23
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 395 0 0 0 21 2 0 0 16 0 8 0 271755157 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.25927 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240432/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=6.18
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9186 0 1 0 605 13 0 0 25 0 8 0 271755149 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8919 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 17 0 8 0 271755153 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.24
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 271755157 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.7479 s]
/proc/loadavg: 1.94 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240432/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=12.59
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9193 0 1 0 1246 13 0 0 25 0 8 0 271755149 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8926 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.24
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 271755157 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464
[startup+25.6071 s]
/proc/loadavg: 1.95 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240432/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=25.32
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9200 0 1 0 2518 14 0 0 25 0 8 0 271755149 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8931 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.24
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 400 0 0 0 22 2 0 0 16 0 8 0 271755157 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915464
[startup+51.2125 s]
/proc/loadavg: 1.96 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240496/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=50.68
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9205 0 1 0 5054 14 0 0 25 0 8 0 271755149 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8936 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.24
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 400 0 0 0 22 2 0 0 16 0 8 0 271755157 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915464
[startup+102.42 s]
/proc/loadavg: 1.98 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240496/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=101.42
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9208 0 1 0 10128 14 0 0 25 0 8 0 271755149 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8939 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.24
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 400 0 0 0 22 2 0 0 16 0 8 0 271755157 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915464
[startup+162.476 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 18912
/proc/meminfo: memFree=1240496/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=160.94
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9213 0 1 0 16079 15 0 0 25 0 8 0 271755149 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1116.45
Current children cumulated vsize (KiB) 915464
[startup+1183.09 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 18974
/proc/meminfo: memFree=1270824/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1176.2
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 117597 23 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1176.2
Current children cumulated vsize (KiB) 915464
[startup+1243.11 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270760/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1235.94
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 123571 23 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1235.94
Current children cumulated vsize (KiB) 915464
[startup+1303.15 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270760/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1295.69
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 129545 24 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1295.69
Current children cumulated vsize (KiB) 915464
[startup+1363.17 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270760/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1355.43
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 135519 24 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868178 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1355.43
Current children cumulated vsize (KiB) 915464
[startup+1423.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270760/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1415.18
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 141493 25 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1415.18
Current children cumulated vsize (KiB) 915464
[startup+1483.23 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270696/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1474.92
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 147467 25 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.92
Current children cumulated vsize (KiB) 915464
[startup+1543.25 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 18974
/proc/meminfo: memFree=1270696/2055920 swapFree=4158792/4192956
[pid=18904] ppid=18902 vsize=915464 CPUtime=1534.68
/proc/18904/stat : 18904 (java) R 18902 18904 18836 0 -1 0 9227 0 1 0 153442 26 0 0 25 0 8 0 271755149 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18904/statm: 228866 8957 2527 14 0 215336 0
[pid=18904/tid=18906] ppid=18902 vsize=915464 CPUtime=0.03
/proc/18904/task/18906/stat : 18906 (java) S 18902 18904 18836 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18907] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18907/stat : 18907 (java) S 18902 18904 18836 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18908] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18908/stat : 18908 (java) S 18902 18904 18836 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271755153 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18909] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18909/stat : 18909 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18910] ppid=18902 vsize=915464 CPUtime=0.25
/proc/18904/task/18910/stat : 18910 (java) S 18902 18904 18836 0 -1 64 401 0 0 0 23 2 0 0 16 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18911] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18911/stat : 18911 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18904/tid=18912] ppid=18902 vsize=915464 CPUtime=0
/proc/18904/task/18912/stat : 18912 (java) S 18902 18904 18836 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271755157 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.68
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1577.34
CPU time (s): 1568.58
CPU user time (s): 1568.31
CPU system time (s): 0.269958
CPU usage (%): 99.4441
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1568.31
system time used= 0.269958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9323
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= 33039
involuntary context switches= 81058
runsolver used 1.77773 s user time and 4.30835 s system time
The end
Begin job on node14 on Fri Jan 19 19:06:42 UTC 2007
IDJOB= 276221
IDBENCH= 5468
IDSOLVER= 69
FILE ID= node14/276221-1169233602
PBS_JOBID= 3589005
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-56021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276221-1169233602/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-276221-1169233602 -o ROOT/results/node14/solver-276221-1169233602 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276221-1169233602/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5e9f67184886c7a7c73ebe1fd2f6af54
RANDOM SEED= 425343802
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.227
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.227
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: 1266888 kB
Buffers: 50588 kB
Cached: 575888 kB
SwapCached: 3272 kB
Active: 228800 kB
Inactive: 483636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1266888 kB
SwapTotal: 4192956 kB
SwapFree: 4158792 kB
Dirty: 2100 kB
Writeback: 0 kB
Mapped: 103580 kB
Slab: 61300 kB
Committed_AS: 9425872 kB
PageTables: 2344 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node14 on Fri Jan 19 19:33:00 UTC 2007