0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/282746-1169322152/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=18 nbDomainTypes=2 minDomainSize=36 maxDomainSize=44
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M910
0.42
0.42 relations being loaded...
0.54
0.54 constraints being loaded...
0.67 nbConstraints=421 nbRelationTypes=137 nbExtensionStructures=137 nbSharedExtensionStructures=284
0.67 nbConflictsStructures=137 nbSharedConflictsStructures=284 nbSharedBinaryRepresentations=10326 maxDegree=68
0.67 maxArity=2
0.67 => wckTime=0.356 cpuTime=0.26 mem=15M703
0.72
0.72 solver LocalSearchSolver being built...
0.76 => wckTime=0.445 cpuTime=0.31 mem=5M761
0.77
0.77 s SATISFIABLE
0.77 o 270
0.77 c 151
0.77 o 280
0.77 c 141
0.78 o 282
0.78 c 139
0.78 o 284
0.78 c 137
0.78 o 288
0.78 c 133
0.79 o 292
0.79 c 129
0.79 o 296
0.79 c 125
0.79 o 302
0.79 c 119
0.79 o 308
0.79 c 113
0.79 o 309
0.79 c 112
0.79 o 316
0.79 c 105
0.80 o 321
0.80 c 100
0.80 o 322
0.80 c 99
0.80 o 324
0.80 c 97
0.80 o 331
0.80 c 90
0.80 o 335
0.80 c 86
0.80 o 345
0.80 c 76
0.80 o 354
0.80 c 67
0.80 o 364
0.80 c 57
0.80 o 369
0.80 c 52
0.81 o 379
0.81 c 42
0.81 o 381
0.81 c 40
0.81 o 384
0.81 c 37
0.82 o 388
0.82 c 33
0.84 o 389
0.84 c 32
0.85 o 391
0.85 c 30
1.01 o 396
1.01 c 25
3.59 o 397
3.59 c 24
21.23
21.23 search
21.23 run=0 nbConstraintChecks=174234620 nbAssignments=10000
21.23 => wckTime=20.466 cpuTime=20.36 mem=5M761
33.74
33.74 search
33.74 run=1 nbConstraintChecks=281037374 nbAssignments=15941
33.74 => wckTime=32.98 cpuTime=32.81 mem=5M761
33.74
33.74 global
33.74 nbConstraintChecks=281037374 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.74 solvingWckTime=32.976 solvingCpuTime=32.8 expiredTime=no totalExploration=no nbFoundSolutions=0
33.74 globalCpuTime=33.15
33.74 => wckTime=33.426 cpuTime=33.11 mem=5M761
33.74
33.74 solver IterativeSystematicSolver being built...
33.87 => wckTime=33.551 cpuTime=33.22 mem=16M718
33.88
33.88 preprocessing
33.88 nbConstraintChecks=3668 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.88 detectedInconsistency=no
33.88 => wckTime=0.012 cpuTime=0.0 mem=16M718
34.11
34.11 search
34.11 run=0 nbConstraintChecks=1017021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57
34.11 nbFailedAssignments=43 nbBacktracks=10 nbVisitedNodes=111 nbRestartNogoods=0
34.11 => wckTime=0.24 cpuTime=0.2 mem=16M718
35.62
35.62 search
35.62 run=1 nbConstraintChecks=10717372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=562
35.62 nbFailedAssignments=531 nbBacktracks=25 nbVisitedNodes=1119 nbRestartNogoods=4
35.62 => wckTime=1.755 cpuTime=1.69 mem=16M718
36.06
36.06 search
36.06 run=2 nbConstraintChecks=13385431 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=697
36.06 nbFailedAssignments=639 nbBacktracks=47 nbVisitedNodes=1384 nbRestartNogoods=19
36.06 => wckTime=2.192 cpuTime=2.13 mem=16M718
36.64
36.64 search
36.64 run=3 nbConstraintChecks=16786074 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=860
36.64 nbFailedAssignments=764 nbBacktracks=80 nbVisitedNodes=1705 nbRestartNogoods=26
36.64 => wckTime=2.776 cpuTime=2.71 mem=16M718
37.58
37.58 search
37.58 run=4 nbConstraintChecks=22299174 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1131
37.58 nbFailedAssignments=980 nbBacktracks=130 nbVisitedNodes=2242 nbRestartNogoods=43
37.58 => wckTime=3.714 cpuTime=3.64 mem=16M718
38.96
38.96 search
38.96 run=5 nbConstraintChecks=30364823 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1524
38.96 nbFailedAssignments=1293 nbBacktracks=205 nbVisitedNodes=3023 nbRestartNogoods=49
38.96 => wckTime=5.088 cpuTime=5.0 mem=16M718
41.87
41.87 search
41.87 run=6 nbConstraintChecks=49376672 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2520
41.87 nbFailedAssignments=2171 nbBacktracks=318 nbVisitedNodes=5010 nbRestartNogoods=52
41.87 => wckTime=7.997 cpuTime=7.88 mem=16M718
47.74
47.74 search
47.74 run=7 nbConstraintChecks=85694225 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4448
47.74 nbFailedAssignments=3926 nbBacktracks=488 nbVisitedNodes=8863 nbRestartNogoods=61
47.74 => wckTime=13.872 cpuTime=13.73 mem=16M718
55.33
55.33 search
55.33 run=8 nbConstraintChecks=126454773 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6734
55.33 nbFailedAssignments=5950 nbBacktracks=744 nbVisitedNodes=13429 nbRestartNogoods=122
55.33 => wckTime=21.464 cpuTime=21.29 mem=16M718
63.34
63.34 search
63.34 run=9 nbConstraintChecks=172410411 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9105
63.34 nbFailedAssignments=7931 nbBacktracks=1128 nbVisitedNodes=18165 nbRestartNogoods=149
63.34 => wckTime=29.473 cpuTime=29.26 mem=16M718
71.54
71.54 search
71.54 run=10 nbConstraintChecks=221357778 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12033
71.54 nbFailedAssignments=10279 nbBacktracks=1704 nbVisitedNodes=24017 nbRestartNogoods=168
71.54 => wckTime=37.672 cpuTime=37.41 mem=16M718
100.55
100.55 search
100.55 run=11 nbConstraintChecks=396953562 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21740
100.55 nbFailedAssignments=19118 nbBacktracks=2568 nbVisitedNodes=43426 nbRestartNogoods=180
100.55 => wckTime=66.685 cpuTime=66.29 mem=16M718
112.13
112.13 search
112.13 run=12 nbConstraintChecks=467351688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26680
112.13 nbFailedAssignments=22754 nbBacktracks=3865 nbVisitedNodes=53299 nbRestartNogoods=202
112.13 => wckTime=78.265 cpuTime=77.81 mem=16M718
149.23
149.23 search
149.23 run=13 nbConstraintChecks=691465901 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39966
149.23 nbFailedAssignments=34089 nbBacktracks=5811 nbVisitedNodes=79866 nbRestartNogoods=214
149.23 => wckTime=115.361 cpuTime=114.73 mem=16M718
211.89
211.89 search
211.89 run=14 nbConstraintChecks=1065155853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=60756
211.89 nbFailedAssignments=51956 nbBacktracks=8730 nbVisitedNodes=121432 nbRestartNogoods=251
211.89 => wckTime=178.018 cpuTime=177.09 mem=16M718
243.55
243.55 search
243.55 run=15 nbConstraintChecks=1251030337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75915
243.55 nbFailedAssignments=62733 nbBacktracks=13108 nbVisitedNodes=151746 nbRestartNogoods=271
243.55 => wckTime=209.679 cpuTime=208.61 mem=16M718
297.02
297.02 search
297.02 run=16 nbConstraintChecks=1597181486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=101724
297.02 nbFailedAssignments=81968 nbBacktracks=19676 nbVisitedNodes=203358 nbRestartNogoods=277
297.02 => wckTime=263.152 cpuTime=262.07 mem=16M718
387.00
387.00 search
387.00 run=17 nbConstraintChecks=2174248054 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=140973
387.00 nbFailedAssignments=111361 nbBacktracks=29528 nbVisitedNodes=281839 nbRestartNogoods=299
387.00 => wckTime=353.13 cpuTime=352.01 mem=16M718
552.16
552.16 search
552.16 run=18 nbConstraintChecks=3247040882 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=209965
552.16 nbFailedAssignments=165570 nbBacktracks=44306 nbVisitedNodes=419805 nbRestartNogoods=335
552.16 => wckTime=518.29 cpuTime=517.11 mem=16M718
981.61
981.61 search
981.61 run=19 nbConstraintChecks=5974697716 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=362979
981.61 nbFailedAssignments=296412 nbBacktracks=66474 nbVisitedNodes=725600 nbRestartNogoods=387
981.61 => wckTime=947.739 cpuTime=946.38 mem=16M718
1139.28
1139.28 search
1139.28 run=20 nbConstraintChecks=6980415515 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=419394
1139.28 nbFailedAssignments=344059 nbBacktracks=75243 nbVisitedNodes=838362 nbRestartNogoods=433
1139.28 => wckTime=1105.407 cpuTime=1104.0 mem=16M718
1139.28
1139.28 global
1139.28 nbConstraintChecks=6980419183 nbRestartNogoods=433 solvingWckTime=1105.408 solvingCpuTime=1104.0 expiredTime=no
1139.28 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1137.26
1139.28 => wckTime=1138.96 cpuTime=1137.22 mem=16M718
1139.28
1139.28 s OPTIMUM FOUND
1139.28 v 43 43 5 0 37 2 1 21 38 26 25 26 17 1 2 2 9 43
1139.28
1139.28 totalWckTime=1139.04 totalCpuTime=1137.26
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-282746-1169322152 -o ROOT/results/node22/solver-282746-1169322152 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282746-1169322152/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.89 5/88 5971
/proc/meminfo: memFree=1370568/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=18540 CPUtime=0
/proc/5970/stat : 5970 (runsolver) R 5968 5970 5125 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280609616 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5970/statm: 4635 279 244 17 0 2626 0
[startup+0.108141 s]
/proc/loadavg: 1.92 1.98 1.89 5/88 5971
/proc/meminfo: memFree=1370568/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=914988 CPUtime=0.08
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 2991 0 1 0 7 1 0 0 18 0 8 0 280609616 936947712 2737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5138339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5970/statm: 228747 2737 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516205 s]
/proc/loadavg: 1.92 1.98 1.89 5/88 5971
/proc/meminfo: memFree=1370568/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915332 CPUtime=0.48
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 7246 0 1 0 44 4 0 0 18 0 8 0 280609616 937299968 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565348 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5970/statm: 228833 6985 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33932 s]
/proc/loadavg: 1.92 1.98 1.89 3/95 5978
/proc/meminfo: memFree=1345296/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=1.3
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 8964 0 1 0 123 7 0 0 25 0 8 0 280609616 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5970/statm: 228866 8702 2476 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.15
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 280609624 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8702 18446744073709551615 134512640 134570532 4294956480 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.98458 s]
/proc/loadavg: 1.92 1.98 1.89 3/95 5978
/proc/meminfo: memFree=1345296/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=2.94
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 8965 0 1 0 282 12 0 0 25 0 8 0 280609616 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073743292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5970/statm: 228866 8702 2476 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.15
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 280609624 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27208 s]
/proc/loadavg: 1.93 1.98 1.89 3/95 5978
/proc/meminfo: memFree=1345232/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=6.21
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 8968 0 1 0 602 19 0 0 25 0 8 0 280609616 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740227 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5970/statm: 228866 8705 2476 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.16
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 349 0 0 0 16 0 0 0 16 0 8 0 280609624 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915464
[startup+12.7561 s]
/proc/loadavg: 1.93 1.98 1.89 3/95 5978
/proc/meminfo: memFree=1345240/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=12.67
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 8968 0 1 0 1237 30 0 0 25 0 8 0 280609616 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5970/statm: 228866 8705 2476 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.16
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 349 0 0 0 16 0 0 0 16 0 8 0 280609624 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915464
[startup+25.6001 s]
/proc/loadavg: 1.95 1.98 1.89 3/95 5978
/proc/meminfo: memFree=1345176/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=25.45
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 8970 0 1 0 2491 54 0 0 25 0 8 0 280609616 937435136 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5970/statm: 228866 8707 2476 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.16
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 351 0 0 0 16 0 0 0 16 0 8 0 280609624 937435136 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915464
[startup+51.211 s]
/proc/loadavg: 1.96 1.98 1.90 3/95 5978
/proc/meminfo: memFree=1344856/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=50.94
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 9125 0 1 0 5021 73 0 0 25 0 8 0 280609616 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5970/statm: 228866 8855 2527 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.25
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 280609624 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915464
[startup+102.423 s]
/proc/loadavg: 2.02 2.00 1.91 3/95 5978
/proc/meminfo: memFree=1344856/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=101.91
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 9128 0 1 0 10117 74 0 0 25 0 8 0 280609616 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5970/statm: 228866 8857 2527 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.25
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 280609624 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915464
[startup+162.469 s]
/proc/loadavg: 2.06 2.01 1.91 3/95 5978
/proc/meminfo: memFree=1344920/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=161.67
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 9129 0 1 0 16093 74 0 0 25 0 8 0 280609616 937435136 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.26
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 701.29
Current children cumulated vsize (KiB) 915464
[startup+762.653 s]
/proc/loadavg: 1.00 1.17 1.51 2/85 6008
/proc/meminfo: memFree=1375160/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=761.27
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 9131 0 1 0 76051 76 0 0 25 0 8 0 280609616 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5970/statm: 228866 8858 2527 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.26
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 761.27
Current children cumulated vsize (KiB) 915464
[startup+822.666 s]
/proc/loadavg: 1.00 1.14 1.47 2/85 6008
/proc/meminfo: memFree=1375160/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=821.26
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 9131 0 1 0 82050 76 0 0 25 0 8 0 280609616 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5970/statm: 228866 8858 2527 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.26
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 821.26
Current children cumulated vsize (KiB) 915464
[startup+882.684 s]
/proc/loadavg: 1.00 1.11 1.44 2/85 6008
/proc/meminfo: memFree=1375160/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=881.27
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 9131 0 1 0 88050 77 0 0 25 0 8 0 280609616 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5970/statm: 228866 8858 2527 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.26
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 881.27
Current children cumulated vsize (KiB) 915464
[startup+942.699 s]
/proc/loadavg: 1.00 1.09 1.41 2/85 6008
/proc/meminfo: memFree=1375096/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=941.26
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 9131 0 1 0 94049 77 0 0 25 0 8 0 280609616 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073872639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5970/statm: 228866 8858 2527 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.26
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 941.26
Current children cumulated vsize (KiB) 915464
[startup+1002.71 s]
/proc/loadavg: 1.00 1.07 1.38 2/85 6008
/proc/meminfo: memFree=1375096/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=1001.25
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 9132 0 1 0 100048 77 0 0 25 0 8 0 280609616 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841524 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5970/statm: 228866 8859 2527 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.26
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1001.25
Current children cumulated vsize (KiB) 915464
[startup+1062.72 s]
/proc/loadavg: 1.00 1.05 1.35 2/85 6008
/proc/meminfo: memFree=1375160/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=1061.23
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 9132 0 1 0 106046 77 0 0 25 0 8 0 280609616 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841429 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5970/statm: 228866 8859 2527 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.26
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1061.23
Current children cumulated vsize (KiB) 915464
[startup+1122.74 s]
/proc/loadavg: 1.00 1.04 1.33 2/91 6082
/proc/meminfo: memFree=1373896/2055920 swapFree=4157544/4192956
[pid=5970] ppid=5968 vsize=915464 CPUtime=1121.23
/proc/5970/stat : 5970 (java) R 5968 5970 5125 0 -1 0 9132 0 1 0 112045 78 0 0 25 0 8 0 280609616 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5970/statm: 228866 8859 2527 14 0 215336 0
[pid=5970/tid=5972] ppid=5968 vsize=915464 CPUtime=0.03
/proc/5970/task/5972/stat : 5972 (java) S 5968 5970 5125 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280609620 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5973] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5973/stat : 5973 (java) S 5968 5970 5125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280609621 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5974] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5974/stat : 5974 (java) S 5968 5970 5125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280609621 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5975] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5975/stat : 5975 (java) S 5968 5970 5125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5976] ppid=5968 vsize=915464 CPUtime=0.26
/proc/5970/task/5976/stat : 5976 (java) S 5968 5970 5125 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5977] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5977/stat : 5977 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5970/tid=5978] ppid=5968 vsize=915464 CPUtime=0
/proc/5970/task/5978/stat : 5978 (java) S 5968 5970 5125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280609624 937435136 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1121.23
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1139.34
CPU time (s): 1137.78
CPU user time (s): 1136.98
CPU system time (s): 0.799878
CPU usage (%): 99.8633
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1136.98
system time used= 0.799878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9218
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= 24226
involuntary context switches= 31220
runsolver used 1.2858 s user time and 2.99754 s system time
The end
Begin job on node22 on Sat Jan 20 19:42:32 UTC 2007
IDJOB= 282746
IDBENCH= 12885
IDSOLVER= 69
FILE ID= node22/282746-1169322152
PBS_JOBID= 3610358
Free space on /tmp= 66553 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs6/scenw-6-sub3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282746-1169322152/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-282746-1169322152 -o ROOT/results/node22/solver-282746-1169322152 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282746-1169322152/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 532a0a01a58d627c1504ce0cf6a00535
RANDOM SEED= 951143957
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.279
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.279
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: 1370984 kB
Buffers: 45572 kB
Cached: 502392 kB
SwapCached: 12356 kB
Active: 224396 kB
Inactive: 379964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1370984 kB
SwapTotal: 4192956 kB
SwapFree: 4157544 kB
Dirty: 2108 kB
Writeback: 0 kB
Mapped: 75344 kB
Slab: 65352 kB
Committed_AS: 4873588 kB
PageTables: 2308 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= 66563 MiB
End job on node22 on Sat Jan 20 20:01:31 UTC 2007