0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=epfc.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/276193-1169232915/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.49 => wckTime=0.099 cpuTime=0.1 mem=6M887
0.49
0.49 relations being loaded...
0.58
0.58 constraints being loaded...
0.70 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=864 maxDegree=23
0.70 maxArity=2
0.70 => wckTime=0.318 cpuTime=0.24 mem=13M724
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.408 cpuTime=0.28 mem=6M128
0.80
0.80 s SATISFIABLE
0.80 o 220
0.80 c 56
0.80 o 228
0.80 c 48
0.80 o 236
0.80 c 40
0.80 o 240
0.80 c 36
0.80 o 244
0.80 c 32
0.80 o 245
0.80 c 31
0.81 o 246
0.81 c 30
0.81 o 248
0.81 c 28
0.81 o 249
0.81 c 27
0.81 o 251
0.81 c 25
0.81 o 254
0.81 c 22
0.81 o 255
0.81 c 21
0.81 o 256
0.81 c 20
0.81 o 258
0.81 c 18
0.82 o 260
0.82 c 16
0.82 o 261
0.82 c 15
0.82 o 263
0.82 c 13
0.82 o 264
0.82 c 12
0.83 o 266
0.83 c 10
0.83 o 268
0.83 c 8
0.84 o 269
0.84 c 7
0.84 o 270
0.84 c 6
0.85 o 271
0.85 c 5
0.92 o 272
0.92 c 4
0.92 o 273
0.92 c 3
1.29 o 274
1.29 c 2
4.01
4.01 search
4.01 run=0 nbConstraintChecks=22889807 nbAssignments=10000
4.01 => wckTime=3.219 cpuTime=3.16 mem=6M128
7.26
7.26 search
7.26 run=1 nbConstraintChecks=46907859 nbAssignments=20000
7.26 => wckTime=6.467 cpuTime=6.38 mem=6M128
10.45
10.45 search
10.45 run=2 nbConstraintChecks=70252070 nbAssignments=30000
10.45 => wckTime=9.656 cpuTime=9.54 mem=6M128
11.92 o 275
11.92 c 1
11.92
11.92 search
11.92 run=3 nbConstraintChecks=81037379 nbAssignments=34567
11.92 => wckTime=11.128 cpuTime=11.0 mem=6M128
11.92
11.92 global
11.92 nbConstraintChecks=81037379 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
11.92 solvingWckTime=11.126 solvingCpuTime=11.0 expiredTime=no totalExploration=no nbFoundSolutions=0
11.92 globalCpuTime=11.33
11.92 => wckTime=11.537 cpuTime=11.28 mem=6M128
11.92
11.92 solver IterativeSystematicSolver being built...
12.05 => wckTime=11.667 cpuTime=11.39 mem=17M69
12.12
12.12 preprocessing
12.12 nbConstraintChecks=73791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
12.12 detectedInconsistency=no
12.12 => wckTime=0.066 cpuTime=0.04 mem=17M69
12.16
12.16 search
12.16 run=0 nbConstraintChecks=146012 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40
12.16 nbFailedAssignments=25 nbBacktracks=10 nbVisitedNodes=75 nbRestartNogoods=0
12.16 => wckTime=0.111 cpuTime=0.08 mem=17M69
12.23
12.23 search
12.23 run=1 nbConstraintChecks=386291 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=104
12.23 nbFailedAssignments=68 nbBacktracks=25 nbVisitedNodes=197 nbRestartNogoods=14
12.23 => wckTime=0.178 cpuTime=0.14 mem=17M69
12.30
12.30 search
12.30 run=2 nbConstraintChecks=688373 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=182
12.30 nbFailedAssignments=119 nbBacktracks=47 nbVisitedNodes=347 nbRestartNogoods=21
12.30 => wckTime=0.244 cpuTime=0.2 mem=17M69
12.40
12.40 search
12.40 run=3 nbConstraintChecks=1142362 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=301
12.40 nbFailedAssignments=200 nbBacktracks=80 nbVisitedNodes=580 nbRestartNogoods=27
12.40 => wckTime=0.349 cpuTime=0.3 mem=17M69
12.56
12.56 search
12.56 run=4 nbConstraintChecks=1897596 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=485
12.56 nbFailedAssignments=329 nbBacktracks=130 nbVisitedNodes=943 nbRestartNogoods=34
12.56 => wckTime=0.508 cpuTime=0.45 mem=17M69
12.74
12.74 search
12.74 run=5 nbConstraintChecks=2797335 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=706
12.74 nbFailedAssignments=470 nbBacktracks=205 nbVisitedNodes=1380 nbRestartNogoods=53
12.74 => wckTime=0.686 cpuTime=0.63 mem=17M69
13.06
13.06 search
13.06 run=6 nbConstraintChecks=4362089 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1109
13.06 nbFailedAssignments=755 nbBacktracks=318 nbVisitedNodes=2181 nbRestartNogoods=68
13.06 => wckTime=1.011 cpuTime=0.95 mem=17M69
13.54
13.54 search
13.54 run=7 nbConstraintChecks=6638436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1677
13.54 nbFailedAssignments=1149 nbBacktracks=488 nbVisitedNodes=3308 nbRestartNogoods=90
13.54 => wckTime=1.483 cpuTime=1.4 mem=17M69
14.21
14.21 search
14.21 run=8 nbConstraintChecks=10067895 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2539
14.22 nbFailedAssignments=1750 nbBacktracks=744 nbVisitedNodes=5022 nbRestartNogoods=126
14.22 => wckTime=2.162 cpuTime=2.06 mem=17M69
15.25
15.25 search
15.25 run=9 nbConstraintChecks=15354676 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3864
15.25 nbFailedAssignments=2686 nbBacktracks=1128 nbVisitedNodes=7658 nbRestartNogoods=149
15.25 => wckTime=3.193 cpuTime=3.08 mem=17M69
16.64
16.64 search
16.64 run=10 nbConstraintChecks=22419192 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5745
16.64 nbFailedAssignments=3986 nbBacktracks=1704 nbVisitedNodes=11397 nbRestartNogoods=168
16.64 => wckTime=4.588 cpuTime=4.46 mem=17M69
18.88
18.88 search
18.88 run=11 nbConstraintChecks=34047298 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8547
18.88 nbFailedAssignments=5919 nbBacktracks=2569 nbVisitedNodes=16959 nbRestartNogoods=188
18.88 => wckTime=6.828 cpuTime=6.68 mem=17M69
22.03
22.03 search
22.03 run=12 nbConstraintChecks=50438050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12630
22.03 nbFailedAssignments=8700 nbBacktracks=3866 nbVisitedNodes=25051 nbRestartNogoods=212
22.03 => wckTime=9.978 cpuTime=9.8 mem=17M69
26.58
26.58 search
26.58 run=13 nbConstraintChecks=74314299 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18164
26.58 nbFailedAssignments=12283 nbBacktracks=5812 nbVisitedNodes=35910 nbRestartNogoods=225
26.58 => wckTime=14.526 cpuTime=14.31 mem=17M69
32.61
32.61 search
32.61 run=14 nbConstraintChecks=105199973 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25869
32.61 nbFailedAssignments=17064 nbBacktracks=8731 nbVisitedNodes=50691 nbRestartNogoods=254
32.61 => wckTime=20.559 cpuTime=20.29 mem=17M69
41.13
41.13 search
41.13 run=15 nbConstraintChecks=149597256 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35966
41.13 nbFailedAssignments=22778 nbBacktracks=13109 nbVisitedNodes=69124 nbRestartNogoods=286
41.13 => wckTime=29.08 cpuTime=28.73 mem=17M69
52.85
52.85 search
52.85 run=16 nbConstraintChecks=210480366 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49942
52.85 nbFailedAssignments=30182 nbBacktracks=19677 nbVisitedNodes=93531 nbRestartNogoods=308
52.85 => wckTime=40.793 cpuTime=40.34 mem=17M69
70.68
70.68 search
70.68 run=17 nbConstraintChecks=303810879 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71216
70.68 nbFailedAssignments=41600 nbBacktracks=29529 nbVisitedNodes=130744 nbRestartNogoods=335
70.68 => wckTime=58.627 cpuTime=58.0 mem=17M69
97.07
97.07 search
97.07 run=18 nbConstraintChecks=441075669 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=101912
97.07 nbFailedAssignments=57513 nbBacktracks=44307 nbVisitedNodes=183348 nbRestartNogoods=369
97.07 => wckTime=85.015 cpuTime=84.15 mem=17M69
135.22
135.22 search
135.22 run=19 nbConstraintChecks=639520396 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=147732
135.22 nbFailedAssignments=81162 nbBacktracks=66475 nbVisitedNodes=261430 nbRestartNogoods=384
135.22 => wckTime=123.171 cpuTime=121.95 mem=17M69
192.56
192.56 search
192.56 run=20 nbConstraintChecks=939442101 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=215564
192.56 nbFailedAssignments=115737 nbBacktracks=99727 nbVisitedNodes=377021 nbRestartNogoods=406
192.56 => wckTime=180.506 cpuTime=178.76 mem=17M69
279.95
279.95 search
279.95 run=21 nbConstraintChecks=1394808428 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=316842
279.95 nbFailedAssignments=167131 nbBacktracks=149605 nbVisitedNodes=549198 nbRestartNogoods=441
279.95 => wckTime=267.897 cpuTime=265.35 mem=17M69
409.03
409.03 search
409.03 run=22 nbConstraintChecks=2065230782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=469510
409.03 nbFailedAssignments=244976 nbBacktracks=224423 nbVisitedNodes=809988 nbRestartNogoods=475
409.03 => wckTime=396.977 cpuTime=393.1 mem=17M69
600.86
600.86 search
600.86 run=23 nbConstraintChecks=3067702449 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=698986
600.86 nbFailedAssignments=362220 nbBacktracks=336651 nbVisitedNodes=1201107 nbRestartNogoods=520
600.86 => wckTime=588.804 cpuTime=583.15 mem=17M69
895.77
895.77 search
895.77 run=24 nbConstraintChecks=4603708079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1041471
895.77 nbFailedAssignments=536359 nbBacktracks=504993 nbVisitedNodes=1784308 nbRestartNogoods=552
895.77 => wckTime=883.719 cpuTime=875.37 mem=17M69
1320.09
1320.09 search
1320.09 run=25 nbConstraintChecks=6837960160 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1550220
1320.09 nbFailedAssignments=792594 nbBacktracks=757504 nbVisitedNodes=2645724 nbRestartNogoods=584
1320.09 => wckTime=1308.036 cpuTime=1295.95 mem=17M69
1918.59
1918.59 search
1918.59 run=26 nbConstraintChecks=10244352005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1918.59 nbAssignments=2316677 nbFailedAssignments=1180279 nbBacktracks=1136271 nbVisitedNodes=3946982
1918.59 nbRestartNogoods=659
1918.59 => wckTime=1906.533 cpuTime=1893.74 mem=17M69
2413.45 v 8 18 6 23 2 9 11 3 4 2 14 16 21 19 23 16 13 20 8 22 22 5 11 15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-276193-1169232915 -o ROOT/results/node13/solver-276193-1169232915 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276193-1169232915/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.93 2.00 1.99 4/94 15352
/proc/meminfo: memFree=1373832/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=9748 CPUtime=0
/proc/15351/stat : 15351 (java) D 15349 15351 15158 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 271686521 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11879204 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/15351/statm: 2437 412 333 14 0 1140 0
[startup+0.103395 s]
/proc/loadavg: 1.93 2.00 1.99 4/94 15352
/proc/meminfo: memFree=1373832/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=907808 CPUtime=0.06
/proc/15351/stat : 15351 (java) D 15349 15351 15158 0 -1 0 2507 0 1 0 5 1 0 0 17 0 4 0 271686521 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/15351/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.511451 s]
/proc/loadavg: 1.93 2.00 1.99 4/94 15352
/proc/meminfo: memFree=1373832/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915332 CPUtime=0.42
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 6157 0 1 0 38 4 0 0 18 0 8 0 271686521 937299968 5896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15351/statm: 228833 5896 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332
[startup+1.33256 s]
/proc/loadavg: 1.93 2.00 1.99 3/101 15359
/proc/meminfo: memFree=1350608/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=1.22
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 8454 0 1 0 111 11 0 0 24 0 8 0 271686521 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073340853 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15351/statm: 228866 8192 2479 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.14
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 271686536 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915464
[startup+2.97278 s]
/proc/loadavg: 1.93 2.00 1.99 3/101 15359
/proc/meminfo: memFree=1350608/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=2.86
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 8455 0 1 0 252 34 0 0 25 0 8 0 271686521 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073737890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15351/statm: 228866 8192 2479 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.14
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 271686536 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915464
[startup+6.1782 s]
/proc/loadavg: 1.94 2.00 1.99 3/101 15359
/proc/meminfo: memFree=1350480/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=6.03
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 8457 0 1 0 533 70 0 0 25 0 8 0 271686521 937435136 8194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073737793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15351/statm: 228866 8194 2479 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.15
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 271686536 937435136 8194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 915464
[startup+12.6481 s]
/proc/loadavg: 1.94 2.00 1.99 3/101 15359
/proc/meminfo: memFree=1347992/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=12.43
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9149 0 1 0 1102 141 0 0 25 0 8 0 271686521 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15351/statm: 228866 8885 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.21
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 271686536 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 915464
[startup+25.5038 s]
/proc/loadavg: 1.95 2.00 1.99 3/101 15359
/proc/meminfo: memFree=1347864/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=25.18
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9187 0 1 0 2376 142 0 0 25 0 8 0 271686521 937435136 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073897629 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15351/statm: 228866 8920 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.25
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 405 0 0 0 25 0 0 0 15 0 8 0 271686536 937435136 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 915464
[startup+51.1142 s]
/proc/loadavg: 1.97 2.00 1.99 3/101 15359
/proc/meminfo: memFree=1347864/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=50.55
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9195 0 1 0 4913 142 0 0 25 0 8 0 271686521 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15351/statm: 228866 8928 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.25
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 406 0 0 0 25 0 0 0 16 0 8 0 271686536 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 915464
[startup+102.326 s]
/proc/loadavg: 1.98 2.00 1.99 3/101 15359
/proc/meminfo: memFree=1347800/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=101.29
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9205 0 1 0 9987 142 0 0 25 0 8 0 271686521 937435136 8937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15351/statm: 228866 8937 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.25
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 407 0 0 0 25 0 0 0 16 0 8 0 271686536 937435136 8937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8937 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 915464
[startup+162.396 s]
/proc/loadavg: 1.99 2.00 1.99 3/101 15359
/proc/meminfo: memFree=1347864/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=160.82
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9207 0 1 0 15939 143 0 0 25 0 8 0 271686521 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2011.48
Current children cumulated vsize (KiB) 915464
[startup+2084.59 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 15813
/proc/meminfo: memFree=1345384/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=2071.51
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9227 0 1 0 206994 157 0 0 25 0 8 0 271686521 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15351/statm: 228866 8958 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.25
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 408 0 0 0 25 0 0 0 16 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2071.51
Current children cumulated vsize (KiB) 915464
[startup+2144.69 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 15813
/proc/meminfo: memFree=1345384/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=2131.55
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9227 0 1 0 212998 157 0 0 25 0 8 0 271686521 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15351/statm: 228866 8958 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.25
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 408 0 0 0 25 0 0 0 16 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2131.55
Current children cumulated vsize (KiB) 915464
[startup+2204.78 s]
/proc/loadavg: 2.07 2.03 2.00 3/101 15813
/proc/meminfo: memFree=1345320/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=2191.56
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9227 0 1 0 218999 157 0 0 25 0 8 0 271686521 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898237 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15351/statm: 228866 8958 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.25
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 408 0 0 0 25 0 0 0 16 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2191.56
Current children cumulated vsize (KiB) 915464
[startup+2264.87 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 15813
/proc/meminfo: memFree=1345384/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=2251.59
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9227 0 1 0 225002 157 0 0 25 0 8 0 271686521 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15351/statm: 228866 8958 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.25
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 408 0 0 0 25 0 0 0 16 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2251.59
Current children cumulated vsize (KiB) 915464
[startup+2324.96 s]
/proc/loadavg: 2.07 2.03 2.00 3/101 15813
/proc/meminfo: memFree=1345384/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=2311.63
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9227 0 1 0 231006 157 0 0 25 0 8 0 271686521 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15351/statm: 228866 8958 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.25
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 408 0 0 0 25 0 0 0 16 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2311.63
Current children cumulated vsize (KiB) 915464
[startup+2385.05 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 15813
/proc/meminfo: memFree=1345320/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=2371.64
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9227 0 1 0 237007 157 0 0 25 0 8 0 271686521 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15351/statm: 228866 8958 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.25
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 408 0 0 0 25 0 0 0 16 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2371.64
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.44 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 15813
/proc/meminfo: memFree=1345320/2055920 swapFree=4169400/4192956
[pid=15351] ppid=15349 vsize=915464 CPUtime=2400.02
/proc/15351/stat : 15351 (java) R 15349 15351 15158 0 -1 0 9227 0 1 0 239844 158 0 0 25 0 8 0 271686521 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15351/statm: 228866 8958 2532 14 0 215336 0
[pid=15351/tid=15353] ppid=15349 vsize=915464 CPUtime=0.03
/proc/15351/task/15353/stat : 15353 (java) S 15349 15351 15158 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271686524 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15354] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15354/stat : 15354 (java) S 15349 15351 15158 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15355] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15355/stat : 15355 (java) S 15349 15351 15158 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271686525 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15356] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15356/stat : 15356 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15357] ppid=15349 vsize=915464 CPUtime=0.25
/proc/15351/task/15357/stat : 15357 (java) S 15349 15351 15158 0 -1 64 408 0 0 0 25 0 0 0 16 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15351/tid=15358] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15358/stat : 15358 (java) S 15349 15351 15158 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15351/tid=15359] ppid=15349 vsize=915464 CPUtime=0
/proc/15351/task/15359/stat : 15359 (java) S 15349 15351 15158 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271686536 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.46
CPU time (s): 2400.04
CPU user time (s): 2398.45
CPU system time (s): 1.58676
CPU usage (%): 99.444
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.45
system time used= 1.58676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9249
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= 49979
involuntary context switches= 104276
runsolver used 3.18952 s user time and 7.53585 s system time
The end
Begin job on node13 on Fri Jan 19 18:55:15 UTC 2007
IDJOB= 276193
IDBENCH= 5463
IDSOLVER= 68
FILE ID= node13/276193-1169232915
PBS_JOBID= 3588984
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-51021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276193-1169232915/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-276193-1169232915 -o ROOT/results/node13/solver-276193-1169232915 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276193-1169232915/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e8a60eefe387b2ae6ebd087b125352fe
RANDOM SEED= 270886869
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.247
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.247
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: 1374248 kB
Buffers: 59128 kB
Cached: 505580 kB
SwapCached: 3092 kB
Active: 289216 kB
Inactive: 315432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1374248 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 1972 kB
Writeback: 0 kB
Mapped: 55512 kB
Slab: 61556 kB
Committed_AS: 7449632 kB
PageTables: 2488 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= 66562 MiB
End job on node13 on Fri Jan 19 19:35:29 UTC 2007