0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276203-1169233165/unknown.xml
0.37
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=859 maxDegree=23
0.63 maxArity=2
0.63 => wckTime=0.319 cpuTime=0.23 mem=13M769
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.409 cpuTime=0.28 mem=6M128
0.73
0.73 s SATISFIABLE
0.73 o 228
0.73 c 48
0.73 o 234
0.73 c 42
0.73 o 239
0.73 c 37
0.73 o 242
0.73 c 34
0.73 o 246
0.73 c 30
0.73 o 247
0.73 c 29
0.73 o 251
0.73 c 25
0.73 o 254
0.73 c 22
0.73 o 256
0.73 c 20
0.73 o 258
0.73 c 18
0.74 o 259
0.74 c 17
0.74 o 262
0.74 c 14
0.75 o 266
0.75 c 10
0.75 o 267
0.75 c 9
0.75 o 268
0.75 c 8
0.75 o 269
0.75 c 7
0.75 o 270
0.75 c 6
0.75 o 271
0.75 c 5
0.76 o 272
0.76 c 4
0.76 o 273
0.76 c 3
0.95 o 274
0.95 c 2
1.11 o 275
1.11 c 1
1.11
1.11 search
1.11 run=0 nbConstraintChecks=2485379 nbAssignments=1221
1.11 => wckTime=0.391 cpuTime=0.36 mem=6M128
1.11
1.11 global
1.11 nbConstraintChecks=2485379 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.11 solvingWckTime=0.388 solvingCpuTime=0.36 expiredTime=no totalExploration=no nbFoundSolutions=0
1.11 globalCpuTime=0.7
1.11 => wckTime=0.8 cpuTime=0.65 mem=6M128
1.11
1.11 solver IterativeSystematicSolver being built...
1.24 => wckTime=0.93 cpuTime=0.75 mem=17M53
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=17M53
1.33
1.33 search
1.33 run=0 nbConstraintChecks=175144 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48
1.33 nbFailedAssignments=32 nbBacktracks=10 nbVisitedNodes=91 nbRestartNogoods=0
1.33 => wckTime=0.087 cpuTime=0.06 mem=17M53
1.40
1.40 search
1.40 run=1 nbConstraintChecks=376962 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=107
1.40 nbFailedAssignments=70 nbBacktracks=25 nbVisitedNodes=203 nbRestartNogoods=9
1.40 => wckTime=0.155 cpuTime=0.11 mem=17M53
1.48
1.48 search
1.48 run=2 nbConstraintChecks=728886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=205
1.48 nbFailedAssignments=140 nbBacktracks=47 nbVisitedNodes=393 nbRestartNogoods=18
1.48 => wckTime=0.233 cpuTime=0.19 mem=17M53
1.58
1.58 search
1.58 run=3 nbConstraintChecks=1214874 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=340
1.58 nbFailedAssignments=237 nbBacktracks=80 nbVisitedNodes=658 nbRestartNogoods=44
1.58 => wckTime=0.339 cpuTime=0.29 mem=17M53
1.73
1.73 search
1.73 run=4 nbConstraintChecks=1936390 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=533
1.73 nbFailedAssignments=375 nbBacktracks=130 nbVisitedNodes=1039 nbRestartNogoods=51
1.73 => wckTime=0.486 cpuTime=0.44 mem=17M53
2.00
2.00 search
2.00 run=5 nbConstraintChecks=3228708 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=859
2.00 nbFailedAssignments=621 nbBacktracks=205 nbVisitedNodes=1686 nbRestartNogoods=64
2.00 => wckTime=0.756 cpuTime=0.7 mem=17M53
2.33
2.33 search
2.33 run=6 nbConstraintChecks=4761729 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1283
2.33 nbFailedAssignments=926 nbBacktracks=318 nbVisitedNodes=2528 nbRestartNogoods=72
2.33 => wckTime=1.082 cpuTime=1.02 mem=17M53
2.83
2.83 search
2.83 run=7 nbConstraintChecks=7133034 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1908
2.83 nbFailedAssignments=1374 nbBacktracks=488 nbVisitedNodes=3766 nbRestartNogoods=87
2.83 => wckTime=1.587 cpuTime=1.51 mem=17M53
3.45
3.45 search
3.45 run=8 nbConstraintChecks=10166148 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2682
3.45 nbFailedAssignments=1888 nbBacktracks=745 nbVisitedNodes=5282 nbRestartNogoods=102
3.45 => wckTime=2.203 cpuTime=2.1 mem=17M53
4.26
4.26 search
4.26 run=9 nbConstraintChecks=14256288 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3667
4.26 nbFailedAssignments=2483 nbBacktracks=1129 nbVisitedNodes=7128 nbRestartNogoods=105
4.26 => wckTime=3.014 cpuTime=2.91 mem=17M53
5.28
5.28 search
5.28 run=10 nbConstraintChecks=19395098 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4961
5.28 nbFailedAssignments=3197 nbBacktracks=1705 nbVisitedNodes=9456 nbRestartNogoods=117
5.28 => wckTime=4.032 cpuTime=3.92 mem=17M53
6.70
6.70 search
6.70 run=11 nbConstraintChecks=26685008 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6738
6.70 nbFailedAssignments=4104 nbBacktracks=2569 nbVisitedNodes=12526 nbRestartNogoods=122
6.70 => wckTime=5.456 cpuTime=5.33 mem=17M53
8.96
8.96 search
8.96 run=12 nbConstraintChecks=38209423 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9479
8.96 nbFailedAssignments=5542 nbBacktracks=3866 nbVisitedNodes=17345 nbRestartNogoods=130
8.96 => wckTime=7.714 cpuTime=7.56 mem=17M53
12.13
12.13 search
12.13 run=13 nbConstraintChecks=54278937 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13401
12.13 nbFailedAssignments=7513 nbBacktracks=5813 nbVisitedNodes=24087 nbRestartNogoods=140
12.13 => wckTime=10.885 cpuTime=10.71 mem=17M53
16.59
16.59 search
16.59 run=14 nbConstraintChecks=77070340 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19002
16.59 nbFailedAssignments=10189 nbBacktracks=8734 nbVisitedNodes=33539 nbRestartNogoods=158
16.59 => wckTime=15.345 cpuTime=15.14 mem=17M53
23.47
23.47 search
23.47 run=15 nbConstraintChecks=112376449 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27552
23.47 nbFailedAssignments=14356 nbBacktracks=13112 nbVisitedNodes=48101 nbRestartNogoods=164
23.47 => wckTime=22.231 cpuTime=21.96 mem=17M53
33.14
33.14 search
33.14 run=16 nbConstraintChecks=161673193 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40097
33.14 nbFailedAssignments=20326 nbBacktracks=19682 nbVisitedNodes=69136 nbRestartNogoods=185
33.14 => wckTime=31.901 cpuTime=31.54 mem=17M53
47.86
47.86 search
47.86 run=17 nbConstraintChecks=237293024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58936
47.86 nbFailedAssignments=29307 nbBacktracks=29535 nbVisitedNodes=100812 nbRestartNogoods=199
47.86 => wckTime=46.621 cpuTime=46.13 mem=17M53
69.65
69.65 search
69.65 run=18 nbConstraintChecks=348969666 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86694
69.65 nbFailedAssignments=42283 nbBacktracks=44313 nbVisitedNodes=147112 nbRestartNogoods=214
69.65 => wckTime=68.408 cpuTime=67.73 mem=17M53
102.92
102.92 search
102.92 run=19 nbConstraintChecks=519528135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128647
102.92 nbFailedAssignments=62062 nbBacktracks=66481 nbVisitedNodes=217312 nbRestartNogoods=232
102.92 => wckTime=101.672 cpuTime=100.65 mem=17M53
153.14
153.14 search
153.14 run=20 nbConstraintChecks=775742574 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=192107
153.14 nbFailedAssignments=92265 nbBacktracks=99733 nbVisitedNodes=323706 nbRestartNogoods=254
153.14 => wckTime=151.898 cpuTime=150.32 mem=17M53
227.24
227.24 search
227.24 run=21 nbConstraintChecks=1156099667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=286584
227.24 nbFailedAssignments=136858 nbBacktracks=149612 nbVisitedNodes=481359 nbRestartNogoods=279
227.24 => wckTime=225.995 cpuTime=223.75 mem=17M53
339.51
339.51 search
339.51 run=22 nbConstraintChecks=1732419256 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=428402
339.51 nbFailedAssignments=203854 nbBacktracks=224430 nbVisitedNodes=718818 nbRestartNogoods=298
339.51 => wckTime=338.263 cpuTime=335.06 mem=17M53
500.61
500.61 search
500.61 run=23 nbConstraintChecks=2591250161 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=639946
500.61 nbFailedAssignments=303165 nbBacktracks=336657 nbVisitedNodes=1071988 nbRestartNogoods=312
500.61 => wckTime=499.371 cpuTime=495.32 mem=17M53
732.81
732.81 search
732.81 run=24 nbConstraintChecks=3886365963 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=958808
732.81 nbFailedAssignments=453681 nbBacktracks=504998 nbVisitedNodes=1605070 nbRestartNogoods=339
732.81 => wckTime=731.568 cpuTime=727.25 mem=17M53
1081.60
1081.60 search
1081.60 run=25 nbConstraintChecks=5835439048 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1438281
1081.60 nbFailedAssignments=680638 nbBacktracks=757511 nbVisitedNodes=2406972 nbRestartNogoods=362
1081.60 => wckTime=1080.36 cpuTime=1075.68 mem=17M53
1605.74
1605.74 search
1605.74 run=26 nbConstraintChecks=8760949102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2157716
1605.74 nbFailedAssignments=1021301 nbBacktracks=1136279 nbVisitedNodes=3610283 nbRestartNogoods=375
1605.74 => wckTime=1604.497 cpuTime=1599.22 mem=17M53
1611.17
1611.17 search
1611.17 run=27 nbConstraintChecks=8791353732 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2164954
1611.17 nbFailedAssignments=1024809 nbBacktracks=1140010 nbVisitedNodes=3622543 nbRestartNogoods=394
1611.17 => wckTime=1609.922 cpuTime=1604.64 mem=17M53
1611.17
1611.17 global
1611.17 nbConstraintChecks=8791353732 nbRestartNogoods=394 solvingWckTime=1609.924 solvingCpuTime=1604.64
1611.17 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1605.44
1611.17 => wckTime=1610.855 cpuTime=1605.39 mem=17M53
1611.17
1611.17 s OPTIMUM FOUND
1611.17 v 6 0 10 8 8 9 21 13 4 12 14 10 14 18 2 12 4 0 7 19 18 11 7 17
1611.17
1611.17 totalWckTime=1610.935 totalCpuTime=1605.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-276203-1169233165 -o ROOT/results/node11/solver-276203-1169233165 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276203-1169233165/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.09 2.02 2.01 2/87 11968
/proc/meminfo: memFree=1298128/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=18540 CPUtime=0
/proc/11967/stat : 11967 (runsolver) R 11965 11967 10896 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271711577 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11967/statm: 4635 279 244 17 0 2626 0
[startup+0.10273 s]
/proc/loadavg: 2.09 2.02 2.01 2/87 11968
/proc/meminfo: memFree=1298128/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=914988 CPUtime=0.08
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 2959 0 1 0 6 2 0 0 19 0 8 0 271711577 936947712 2705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155274508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11967/statm: 228747 2705 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510809 s]
/proc/loadavg: 2.09 2.02 2.01 2/87 11968
/proc/meminfo: memFree=1298128/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915332 CPUtime=0.48
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 6903 0 1 0 44 4 0 0 18 0 8 0 271711577 937299968 6642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11967/statm: 228833 6642 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33397 s]
/proc/loadavg: 2.09 2.02 2.01 3/94 11975
/proc/meminfo: memFree=1274904/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=1.3
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9124 0 1 0 118 12 0 0 25 0 8 0 271711577 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11967/statm: 228866 8862 2524 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.19
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 371 0 0 0 18 1 0 0 16 0 8 0 271711585 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97629 s]
/proc/loadavg: 2.08 2.02 2.00 3/94 11975
/proc/meminfo: memFree=1272216/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=2.93
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9174 0 1 0 281 12 0 0 25 0 8 0 271711577 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11967/statm: 228866 8910 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 17 0 8 0 271711582 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.23
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 396 0 0 0 22 1 0 0 15 0 8 0 271711585 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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.26895 s]
/proc/loadavg: 2.08 2.02 2.00 3/94 11975
/proc/meminfo: memFree=1272152/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=6.19
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9185 0 1 0 607 12 0 0 25 0 8 0 271711577 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073872893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11967/statm: 228866 8919 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.24
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 271711585 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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.19
Current children cumulated vsize (KiB) 915464
[startup+12.7502 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 11975
/proc/meminfo: memFree=1272088/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=12.61
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9193 0 1 0 1249 12 0 0 25 0 8 0 271711577 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11967/statm: 228866 8927 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.24
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 271711585 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.5968 s]
/proc/loadavg: 2.06 2.02 2.00 3/94 11975
/proc/meminfo: memFree=1272152/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=25.34
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9197 0 1 0 2522 12 0 0 25 0 8 0 271711577 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073872607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11967/statm: 228866 8931 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.24
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 271711585 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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.34
Current children cumulated vsize (KiB) 915464
[startup+51.2079 s]
/proc/loadavg: 2.12 2.03 2.01 3/94 11975
/proc/meminfo: memFree=1272152/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=50.72
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9203 0 1 0 5060 12 0 0 25 0 8 0 271711577 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11967/statm: 228866 8936 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.24
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 271711585 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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.72
Current children cumulated vsize (KiB) 915464
[startup+102.435 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 12041
/proc/meminfo: memFree=1270864/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=101.46
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9205 0 1 0 10133 13 0 0 25 0 8 0 271711577 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815727 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11967/statm: 228866 8938 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.24
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 271711585 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915464
[startup+162.522 s]
/proc/loadavg: 2.09 2.04 2.00 3/100 12151
/proc/meminfo: memFree=1270880/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=160.89
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9211 0 1 0 16076 13 0 0 25 0 8 0 271711577 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073872508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.25
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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) 1179.06
Current children cumulated vsize (KiB) 915464
[startup+1243.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 12296
/proc/meminfo: memFree=1271392/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=1239.07
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9225 0 1 0 123889 18 0 0 25 0 8 0 271711577 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11967/statm: 228866 8957 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.25
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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) 1239.07
Current children cumulated vsize (KiB) 915464
[startup+1303.98 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 12296
/proc/meminfo: memFree=1271456/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=1299.1
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9225 0 1 0 129892 18 0 0 25 0 8 0 271711577 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817692 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11967/statm: 228866 8957 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.25
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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) 1299.1
Current children cumulated vsize (KiB) 915464
[startup+1364.06 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 12298
/proc/meminfo: memFree=1271200/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=1359.1
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9225 0 1 0 135892 18 0 0 25 0 8 0 271711577 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11967/statm: 228866 8957 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.25
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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) 1359.1
Current children cumulated vsize (KiB) 915464
[startup+1424.15 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 12298
/proc/meminfo: memFree=1271264/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=1419.13
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9225 0 1 0 141895 18 0 0 25 0 8 0 271711577 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11967/statm: 228866 8957 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.25
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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) 1419.13
Current children cumulated vsize (KiB) 915464
[startup+1484.23 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 12298
/proc/meminfo: memFree=1271264/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=1479.14
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9225 0 1 0 147896 18 0 0 25 0 8 0 271711577 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815689 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11967/statm: 228866 8957 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.25
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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) 1479.14
Current children cumulated vsize (KiB) 915464
[startup+1544.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 12298
/proc/meminfo: memFree=1271328/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=1539.14
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9225 0 1 0 153896 18 0 0 25 0 8 0 271711577 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11967/statm: 228866 8957 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.25
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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) 1539.14
Current children cumulated vsize (KiB) 915464
[startup+1604.37 s]
/proc/loadavg: 2.08 2.02 2.01 3/94 12298
/proc/meminfo: memFree=1271328/2055920 swapFree=4171812/4192956
[pid=11967] ppid=11965 vsize=915464 CPUtime=1599.15
/proc/11967/stat : 11967 (java) R 11965 11967 10896 0 -1 0 9225 0 1 0 159896 19 0 0 25 0 8 0 271711577 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11967/statm: 228866 8957 2527 14 0 215336 0
[pid=11967/tid=11969] ppid=11965 vsize=915464 CPUtime=0.03
/proc/11967/task/11969/stat : 11969 (java) S 11965 11967 10896 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11970] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11970/stat : 11970 (java) S 11965 11967 10896 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11971] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11971/stat : 11971 (java) S 11965 11967 10896 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271711582 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11972] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11972/stat : 11972 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11973] ppid=11965 vsize=915464 CPUtime=0.25
/proc/11967/task/11973/stat : 11973 (java) S 11965 11967 10896 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11974] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11974/stat : 11974 (java) S 11965 11967 10896 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271711585 937435136 8957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11967/tid=11975] ppid=11965 vsize=915464 CPUtime=0
/proc/11967/task/11975/stat : 11975 (java) S 11965 11967 10896 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271711585 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) 1599.15
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1611.19
CPU time (s): 1605.95
CPU user time (s): 1605.76
CPU system time (s): 0.19697
CPU usage (%): 99.6753
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1605.76
system time used= 0.19697
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= 33711
involuntary context switches= 49647
runsolver used 2.27565 s user time and 4.85026 s system time
The end
Begin job on node11 on Fri Jan 19 18:59:25 UTC 2007
IDJOB= 276203
IDBENCH= 5466
IDSOLVER= 69
FILE ID= node11/276203-1169233165
PBS_JOBID= 3588975
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-54021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276203-1169233165/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-276203-1169233165 -o ROOT/results/node11/solver-276203-1169233165 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276203-1169233165/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a6fde96fec027ebcf35c7c234300ac23
RANDOM SEED= 783430270
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.261
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 : 5931.00
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.261
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: 1298608 kB
Buffers: 61648 kB
Cached: 571120 kB
SwapCached: 2828 kB
Active: 208296 kB
Inactive: 470372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1298608 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 1944 kB
Writeback: 0 kB
Mapped: 64124 kB
Slab: 63396 kB
Committed_AS: 8006404 kB
PageTables: 2396 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node11 on Fri Jan 19 19:26:17 UTC 2007