0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=epfc.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/275410-1169221386/unknown.xml
0.47
0.47 domains being loaded...
0.48
0.48 variables being loaded...
0.51 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.52 => wckTime=0.102 cpuTime=0.09 mem=6M887
0.52
0.52 relations being loaded...
0.63
0.63 constraints being loaded...
0.74 nbConstraints=339 nbRelationTypes=339 nbExtensionStructures=339 nbSharedExtensionStructures=0
0.74 nbConflictsStructures=339 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3022 maxDegree=26
0.74 maxArity=2
0.74 => wckTime=0.332 cpuTime=0.23 mem=12M738
0.79
0.79 solver LocalSearchSolver being built...
0.83 => wckTime=0.42 cpuTime=0.28 mem=6M60
0.84
0.84 s SATISFIABLE
0.84 o 256
0.84 c 83
0.84 o 262
0.84 c 77
0.84 o 267
0.84 c 72
0.84 o 272
0.84 c 67
0.84 o 275
0.84 c 64
0.85 o 278
0.85 c 61
0.85 o 282
0.85 c 57
0.85 o 286
0.85 c 53
0.85 o 291
0.85 c 48
0.85 o 294
0.85 c 45
0.85 o 297
0.85 c 42
0.85 o 299
0.85 c 40
0.85 o 302
0.85 c 37
0.85 o 303
0.85 c 36
0.86 o 305
0.86 c 34
0.86 o 309
0.86 c 30
0.86 o 310
0.86 c 29
0.86 o 311
0.86 c 28
0.86 o 312
0.86 c 27
0.86 o 313
0.86 c 26
0.86 o 314
0.86 c 25
0.86 o 317
0.86 c 22
0.87 o 319
0.87 c 20
0.87 o 321
0.87 c 18
0.87 o 323
0.87 c 16
0.87 o 325
0.87 c 14
0.87 o 326
0.87 c 13
0.87 o 327
0.87 c 12
0.87 o 328
0.87 c 11
0.87 o 329
0.87 c 10
0.87 o 330
0.87 c 9
0.88 o 331
0.88 c 8
0.88 o 332
0.88 c 7
0.91 o 333
0.91 c 6
1.02 o 334
1.02 c 5
1.55 o 335
1.55 c 4
2.63 o 336
2.63 c 3
2.64 o 337
2.64 c 2
4.26
4.26 search
4.26 run=0 nbConstraintChecks=24795042 nbAssignments=10000
4.26 => wckTime=3.433 cpuTime=3.37 mem=6M60
7.57
7.57 search
7.57 run=1 nbConstraintChecks=49084220 nbAssignments=20000
7.57 => wckTime=6.737 cpuTime=6.64 mem=6M60
10.82
10.82 search
10.82 run=2 nbConstraintChecks=72871815 nbAssignments=30000
10.82 => wckTime=9.989 cpuTime=9.86 mem=6M60
14.34
14.34 search
14.34 run=3 nbConstraintChecks=98853415 nbAssignments=40000
14.34 => wckTime=13.508 cpuTime=13.34 mem=6M60
17.63
17.63 search
17.63 run=4 nbConstraintChecks=122834841 nbAssignments=50000
17.63 => wckTime=16.796 cpuTime=16.6 mem=6M60
18.87 o 338
18.87 c 1
18.87
18.87 search
18.87 run=5 nbConstraintChecks=131961095 nbAssignments=53657
18.87 => wckTime=18.037 cpuTime=17.83 mem=6M60
18.87
18.87 global
18.87 nbConstraintChecks=131961095 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
18.87 solvingWckTime=18.034 solvingCpuTime=17.84 expiredTime=no totalExploration=no nbFoundSolutions=0
18.87 globalCpuTime=18.17
18.87 => wckTime=18.457 cpuTime=18.12 mem=6M60
18.87
18.87 solver IterativeSystematicSolver being built...
19.00 => wckTime=18.588 cpuTime=18.22 mem=16M951
19.11
19.11 preprocessing
19.11 nbConstraintChecks=144452 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
19.11 detectedInconsistency=no
19.11 => wckTime=0.102 cpuTime=0.08 mem=16M951
19.16
19.16 search
19.16 run=0 nbConstraintChecks=170597 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29
19.16 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=54 nbRestartNogoods=0
19.16 => wckTime=0.157 cpuTime=0.13 mem=16M951
19.24
19.24 search
19.24 run=1 nbConstraintChecks=405991 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74
19.24 nbFailedAssignments=38 nbBacktracks=25 nbVisitedNodes=138 nbRestartNogoods=12
19.24 => wckTime=0.236 cpuTime=0.19 mem=16M951
19.35
19.35 search
19.35 run=2 nbConstraintChecks=806585 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=146
19.35 nbFailedAssignments=82 nbBacktracks=47 nbVisitedNodes=276 nbRestartNogoods=26
19.35 => wckTime=0.344 cpuTime=0.29 mem=16M951
19.48
19.48 search
19.48 run=3 nbConstraintChecks=1362769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=249
19.48 nbFailedAssignments=144 nbBacktracks=80 nbVisitedNodes=474 nbRestartNogoods=54
19.48 => wckTime=0.48 cpuTime=0.43 mem=16M951
19.69
19.69 search
19.69 run=4 nbConstraintChecks=2219840 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=404
19.69 nbFailedAssignments=242 nbBacktracks=130 nbVisitedNodes=774 nbRestartNogoods=74
19.69 => wckTime=0.689 cpuTime=0.63 mem=16M951
20.07
20.07 search
20.07 run=5 nbConstraintChecks=3853117 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=691
20.07 nbFailedAssignments=447 nbBacktracks=205 nbVisitedNodes=1340 nbRestartNogoods=90
20.07 => wckTime=1.072 cpuTime=1.01 mem=16M951
20.51
20.51 search
20.51 run=6 nbConstraintChecks=5727828 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1054
20.51 nbFailedAssignments=689 nbBacktracks=318 nbVisitedNodes=2053 nbRestartNogoods=101
20.51 => wckTime=1.505 cpuTime=1.43 mem=16M951
21.16
21.16 search
21.16 run=7 nbConstraintChecks=8673532 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1641
21.16 nbFailedAssignments=1100 nbBacktracks=488 nbVisitedNodes=3219 nbRestartNogoods=113
21.16 => wckTime=2.157 cpuTime=2.07 mem=16M951
22.02
22.02 search
22.02 run=8 nbConstraintChecks=12598017 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2404
22.02 nbFailedAssignments=1601 nbBacktracks=744 nbVisitedNodes=4725 nbRestartNogoods=149
22.02 => wckTime=3.019 cpuTime=2.92 mem=16M951
23.40
23.40 search
23.40 run=9 nbConstraintChecks=18598974 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3528
23.40 nbFailedAssignments=2337 nbBacktracks=1128 nbVisitedNodes=6962 nbRestartNogoods=156
23.40 => wckTime=4.393 cpuTime=4.27 mem=16M951
25.26
25.26 search
25.26 run=10 nbConstraintChecks=27124726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5217
25.26 nbFailedAssignments=3442 nbBacktracks=1704 nbVisitedNodes=10319 nbRestartNogoods=199
25.26 => wckTime=6.259 cpuTime=6.12 mem=16M951
28.41
28.41 search
28.41 run=11 nbConstraintChecks=41414707 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7864
28.41 nbFailedAssignments=5218 nbBacktracks=2568 nbVisitedNodes=15579 nbRestartNogoods=236
28.41 => wckTime=9.404 cpuTime=9.23 mem=16M951
33.02
33.02 search
33.02 run=12 nbConstraintChecks=62329453 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11772
33.02 nbFailedAssignments=7824 nbBacktracks=3865 nbVisitedNodes=23332 nbRestartNogoods=277
33.02 => wckTime=14.016 cpuTime=13.81 mem=16M951
39.98
39.98 search
39.98 run=13 nbConstraintChecks=91067099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16764
39.98 nbFailedAssignments=10864 nbBacktracks=5811 nbVisitedNodes=32979 nbRestartNogoods=312
39.98 => wckTime=20.979 cpuTime=20.71 mem=16M951
49.83
49.83 search
49.83 run=14 nbConstraintChecks=132774132 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24212
49.83 nbFailedAssignments=15385 nbBacktracks=8730 nbVisitedNodes=47190 nbRestartNogoods=332
49.83 => wckTime=30.832 cpuTime=30.47 mem=16M951
63.35
63.35 search
63.35 run=15 nbConstraintChecks=187526197 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34251
63.35 nbFailedAssignments=21041 nbBacktracks=13108 nbVisitedNodes=65442 nbRestartNogoods=358
63.35 => wckTime=44.349 cpuTime=43.86 mem=16M951
81.78
81.78 search
81.78 run=16 nbConstraintChecks=263966492 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48385
81.78 nbFailedAssignments=28601 nbBacktracks=19676 nbVisitedNodes=90497 nbRestartNogoods=381
81.78 => wckTime=62.775 cpuTime=62.12 mem=16M951
107.50
107.50 search
107.50 run=17 nbConstraintChecks=366957114 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67420
107.50 nbFailedAssignments=37780 nbBacktracks=29529 nbVisitedNodes=121936 nbRestartNogoods=412
107.50 => wckTime=88.502 cpuTime=87.61 mem=16M951
141.35
141.35 search
141.35 run=18 nbConstraintChecks=500290464 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94106
141.35 nbFailedAssignments=49682 nbBacktracks=44309 nbVisitedNodes=164349 nbRestartNogoods=438
141.35 => wckTime=122.35 cpuTime=121.15 mem=16M951
192.48
192.48 search
192.48 run=19 nbConstraintChecks=705331686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=134272
192.48 nbFailedAssignments=67672 nbBacktracks=66479 nbVisitedNodes=227999 nbRestartNogoods=464
192.48 => wckTime=173.474 cpuTime=171.8 mem=16M951
266.65
266.65 search
266.65 run=20 nbConstraintChecks=1005863598 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=193527
266.65 nbFailedAssignments=93670 nbBacktracks=99732 nbVisitedNodes=321099 nbRestartNogoods=490
266.65 => wckTime=247.646 cpuTime=245.3 mem=16M951
384.59
384.59 search
384.59 run=21 nbConstraintChecks=1472709035 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=282677
384.59 nbFailedAssignments=132937 nbBacktracks=149610 nbVisitedNodes=461206 nbRestartNogoods=527
384.59 => wckTime=365.585 cpuTime=362.17 mem=16M951
558.03
558.03 search
558.03 run=22 nbConstraintChecks=2154773145 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=414428
558.03 nbFailedAssignments=189868 nbBacktracks=224428 nbVisitedNodes=666665 nbRestartNogoods=561
558.03 => wckTime=539.025 cpuTime=534.02 mem=16M951
799.93
799.93 search
799.93 run=23 nbConstraintChecks=3121443567 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=609430
799.93 nbFailedAssignments=272637 nbBacktracks=336655 nbVisitedNodes=968058 nbRestartNogoods=601
799.93 => wckTime=780.93 cpuTime=773.72 mem=16M951
1166.38
1166.38 search
1166.38 run=24 nbConstraintChecks=4573426193 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=898383
1166.38 nbFailedAssignments=393243 nbBacktracks=504998 nbVisitedNodes=1412166 nbRestartNogoods=616
1166.38 => wckTime=1147.382 cpuTime=1136.66 mem=16M951
1732.26
1732.26 search
1732.26 run=25 nbConstraintChecks=6823807368 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1338514
1732.26 nbFailedAssignments=580855 nbBacktracks=757509 nbVisitedNodes=2093546 nbRestartNogoods=648
1732.26 => wckTime=1713.257 cpuTime=1698.52 mem=16M951
2417.68 v 18 7 12 11 12 15 1 9 14 1 13 14 9 3 9 15 6 9 1 17 1 6 6 12 12 13 4 10 16 5 10 13 12 3 7 17 0 14 4 14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-275410-1169221386 -o ROOT/results/node18/solver-275410-1169221386 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275410-1169221386/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.03 2.02 2.00 4/94 959
/proc/meminfo: memFree=1328288/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=18540 CPUtime=0
/proc/958/stat : 958 (runsolver) R 956 958 32347 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 270533335 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/958/statm: 4635 279 244 17 0 2626 0
[startup+0.10325 s]
/proc/loadavg: 2.03 2.02 2.00 4/94 959
/proc/meminfo: memFree=1328288/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=907808 CPUtime=0.06
/proc/958/stat : 958 (java) D 956 958 32347 0 -1 0 2507 0 1 0 5 1 0 0 17 0 4 0 270533335 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.51129 s]
/proc/loadavg: 2.03 2.02 2.00 4/94 959
/proc/meminfo: memFree=1328288/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915332 CPUtime=0.39
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 6114 0 1 0 36 3 0 0 18 0 8 0 270533335 937299968 5853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152165765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228833 5853 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915332
[startup+1.33237 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 966
/proc/meminfo: memFree=1305512/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=1.19
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 8361 0 1 0 108 11 0 0 24 0 8 0 270533335 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8099 2479 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.16
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 350 0 0 0 15 1 0 0 16 0 8 0 270533353 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915464
[startup+2.96952 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 966
/proc/meminfo: memFree=1305512/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=2.81
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 8362 0 1 0 252 29 0 0 25 0 8 0 270533335 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8099 2479 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.16
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 350 0 0 0 15 1 0 0 17 0 8 0 270533353 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915464
[startup+6.26484 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 966
/proc/meminfo: memFree=1305456/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=6.08
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 8365 0 1 0 541 67 0 0 25 0 8 0 270533335 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8191617 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8102 2479 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.17
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 353 0 0 0 16 1 0 0 16 0 8 0 270533353 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915464
[startup+12.7385 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 966
/proc/meminfo: memFree=1305456/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=12.5
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 8365 0 1 0 1104 146 0 0 25 0 8 0 270533335 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8102 2479 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.17
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 353 0 0 0 16 1 0 0 16 0 8 0 270533353 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915464
[startup+25.6107 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 966
/proc/meminfo: memFree=1302448/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=25.25
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9195 0 1 0 2304 221 0 0 25 0 8 0 270533335 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8927 2532 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.27
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 409 0 0 0 26 1 0 0 15 0 8 0 270533353 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915464
[startup+51.2212 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 966
/proc/meminfo: memFree=1302448/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=50.62
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9207 0 1 0 4841 221 0 0 25 0 8 0 270533335 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863253 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8938 2532 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.27
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 270533353 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915464
[startup+102.436 s]
/proc/loadavg: 2.05 2.02 2.00 3/101 966
/proc/meminfo: memFree=1302448/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=101.38
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9212 0 1 0 9916 222 0 0 25 0 8 0 270533335 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8943 2532 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.27
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 270533353 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 915464
[startup+162.506 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 966
/proc/meminfo: memFree=1302448/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=160.89
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9218 0 1 0 15867 222 0 0 25 0 8 0 270533335 937435136 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915485 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2008.27
Current children cumulated vsize (KiB) 915464
[startup+2084.65 s]
/proc/loadavg: 2.10 2.03 2.00 3/101 1165
/proc/meminfo: memFree=1302128/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=2068.04
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9238 0 1 0 206569 235 0 0 25 0 8 0 270533335 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8967 2532 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.27
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2068.04
Current children cumulated vsize (KiB) 915464
[startup+2144.71 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 1165
/proc/meminfo: memFree=1302064/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=2127.83
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9238 0 1 0 212547 236 0 0 25 0 8 0 270533335 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8967 2532 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.27
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2127.83
Current children cumulated vsize (KiB) 915464
[startup+2204.77 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 1165
/proc/meminfo: memFree=1302128/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=2187.6
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9238 0 1 0 218524 236 0 0 25 0 8 0 270533335 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8967 2532 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.27
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2187.6
Current children cumulated vsize (KiB) 915464
[startup+2264.83 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 1165
/proc/meminfo: memFree=1302128/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=2247.38
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9238 0 1 0 224501 237 0 0 25 0 8 0 270533335 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/958/statm: 228866 8967 2532 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.27
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2247.38
Current children cumulated vsize (KiB) 915464
[startup+2324.93 s]
/proc/loadavg: 1.92 1.97 1.99 3/94 1293
/proc/meminfo: memFree=1164888/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=2307.4
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9238 0 1 0 230501 239 0 0 25 0 8 0 270533335 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/958/statm: 228866 8967 2532 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.27
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2307.4
Current children cumulated vsize (KiB) 915464
[startup+2384.94 s]
/proc/loadavg: 1.97 1.97 1.99 4/94 1293
/proc/meminfo: memFree=1165016/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=2367.34
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9238 0 1 0 236495 239 0 0 25 0 8 0 270533335 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/958/statm: 228866 8967 2532 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.27
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2367.34
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2417.67 s]
/proc/loadavg: 1.98 1.97 1.99 3/94 1293
/proc/meminfo: memFree=1164952/2055920 swapFree=4192812/4192956
[pid=958] ppid=956 vsize=915464 CPUtime=2400.05
/proc/958/stat : 958 (java) R 956 958 32347 0 -1 0 9238 0 1 0 239766 239 0 0 25 0 8 0 270533335 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915385 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/958/statm: 228866 8967 2532 14 0 215336 0
[pid=958/tid=960] ppid=956 vsize=915464 CPUtime=0.03
/proc/958/task/960/stat : 960 (java) S 956 958 32347 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 270533339 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=961] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/961/stat : 961 (java) S 956 958 32347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=962] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/962/stat : 962 (java) S 956 958 32347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270533340 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=963] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/963/stat : 963 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=964] ppid=956 vsize=915464 CPUtime=0.27
/proc/958/task/964/stat : 964 (java) S 956 958 32347 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=965] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/965/stat : 965 (java) S 956 958 32347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=958/tid=966] ppid=956 vsize=915464 CPUtime=0
/proc/958/task/966/stat : 966 (java) S 956 958 32347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270533353 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2417.74
CPU time (s): 2400.13
CPU user time (s): 2397.73
CPU system time (s): 2.39864
CPU usage (%): 99.2714
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.73
system time used= 2.39864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9260
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= 50111
involuntary context switches= 118524
runsolver used 3.16452 s user time and 7.53585 s system time
The end
Begin job on node18 on Fri Jan 19 15:43:06 UTC 2007
IDJOB= 275410
IDBENCH= 3878
IDSOLVER= 68
FILE ID= node18/275410-1169221386
PBS_JOBID= 3588905
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275410-1169221386/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-275410-1169221386 -o ROOT/results/node18/solver-275410-1169221386 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275410-1169221386/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6da4f32a4ed68f8febed201b3b722854
RANDOM SEED= 396689755
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.231
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.231
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: 1328704 kB
Buffers: 49656 kB
Cached: 526780 kB
SwapCached: 0 kB
Active: 223128 kB
Inactive: 424720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1328704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1996 kB
Writeback: 0 kB
Mapped: 97996 kB
Slab: 64212 kB
Committed_AS: 7919484 kB
PageTables: 2172 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= 66561 MiB
End job on node18 on Fri Jan 19 16:23:24 UTC 2007