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/282575-1169320321/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.101 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.55
0.55 constraints being loaded...
0.68 nbConstraints=421 nbRelationTypes=140 nbExtensionStructures=140 nbSharedExtensionStructures=281
0.68 nbConflictsStructures=140 nbSharedConflictsStructures=281 nbSharedBinaryRepresentations=10787 maxDegree=68
0.68 maxArity=2
0.68 => wckTime=0.365 cpuTime=0.27 mem=16M694
0.73
0.73 solver LocalSearchSolver being built...
0.78 => wckTime=0.46 cpuTime=0.31 mem=5M762
0.79
0.79 s SATISFIABLE
0.79 o 258
0.79 c 163
0.79 o 266
0.79 c 155
0.80 o 268
0.80 c 153
0.80 o 274
0.80 c 147
0.80 o 278
0.80 c 143
0.80 o 284
0.80 c 137
0.80 o 292
0.80 c 129
0.81 o 295
0.81 c 126
0.81 o 300
0.81 c 121
0.81 o 306
0.81 c 115
0.81 o 314
0.81 c 107
0.81 o 321
0.81 c 100
0.81 o 329
0.81 c 92
0.81 o 335
0.81 c 86
0.81 o 341
0.81 c 80
0.82 o 345
0.82 c 76
0.82 o 355
0.82 c 66
0.82 o 361
0.82 c 60
0.82 o 372
0.82 c 49
0.82 o 375
0.82 c 46
0.82 o 377
0.82 c 44
0.82 o 382
0.82 c 39
0.82 o 386
0.82 c 35
0.82 o 391
0.82 c 30
0.83 o 393
0.83 c 28
0.83 o 394
0.83 c 27
0.83 o 397
0.83 c 24
0.89 o 398
0.89 c 23
0.91 o 399
0.91 c 22
1.07 o 400
1.07 c 21
1.26 o 401
1.26 c 20
21.82
21.82 search
21.82 run=0 nbConstraintChecks=176222635 nbAssignments=10000
21.82 => wckTime=21.048 cpuTime=20.86 mem=5M762
31.54
31.54 search
31.54 run=1 nbConstraintChecks=258642654 nbAssignments=14658
31.54 => wckTime=30.766 cpuTime=30.49 mem=5M762
31.54
31.54 global
31.54 nbConstraintChecks=258642654 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.54 solvingWckTime=30.763 solvingCpuTime=30.49 expiredTime=no totalExploration=no nbFoundSolutions=0
31.54 globalCpuTime=30.84
31.54 => wckTime=31.227 cpuTime=30.8 mem=5M762
31.54
31.54 solver IterativeSystematicSolver being built...
31.67 => wckTime=31.358 cpuTime=30.89 mem=16M718
31.69
31.69 preprocessing
31.69 nbConstraintChecks=4012 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.69 detectedInconsistency=no
31.69 => wckTime=0.013 cpuTime=0.0 mem=16M718
31.92
31.92 search
31.92 run=0 nbConstraintChecks=1205200 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57
31.92 nbFailedAssignments=44 nbBacktracks=10 nbVisitedNodes=112 nbRestartNogoods=0
31.92 => wckTime=0.245 cpuTime=0.21 mem=16M718
33.21
33.21 search
33.21 run=1 nbConstraintChecks=8503387 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=478
33.21 nbFailedAssignments=448 nbBacktracks=25 nbVisitedNodes=952 nbRestartNogoods=13
33.21 => wckTime=1.535 cpuTime=1.48 mem=16M718
38.84
38.84 search
38.84 run=2 nbConstraintChecks=44189618 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2233
38.84 nbFailedAssignments=2179 nbBacktracks=47 nbVisitedNodes=4460 nbRestartNogoods=35
38.84 => wckTime=7.17 cpuTime=7.04 mem=16M718
39.64
39.64 search
39.64 run=3 nbConstraintChecks=49146072 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2539
39.64 nbFailedAssignments=2449 nbBacktracks=80 nbVisitedNodes=5069 nbRestartNogoods=142
39.64 => wckTime=7.961 cpuTime=7.82 mem=16M718
40.76
40.76 search
40.76 run=4 nbConstraintChecks=55850166 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2944
40.76 nbFailedAssignments=2801 nbBacktracks=130 nbVisitedNodes=5876 nbRestartNogoods=176
40.76 => wckTime=9.084 cpuTime=8.93 mem=16M718
43.48
43.48 search
43.48 run=5 nbConstraintChecks=71942977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3926
43.48 nbFailedAssignments=3702 nbBacktracks=205 nbVisitedNodes=7834 nbRestartNogoods=203
43.48 => wckTime=11.802 cpuTime=11.62 mem=16M718
44.42
44.42 search
44.42 run=6 nbConstraintChecks=77549489 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4411
44.42 nbFailedAssignments=4066 nbBacktracks=318 nbVisitedNodes=8796 nbRestartNogoods=220
44.42 => wckTime=12.748 cpuTime=12.56 mem=16M718
45.52
45.52 search
45.52 run=7 nbConstraintChecks=84103967 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5082
45.52 nbFailedAssignments=4561 nbBacktracks=488 nbVisitedNodes=10132 nbRestartNogoods=230
45.52 => wckTime=13.847 cpuTime=13.65 mem=16M718
47.35
47.35 search
47.35 run=8 nbConstraintChecks=95085424 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6248
47.35 nbFailedAssignments=5464 nbBacktracks=744 nbVisitedNodes=12457 nbRestartNogoods=238
47.35 => wckTime=15.679 cpuTime=15.47 mem=16M718
50.17
50.17 search
50.17 run=9 nbConstraintChecks=112176889 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7762
50.17 nbFailedAssignments=6588 nbBacktracks=1128 nbVisitedNodes=15479 nbRestartNogoods=258
50.17 => wckTime=18.498 cpuTime=18.26 mem=16M718
78.09
78.09 search
78.09 run=10 nbConstraintChecks=286199287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16456
78.09 nbFailedAssignments=14703 nbBacktracks=1704 nbVisitedNodes=32864 nbRestartNogoods=273
78.09 => wckTime=46.414 cpuTime=45.94 mem=16M718
90.64
90.64 search
90.64 run=11 nbConstraintChecks=360601491 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21541
90.64 nbFailedAssignments=18919 nbBacktracks=2568 nbVisitedNodes=43029 nbRestartNogoods=292
90.64 => wckTime=58.962 cpuTime=58.38 mem=16M718
107.28
107.28 search
107.28 run=12 nbConstraintChecks=458504495 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28198
107.28 nbFailedAssignments=24272 nbBacktracks=3865 nbVisitedNodes=56336 nbRestartNogoods=306
107.28 => wckTime=75.605 cpuTime=74.91 mem=16M718
127.26
127.26 search
127.26 run=13 nbConstraintChecks=581536850 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36445
127.26 nbFailedAssignments=30566 nbBacktracks=5811 nbVisitedNodes=72823 nbRestartNogoods=317
127.26 => wckTime=95.588 cpuTime=94.8 mem=16M718
202.25
202.25 search
202.25 run=14 nbConstraintChecks=1048122180 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62074
202.25 nbFailedAssignments=53270 nbBacktracks=8730 nbVisitedNodes=124066 nbRestartNogoods=340
202.25 => wckTime=170.578 cpuTime=169.49 mem=16M718
241.83
241.83 search
241.83 run=15 nbConstraintChecks=1290551834 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78881
241.83 nbFailedAssignments=65694 nbBacktracks=13108 nbVisitedNodes=157675 nbRestartNogoods=371
241.83 => wckTime=210.158 cpuTime=208.9 mem=16M718
289.82
289.82 search
289.82 run=16 nbConstraintChecks=1582223126 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=101067
289.82 nbFailedAssignments=81308 nbBacktracks=19676 nbVisitedNodes=202043 nbRestartNogoods=384
289.82 => wckTime=258.145 cpuTime=256.7 mem=16M718
371.68
371.68 search
371.68 run=17 nbConstraintChecks=2072504009 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=140096
371.68 nbFailedAssignments=110479 nbBacktracks=29528 nbVisitedNodes=280085 nbRestartNogoods=405
371.68 => wckTime=340.007 cpuTime=338.22 mem=16M718
526.64
526.64 search
526.64 run=18 nbConstraintChecks=3009189133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=205546
526.64 nbFailedAssignments=161147 nbBacktracks=44306 nbVisitedNodes=410925 nbRestartNogoods=439
526.64 => wckTime=494.962 cpuTime=492.52 mem=16M718
796.67
796.68 search
796.68 run=19 nbConstraintChecks=4649930672 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=311411
796.68 nbFailedAssignments=244840 nbBacktracks=66474 nbVisitedNodes=622535 nbRestartNogoods=458
796.68 => wckTime=765.0 cpuTime=761.48 mem=16M718
1051.78
1051.78 search
1051.78 run=20 nbConstraintChecks=6173732051 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=423709
1051.78 nbFailedAssignments=332006 nbBacktracks=91607 nbVisitedNodes=846914 nbRestartNogoods=467
1051.78 => wckTime=1020.108 cpuTime=1015.54 mem=16M718
1051.78
1051.78 global
1051.78 nbConstraintChecks=6173736063 nbRestartNogoods=467 solvingWckTime=1020.109 solvingCpuTime=1015.54
1051.78 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1046.49
1051.78 => wckTime=1051.467 cpuTime=1046.45 mem=16M718
1051.79
1051.79 s OPTIMUM FOUND
1051.79 v 43 43 8 8 5 0 7 12 12 0 0 26 21 7 10 5 35 31
1051.79
1051.79 totalWckTime=1051.547 totalCpuTime=1046.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-282575-1169320321 -o ROOT/results/node10/solver-282575-1169320321 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282575-1169320321/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.91 1.97 1.99 4/87 26712
/proc/meminfo: memFree=1193616/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=18540 CPUtime=0
/proc/26711/stat : 26711 (runsolver) R 26709 26711 26146 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280427274 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26711/statm: 4635 279 244 17 0 2626 0
[startup+0.108 s]
/proc/loadavg: 1.91 1.97 1.99 4/87 26712
/proc/meminfo: memFree=1193616/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=914988 CPUtime=0.08
/proc/26711/stat : 26711 (java) D 26709 26711 26146 0 -1 0 2989 0 1 0 6 2 0 0 17 0 8 0 280427274 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516053 s]
/proc/loadavg: 1.91 1.97 1.99 4/87 26712
/proc/meminfo: memFree=1193616/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915332 CPUtime=0.49
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 7186 0 1 0 44 5 0 0 18 0 8 0 280427274 937299968 6925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073547006 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228833 6925 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33717 s]
/proc/loadavg: 1.91 1.97 1.99 3/94 26719
/proc/meminfo: memFree=1167896/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=1.29
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9088 0 1 0 121 8 0 0 25 0 8 0 280427274 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8826 2476 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.14
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 280427282 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280427282 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.97438 s]
/proc/loadavg: 1.91 1.97 1.99 3/94 26719
/proc/meminfo: memFree=1167896/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=2.92
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9089 0 1 0 281 11 0 0 25 0 8 0 280427274 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8826 2476 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.14
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 280427282 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280427282 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.27283 s]
/proc/loadavg: 1.92 1.97 1.99 3/94 26719
/proc/meminfo: memFree=1167768/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=6.19
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9092 0 1 0 604 15 0 0 25 0 8 0 280427274 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8829 2476 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.15
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 280427282 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280427282 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7427 s]
/proc/loadavg: 1.93 1.97 1.99 3/94 26719
/proc/meminfo: memFree=1167768/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=12.6
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9092 0 1 0 1233 27 0 0 25 0 8 0 280427274 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8829 2476 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.15
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 280427282 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280427282 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464
[startup+25.6115 s]
/proc/loadavg: 1.94 1.97 1.99 3/94 26719
/proc/meminfo: memFree=1167832/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=25.36
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9094 0 1 0 2483 53 0 0 25 0 8 0 280427274 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8831 2476 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.15
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 280427282 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280427282 937435136 8831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464
[startup+51.2239 s]
/proc/loadavg: 1.96 1.97 1.99 3/94 26719
/proc/meminfo: memFree=1167512/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=50.76
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9249 0 1 0 5011 65 0 0 25 0 8 0 280427274 937435136 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8979 2527 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.26
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 403 0 0 0 25 1 0 0 15 0 8 0 280427282 937435136 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280427282 937435136 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915464
[startup+102.435 s]
/proc/loadavg: 1.98 1.97 1.99 3/94 26719
/proc/meminfo: memFree=1167512/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=101.53
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9251 0 1 0 10088 65 0 0 25 0 8 0 280427274 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847213 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8981 2527 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.26
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 280427282 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280427282 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915464
[startup+162.499 s]
/proc/loadavg: 1.99 1.97 1.99 3/94 26719
/proc/meminfo: memFree=1167576/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=161.35
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9252 0 1 0 16069 66 0 0 25 0 8 0 280427274 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.27
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.26
Current children cumulated vsize (KiB) 915464
[startup+643.218 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 26719
/proc/meminfo: memFree=1167448/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=640.1
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9256 0 1 0 63938 72 0 0 25 0 8 0 280427274 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906798 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8983 2527 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.27
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0.01
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.1
Current children cumulated vsize (KiB) 915464
[startup+703.306 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 26721
/proc/meminfo: memFree=1167448/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=699.95
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9256 0 1 0 69923 72 0 0 25 0 8 0 280427274 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8983 2527 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.27
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0.01
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.95
Current children cumulated vsize (KiB) 915464
[startup+763.387 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 26721
/proc/meminfo: memFree=1167384/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=759.8
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9256 0 1 0 75907 73 0 0 25 0 8 0 280427274 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847045 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8983 2527 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.27
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0.01
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 759.8
Current children cumulated vsize (KiB) 915464
[startup+823.472 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 26721
/proc/meminfo: memFree=1167384/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=819.64
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9256 0 1 0 81890 74 0 0 25 0 8 0 280427274 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8983 2527 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.27
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0.01
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 819.64
Current children cumulated vsize (KiB) 915464
[startup+883.553 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 26721
/proc/meminfo: memFree=1167384/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=879.49
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9256 0 1 0 87874 75 0 0 25 0 8 0 280427274 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073907325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8983 2527 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.27
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0.01
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 879.49
Current children cumulated vsize (KiB) 915464
[startup+943.64 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 26721
/proc/meminfo: memFree=1167384/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=939.34
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9256 0 1 0 93858 76 0 0 25 0 8 0 280427274 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8983 2527 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.27
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0.01
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 939.34
Current children cumulated vsize (KiB) 915464
[startup+1003.73 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 26721
/proc/meminfo: memFree=1167384/2055920 swapFree=4178232/4192956
[pid=26711] ppid=26709 vsize=915464 CPUtime=999.17
/proc/26711/stat : 26711 (java) R 26709 26711 26146 0 -1 0 9256 0 1 0 99841 76 0 0 25 0 8 0 280427274 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26711/statm: 228866 8983 2527 14 0 215336 0
[pid=26711/tid=26713] ppid=26709 vsize=915464 CPUtime=0.03
/proc/26711/task/26713/stat : 26713 (java) S 26709 26711 26146 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 280427278 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26714] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26714/stat : 26714 (java) S 26709 26711 26146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26715] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26715/stat : 26715 (java) S 26709 26711 26146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280427279 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26716] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26716/stat : 26716 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26717] ppid=26709 vsize=915464 CPUtime=0.27
/proc/26711/task/26717/stat : 26717 (java) S 26709 26711 26146 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26718] ppid=26709 vsize=915464 CPUtime=0
/proc/26711/task/26718/stat : 26718 (java) S 26709 26711 26146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26711/tid=26719] ppid=26709 vsize=915464 CPUtime=0.01
/proc/26711/task/26719/stat : 26719 (java) S 26709 26711 26146 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 280427282 937435136 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 999.17
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1051.83
CPU time (s): 1047.05
CPU user time (s): 1046.27
CPU system time (s): 0.781881
CPU usage (%): 99.5458
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1046.27
system time used= 0.781881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9267
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= 22456
involuntary context switches= 54617
runsolver used 1.13483 s user time and 3.52546 s system time
The end
Begin job on node10 on Sat Jan 20 19:12:01 UTC 2007
IDJOB= 282575
IDBENCH= 12866
IDSOLVER= 69
FILE ID= node10/282575-1169320321
PBS_JOBID= 3610040
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs7/scenw-7-sub3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282575-1169320321/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-282575-1169320321 -o ROOT/results/node10/solver-282575-1169320321 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282575-1169320321/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ecf2e73bef9f71dc6fdfa75313d82cae
RANDOM SEED= 499837084
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.232
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.232
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: 1194096 kB
Buffers: 62044 kB
Cached: 628516 kB
SwapCached: 2904 kB
Active: 278016 kB
Inactive: 505916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1194096 kB
SwapTotal: 4192956 kB
SwapFree: 4178232 kB
Dirty: 2140 kB
Writeback: 0 kB
Mapped: 103736 kB
Slab: 62692 kB
Committed_AS: 7988068 kB
PageTables: 2336 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= 66555 MiB
End job on node10 on Sat Jan 20 19:29:33 UTC 2007