0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/282602-1169320623/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=16 nbDomainTypes=2 minDomainSize=36 maxDomainSize=44
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=353 nbRelationTypes=136 nbExtensionStructures=136 nbSharedExtensionStructures=217
0.62 nbConflictsStructures=136 nbSharedConflictsStructures=217 nbSharedBinaryRepresentations=10464 maxDegree=60
0.62 maxArity=2
0.62 => wckTime=0.328 cpuTime=0.25 mem=16M661
0.66
0.66 solver LocalSearchSolver being built...
0.70 => wckTime=0.412 cpuTime=0.29 mem=5M719
0.71
0.71 s SATISFIABLE
0.71 o 218
0.71 c 135
0.72 o 228
0.72 c 125
0.72 o 236
0.72 c 117
0.72 o 243
0.72 c 110
0.72 o 255
0.72 c 98
0.73 o 263
0.73 c 90
0.73 o 276
0.73 c 77
0.73 o 284
0.73 c 69
0.73 o 292
0.73 c 61
0.73 o 301
0.73 c 52
0.73 o 303
0.73 c 50
0.73 o 312
0.73 c 41
0.74 o 317
0.74 c 36
0.74 o 322
0.74 c 31
0.74 o 326
0.74 c 27
0.74 o 329
0.74 c 24
0.74 o 331
0.74 c 22
0.75 o 333
0.75 c 20
0.80 o 335
0.80 c 18
18.51
18.51 search
18.51 run=0 nbConstraintChecks=160757453 nbAssignments=10000
18.51 => wckTime=17.81 cpuTime=17.79 mem=5M719
30.87
30.87 search
30.87 run=1 nbConstraintChecks=272549567 nbAssignments=16752
30.87 => wckTime=30.169 cpuTime=30.11 mem=5M719
30.87
30.87 global
30.87 nbConstraintChecks=272549567 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.88 solvingWckTime=30.166 solvingCpuTime=30.11 expiredTime=no totalExploration=no nbFoundSolutions=0
30.88 globalCpuTime=30.44
30.88 => wckTime=30.582 cpuTime=30.4 mem=5M719
30.88
30.88 solver IterativeSystematicSolver being built...
30.99 => wckTime=30.699 cpuTime=30.5 mem=16M610
31.01
31.01 preprocessing
31.01 nbConstraintChecks=3852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.01 detectedInconsistency=no
31.01 => wckTime=0.011 cpuTime=0.01 mem=16M610
32.00
32.00 search
32.00 run=0 nbConstraintChecks=6800358 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=379
32.00 nbFailedAssignments=367 nbBacktracks=10 nbVisitedNodes=757 nbRestartNogoods=0
32.00 => wckTime=1.003 cpuTime=0.97 mem=16M610
32.15
32.15 search
32.15 run=1 nbConstraintChecks=7685745 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=446
32.15 nbFailedAssignments=416 nbBacktracks=25 nbVisitedNodes=888 nbRestartNogoods=36
32.15 => wckTime=1.155 cpuTime=1.12 mem=16M610
32.55
32.55 search
32.55 run=2 nbConstraintChecks=10386695 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=666
32.55 nbFailedAssignments=610 nbBacktracks=48 nbVisitedNodes=1325 nbRestartNogoods=68
32.55 => wckTime=1.553 cpuTime=1.51 mem=16M610
32.81
32.81 search
32.82 run=3 nbConstraintChecks=12275479 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=851
32.82 nbFailedAssignments=758 nbBacktracks=81 nbVisitedNodes=1691 nbRestartNogoods=89
32.82 => wckTime=1.822 cpuTime=1.78 mem=16M610
33.53
33.53 search
33.53 run=4 nbConstraintChecks=17437882 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1221
33.53 nbFailedAssignments=1075 nbBacktracks=131 nbVisitedNodes=2428 nbRestartNogoods=99
33.53 => wckTime=2.532 cpuTime=2.49 mem=16M610
33.94
33.94 search
33.94 run=5 nbConstraintChecks=20428986 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1468
33.94 nbFailedAssignments=1245 nbBacktracks=206 nbVisitedNodes=2920 nbRestartNogoods=147
33.94 => wckTime=2.949 cpuTime=2.9 mem=16M610
35.93
35.93 search
35.93 run=6 nbConstraintChecks=36490915 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2741
35.93 nbFailedAssignments=2402 nbBacktracks=319 nbVisitedNodes=5463 nbRestartNogoods=148
35.93 => wckTime=4.939 cpuTime=4.87 mem=16M610
37.88
37.88 search
37.88 run=7 nbConstraintChecks=50216137 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3945
37.88 nbFailedAssignments=3432 nbBacktracks=489 nbVisitedNodes=7867 nbRestartNogoods=179
37.88 => wckTime=6.889 cpuTime=6.82 mem=16M610
41.18
41.18 search
41.18 run=8 nbConstraintChecks=73865303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5884
41.18 nbFailedAssignments=5112 nbBacktracks=745 nbVisitedNodes=11742 nbRestartNogoods=198
41.18 => wckTime=10.184 cpuTime=10.11 mem=16M610
46.50
46.50 search
46.50 run=9 nbConstraintChecks=110686700 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8781
46.50 nbFailedAssignments=7621 nbBacktracks=1129 nbVisitedNodes=17532 nbRestartNogoods=230
46.50 => wckTime=15.506 cpuTime=15.43 mem=16M610
58.22
58.22 search
58.22 run=10 nbConstraintChecks=198479828 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14966
58.22 nbFailedAssignments=13225 nbBacktracks=1705 nbVisitedNodes=29897 nbRestartNogoods=243
58.22 => wckTime=27.226 cpuTime=27.14 mem=16M610
63.94
63.94 search
63.94 run=11 nbConstraintChecks=237773806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18074
63.94 nbFailedAssignments=15464 nbBacktracks=2569 nbVisitedNodes=36108 nbRestartNogoods=257
63.94 => wckTime=32.947 cpuTime=32.86 mem=16M610
80.24
80.24 search
80.24 run=12 nbConstraintChecks=354049275 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25951
80.24 nbFailedAssignments=22038 nbBacktracks=3866 nbVisitedNodes=51856 nbRestartNogoods=271
80.24 => wckTime=49.242 cpuTime=49.1 mem=16M610
95.86
95.86 search
95.86 run=13 nbConstraintChecks=462198067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34428
95.86 nbFailedAssignments=28564 nbBacktracks=5812 nbVisitedNodes=68805 nbRestartNogoods=288
95.86 => wckTime=64.871 cpuTime=64.73 mem=16M610
120.21
120.21 search
120.21 run=14 nbConstraintChecks=632003246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46863
120.21 nbFailedAssignments=38074 nbBacktracks=8731 nbVisitedNodes=93669 nbRestartNogoods=306
120.21 => wckTime=89.218 cpuTime=89.04 mem=16M610
143.83
143.83 search
143.83 run=15 nbConstraintChecks=792276189 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61928
143.83 nbFailedAssignments=48758 nbBacktracks=13109 nbVisitedNodes=123796 nbRestartNogoods=332
143.83 => wckTime=112.832 cpuTime=112.64 mem=16M610
188.47
188.47 search
188.47 run=16 nbConstraintChecks=1097053282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87489
188.47 nbFailedAssignments=67745 nbBacktracks=19678 nbVisitedNodes=174909 nbRestartNogoods=344
188.47 => wckTime=157.476 cpuTime=157.24 mem=16M610
271.15
271.15 search
271.15 run=17 nbConstraintChecks=1664285311 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131806
271.15 nbFailedAssignments=102207 nbBacktracks=29530 nbVisitedNodes=263539 nbRestartNogoods=368
271.15 => wckTime=240.16 cpuTime=239.84 mem=16M610
395.39
395.39 search
395.39 run=18 nbConstraintChecks=2504426431 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=203227
395.39 nbFailedAssignments=159403 nbBacktracks=43756 nbVisitedNodes=406350 nbRestartNogoods=384
395.39 => wckTime=364.398 cpuTime=363.98 mem=16M610
395.39
395.39 global
395.39 nbConstraintChecks=2504430283 nbRestartNogoods=384 solvingWckTime=364.399 solvingCpuTime=363.98 expiredTime=no
395.39 totalExploration=yes nbFoundSolutions=0 globalCpuTime=394.52
395.39 => wckTime=395.099 cpuTime=394.48 mem=16M610
395.40
395.40 s OPTIMUM FOUND
395.40 v 0 0 33 43 35 30 31 43 43 9 14 36 38 38 7 11
395.40
395.40 totalWckTime=395.173 totalCpuTime=394.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-282602-1169320623 -o ROOT/results/node41/solver-282602-1169320623 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282602-1169320623/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.32 1.84 1.85 4/69 18705
/proc/meminfo: memFree=1415288/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=18540 CPUtime=0
/proc/18704/stat : 18704 (runsolver) R 18701 18704 18566 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 280461601 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18704/statm: 4635 279 244 17 0 2626 0
[startup+0.105374 s]
/proc/loadavg: 1.32 1.84 1.85 4/69 18705
/proc/meminfo: memFree=1415288/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=914988 CPUtime=0.08
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 3012 0 1 0 8 0 0 0 22 0 8 0 280461601 936947712 2758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228747 2760 1434 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513407 s]
/proc/loadavg: 1.32 1.84 1.85 4/69 18705
/proc/meminfo: memFree=1415288/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915332 CPUtime=0.48
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 7835 0 1 0 44 4 0 0 25 0 8 0 280461601 937299968 7574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073458921 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228833 7574 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33448 s]
/proc/loadavg: 1.32 1.84 1.85 3/79 18715
/proc/meminfo: memFree=1384808/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915468 CPUtime=1.3
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 8991 0 1 0 122 8 0 0 25 0 8 0 280461601 937439232 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8729 2476 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.12
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 344 0 0 0 12 0 0 0 16 0 8 0 280461608 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915468
[startup+2.97162 s]
/proc/loadavg: 1.32 1.84 1.85 3/82 18739
/proc/meminfo: memFree=1384272/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915464 CPUtime=2.94
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 8992 0 1 0 283 11 0 0 25 0 8 0 280461601 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8729 2476 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.12
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 344 0 0 0 12 0 0 0 16 0 8 0 280461608 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.1749 s]
/proc/loadavg: 1.38 1.84 1.85 3/82 18739
/proc/meminfo: memFree=1383824/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915464 CPUtime=6.14
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 8995 0 1 0 596 18 0 0 25 0 8 0 280461601 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8732 2476 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.13
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 347 0 0 0 13 0 0 0 15 0 8 0 280461608 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915464
[startup+12.6455 s]
/proc/loadavg: 1.43 1.85 1.85 3/82 18739
/proc/meminfo: memFree=1383888/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915464 CPUtime=12.61
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 8995 0 1 0 1229 32 0 0 25 0 8 0 280461601 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8732 2476 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.13
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 347 0 0 0 13 0 0 0 15 0 8 0 280461608 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.5186 s]
/proc/loadavg: 1.55 1.85 1.86 3/82 18739
/proc/meminfo: memFree=1384016/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915464 CPUtime=25.48
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 8997 0 1 0 2489 59 0 0 25 0 8 0 280461601 937435136 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8734 2476 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.13
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 280461608 937435136 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915464
[startup+51.1498 s]
/proc/loadavg: 1.70 1.86 1.86 3/82 18739
/proc/meminfo: memFree=1383824/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915464 CPUtime=51.06
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 9155 0 1 0 5036 70 0 0 25 0 8 0 280461601 937435136 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8885 2528 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.22
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 280461608 937435136 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915464
[startup+102.374 s]
/proc/loadavg: 1.87 1.88 1.86 4/87 18812
/proc/meminfo: memFree=1327920/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915464 CPUtime=102.23
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 9157 0 1 0 10151 72 0 0 25 0 8 0 280461601 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8887 2528 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.22
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 403 0 0 0 21 1 0 0 16 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 915464
[startup+162.464 s]
/proc/loadavg: 1.95 1.90 1.87 3/87 18812
/proc/meminfo: memFree=1327664/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915464 CPUtime=162.27
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 9158 0 1 0 16155 72 0 0 25 0 8 0 280461601 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8887 2528 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.23
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 915464
[startup+222.562 s]
/proc/loadavg: 1.98 1.92 1.88 3/87 18814
/proc/meminfo: memFree=1327472/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915464 CPUtime=222.29
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 9159 0 1 0 22157 72 0 0 25 0 8 0 280461601 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8887 2528 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.23
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 915464
[startup+282.661 s]
/proc/loadavg: 1.99 1.93 1.88 3/87 18814
/proc/meminfo: memFree=1327472/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915464 CPUtime=282.35
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 9159 0 1 0 28163 72 0 0 25 0 8 0 280461601 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073919513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8887 2528 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.23
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 915464
[startup+342.757 s]
/proc/loadavg: 1.99 1.94 1.89 3/87 18814
/proc/meminfo: memFree=1327536/2055920 swapFree=4191892/4192956
[pid=18704] ppid=18701 vsize=915464 CPUtime=342.4
/proc/18704/stat : 18704 (java) R 18701 18704 18566 0 -1 0 9159 0 1 0 34168 72 0 0 25 0 8 0 280461601 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18704/statm: 228866 8887 2528 14 0 215336 0
[pid=18704/tid=18709] ppid=18701 vsize=915464 CPUtime=0.03
/proc/18704/task/18709/stat : 18709 (java) S 18701 18704 18566 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18710] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18710/stat : 18710 (java) S 18701 18704 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18711] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18711/stat : 18711 (java) S 18701 18704 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280461605 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18712] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18712/stat : 18712 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18713] ppid=18701 vsize=915464 CPUtime=0.23
/proc/18704/task/18713/stat : 18713 (java) S 18701 18704 18566 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18714] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18714/stat : 18714 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18704/tid=18715] ppid=18701 vsize=915464 CPUtime=0
/proc/18704/task/18715/stat : 18715 (java) S 18701 18704 18566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280461608 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.4
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 395.45
CPU time (s): 394.991
CPU user time (s): 394.255
CPU system time (s): 0.735888
CPU usage (%): 99.884
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 394.255
system time used= 0.735888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9185
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= 9214
involuntary context switches= 11174
runsolver used 0.480926 s user time and 1.2848 s system time
The end
Begin job on node41 on Sat Jan 20 19:17:03 UTC 2007
IDJOB= 282602
IDBENCH= 12869
IDSOLVER= 69
FILE ID= node41/282602-1169320623
PBS_JOBID= 3610429
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs7/scenw-7-sub2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282602-1169320623/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-282602-1169320623 -o ROOT/results/node41/solver-282602-1169320623 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282602-1169320623/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9d3ca6965155525e4afbce2ac78687c5
RANDOM SEED= 367531311
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.234
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.234
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: 1415632 kB
Buffers: 51900 kB
Cached: 486928 kB
SwapCached: 276 kB
Active: 217876 kB
Inactive: 340720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1415632 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 5196 kB
Writeback: 0 kB
Mapped: 28812 kB
Slab: 67300 kB
Committed_AS: 5409268 kB
PageTables: 1780 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= 66559 MiB
End job on node41 on Sat Jan 20 19:23:39 UTC 2007