0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/281873-1169314916/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.43 nbVariables=172 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.43 => wckTime=0.124 cpuTime=0.11 mem=6M910
0.43
0.43 relations being loaded...
0.43
0.43 constraints being loaded...
0.74 nbConstraints=5271 nbRelationTypes=2 nbSingletonDomainVariables=1 nbExtensionStructures=2
0.74 nbSharedExtensionStructures=5269 nbConflictsStructures=2 nbSharedConflictsStructures=5269
0.74 nbSharedBinaryRepresentations=3 maxDegree=171 maxArity=2
0.74 => wckTime=0.43 cpuTime=0.31 mem=21M537
0.81
0.81 solver LocalSearchSolver being built...
0.86 => wckTime=0.552 cpuTime=0.36 mem=8M94
0.87
0.87 s SATISFIABLE
0.87 o 3921
0.87 c 1350
0.87 o 3959
0.87 c 1312
0.87 o 3996
0.87 c 1275
0.87 o 4032
0.87 c 1239
0.87 o 4067
0.87 c 1204
0.87 o 4101
0.87 c 1170
0.87 o 4135
0.88 c 1136
0.88 o 4168
0.88 c 1103
0.88 o 4200
0.88 c 1071
0.88 o 4232
0.88 c 1039
0.88 o 4263
0.88 c 1008
0.88 o 4293
0.88 c 978
0.88 o 4322
0.88 c 949
0.89 o 4351
0.89 c 920
0.89 o 4379
0.89 c 892
0.89 o 4407
0.89 c 864
0.89 o 4435
0.89 c 836
0.89 o 4462
0.89 c 809
0.89 o 4489
0.89 c 782
0.89 o 4516
0.89 c 755
0.89 o 4542
0.89 c 729
0.89 o 4567
0.89 c 704
0.89 o 4592
0.89 c 679
0.89 o 4617
0.89 c 654
0.89 o 4641
0.89 c 630
0.89 o 4664
0.89 c 607
0.89 o 4687
0.90 c 584
0.90 o 4710
0.90 c 561
0.90 o 4731
0.90 c 540
0.90 o 4749
0.90 c 522
0.90 o 4766
0.90 c 505
0.90 o 4783
0.90 c 488
0.90 o 4799
0.90 c 472
0.90 o 4815
0.90 c 456
0.90 o 4830
0.90 c 441
0.90 o 4845
0.90 c 426
0.90 o 4859
0.90 c 412
0.90 o 4873
0.90 c 398
0.90 o 4886
0.90 c 385
0.90 o 4898
0.90 c 373
0.90 o 4910
0.90 c 361
0.90 o 4922
0.90 c 349
0.90 o 4933
0.90 c 338
0.90 o 4944
0.90 c 327
0.90 o 4954
0.90 c 317
0.91 o 4964
0.91 c 307
0.91 o 4974
0.91 c 297
0.91 o 4984
0.91 c 287
0.91 o 4993
0.91 c 278
0.91 o 5001
0.91 c 270
0.91 o 5009
0.91 c 262
0.91 o 5017
0.91 c 254
0.91 o 5025
0.91 c 246
0.91 o 5032
0.91 c 239
0.91 o 5039
0.91 c 232
0.91 o 5045
0.91 c 226
0.91 o 5051
0.91 c 220
0.91 o 5057
0.91 c 214
0.92 o 5063
0.92 c 208
0.92 o 5068
0.92 c 203
0.92 o 5073
0.92 c 198
0.92 o 5077
0.92 c 194
0.92 o 5081
0.92 c 190
0.92 o 5085
0.92 c 186
0.92 o 5089
0.92 c 182
0.92 o 5092
0.92 c 179
0.92 o 5094
0.92 c 177
0.92 o 5096
0.92 c 175
0.92 o 5098
0.92 c 173
0.92 o 5100
0.92 c 171
0.92 o 5102
0.92 c 169
0.92 o 5104
0.92 c 167
0.92 o 5105
0.92 c 166
0.92 o 5106
0.92 c 165
0.92 o 5107
0.92 c 164
15.69
15.69 search
15.69 run=0 nbConstraintChecks=58355623 nbAssignments=10000
15.69 => wckTime=14.837 cpuTime=14.74 mem=8M94
31.11
31.11 search
31.11 run=1 nbConstraintChecks=119673663 nbAssignments=19511
31.11 => wckTime=30.254 cpuTime=30.07 mem=8M94
31.11
31.11 global
31.11 nbConstraintChecks=119673663 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.11 solvingWckTime=30.252 solvingCpuTime=30.06 expiredTime=no totalExploration=no nbFoundSolutions=0
31.11 globalCpuTime=30.46
31.11 => wckTime=30.806 cpuTime=30.42 mem=8M94
31.11
31.11 solver IterativeSystematicSolver being built...
31.25 => wckTime=30.944 cpuTime=30.52 mem=20M43
31.28
31.28 preprocessing
31.28 nbConstraintChecks=342 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.28 detectedInconsistency=no
31.28 => wckTime=0.028 cpuTime=0.02 mem=20M43
31.84 o 5108
31.84 c 163
31.96
31.96 search
31.96 run=0 nbConstraintChecks=1393635 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=172
31.96 nbFailedAssignments=0 nbBacktracks=163 nbVisitedNodes=203 nbRestartNogoods=0
31.96 => wckTime=0.706 cpuTime=0.67 mem=20M43
32.66 o 5109
32.66 c 162
32.75
32.75 search
32.75 run=1 nbConstraintChecks=2720996 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=355
32.75 nbFailedAssignments=9 nbBacktracks=327 nbVisitedNodes=412 nbRestartNogoods=1
32.75 => wckTime=1.502 cpuTime=1.45 mem=20M43
34.95
34.95 search
34.95 run=2 nbConstraintChecks=3613899 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=459
34.95 nbFailedAssignments=83 nbBacktracks=350 nbVisitedNodes=613 nbRestartNogoods=3
34.95 => wckTime=3.698 cpuTime=3.63 mem=20M43
36.04
36.04 search
36.04 run=3 nbConstraintChecks=4351371 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=522
36.04 nbFailedAssignments=106 nbBacktracks=383 nbVisitedNodes=732 nbRestartNogoods=8
36.04 => wckTime=4.79 cpuTime=4.72 mem=20M43
38.67 o 5111
38.67 c 160
38.77
38.77 search
38.77 run=4 nbConstraintChecks=6488840 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=799
38.77 nbFailedAssignments=183 nbBacktracks=573 nbVisitedNodes=1128 nbRestartNogoods=10
38.77 => wckTime=7.517 cpuTime=7.43 mem=20M43
44.21
44.21 search
44.21 run=5 nbConstraintChecks=8778954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1058
44.21 nbFailedAssignments=354 nbBacktracks=650 nbVisitedNodes=1635 nbRestartNogoods=14
44.21 => wckTime=12.958 cpuTime=12.84 mem=20M43
51.22
51.22 search
51.22 run=6 nbConstraintChecks=12556241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1444
51.22 nbFailedAssignments=602 nbBacktracks=781 nbVisitedNodes=2400 nbRestartNogoods=28
51.22 => wckTime=19.967 cpuTime=19.78 mem=20M43
55.43
55.43 search
55.43 run=7 nbConstraintChecks=15894974 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1707
55.43 nbFailedAssignments=669 nbBacktracks=953 nbVisitedNodes=2900 nbRestartNogoods=47
55.43 => wckTime=24.179 cpuTime=23.96 mem=20M43
65.47
65.47 search
65.47 run=8 nbConstraintChecks=21598688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2252
65.47 nbFailedAssignments=938 nbBacktracks=1210 nbVisitedNodes=3971 nbRestartNogoods=53
65.47 => wckTime=34.217 cpuTime=33.95 mem=20M43
84.93
84.94 search
84.94 run=9 nbConstraintChecks=31996229 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3299
84.94 nbFailedAssignments=1596 nbBacktracks=1594 nbVisitedNodes=6060 nbRestartNogoods=72
84.94 => wckTime=53.684 cpuTime=53.31 mem=20M43
95.24
95.24 search
95.24 run=10 nbConstraintChecks=42929199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4071
95.24 nbFailedAssignments=1758 nbBacktracks=2171 nbVisitedNodes=7567 nbRestartNogoods=79
95.24 => wckTime=63.992 cpuTime=63.54 mem=20M43
128.32
128.32 search
128.32 run=11 nbConstraintChecks=63400037 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6005
128.32 nbFailedAssignments=2802 nbBacktracks=3036 nbVisitedNodes=11410 nbRestartNogoods=91
128.32 => wckTime=97.066 cpuTime=96.45 mem=20M43
173.55
173.55 search
173.55 run=12 nbConstraintChecks=94307005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8711
173.55 nbFailedAssignments=4202 nbBacktracks=4335 nbVisitedNodes=16815 nbRestartNogoods=112
173.55 => wckTime=142.298 cpuTime=141.44 mem=20M43
209.19
209.19 search
209.19 run=13 nbConstraintChecks=127395008 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11140
209.19 nbFailedAssignments=4650 nbBacktracks=6296 nbVisitedNodes=21642 nbRestartNogoods=117
209.19 => wckTime=177.942 cpuTime=176.9 mem=20M43
272.32
272.32 search
272.32 run=14 nbConstraintChecks=183057021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15337
272.32 nbFailedAssignments=5921 nbBacktracks=9215 nbVisitedNodes=30029 nbRestartNogoods=120
272.32 => wckTime=241.068 cpuTime=239.68 mem=20M43
356.66
356.66 search
356.66 run=15 nbConstraintChecks=267974478 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21027
356.66 nbFailedAssignments=7194 nbBacktracks=13615 nbVisitedNodes=41392 nbRestartNogoods=128
356.66 => wckTime=325.407 cpuTime=323.56 mem=20M43
519.13
519.13 search
519.13 run=16 nbConstraintChecks=394838863 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30930
519.13 nbFailedAssignments=10512 nbBacktracks=20186 nbVisitedNodes=61184 nbRestartNogoods=146
519.13 => wckTime=487.882 cpuTime=485.15 mem=20M43
683.03
683.03 search
683.03 run=17 nbConstraintChecks=578057407 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42909
683.03 nbFailedAssignments=12616 nbBacktracks=30042 nbVisitedNodes=85123 nbRestartNogoods=166
683.03 => wckTime=651.776 cpuTime=648.15 mem=20M43
1083.86
1083.86 search
1083.86 run=18 nbConstraintChecks=896598757 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67983
1083.86 nbFailedAssignments=22903 nbBacktracks=44821 nbVisitedNodes=135263 nbRestartNogoods=187
1083.86 => wckTime=1052.613 cpuTime=1046.86 mem=20M43
1454.83
1454.84 search
1454.84 run=19 nbConstraintChecks=1307331880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95704
1454.84 nbFailedAssignments=28406 nbBacktracks=66989 nbVisitedNodes=190555 nbRestartNogoods=230
1454.84 => wckTime=1423.584 cpuTime=1415.73 mem=20M43
2249.67
2249.67 search
2249.67 run=20 nbConstraintChecks=2026149283 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=146649
2249.67 nbFailedAssignments=46076 nbBacktracks=100242 nbVisitedNodes=292418 nbRestartNogoods=239
2249.67 => wckTime=2218.421 cpuTime=2206.31 mem=20M43
2413.08 v 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 -1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-281873-1169314916 -o ROOT/results/node56/solver-281873-1169314916 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281873-1169314916/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.55 1.71 4/80 23728
/proc/meminfo: memFree=1493216/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=18540 CPUtime=0
/proc/23727/stat : 23727 (runsolver) R 23725 23727 23551 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 279889722 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23727/statm: 4635 279 244 17 0 2626 0
[startup+0.108887 s]
/proc/loadavg: 1.32 1.55 1.71 4/80 23728
/proc/meminfo: memFree=1493216/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=914988 CPUtime=0.08
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 3056 0 1 0 7 1 0 0 18 0 8 0 279889722 936947712 2802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942469 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23727/statm: 228747 2802 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516928 s]
/proc/loadavg: 1.32 1.55 1.71 4/80 23728
/proc/meminfo: memFree=1493216/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=915332 CPUtime=0.5
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 6426 0 1 0 46 4 0 0 19 0 8 0 279889722 937299968 6165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072936510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23727/statm: 228833 6165 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33801 s]
/proc/loadavg: 1.32 1.55 1.71 4/87 23735
/proc/meminfo: memFree=1460584/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=915480 CPUtime=1.3
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10805 0 1 0 120 10 0 0 24 0 8 0 279889722 937451520 10543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23727/statm: 228870 10543 2476 14 0 215340 0
[pid=23727/tid=23729] ppid=23725 vsize=915480 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 806 0 0 0 6 0 0 0 16 0 8 0 279889726 937451520 10543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23730] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 937451520 10543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 937451520 10543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 937451520 10543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=915480 CPUtime=0.18
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 379 0 0 0 18 0 0 0 16 0 8 0 279889729 937451520 10543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23734] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 937451520 10543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279889729 937451520 10543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915480
[startup+2.97517 s]
/proc/loadavg: 1.32 1.55 1.71 3/87 23735
/proc/meminfo: memFree=1460520/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=915480 CPUtime=2.94
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10809 0 1 0 275 19 0 0 25 0 8 0 279889722 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23727/statm: 228870 10546 2476 14 0 215340 0
[pid=23727/tid=23729] ppid=23725 vsize=915480 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 806 0 0 0 6 0 0 0 16 0 8 0 279889726 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23730] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=915480 CPUtime=0.19
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 382 0 0 0 19 0 0 0 16 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23734] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915480
[startup+6.17748 s]
/proc/loadavg: 1.37 1.56 1.71 3/75 23748
/proc/meminfo: memFree=1488648/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=915480 CPUtime=6.12
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10809 0 1 0 577 35 0 0 25 0 8 0 279889722 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23727/statm: 228870 10546 2476 14 0 215340 0
[pid=23727/tid=23729] ppid=23725 vsize=915480 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 806 0 0 0 6 0 0 0 16 0 8 0 279889726 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23730] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=915480 CPUtime=0.19
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 382 0 0 0 19 0 0 0 16 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23734] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915480
[startup+12.6599 s]
/proc/loadavg: 1.42 1.56 1.71 3/82 23813
/proc/meminfo: memFree=1483792/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=915480 CPUtime=12.56
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10809 0 1 0 1191 65 0 0 25 0 8 0 279889722 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841186 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 228870 10546 2476 14 0 215340 0
[pid=23727/tid=23729] ppid=23725 vsize=915480 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 806 0 0 0 6 0 0 0 16 0 8 0 279889726 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23730] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=915480 CPUtime=0.19
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 382 0 0 0 19 0 0 0 16 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23734] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=915480 CPUtime=0
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279889729 937451520 10546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915480
[startup+25.5272 s]
/proc/loadavg: 1.55 1.58 1.72 3/81 23814
/proc/meminfo: memFree=1482328/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=25.37
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10813 0 1 0 2416 121 0 0 25 0 8 0 279889722 938500096 10550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 229126 10550 2476 14 0 215596 0
[pid=23727/tid=23729] ppid=23725 vsize=916504 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 806 0 0 0 6 0 0 0 16 0 8 0 279889726 938500096 10550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23730] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 938500096 10550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 938500096 10550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 938500096 10550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=916504 CPUtime=0.19
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 385 0 0 0 19 0 0 0 17 0 8 0 279889729 938500096 10550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23734] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 938500096 10550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279889729 938500096 10550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 916504
[startup+51.1447 s]
/proc/loadavg: 1.77 1.63 1.73 3/81 23814
/proc/meminfo: memFree=1482136/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=50.84
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10966 0 1 0 4938 146 0 0 25 0 8 0 279889722 938500096 10697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955291 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 229126 10697 2528 14 0 215596 0
[pid=23727/tid=23729] ppid=23725 vsize=916504 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 807 0 0 0 6 0 0 0 16 0 8 0 279889726 938500096 10697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23730] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 938500096 10697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 938500096 10697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 938500096 10697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=916504 CPUtime=0.29
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 438 0 0 0 28 1 0 0 16 0 8 0 279889729 938500096 10697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23734] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 938500096 10697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279889729 938500096 10697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 916504
[startup+102.382 s]
/proc/loadavg: 1.94 1.70 1.74 3/81 23814
/proc/meminfo: memFree=1482072/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=101.8
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10983 0 1 0 10034 146 0 0 25 0 8 0 279889722 938500096 10708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074053785 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 229126 10708 2528 14 0 215596 0
[pid=23727/tid=23729] ppid=23725 vsize=916504 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 807 0 0 0 6 0 0 0 16 0 8 0 279889726 938500096 10708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23730] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 938500096 10708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 938500096 10708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 938500096 10708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=916504 CPUtime=0.32
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 279889729 938500096 10708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23734] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 938500096 10708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279889729 938500096 10708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 916504
[startup+162.468 s]
/proc/loadavg: 1.98 1.75 1.76 3/81 23814
/proc/meminfo: memFree=1482008/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=161.57
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10983 0 1 0 16011 146 0 0 25 0 8 0 279889722 938500096 10708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957259 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.11
Current children cumulated vsize (KiB) 916504
[startup+2085.15 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 24012
/proc/meminfo: memFree=1481688/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=2073.86
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10985 0 1 0 207221 165 0 0 25 0 8 0 279889722 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955226 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 229126 10710 2528 14 0 215596 0
[pid=23727/tid=23729] ppid=23725 vsize=916504 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) R 23725 23727 23551 0 -1 64 807 0 0 0 6 0 0 0 16 0 8 0 279889726 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23730] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=916504 CPUtime=0.32
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23734] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=916504 CPUtime=0.03
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2073.86
Current children cumulated vsize (KiB) 916504
[startup+2145.24 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 24012
/proc/meminfo: memFree=1481688/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=2133.62
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10985 0 1 0 213197 165 0 0 25 0 8 0 279889722 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073471031 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 229126 10710 2528 14 0 215596 0
[pid=23727/tid=23729] ppid=23725 vsize=916504 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 807 0 0 0 6 0 0 0 16 0 8 0 279889726 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23730] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=916504 CPUtime=0.32
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23734] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=916504 CPUtime=0.03
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.62
Current children cumulated vsize (KiB) 916504
[startup+2205.32 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 24012
/proc/meminfo: memFree=1481688/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=2193.4
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10985 0 1 0 219175 165 0 0 25 0 8 0 279889722 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 229126 10710 2528 14 0 215596 0
[pid=23727/tid=23729] ppid=23725 vsize=916504 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 807 0 0 0 6 0 0 0 16 0 8 0 279889726 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23730] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=916504 CPUtime=0.32
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23734] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=916504 CPUtime=0.03
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 279889729 938500096 10710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.4
Current children cumulated vsize (KiB) 916504
[startup+2265.41 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 24012
/proc/meminfo: memFree=1481624/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=2253.15
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10986 0 1 0 225150 165 0 0 25 0 8 0 279889722 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 229126 10711 2528 14 0 215596 0
[pid=23727/tid=23729] ppid=23725 vsize=916504 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 807 0 0 0 6 0 0 0 16 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23730] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=916504 CPUtime=0.32
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23734] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=916504 CPUtime=0.03
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.15
Current children cumulated vsize (KiB) 916504
[startup+2325.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 24012
/proc/meminfo: memFree=1481688/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=2312.92
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10986 0 1 0 231127 165 0 0 25 0 8 0 279889722 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 229126 10711 2528 14 0 215596 0
[pid=23727/tid=23729] ppid=23725 vsize=916504 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 807 0 0 0 6 0 0 0 16 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23730] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=916504 CPUtime=0.32
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23734] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=916504 CPUtime=0.03
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2312.92
Current children cumulated vsize (KiB) 916504
[startup+2385.59 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 24014
/proc/meminfo: memFree=1481624/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=2372.69
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10986 0 1 0 237103 166 0 0 25 0 8 0 279889722 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 229126 10711 2528 14 0 215596 0
[pid=23727/tid=23729] ppid=23725 vsize=916504 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 807 0 0 0 6 0 0 0 16 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23730] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=916504 CPUtime=0.32
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23734] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=916504 CPUtime=0.03
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2372.69
Current children cumulated vsize (KiB) 916504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.07 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 24014
/proc/meminfo: memFree=1481624/2055920 swapFree=4184804/4192956
[pid=23727] ppid=23725 vsize=916504 CPUtime=2400.02
/proc/23727/stat : 23727 (java) R 23725 23727 23551 0 -1 0 10986 0 1 0 239836 166 0 0 25 0 8 0 279889722 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23727/statm: 229126 10711 2528 14 0 215596 0
[pid=23727/tid=23729] ppid=23725 vsize=916504 CPUtime=0.06
/proc/23727/task/23729/stat : 23729 (java) S 23725 23727 23551 0 -1 64 807 0 0 0 6 0 0 0 16 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23730] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23730/stat : 23730 (java) S 23725 23727 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23731] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23731/stat : 23731 (java) S 23725 23727 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279889726 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23732] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23732/stat : 23732 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23733] ppid=23725 vsize=916504 CPUtime=0.32
/proc/23727/task/23733/stat : 23733 (java) S 23725 23727 23551 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23727/tid=23734] ppid=23725 vsize=916504 CPUtime=0
/proc/23727/task/23734/stat : 23734 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23727/tid=23735] ppid=23725 vsize=916504 CPUtime=0.04
/proc/23727/task/23735/stat : 23735 (java) S 23725 23727 23551 0 -1 64 1 0 0 0 3 1 0 0 15 0 8 0 279889729 938500096 10711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 916504
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.13
CPU time (s): 2400.08
CPU user time (s): 2398.41
CPU system time (s): 1.66875
CPU usage (%): 99.4591
Max. virtual memory (cumulated for all children) (KiB): 916508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.41
system time used= 1.66875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11005
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= 50117
involuntary context switches= 37639
runsolver used 2.6286 s user time and 8.05278 s system time
The end
Begin job on node56 on Sat Jan 20 17:41:56 UTC 2007
IDJOB= 281873
IDBENCH= 12295
IDSOLVER= 69
FILE ID= node56/281873-1169314916
PBS_JOBID= 3610322
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/keller-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281873-1169314916/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-281873-1169314916 -o ROOT/results/node56/solver-281873-1169314916 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281873-1169314916/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8a21855cc174804ada0eb59c4db1b8b3
RANDOM SEED= 127358989
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: 1493696 kB
Buffers: 44888 kB
Cached: 404352 kB
SwapCached: 2144 kB
Active: 146176 kB
Inactive: 343680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1493696 kB
SwapTotal: 4192956 kB
SwapFree: 4184804 kB
Dirty: 2000 kB
Writeback: 0 kB
Mapped: 57724 kB
Slab: 57644 kB
Committed_AS: 6183012 kB
PageTables: 1964 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node56 on Sat Jan 20 18:22:09 UTC 2007