0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/275455-1169222340/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.103 cpuTime=0.08 mem=6M887
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.64 nbConstraints=336 nbRelationTypes=336 nbExtensionStructures=336 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=336 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2784 maxDegree=22
0.64 maxArity=2
0.64 => wckTime=0.327 cpuTime=0.24 mem=12M740
0.68
0.68 solver LocalSearchSolver being built...
0.73 => wckTime=0.415 cpuTime=0.28 mem=6M59
0.73
0.73 s SATISFIABLE
0.73 o 251
0.73 c 85
0.74 o 256
0.74 c 80
0.74 o 261
0.74 c 75
0.74 o 267
0.74 c 69
0.74 o 272
0.74 c 64
0.74 o 276
0.74 c 60
0.74 o 278
0.74 c 58
0.74 o 282
0.74 c 54
0.74 o 285
0.74 c 51
0.74 o 286
0.74 c 50
0.75 o 288
0.75 c 48
0.75 o 289
0.75 c 47
0.75 o 291
0.75 c 45
0.75 o 293
0.75 c 43
0.75 o 294
0.75 c 42
0.75 o 296
0.75 c 40
0.75 o 300
0.75 c 36
0.75 o 303
0.75 c 33
0.75 o 304
0.75 c 32
0.76 o 306
0.76 c 30
0.76 o 308
0.76 c 28
0.76 o 310
0.76 c 26
0.76 o 312
0.76 c 24
0.76 o 314
0.76 c 22
0.77 o 315
0.77 c 21
0.77 o 316
0.77 c 20
0.77 o 317
0.77 c 19
0.77 o 318
0.77 c 18
0.77 o 319
0.77 c 17
0.78 o 320
0.78 c 16
0.78 o 321
0.78 c 15
0.80 o 323
0.80 c 13
0.80 o 324
0.80 c 12
0.80 o 326
0.80 c 10
0.80 o 328
0.80 c 8
0.80 o 329
0.80 c 7
0.80 o 330
0.80 c 6
0.81 o 331
0.81 c 5
0.94 o 332
0.94 c 4
1.05 o 333
1.05 c 3
1.07 o 334
1.07 c 2
2.55 o 335
2.55 c 1
2.55
2.55 search
2.55 run=0 nbConstraintChecks=12693305 nbAssignments=5862
2.55 => wckTime=1.826 cpuTime=1.78 mem=6M59
2.55
2.55 global
2.55 nbConstraintChecks=12693305 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.55 solvingWckTime=1.823 solvingCpuTime=1.78 expiredTime=no totalExploration=no nbFoundSolutions=0
2.55 globalCpuTime=2.11
2.55 => wckTime=2.241 cpuTime=2.06 mem=6M59
2.55
2.55 solver IterativeSystematicSolver being built...
2.68 => wckTime=2.372 cpuTime=2.17 mem=16M934
2.78
2.78 preprocessing
2.78 nbConstraintChecks=135705 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.78 detectedInconsistency=no
2.78 => wckTime=0.097 cpuTime=0.08 mem=16M934
2.83
2.83 search
2.83 run=0 nbConstraintChecks=165334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33
2.83 nbFailedAssignments=17 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0
2.83 => wckTime=0.144 cpuTime=0.12 mem=16M934
2.92
2.92 search
2.92 run=1 nbConstraintChecks=433304 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86
2.92 nbFailedAssignments=49 nbBacktracks=25 nbVisitedNodes=160 nbRestartNogoods=9
2.92 => wckTime=0.23 cpuTime=0.2 mem=16M934
3.01
3.01 search
3.01 run=2 nbConstraintChecks=772973 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=152
3.01 nbFailedAssignments=87 nbBacktracks=47 nbVisitedNodes=286 nbRestartNogoods=21
3.01 => wckTime=0.325 cpuTime=0.29 mem=16M934
3.12
3.12 search
3.12 run=3 nbConstraintChecks=1232518 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=243
3.12 nbFailedAssignments=140 nbBacktracks=80 nbVisitedNodes=463 nbRestartNogoods=46
3.12 => wckTime=0.437 cpuTime=0.39 mem=16M934
3.30
3.30 search
3.30 run=4 nbConstraintChecks=2015426 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=395
3.30 nbFailedAssignments=234 nbBacktracks=130 nbVisitedNodes=756 nbRestartNogoods=59
3.30 => wckTime=0.617 cpuTime=0.57 mem=16M934
3.60
3.60 search
3.60 run=5 nbConstraintChecks=3236294 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=620
3.60 nbFailedAssignments=379 nbBacktracks=205 nbVisitedNodes=1199 nbRestartNogoods=78
3.60 => wckTime=0.915 cpuTime=0.86 mem=16M934
4.02
4.02 search
4.02 run=6 nbConstraintChecks=5010001 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=959
4.02 nbFailedAssignments=600 nbBacktracks=318 nbVisitedNodes=1868 nbRestartNogoods=96
4.02 => wckTime=1.33 cpuTime=1.28 mem=16M934
4.64
4.64 search
4.64 run=7 nbConstraintChecks=7827535 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1459
4.64 nbFailedAssignments=924 nbBacktracks=488 nbVisitedNodes=2847 nbRestartNogoods=110
4.64 => wckTime=1.955 cpuTime=1.88 mem=16M934
5.50
5.50 search
5.50 run=8 nbConstraintChecks=11357009 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2131
5.50 nbFailedAssignments=1334 nbBacktracks=744 nbVisitedNodes=4169 nbRestartNogoods=115
5.50 => wckTime=2.812 cpuTime=2.72 mem=16M934
6.68
6.68 search
6.68 run=9 nbConstraintChecks=16864842 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3229
6.68 nbFailedAssignments=2041 nbBacktracks=1128 nbVisitedNodes=6344 nbRestartNogoods=135
6.68 => wckTime=3.993 cpuTime=3.89 mem=16M934
8.67
8.67 search
8.67 run=10 nbConstraintChecks=25110110 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4682
8.67 nbFailedAssignments=2914 nbBacktracks=1704 nbVisitedNodes=9157 nbRestartNogoods=174
8.67 => wckTime=5.987 cpuTime=5.86 mem=16M934
11.56
11.56 search
11.56 run=11 nbConstraintChecks=37794267 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7014
11.56 nbFailedAssignments=4375 nbBacktracks=2568 nbVisitedNodes=13685 nbRestartNogoods=204
11.56 => wckTime=8.869 cpuTime=8.72 mem=16M934
15.90
15.90 search
15.90 run=12 nbConstraintChecks=55729695 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10196
15.90 nbFailedAssignments=6254 nbBacktracks=3865 nbVisitedNodes=19699 nbRestartNogoods=229
15.91 => wckTime=13.219 cpuTime=13.03 mem=16M934
21.80
21.80 search
21.80 run=13 nbConstraintChecks=79448673 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14448
21.80 nbFailedAssignments=8555 nbBacktracks=5811 nbVisitedNodes=27367 nbRestartNogoods=240
21.80 => wckTime=19.117 cpuTime=18.87 mem=16M934
29.68
29.68 search
29.68 run=14 nbConstraintChecks=111866303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20607
29.68 nbFailedAssignments=11789 nbBacktracks=8731 nbVisitedNodes=38132 nbRestartNogoods=263
29.68 => wckTime=26.993 cpuTime=26.68 mem=16M934
41.01
41.01 search
41.01 run=15 nbConstraintChecks=157593353 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29134
41.01 nbFailedAssignments=15933 nbBacktracks=13109 nbVisitedNodes=52290 nbRestartNogoods=302
41.01 => wckTime=38.321 cpuTime=37.92 mem=16M934
54.47
54.47 search
54.47 run=16 nbConstraintChecks=217060583 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41105
54.47 nbFailedAssignments=21327 nbBacktracks=19678 nbVisitedNodes=71390 nbRestartNogoods=325
54.47 => wckTime=51.784 cpuTime=51.32 mem=16M934
73.56
73.56 search
73.56 run=17 nbConstraintChecks=302308883 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58735
73.56 nbFailedAssignments=29098 nbBacktracks=29532 nbVisitedNodes=99110 nbRestartNogoods=339
73.56 => wckTime=70.875 cpuTime=70.31 mem=16M934
100.66
100.66 search
100.66 run=18 nbConstraintChecks=423431057 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=83979
100.66 nbFailedAssignments=39558 nbBacktracks=44311 nbVisitedNodes=137781 nbRestartNogoods=357
100.66 => wckTime=97.976 cpuTime=97.3 mem=16M934
144.09
144.09 search
144.09 run=19 nbConstraintChecks=614165114 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=122348
144.09 nbFailedAssignments=55754 nbBacktracks=66479 nbVisitedNodes=196964 nbRestartNogoods=389
144.09 => wckTime=141.402 cpuTime=140.47 mem=16M934
206.66
206.66 search
206.66 run=20 nbConstraintChecks=886874493 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=178595
206.66 nbFailedAssignments=78742 nbBacktracks=99733 nbVisitedNodes=282611 nbRestartNogoods=414
206.66 => wckTime=203.97 cpuTime=202.66 mem=16M934
296.08
296.08 search
296.08 run=21 nbConstraintChecks=1283180076 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=262962
296.08 nbFailedAssignments=113225 nbBacktracks=149612 nbVisitedNodes=411360 nbRestartNogoods=428
296.08 => wckTime=293.398 cpuTime=291.68 mem=16M934
445.24
445.24 search
445.24 run=22 nbConstraintChecks=1929789025 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=391970
445.24 nbFailedAssignments=167410 nbBacktracks=224430 nbVisitedNodes=609883 nbRestartNogoods=457
445.24 => wckTime=442.552 cpuTime=440.15 mem=16M934
665.99
665.99 search
665.99 run=23 nbConstraintChecks=2909768068 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=586760
665.99 nbFailedAssignments=249966 nbBacktracks=336658 nbVisitedNodes=910235 nbRestartNogoods=495
665.99 => wckTime=663.304 cpuTime=659.91 mem=16M934
960.66
960.67 search
960.67 run=24 nbConstraintChecks=4199173083 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=865761
960.67 nbFailedAssignments=360622 nbBacktracks=504999 nbVisitedNodes=1330150 nbRestartNogoods=534
960.67 => wckTime=957.98 cpuTime=953.24 mem=16M934
1439.93
1439.93 search
1439.93 run=25 nbConstraintChecks=6265661806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1289525
1439.93 nbFailedAssignments=531868 nbBacktracks=757512 nbVisitedNodes=1971462 nbRestartNogoods=579
1439.93 => wckTime=1437.244 cpuTime=1430.31 mem=16M934
2151.50
2151.50 search
2151.50 run=26 nbConstraintChecks=9341776107 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1924000
2151.50 nbFailedAssignments=787570 nbBacktracks=1136280 nbVisitedNodes=2931575 nbRestartNogoods=610
2151.50 => wckTime=2148.819 cpuTime=2139.53 mem=16M934
2409.52 v 4 14 3 14 17 17 12 13 11 14 10 16 5 18 3 6 4 6 6 18 2 1 17 3 9 2 9 13 17 12 17 8 6 9 8 9 0 18 4 16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-275455-1169222340 -o ROOT/results/node72/solver-275455-1169222340 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275455-1169222340/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.00 2.00 2.00 4/86 32394
/proc/meminfo: memFree=1307936/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=11868 CPUtime=0
/proc/32393/stat : 32393 (java) D 32391 32393 31535 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 270642877 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2536228 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/32393/statm: 2967 515 425 14 0 1602 0
[startup+0.103192 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 32394
/proc/meminfo: memFree=1307936/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=914988 CPUtime=0.08
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 2990 0 1 0 6 2 0 0 17 0 8 0 270642877 936947712 2736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155274508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32393/statm: 228747 2736 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511231 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 32394
/proc/meminfo: memFree=1307936/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915332 CPUtime=0.49
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 6783 0 1 0 44 5 0 0 18 0 8 0 270642877 937299968 6522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32393/statm: 228833 6522 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33231 s]
/proc/loadavg: 2.08 2.02 2.01 3/93 32401
/proc/meminfo: memFree=1285224/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915468 CPUtime=1.3
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 8359 0 1 0 115 15 0 0 25 0 8 0 270642877 937439232 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32393/statm: 228867 8097 2479 14 0 215337 0
[pid=32393/tid=32395] ppid=32391 vsize=915468 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 270642881 937439232 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915468 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937439232 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915468 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937439232 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915468 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937439232 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915468 CPUtime=0.15
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270642885 937439232 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915468 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937439232 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915468 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937439232 8097 18446744073709551615 134512640 134570532 4294956464 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) 915468
[startup+2.96945 s]
/proc/loadavg: 2.08 2.02 2.01 3/93 32401
/proc/meminfo: memFree=1285096/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=2.93
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9165 0 1 0 260 33 0 0 25 0 8 0 270642877 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32393/statm: 228866 8900 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.21
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 270642885 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.25975 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 32401
/proc/meminfo: memFree=1281960/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=6.18
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9198 0 1 0 585 33 0 0 25 0 8 0 270642877 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32393/statm: 228866 8931 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 17 0 8 0 270642881 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.24
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 270642885 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.7373 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 32401
/proc/meminfo: memFree=1281904/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=12.6
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9209 0 1 0 1227 33 0 0 25 0 8 0 270642877 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32393/statm: 228866 8941 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 270642885 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464
[startup+25.6065 s]
/proc/loadavg: 2.06 2.01 2.00 3/93 32401
/proc/meminfo: memFree=1281968/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=25.37
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9216 0 1 0 2504 33 0 0 25 0 8 0 270642877 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32393/statm: 228866 8947 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 406 0 0 0 24 1 0 0 15 0 8 0 270642885 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8947 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+51.2239 s]
/proc/loadavg: 1.96 2.00 2.00 3/93 32450
/proc/meminfo: memFree=1279848/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=50.8
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9221 0 1 0 5046 34 0 0 25 0 8 0 270642877 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852778 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32393/statm: 228866 8952 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 406 0 0 0 24 1 0 0 15 0 8 0 270642885 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 915464
[startup+102.443 s]
/proc/loadavg: 1.98 2.00 2.00 3/93 32450
/proc/meminfo: memFree=1279976/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=101.8
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9230 0 1 0 10145 35 0 0 25 0 8 0 270642877 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852563 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32393/statm: 228866 8960 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 406 0 0 0 24 1 0 0 15 0 8 0 270642885 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8960 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+162.534 s]
/proc/loadavg: 1.99 2.00 2.00 3/99 32588
/proc/meminfo: memFree=1278632/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=161.5
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9234 0 1 0 16110 40 0 0 25 0 8 0 270642877 937435136 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2015.73
Current children cumulated vsize (KiB) 915464
[startup+2084.93 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32714
/proc/meminfo: memFree=1083000/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=2075.76
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9250 0 1 0 207526 50 0 0 25 0 8 0 270642877 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32393/statm: 228866 8978 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 270642885 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2075.76
Current children cumulated vsize (KiB) 915464
[startup+2145.03 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32714
/proc/meminfo: memFree=1083000/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=2135.78
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9250 0 1 0 213528 50 0 0 25 0 8 0 270642877 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32393/statm: 228866 8978 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 270642885 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2135.78
Current children cumulated vsize (KiB) 915464
[startup+2205.03 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32714
/proc/meminfo: memFree=1083000/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=2195.73
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9253 0 1 0 219523 50 0 0 25 0 8 0 270642877 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747473 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32393/statm: 228866 8981 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2195.73
Current children cumulated vsize (KiB) 915464
[startup+2265.13 s]
/proc/loadavg: 2.06 2.01 2.00 3/100 32714
/proc/meminfo: memFree=1082936/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=2255.78
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9253 0 1 0 225527 51 0 0 25 0 8 0 270642877 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843734 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32393/statm: 228866 8981 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2255.78
Current children cumulated vsize (KiB) 915464
[startup+2325.23 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 32714
/proc/meminfo: memFree=1082936/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=2315.81
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9253 0 1 0 231530 51 0 0 25 0 8 0 270642877 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852685 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32393/statm: 228866 8981 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2315.81
Current children cumulated vsize (KiB) 915464
[startup+2385.33 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 32714
/proc/meminfo: memFree=1082936/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=2375.85
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9253 0 1 0 237534 51 0 0 25 0 8 0 270642877 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846260 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32393/statm: 228866 8981 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2375.85
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2409.51 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 32714
/proc/meminfo: memFree=1082936/2055920 swapFree=4191880/4192956
[pid=32393] ppid=32391 vsize=915464 CPUtime=2400.01
/proc/32393/stat : 32393 (java) R 32391 32393 31535 0 -1 0 9253 0 1 0 239950 51 0 0 25 0 8 0 270642877 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855737 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32393/statm: 228866 8981 2532 14 0 215336 0
[pid=32393/tid=32395] ppid=32391 vsize=915464 CPUtime=0.03
/proc/32393/task/32395/stat : 32395 (java) S 32391 32393 31535 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 270642881 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32396] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32396/stat : 32396 (java) S 32391 32393 31535 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270642882 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32397] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32397/stat : 32397 (java) S 32391 32393 31535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270642882 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32398] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32398/stat : 32398 (java) S 32391 32393 31535 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32399] ppid=32391 vsize=915464 CPUtime=0.25
/proc/32393/task/32399/stat : 32399 (java) S 32391 32393 31535 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32393/tid=32400] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32400/stat : 32400 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32393/tid=32401] ppid=32391 vsize=915464 CPUtime=0
/proc/32393/task/32401/stat : 32401 (java) S 32391 32393 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270642885 937435136 8981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2409.56
CPU time (s): 2400.06
CPU user time (s): 2399.54
CPU system time (s): 0.52192
CPU usage (%): 99.6058
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.54
system time used= 0.52192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9276
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= 49942
involuntary context switches= 73362
runsolver used 3.2695 s user time and 7.40187 s system time
The end
Begin job on node72 on Fri Jan 19 15:59:01 UTC 2007
IDJOB= 275455
IDBENCH= 3897
IDSOLVER= 68
FILE ID= node72/275455-1169222340
PBS_JOBID= 3589108
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-32_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275455-1169222340/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-275455-1169222340 -o ROOT/results/node72/solver-275455-1169222340 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275455-1169222340/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dbb2c3eaa0695db4cabaa1ea815dabe1
RANDOM SEED= 277769770
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.223
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.223
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: 1308352 kB
Buffers: 56744 kB
Cached: 558932 kB
SwapCached: 268 kB
Active: 278664 kB
Inactive: 388896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1308352 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 70688 kB
Slab: 64888 kB
Committed_AS: 4519000 kB
PageTables: 2232 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= 66553 MiB
End job on node72 on Fri Jan 19 16:39:10 UTC 2007