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/280360-1169305158/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.63
0.63 constraints being loaded...
0.73 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.73 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4 maxArity=10
0.73 => wckTime=0.419 cpuTime=0.37 mem=38M338
0.80
0.80 solver LocalSearchSolver being built...
0.84 => wckTime=0.527 cpuTime=0.42 mem=10M982
0.84
0.84 s SATISFIABLE
0.84 o 0
0.84 c 5
6.57
6.57 search
6.57 run=0 nbConstraintChecks=4300041 nbAssignments=10000
6.57 => wckTime=5.729 cpuTime=5.67 mem=10M982
10.03 o 1
10.03 c 4
12.10
12.10 search
12.10 run=1 nbConstraintChecks=8612324 nbAssignments=20000
12.10 => wckTime=11.26 cpuTime=11.15 mem=10M982
17.46
17.46 search
17.46 run=2 nbConstraintChecks=12944321 nbAssignments=30000
17.46 => wckTime=16.625 cpuTime=16.46 mem=10M982
22.87
22.87 search
22.87 run=3 nbConstraintChecks=17276326 nbAssignments=40000
22.87 => wckTime=22.032 cpuTime=21.82 mem=10M982
28.21
28.21 search
28.21 run=4 nbConstraintChecks=21591771 nbAssignments=50000
28.21 => wckTime=27.371 cpuTime=27.12 mem=10M982
33.47
33.47 search
33.47 run=5 nbConstraintChecks=25891768 nbAssignments=60000
33.47 => wckTime=32.628 cpuTime=32.32 mem=10M982
38.79
38.79 search
38.79 run=6 nbConstraintChecks=30197062 nbAssignments=70000
38.79 => wckTime=37.948 cpuTime=37.59 mem=10M982
40.31
40.31 search
40.31 run=7 nbConstraintChecks=31424633 nbAssignments=72839
40.31 => wckTime=39.469 cpuTime=39.11 mem=10M982
40.31
40.31 global
40.31 nbConstraintChecks=31424633 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.31 solvingWckTime=39.468 solvingCpuTime=39.1 expiredTime=no totalExploration=no nbFoundSolutions=0
40.31 globalCpuTime=39.57
40.31 => wckTime=39.997 cpuTime=39.52 mem=10M982
40.31
40.31 solver IterativeSystematicSolver being built...
40.45 => wckTime=40.138 cpuTime=39.62 mem=21M787
40.72
40.72 preprocessing
40.72 nbConstraintChecks=202297 nbValidityChecks=212696 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.72 nbRemovedValues=0 detectedInconsistency=no
40.72 => wckTime=0.265 cpuTime=0.24 mem=21M787
40.86 o 2
40.86 c 3
40.90
40.90 search
40.90 run=0 nbConstraintChecks=154103 nbValidityChecks=161010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.90 nbAssignments=25 nbFailedAssignments=2 nbBacktracks=17 nbVisitedNodes=35 nbRestartNogoods=0
40.90 => wckTime=0.451 cpuTime=0.42 mem=22M750
41.09
41.09 search
41.09 run=1 nbConstraintChecks=295094 nbValidityChecks=326436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.09 nbAssignments=77 nbFailedAssignments=32 nbBacktracks=33 nbVisitedNodes=129 nbRestartNogoods=2
41.09 => wckTime=0.634 cpuTime=0.59 mem=22M750
41.49
41.49 search
41.49 run=2 nbConstraintChecks=645243 nbValidityChecks=701066 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.49 nbAssignments=130 nbFailedAssignments=57 nbBacktracks=55 nbVisitedNodes=219 nbRestartNogoods=7
41.49 => wckTime=1.043 cpuTime=0.99 mem=22M750
41.94
41.94 search
41.94 run=3 nbConstraintChecks=993168 nbValidityChecks=1100812 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.94 nbAssignments=232 nbFailedAssignments=118 nbBacktracks=89 nbVisitedNodes=401 nbRestartNogoods=13
41.94 => wckTime=1.491 cpuTime=1.43 mem=22M750
42.18
42.18 search
42.18 run=4 nbConstraintChecks=1177631 nbValidityChecks=1342558 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.18 nbAssignments=357 nbFailedAssignments=186 nbBacktracks=140 nbVisitedNodes=620 nbRestartNogoods=19
42.18 => wckTime=1.727 cpuTime=1.66 mem=22M750
42.86
42.86 search
42.86 run=5 nbConstraintChecks=1739284 nbValidityChecks=2016572 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.86 nbAssignments=580 nbFailedAssignments=328 nbBacktracks=216 nbVisitedNodes=1042 nbRestartNogoods=26
42.86 => wckTime=2.407 cpuTime=2.34 mem=22M750
44.75
44.75 search
44.75 run=6 nbConstraintChecks=3379544 nbValidityChecks=3789606 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.75 nbAssignments=857 nbFailedAssignments=485 nbBacktracks=329 nbVisitedNodes=1543 nbRestartNogoods=34
44.75 => wckTime=4.303 cpuTime=4.21 mem=22M750
45.69
45.69 search
45.69 run=7 nbConstraintChecks=4094389 nbValidityChecks=4800657 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.69 nbAssignments=1425 nbFailedAssignments=877 nbBacktracks=499 nbVisitedNodes=2617 nbRestartNogoods=44
45.69 => wckTime=5.245 cpuTime=5.13 mem=22M750
52.00
52.00 search
52.00 run=8 nbConstraintChecks=9586689 nbValidityChecks=10630778 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
52.00 nbAssignments=2130 nbFailedAssignments=1321 nbBacktracks=755 nbVisitedNodes=3939 nbRestartNogoods=54
52.00 => wckTime=11.549 cpuTime=11.36 mem=22M750
53.79
53.79 search
53.79 run=9 nbConstraintChecks=10988861 nbValidityChecks=12589339 nbPropagations=0 nbRevisions=0
53.79 nbUselessRevisions=0 nbAssignments=3230 nbFailedAssignments=2029 nbBacktracks=1140 nbVisitedNodes=6020
53.79 nbRestartNogoods=65
53.79 => wckTime=13.337 cpuTime=13.12 mem=22M750
64.86
64.86 search
64.86 run=10 nbConstraintChecks=20452079 nbValidityChecks=22938406 nbPropagations=0 nbRevisions=0
64.86 nbUselessRevisions=0 nbAssignments=4952 nbFailedAssignments=3170 nbBacktracks=1716 nbVisitedNodes=9270
64.86 nbRestartNogoods=82
64.86 => wckTime=24.413 cpuTime=24.09 mem=22M750
68.75
68.75 search
68.75 run=11 nbConstraintChecks=23490421 nbValidityChecks=27177922 nbPropagations=0 nbRevisions=0
68.75 nbUselessRevisions=0 nbAssignments=7383 nbFailedAssignments=4732 nbBacktracks=2580 nbVisitedNodes=13886
68.75 nbRestartNogoods=97
68.75 => wckTime=28.297 cpuTime=27.95 mem=22M750
88.69
88.69 search
88.69 run=12 nbConstraintChecks=41072389 nbValidityChecks=46769640 nbPropagations=0 nbRevisions=0
88.69 nbUselessRevisions=0 nbAssignments=11428 nbFailedAssignments=7475 nbBacktracks=3877 nbVisitedNodes=21583
88.69 nbRestartNogoods=119
88.69 => wckTime=48.24 cpuTime=47.71 mem=22M750
99.27
99.27 search
99.27 run=13 nbConstraintChecks=49600378 nbValidityChecks=58200724 nbPropagations=0 nbRevisions=0
99.27 nbUselessRevisions=0 nbAssignments=17169 nbFailedAssignments=11265 nbBacktracks=5823 nbVisitedNodes=32551
99.27 nbRestartNogoods=136
99.27 => wckTime=58.821 cpuTime=58.2 mem=22M750
124.23
124.23 search
124.23 run=14 nbConstraintChecks=69863504 nbValidityChecks=82777892 nbPropagations=0 nbRevisions=0
124.23 nbUselessRevisions=0 nbAssignments=25735 nbFailedAssignments=16907 nbBacktracks=8742 nbVisitedNodes=48821
124.23 nbRestartNogoods=152
124.23 => wckTime=83.784 cpuTime=82.85 mem=22M750
147.65
147.65 search
147.65 run=15 nbConstraintChecks=88593453 nbValidityChecks=107989431 nbPropagations=0 nbRevisions=0
147.65 nbUselessRevisions=0 nbAssignments=38575 nbFailedAssignments=25365 nbBacktracks=13120 nbVisitedNodes=73601
147.65 nbRestartNogoods=172
147.65 => wckTime=107.204 cpuTime=106.0 mem=22M750
232.95
232.95 search
232.95 run=16 nbConstraintChecks=162915968 nbValidityChecks=191851305 nbPropagations=0 nbRevisions=0
232.95 nbUselessRevisions=0 nbAssignments=58110 nbFailedAssignments=38325 nbBacktracks=19689 nbVisitedNodes=110851
232.95 nbRestartNogoods=192
232.95 => wckTime=192.504 cpuTime=190.54 mem=22M750
281.81
281.81 search
281.81 run=17 nbConstraintChecks=206377311 nbValidityChecks=247409929 nbPropagations=0 nbRevisions=0
281.81 nbUselessRevisions=0 nbAssignments=83654 nbFailedAssignments=54012 nbBacktracks=29541 nbVisitedNodes=159267
281.81 nbRestartNogoods=213
281.81 => wckTime=241.362 cpuTime=239.35 mem=22M750
434.23
434.23 search
434.23 run=18 nbConstraintChecks=349653800 nbValidityChecks=413910536 nbPropagations=0 nbRevisions=0
434.23 nbUselessRevisions=0 nbAssignments=129096 nbFailedAssignments=84670 nbBacktracks=44319 nbVisitedNodes=247073
434.23 nbRestartNogoods=239
434.23 => wckTime=393.777 cpuTime=391.59 mem=22M750
722.57
722.57 search
722.57 run=19 nbConstraintChecks=622979056 nbValidityChecks=719110474 nbPropagations=0 nbRevisions=0
722.58 nbUselessRevisions=0 nbAssignments=193892 nbFailedAssignments=127292 nbBacktracks=66487 nbVisitedNodes=370895
722.58 nbRestartNogoods=266
722.58 => wckTime=682.125 cpuTime=679.66 mem=22M750
887.46
887.46 search
887.46 run=20 nbConstraintChecks=766943304 nbValidityChecks=912150449 nbPropagations=0 nbRevisions=0
887.46 nbUselessRevisions=0 nbAssignments=291231 nbFailedAssignments=191373 nbBacktracks=99740 nbVisitedNodes=557983
887.46 nbRestartNogoods=288
887.46 => wckTime=847.013 cpuTime=844.36 mem=22M750
1139.71 o 3
1139.71 c 2
1227.50
1227.50 search
1227.50 run=21 nbConstraintChecks=1072943758 nbValidityChecks=1290301760 nbPropagations=0 nbRevisions=0
1227.50 nbUselessRevisions=0 nbAssignments=430968 nbFailedAssignments=281228 nbBacktracks=149619 nbVisitedNodes=824962
1227.50 nbRestartNogoods=320
1227.50 => wckTime=1187.053 cpuTime=1184.07 mem=22M750
1880.42
1880.42 search
1880.42 run=22 nbConstraintChecks=1671850579 nbValidityChecks=2012484032 nbPropagations=0 nbRevisions=0
1880.42 nbUselessRevisions=0 nbAssignments=638997 nbFailedAssignments=414434 nbBacktracks=224437 nbVisitedNodes=1222201
1880.42 nbRestartNogoods=329
1880.42 => wckTime=1839.966 cpuTime=1836.28 mem=22M750
2404.53 v 2 3 0 8 5 0 7 0 7 3 9 4 2 1 9 1 5 2 6 5
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-280360-1169305158 -o ROOT/results/node7/solver-280360-1169305158 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280360-1169305158/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.02 2.00 2.00 2/86 28649
/proc/meminfo: memFree=1323856/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=18540 CPUtime=0
/proc/28648/stat : 28648 (runsolver) R 28646 28648 28460 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 278911286 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28648/statm: 4635 279 244 17 0 2626 0
[startup+0.102342 s]
/proc/loadavg: 2.02 2.00 2.00 2/86 28649
/proc/meminfo: memFree=1323856/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=914988 CPUtime=0.08
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 2992 0 1 0 7 1 0 0 18 0 8 0 278911286 936947712 2738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476625 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228747 2738 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510385 s]
/proc/loadavg: 2.02 2.00 2.00 2/86 28649
/proc/meminfo: memFree=1323856/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915332 CPUtime=0.49
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 8046 0 1 0 45 4 0 0 18 0 8 0 278911286 937299968 7785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228833 7785 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33147 s]
/proc/loadavg: 2.02 2.00 2.00 3/93 28656
/proc/meminfo: memFree=1271832/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=1.3
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15679 0 1 0 119 11 0 0 24 0 8 0 278911286 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228859 15417 2480 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.1
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 278911294 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15417 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) 915436
[startup+2.97464 s]
/proc/loadavg: 2.02 2.00 2.00 3/93 28656
/proc/meminfo: memFree=1271768/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=2.93
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15683 0 1 0 270 23 0 0 25 0 8 0 278911286 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228859 15420 2480 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.1
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 322 0 0 0 10 0 0 0 16 0 8 0 278911294 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15420 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) 915436
[startup+6.17798 s]
/proc/loadavg: 2.02 2.00 2.00 3/93 28656
/proc/meminfo: memFree=1271768/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=6.1
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15683 0 1 0 565 45 0 0 25 0 8 0 278911286 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228859 15420 2480 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.1
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 322 0 0 0 10 0 0 0 16 0 8 0 278911294 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915436
[startup+12.6467 s]
/proc/loadavg: 2.02 2.00 2.00 3/93 28656
/proc/meminfo: memFree=1271704/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=12.52
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15687 0 1 0 1163 89 0 0 25 0 8 0 278911286 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228859 15424 2480 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.11
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 278911294 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915436
[startup+25.501 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 28656
/proc/meminfo: memFree=1271768/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=25.27
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15687 0 1 0 2340 187 0 0 25 0 8 0 278911286 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228859 15424 2480 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.11
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 278911294 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915436
[startup+51.1197 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 28656
/proc/meminfo: memFree=1271448/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=50.64
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15851 0 1 0 4762 302 0 0 25 0 8 0 278911286 937406464 15581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228859 15581 2535 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.23
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 382 0 0 0 22 1 0 0 16 0 8 0 278911294 937406464 15581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915436
[startup+102.355 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 28656
/proc/meminfo: memFree=1271512/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=101.41
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15863 0 1 0 9838 303 0 0 25 0 8 0 278911286 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757181 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28648/statm: 228859 15587 2535 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.24
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 278911294 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915436
[startup+162.367 s]
/proc/loadavg: 2.00 2.00 2.00 3/99 28826
/proc/meminfo: memFree=1270312/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=160.75
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15863 0 1 0 15771 304 0 0 25 0 8 0 278911286 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.77
Current children cumulated vsize (KiB) 915436
[startup+2084.95 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29328
/proc/meminfo: memFree=1217960/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=2080.8
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15866 0 1 0 207765 315 0 0 25 0 8 0 278911286 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28648/statm: 228859 15588 2535 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.25
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.8
Current children cumulated vsize (KiB) 915436
[startup+2145.01 s]
/proc/loadavg: 2.06 2.01 2.00 3/100 29328
/proc/meminfo: memFree=1217960/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=2140.79
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15866 0 1 0 213764 315 0 0 25 0 8 0 278911286 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28648/statm: 228859 15588 2535 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.25
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.79
Current children cumulated vsize (KiB) 915436
[startup+2205.07 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 29328
/proc/meminfo: memFree=1217960/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=2200.79
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15866 0 1 0 219764 315 0 0 25 0 8 0 278911286 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28648/statm: 228859 15588 2535 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.25
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.79
Current children cumulated vsize (KiB) 915436
[startup+2265.14 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29328
/proc/meminfo: memFree=1217960/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=2260.8
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15866 0 1 0 225765 315 0 0 25 0 8 0 278911286 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073595960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28648/statm: 228859 15588 2535 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.25
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.8
Current children cumulated vsize (KiB) 915436
[startup+2325.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29328
/proc/meminfo: memFree=1217960/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=2320.8
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15866 0 1 0 231765 315 0 0 25 0 8 0 278911286 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759495 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28648/statm: 228859 15588 2535 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.25
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.8
Current children cumulated vsize (KiB) 915436
[startup+2385.29 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 29328
/proc/meminfo: memFree=1217960/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=2380.83
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15866 0 1 0 237768 315 0 0 25 0 8 0 278911286 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28648/statm: 228859 15588 2535 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.25
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.83
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2404.52 s]
/proc/loadavg: 2.05 2.01 2.00 3/100 29328
/proc/meminfo: memFree=1217960/2055920 swapFree=4192812/4192956
[pid=28648] ppid=28646 vsize=915436 CPUtime=2400.03
/proc/28648/stat : 28648 (java) R 28646 28648 28460 0 -1 0 15866 0 1 0 239688 315 0 0 25 0 8 0 278911286 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28648/statm: 228859 15588 2535 14 0 215329 0
[pid=28648/tid=28650] ppid=28646 vsize=915436 CPUtime=0.05
/proc/28648/task/28650/stat : 28650 (java) S 28646 28648 28460 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278911290 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28651] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28651/stat : 28651 (java) S 28646 28648 28460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28652] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28652/stat : 28652 (java) S 28646 28648 28460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278911291 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28653] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28653/stat : 28653 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28654] ppid=28646 vsize=915436 CPUtime=0.25
/proc/28648/task/28654/stat : 28654 (java) S 28646 28648 28460 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28648/tid=28655] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28655/stat : 28655 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28648/tid=28656] ppid=28646 vsize=915436 CPUtime=0
/proc/28648/task/28656/stat : 28656 (java) S 28646 28648 28460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278911294 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2404.58
CPU time (s): 2400.08
CPU user time (s): 2396.92
CPU system time (s): 3.16352
CPU usage (%): 99.8131
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.92
system time used= 3.16352
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15884
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= 49595
involuntary context switches= 69680
runsolver used 3.12352 s user time and 7.52386 s system time
The end
Begin job on node7 on Sat Jan 20 14:59:19 UTC 2007
IDJOB= 280360
IDBENCH= 11085
IDSOLVER= 68
FILE ID= node7/280360-1169305158
PBS_JOBID= 3609922
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-8_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280360-1169305158/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-280360-1169305158 -o ROOT/results/node7/solver-280360-1169305158 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280360-1169305158/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f428df0800b36c8acd9350ef24504fc9
RANDOM SEED= 891372602
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.220
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.220
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: 1324336 kB
Buffers: 55952 kB
Cached: 530344 kB
SwapCached: 0 kB
Active: 221456 kB
Inactive: 427580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1324336 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3076 kB
Writeback: 0 kB
Mapped: 83072 kB
Slab: 67288 kB
Committed_AS: 8929456 kB
PageTables: 2308 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node7 on Sat Jan 20 15:39:23 UTC 2007