0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/275795-1169227345/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.45 nbVariables=220 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.12 cpuTime=0.11 mem=6M887
0.45
0.45 predicates being loaded...
0.45
0.45 constraints being loaded...
0.56 nbConstraints=42 nbConflictsStructures=2 nbSharedConflictsStructures=40 nbSharedBinaryRepresentations=0
0.56 nbEvaluationManagers=2 nbSharedEvaluationManagers=40 maxDegree=2 maxArity=11
0.56 => wckTime=0.235 cpuTime=0.18 mem=9M813
0.60
0.60 solver LocalSearchSolver being built...
0.65 => wckTime=0.32 cpuTime=0.23 mem=5M528
0.65
0.65 s SATISFIABLE
0.65 o 22
0.65 c 20
0.71 o 23
0.71 c 19
0.73 o 24
0.73 c 18
0.74 o 25
0.74 c 17
0.74 o 26
0.74 c 16
0.80 o 27
0.80 c 15
0.81 o 28
0.81 c 14
0.82 o 29
0.82 c 13
0.83 o 30
0.83 c 12
0.86 o 31
0.86 c 11
0.88 o 32
0.88 c 10
0.98 o 33
0.98 c 9
1.10 o 34
1.10 c 8
1.12 o 35
1.12 c 7
1.15 o 36
1.15 c 6
1.24 o 37
1.24 c 5
1.79 o 38
1.79 c 4
1.96 o 39
1.96 c 3
3.07 o 40
3.07 c 2
7.01
7.01 search
7.01 run=0 nbConstraintChecks=4338114 nbAssignments=10000
7.01 => wckTime=6.365 cpuTime=6.28 mem=5M528
13.29
13.29 search
13.29 run=1 nbConstraintChecks=8666009 nbAssignments=20000
13.29 => wckTime=12.647 cpuTime=12.51 mem=5M528
19.57
19.57 search
19.57 run=2 nbConstraintChecks=12995218 nbAssignments=30000
19.57 => wckTime=18.924 cpuTime=18.72 mem=5M528
25.79
25.79 search
25.79 run=3 nbConstraintChecks=17322766 nbAssignments=40000
25.79 => wckTime=25.144 cpuTime=24.89 mem=5M528
31.36
31.36 search
31.36 run=4 nbConstraintChecks=21109233 nbAssignments=50000
31.36 => wckTime=30.715 cpuTime=30.41 mem=5M528
32.82
32.82 search
32.82 run=5 nbConstraintChecks=21742526 nbAssignments=60000
32.82 => wckTime=32.177 cpuTime=31.85 mem=5M528
33.35
33.35 search
33.35 run=6 nbConstraintChecks=21978566 nbAssignments=63501
33.35 => wckTime=32.709 cpuTime=32.38 mem=5M528
33.36
33.36 global
33.36 nbConstraintChecks=21978566 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.36 solvingWckTime=32.708 solvingCpuTime=32.38 expiredTime=no totalExploration=no nbFoundSolutions=0
33.36 globalCpuTime=32.66
33.36 => wckTime=33.03 cpuTime=32.62 mem=5M528
33.36
33.36 solver IterativeSystematicSolver being built...
33.53 => wckTime=33.205 cpuTime=32.75 mem=18M402
33.67
33.67 preprocessing
33.67 nbConstraintChecks=3702 nbValidityChecks=63137 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.67 nbRemovedValues=0 detectedInconsistency=no
33.67 => wckTime=0.134 cpuTime=0.11 mem=18M402
33.80
33.80 search
33.80 run=0 nbConstraintChecks=50832 nbValidityChecks=29288 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.80 nbAssignments=192 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=212 nbRestartNogoods=0
33.80 => wckTime=0.266 cpuTime=0.23 mem=18M402
35.37
35.37 search
35.37 run=1 nbConstraintChecks=1250876 nbValidityChecks=63606 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.37 nbAssignments=389 nbFailedAssignments=21 nbBacktracks=25 nbVisitedNodes=436 nbRestartNogoods=1
35.37 => wckTime=1.84 cpuTime=1.77 mem=18M402
35.44
35.44 search
35.44 run=2 nbConstraintChecks=1255737 nbValidityChecks=99369 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.44 nbAssignments=591 nbFailedAssignments=38 nbBacktracks=47 nbVisitedNodes=677 nbRestartNogoods=3
35.44 => wckTime=1.907 cpuTime=1.84 mem=18M402
36.37
36.37 search
36.37 run=3 nbConstraintChecks=1928129 nbValidityChecks=142254 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.37 nbAssignments=804 nbFailedAssignments=66 nbBacktracks=80 nbVisitedNodes=951 nbRestartNogoods=4
36.37 => wckTime=2.834 cpuTime=2.75 mem=18M402
37.35
37.35 search
37.35 run=4 nbConstraintChecks=2654256 nbValidityChecks=190082 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.35 nbAssignments=1029 nbFailedAssignments=103 nbBacktracks=132 nbVisitedNodes=1265 nbRestartNogoods=5
37.35 => wckTime=3.821 cpuTime=3.73 mem=18M402
37.65
37.65 search
37.65 run=5 nbConstraintChecks=2783884 nbValidityChecks=261349 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.65 nbAssignments=1344 nbFailedAssignments=165 nbBacktracks=207 nbVisitedNodes=1717 nbRestartNogoods=7
37.65 => wckTime=4.115 cpuTime=4.01 mem=18M402
39.01
39.01 search
39.01 run=6 nbConstraintChecks=3776840 nbValidityChecks=339777 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.01 nbAssignments=1668 nbFailedAssignments=240 nbBacktracks=320 nbVisitedNodes=2229 nbRestartNogoods=9
39.01 => wckTime=5.478 cpuTime=5.35 mem=18M402
39.68
39.68 search
39.68 run=7 nbConstraintChecks=4184631 nbValidityChecks=446741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.68 nbAssignments=2046 nbFailedAssignments=373 nbBacktracks=490 nbVisitedNodes=2909 nbRestartNogoods=12
39.68 => wckTime=6.144 cpuTime=6.0 mem=18M402
40.76
40.76 search
40.76 run=8 nbConstraintChecks=4942348 nbValidityChecks=557846 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.76 nbAssignments=2616 nbFailedAssignments=508 nbBacktracks=752 nbVisitedNodes=3740 nbRestartNogoods=13
40.76 => wckTime=7.23 cpuTime=7.08 mem=18M402
42.10
42.10 search
42.10 run=9 nbConstraintChecks=5813937 nbValidityChecks=724099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.10 nbAssignments=3391 nbFailedAssignments=714 nbBacktracks=1137 nbVisitedNodes=4935 nbRestartNogoods=16
42.10 => wckTime=8.57 cpuTime=8.4 mem=18M402
43.45
43.45 search
43.45 run=10 nbConstraintChecks=6691952 nbValidityChecks=905650 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.45 nbAssignments=4384 nbFailedAssignments=957 nbBacktracks=1713 nbVisitedNodes=6391 nbRestartNogoods=20
43.45 => wckTime=9.921 cpuTime=9.74 mem=18M402
44.85
44.85 search
44.85 run=11 nbConstraintChecks=7576211 nbValidityChecks=1111586 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.85 nbAssignments=5748 nbFailedAssignments=1273 nbBacktracks=2581 nbVisitedNodes=8285 nbRestartNogoods=23
44.85 => wckTime=11.32 cpuTime=11.13 mem=18M402
46.32
46.32 search
46.32 run=12 nbConstraintChecks=8475228 nbValidityChecks=1349484 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.32 nbAssignments=7639 nbFailedAssignments=1674 nbBacktracks=3883 nbVisitedNodes=10800 nbRestartNogoods=27
46.32 => wckTime=12.792 cpuTime=12.59 mem=18M402
47.96
47.96 search
47.96 run=13 nbConstraintChecks=9409628 nbValidityChecks=1657157 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.96 nbAssignments=10357 nbFailedAssignments=2257 nbBacktracks=5832 nbVisitedNodes=14374 nbRestartNogoods=32
47.96 => wckTime=14.428 cpuTime=14.2 mem=18M402
50.76
50.76 search
50.76 run=14 nbConstraintChecks=11028341 nbValidityChecks=2196841 nbPropagations=0 nbRevisions=0
50.76 nbUselessRevisions=0 nbAssignments=14449 nbFailedAssignments=3261 nbBacktracks=8754 nbVisitedNodes=19950
50.76 nbRestartNogoods=37
50.76 => wckTime=17.225 cpuTime=16.98 mem=18M402
63.65
63.65 search
63.65 run=15 nbConstraintChecks=19775024 nbValidityChecks=3486903 nbPropagations=0 nbRevisions=0
63.65 nbUselessRevisions=0 nbAssignments=20272 nbFailedAssignments=4557 nbBacktracks=13152 nbVisitedNodes=30795
63.65 nbRestartNogoods=41
63.65 => wckTime=30.121 cpuTime=29.75 mem=18M402
72.37
72.38 search
72.38 run=16 nbConstraintChecks=24242575 nbValidityChecks=5803647 nbPropagations=0 nbRevisions=0
72.38 nbUselessRevisions=0 nbAssignments=29456 nbFailedAssignments=7037 nbBacktracks=19721 nbVisitedNodes=46899
72.38 nbRestartNogoods=47
72.38 => wckTime=38.843 cpuTime=38.4 mem=18M402
78.86
78.86 search
78.86 run=17 nbConstraintChecks=27753044 nbValidityChecks=7207912 nbPropagations=0 nbRevisions=0
78.86 nbUselessRevisions=0 nbAssignments=41696 nbFailedAssignments=9256 nbBacktracks=29576 nbVisitedNodes=62270
78.86 nbRestartNogoods=50
78.86 => wckTime=45.33 cpuTime=44.82 mem=18M402
82.87
82.87 search
82.87 run=18 nbConstraintChecks=28974727 nbValidityChecks=8848875 nbPropagations=0 nbRevisions=0
82.87 nbUselessRevisions=0 nbAssignments=59480 nbFailedAssignments=12078 nbBacktracks=44357 nbVisitedNodes=83632
82.87 nbRestartNogoods=58
82.87 => wckTime=49.339 cpuTime=48.79 mem=18M402
101.92
101.92 search
101.92 run=19 nbConstraintChecks=40853615 nbValidityChecks=11798126 nbPropagations=0 nbRevisions=0
101.92 nbUselessRevisions=0 nbAssignments=85236 nbFailedAssignments=15513 nbBacktracks=66529 nbVisitedNodes=113684
101.92 nbRestartNogoods=64
101.92 => wckTime=68.385 cpuTime=67.67 mem=18M402
111.97
111.97 search
111.97 run=20 nbConstraintChecks=43816655 nbValidityChecks=16180444 nbPropagations=0 nbRevisions=0
111.97 nbUselessRevisions=0 nbAssignments=125267 nbFailedAssignments=22126 nbBacktracks=99786 nbVisitedNodes=162188
111.97 nbRestartNogoods=68
111.97 => wckTime=78.434 cpuTime=77.63 mem=18M402
123.72
123.72 search
123.72 run=21 nbConstraintChecks=46684940 nbValidityChecks=21641369 nbPropagations=0 nbRevisions=0
123.72 nbUselessRevisions=0 nbAssignments=185420 nbFailedAssignments=32213 nbBacktracks=149666 nbVisitedNodes=237500
123.72 nbRestartNogoods=73
123.72 => wckTime=90.184 cpuTime=89.27 mem=18M402
168.58
168.58 search
168.58 run=22 nbConstraintChecks=71290432 nbValidityChecks=30963821 nbPropagations=0 nbRevisions=0
168.58 nbUselessRevisions=0 nbAssignments=276221 nbFailedAssignments=48019 nbBacktracks=224486 nbVisitedNodes=347968
168.58 nbRestartNogoods=78
168.58 => wckTime=135.045 cpuTime=133.72 mem=18M402
219.39
219.39 search
219.39 run=23 nbConstraintChecks=90842094 nbValidityChecks=49756480 nbPropagations=0 nbRevisions=0
219.39 nbUselessRevisions=0 nbAssignments=418862 nbFailedAssignments=78273 nbBacktracks=336724 nbVisitedNodes=535433
219.39 nbRestartNogoods=89
219.39 => wckTime=185.861 cpuTime=184.08 mem=18M402
265.44
265.44 search
265.44 run=24 nbConstraintChecks=104470564 nbValidityChecks=70313288 nbPropagations=0 nbRevisions=0
265.44 nbUselessRevisions=0 nbAssignments=614498 nbFailedAssignments=105397 nbBacktracks=505070 nbVisitedNodes=769399
265.44 nbRestartNogoods=95
265.44 => wckTime=231.904 cpuTime=229.7 mem=18M402
357.02
357.02 search
357.02 run=25 nbConstraintChecks=140999829 nbValidityChecks=102159997 nbPropagations=0 nbRevisions=0
357.02 nbUselessRevisions=0 nbAssignments=927426 nbFailedAssignments=165628 nbBacktracks=757582 nbVisitedNodes=1170197
357.02 nbRestartNogoods=101
357.02 => wckTime=323.492 cpuTime=320.46 mem=18M402
634.42
634.42 search
634.42 run=26 nbConstraintChecks=302103183 nbValidityChecks=155009265 nbPropagations=0 nbRevisions=0
634.42 nbUselessRevisions=0 nbAssignments=1383518 nbFailedAssignments=242777 nbBacktracks=1136349
634.42 nbVisitedNodes=1730683 nbRestartNogoods=108
634.42 => wckTime=600.885 cpuTime=595.32 mem=18M402
850.80
850.80 search
850.80 run=27 nbConstraintChecks=371125083 nbValidityChecks=242505164 nbPropagations=0 nbRevisions=0
850.80 nbUselessRevisions=0 nbAssignments=2091860 nbFailedAssignments=382786 nbBacktracks=1704502
850.80 nbVisitedNodes=2680246 nbRestartNogoods=115
850.80 => wckTime=817.265 cpuTime=809.75 mem=18M402
1075.42
1075.42 search
1075.42 run=28 nbConstraintChecks=440042818 nbValidityChecks=337398934 nbPropagations=0 nbRevisions=0
1075.42 nbUselessRevisions=0 nbAssignments=3106983 nbFailedAssignments=545489 nbBacktracks=2556731
1075.42 nbVisitedNodes=3941721 nbRestartNogoods=125
1075.42 => wckTime=1041.889 cpuTime=1032.32 mem=18M402
1623.10
1623.10 search
1623.10 run=29 nbConstraintChecks=699822846 nbValidityChecks=486064271 nbPropagations=0 nbRevisions=0
1623.10 nbUselessRevisions=0 nbAssignments=4646183 nbFailedAssignments=806160 nbBacktracks=3835072
1623.10 nbVisitedNodes=5837484 nbRestartNogoods=135
1623.10 => wckTime=1589.573 cpuTime=1575.03 mem=18M402
2408.81
2408.81 search
2408.81 run=30 nbConstraintChecks=1071487799 nbValidityChecks=707852412 nbPropagations=0 nbRevisions=0
2408.81 nbUselessRevisions=0 nbAssignments=6915690 nbFailedAssignments=1157979 nbBacktracks=5752608
2408.81 nbVisitedNodes=8620894 nbRestartNogoods=144
2408.82 => wckTime=2375.283 cpuTime=2353.43 mem=18M402
2422.26 v 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-275795-1169227345 -o ROOT/results/node72/solver-275795-1169227345 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275795-1169227345/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 1.50 1.60 2/94 763
/proc/meminfo: memFree=1266216/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=18540 CPUtime=0
/proc/762/stat : 762 (runsolver) R 760 762 572 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271143362 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/762/statm: 4635 279 244 17 0 2626 0
[startup+0.102593 s]
/proc/loadavg: 1.93 1.50 1.60 2/94 763
/proc/meminfo: memFree=1266216/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=912760 CPUtime=0.07
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 2802 0 1 0 6 1 0 0 20 0 8 0 271143362 934666240 2548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228190 2548 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.512631 s]
/proc/loadavg: 1.93 1.50 1.60 2/94 763
/proc/meminfo: memFree=1266216/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=0.48
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 6654 0 1 0 43 5 0 0 18 0 8 0 271143362 937439232 6393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 6393 2169 14 0 215337 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915468
[startup+1.3337 s]
/proc/loadavg: 2.02 1.52 1.61 3/101 770
/proc/meminfo: memFree=1247664/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=1.29
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 7297 0 1 0 119 10 0 0 25 0 8 0 271143362 937439232 7035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073663245 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 7035 2498 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 7035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 7035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 7035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 7035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.12
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 328 0 0 0 12 0 0 0 16 0 8 0 271143371 937439232 7035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 7035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 7035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915468
[startup+2.97085 s]
/proc/loadavg: 2.02 1.52 1.61 3/101 770
/proc/meminfo: memFree=1247664/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=2.91
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 7302 0 1 0 271 20 0 0 25 0 8 0 271143362 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 7039 2498 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.13
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 332 0 0 0 12 1 0 0 16 0 8 0 271143371 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915468
[startup+6.25515 s]
/proc/loadavg: 2.01 1.53 1.61 3/101 770
/proc/meminfo: memFree=1247664/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=6.17
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 7302 0 1 0 575 42 0 0 25 0 8 0 271143362 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596631 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 7039 2498 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.13
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 332 0 0 0 12 1 0 0 16 0 8 0 271143371 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 7039 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915468
[startup+12.7357 s]
/proc/loadavg: 2.09 1.56 1.62 3/101 770
/proc/meminfo: memFree=1247600/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915472 CPUtime=12.59
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 7304 0 1 0 1179 80 0 0 25 0 8 0 271143362 937443328 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228868 7041 2498 14 0 215338 0
[pid=762/tid=764] ppid=760 vsize=915472 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 271143367 937443328 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915472 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937443328 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915472 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937443328 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915472 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937443328 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915472 CPUtime=0.14
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 334 0 0 0 13 1 0 0 16 0 8 0 271143371 937443328 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915472 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937443328 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915472 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937443328 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915472
[startup+25.6009 s]
/proc/loadavg: 2.08 1.57 1.62 3/101 770
/proc/meminfo: memFree=1247600/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=25.34
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 7304 0 1 0 2372 162 0 0 25 0 8 0 271143362 937439232 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2916144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 7041 2498 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.14
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 334 0 0 0 13 1 0 0 16 0 8 0 271143371 937439232 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 7041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915468
[startup+51.2173 s]
/proc/loadavg: 2.05 1.61 1.64 3/101 770
/proc/meminfo: memFree=1238832/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=50.72
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 9563 0 1 0 4811 261 0 0 25 0 8 0 271143362 937439232 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073607035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 9287 2551 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.27
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 271143371 937439232 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915468
[startup+102.452 s]
/proc/loadavg: 2.02 1.67 1.65 3/101 770
/proc/meminfo: memFree=1238512/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=101.49
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 9578 0 1 0 9888 261 0 0 25 0 8 0 271143362 937439232 9302 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 9302 2551 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 9302 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 9302 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 9302 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 9302 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.27
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 271143371 937439232 9302 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 9302 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 9302 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915468
[startup+162.538 s]
/proc/loadavg: 2.00 1.72 1.67 3/101 770
/proc/meminfo: memFree=1238256/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=161.03
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 9585 0 1 0 15841 262 0 0 25 0 8 0 271143362 937439232 9309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073604050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2006.68
Current children cumulated vsize (KiB) 915468
[startup+2085.16 s]
/proc/loadavg: 2.02 2.02 1.93 3/101 770
/proc/meminfo: memFree=1232752/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=2066.18
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 9614 0 1 0 206344 274 0 0 25 0 8 0 271143362 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073593815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 9338 2551 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.27
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2066.18
Current children cumulated vsize (KiB) 915468
[startup+2145.25 s]
/proc/loadavg: 2.00 2.01 1.93 3/101 770
/proc/meminfo: memFree=1232752/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=2125.72
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 9614 0 1 0 212298 274 0 0 25 0 8 0 271143362 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 9338 2551 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.27
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.72
Current children cumulated vsize (KiB) 915468
[startup+2205.34 s]
/proc/loadavg: 2.00 2.01 1.93 3/101 770
/proc/meminfo: memFree=1232752/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=2185.27
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 9614 0 1 0 218252 275 0 0 25 0 8 0 271143362 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 9338 2551 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.27
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.27
Current children cumulated vsize (KiB) 915468
[startup+2265.41 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 830
/proc/meminfo: memFree=1204784/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=2244.82
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 9614 0 1 0 224206 276 0 0 25 0 8 0 271143362 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880302 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 9338 2551 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.27
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2244.82
Current children cumulated vsize (KiB) 915468
[startup+2325.46 s]
/proc/loadavg: 2.07 2.02 1.93 3/106 896
/proc/meminfo: memFree=1203096/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=2304.26
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 9614 0 1 0 230149 277 0 0 25 0 8 0 271143362 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 9338 2551 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.27
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2304.26
Current children cumulated vsize (KiB) 915468
[startup+2385.53 s]
/proc/loadavg: 2.02 2.01 1.93 3/106 1008
/proc/meminfo: memFree=1203048/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=2363.7
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 9614 0 1 0 236093 277 0 0 25 0 8 0 271143362 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 9338 2551 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.27
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 9338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2363.7
Current children cumulated vsize (KiB) 915468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2422.25 s]
/proc/loadavg: 2.01 2.01 1.93 3/100 1032
/proc/meminfo: memFree=1204080/2055920 swapFree=4191880/4192956
[pid=762] ppid=760 vsize=915468 CPUtime=2400.04
/proc/762/stat : 762 (java) R 760 762 572 0 -1 0 9618 0 1 0 239727 277 0 0 25 0 8 0 271143362 937439232 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073591571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/762/statm: 228867 9342 2551 14 0 215337 0
[pid=762/tid=764] ppid=760 vsize=915468 CPUtime=0.02
/proc/762/task/764/stat : 764 (java) S 760 762 572 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 271143367 937439232 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=765] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/765/stat : 765 (java) S 760 762 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271143367 937439232 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=766] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/766/stat : 766 (java) S 760 762 572 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271143367 937439232 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=767] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/767/stat : 767 (java) S 760 762 572 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271143371 937439232 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=768] ppid=760 vsize=915468 CPUtime=0.27
/proc/762/task/768/stat : 768 (java) S 760 762 572 0 -1 64 411 0 0 0 25 2 0 0 16 0 8 0 271143371 937439232 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=769] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/769/stat : 769 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271143371 937439232 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=762/tid=770] ppid=760 vsize=915468 CPUtime=0
/proc/762/task/770/stat : 770 (java) S 760 762 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271143371 937439232 9342 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2422.31
CPU time (s): 2400.1
CPU user time (s): 2397.32
CPU system time (s): 2.78058
CPU usage (%): 99.0829
Max. virtual memory (cumulated for all children) (KiB): 915472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.32
system time used= 2.78058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9644
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= 50184
involuntary context switches= 93123
runsolver used 2.92455 s user time and 7.80181 s system time
The end
Begin job on node72 on Fri Jan 19 17:22:25 UTC 2007
IDJOB= 275795
IDBENCH= 5081
IDSOLVER= 68
FILE ID= node72/275795-1169227345
PBS_JOBID= 3589257
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/chnl/chnl-10-11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275795-1169227345/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-275795-1169227345 -o ROOT/results/node72/solver-275795-1169227345 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275795-1169227345/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 909bddf60f447d4fe6ae1972473e26c0
RANDOM SEED= 682370003
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1266696 kB
Buffers: 56876 kB
Cached: 571176 kB
SwapCached: 268 kB
Active: 320044 kB
Inactive: 388984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1266696 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1692 kB
Writeback: 0 kB
Mapped: 106336 kB
Slab: 64768 kB
Committed_AS: 4576580 kB
PageTables: 2416 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 node72 on Fri Jan 19 18:02:48 UTC 2007