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/280468-1169305971/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.097 cpuTime=0.08 mem=6M887
0.41
0.41 relations being loaded...
0.63
0.63 constraints being loaded...
0.73 nbConstraints=5 nbRelationTypes=5 nbDisconnectedVariables=1 nbExtensionStructures=5
0.73 nbSharedExtensionStructures=0 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4
0.73 maxArity=10
0.73 => wckTime=0.417 cpuTime=0.37 mem=38M342
0.80
0.80 solver LocalSearchSolver being built...
0.84 => wckTime=0.524 cpuTime=0.42 mem=10M982
0.84
0.84 s SATISFIABLE
0.84 o 0
0.84 c 5
1.76 o 1
1.76 c 4
6.31
6.31 search
6.31 run=0 nbConstraintChecks=4330941 nbAssignments=10000
6.31 => wckTime=5.474 cpuTime=5.41 mem=10M982
11.73
11.73 search
11.73 run=1 nbConstraintChecks=8670949 nbAssignments=20000
11.73 => wckTime=10.889 cpuTime=10.77 mem=10M982
17.12
17.12 search
17.12 run=2 nbConstraintChecks=12957117 nbAssignments=30000
17.12 => wckTime=16.28 cpuTime=16.11 mem=10M982
22.49
22.49 search
22.49 run=3 nbConstraintChecks=17282244 nbAssignments=40000
22.49 => wckTime=21.652 cpuTime=21.45 mem=10M982
24.47 o 2
24.47 c 3
27.71
27.71 search
27.71 run=4 nbConstraintChecks=21530753 nbAssignments=50000
27.71 => wckTime=26.873 cpuTime=26.62 mem=10M982
32.88
32.88 search
32.88 run=5 nbConstraintChecks=25812356 nbAssignments=60000
32.88 => wckTime=32.047 cpuTime=31.74 mem=10M982
38.05
38.05 search
38.05 run=6 nbConstraintChecks=30099341 nbAssignments=70000
38.05 => wckTime=37.216 cpuTime=36.87 mem=10M982
43.23
43.23 search
43.23 run=7 nbConstraintChecks=34385165 nbAssignments=80000
43.23 => wckTime=42.392 cpuTime=41.99 mem=10M982
48.43
48.43 search
48.43 run=8 nbConstraintChecks=38671043 nbAssignments=90000
48.43 => wckTime=47.591 cpuTime=47.15 mem=10M982
53.63
53.63 search
53.63 run=9 nbConstraintChecks=42958054 nbAssignments=100000
53.63 => wckTime=52.795 cpuTime=52.31 mem=10M982
54.74
54.74 search
54.74 run=10 nbConstraintChecks=43878415 nbAssignments=102148
54.74 => wckTime=53.905 cpuTime=53.42 mem=10M982
54.74
54.74 global
54.74 nbConstraintChecks=43878415 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.74 solvingWckTime=53.904 solvingCpuTime=53.42 expiredTime=no totalExploration=no nbFoundSolutions=0
54.74 globalCpuTime=53.9
54.74 => wckTime=54.43 cpuTime=53.84 mem=10M982
54.74
54.74 solver IterativeSystematicSolver being built...
54.88 => wckTime=54.569 cpuTime=53.94 mem=21M803
55.18
55.18 preprocessing
55.18 nbConstraintChecks=235067 nbValidityChecks=246858 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.18 nbRemovedValues=0 detectedInconsistency=no
55.18 => wckTime=0.295 cpuTime=0.27 mem=21M803
55.31
55.31 search
55.31 run=0 nbConstraintChecks=102363 nbValidityChecks=118709 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.31 nbAssignments=33 nbFailedAssignments=17 nbBacktracks=10 nbVisitedNodes=57 nbRestartNogoods=0
55.31 => wckTime=0.427 cpuTime=0.4 mem=22M766
55.53
55.53 search
55.53 run=1 nbConstraintChecks=255155 nbValidityChecks=291207 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.53 nbAssignments=75 nbFailedAssignments=38 nbBacktracks=25 nbVisitedNodes=128 nbRestartNogoods=4
55.53 => wckTime=0.643 cpuTime=0.6 mem=22M766
55.62
55.62 search
55.62 run=2 nbConstraintChecks=319436 nbValidityChecks=387912 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.62 nbAssignments=140 nbFailedAssignments=73 nbBacktracks=47 nbVisitedNodes=244 nbRestartNogoods=16
55.62 => wckTime=0.74 cpuTime=0.69 mem=22M766
55.96
55.96 search
55.96 run=3 nbConstraintChecks=607833 nbValidityChecks=726615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.96 nbAssignments=243 nbFailedAssignments=138 nbBacktracks=80 nbVisitedNodes=432 nbRestartNogoods=24
55.96 => wckTime=1.078 cpuTime=1.02 mem=22M766
58.17
58.17 search
58.17 run=4 nbConstraintChecks=2625011 nbValidityChecks=2837317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
58.17 nbAssignments=421 nbFailedAssignments=260 nbBacktracks=130 nbVisitedNodes=772 nbRestartNogoods=30
58.17 => wckTime=3.285 cpuTime=3.2 mem=22M766
58.86
58.86 search
58.86 run=5 nbConstraintChecks=3167916 nbValidityChecks=3578834 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
58.87 nbAssignments=789 nbFailedAssignments=546 nbBacktracks=205 nbVisitedNodes=1494 nbRestartNogoods=48
58.87 => wckTime=3.982 cpuTime=3.89 mem=22M766
59.89
59.89 search
59.89 run=6 nbConstraintChecks=3996269 nbValidityChecks=4571722 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
59.89 nbAssignments=1114 nbFailedAssignments=751 nbBacktracks=319 nbVisitedNodes=2111 nbRestartNogoods=58
59.89 => wckTime=5.006 cpuTime=4.9 mem=22M766
60.89
60.89 search
60.89 run=7 nbConstraintChecks=4771332 nbValidityChecks=5640977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
60.89 nbAssignments=1674 nbFailedAssignments=1134 nbBacktracks=489 nbVisitedNodes=3199 nbRestartNogoods=63
60.89 => wckTime=6.008 cpuTime=5.88 mem=22M766
63.37
63.37 search
63.37 run=8 nbConstraintChecks=6739926 nbValidityChecks=8037295 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
63.37 nbAssignments=2512 nbFailedAssignments=1710 nbBacktracks=745 nbVisitedNodes=4826 nbRestartNogoods=87
63.37 => wckTime=8.486 cpuTime=8.32 mem=22M766
65.62
65.62 search
65.62 run=9 nbConstraintChecks=8550775 nbValidityChecks=10489174 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
65.62 nbAssignments=3779 nbFailedAssignments=2586 nbBacktracks=1129 nbVisitedNodes=7283 nbRestartNogoods=93
65.62 => wckTime=10.735 cpuTime=10.55 mem=22M766
80.62
80.62 search
80.62 run=10 nbConstraintChecks=21572054 nbValidityChecks=24499749 nbPropagations=0 nbRevisions=0
80.62 nbUselessRevisions=0 nbAssignments=5682 nbFailedAssignments=3908 nbBacktracks=1706 nbVisitedNodes=10962
80.62 nbRestartNogoods=104
80.62 => wckTime=25.734 cpuTime=25.41 mem=22M766
84.58
84.58 search
84.58 run=11 nbConstraintChecks=24632439 nbValidityChecks=28981727 nbPropagations=0 nbRevisions=0
84.58 nbUselessRevisions=0 nbAssignments=8530 nbFailedAssignments=5884 nbBacktracks=2571 nbVisitedNodes=16490
84.58 nbRestartNogoods=123
84.58 => wckTime=29.698 cpuTime=29.34 mem=22M766
105.06
105.06 search
105.06 run=12 nbConstraintChecks=42040244 nbValidityChecks=48540592 nbPropagations=0 nbRevisions=0
105.06 nbUselessRevisions=0 nbAssignments=12699 nbFailedAssignments=8749 nbBacktracks=3869 nbVisitedNodes=24549
105.06 nbRestartNogoods=135
105.06 => wckTime=50.18 cpuTime=49.64 mem=22M766
123.60
123.60 search
123.60 run=13 nbConstraintChecks=58036326 nbValidityChecks=67622698 nbPropagations=0 nbRevisions=0
123.60 nbUselessRevisions=0 nbAssignments=18642 nbFailedAssignments=12742 nbBacktracks=5815 nbVisitedNodes=36002
123.60 nbRestartNogoods=152
123.60 => wckTime=68.718 cpuTime=68.01 mem=22M766
166.87
166.87 search
166.87 run=14 nbConstraintChecks=98311678 nbValidityChecks=112629118 nbPropagations=0 nbRevisions=0
166.87 nbUselessRevisions=0 nbAssignments=27987 nbFailedAssignments=19163 nbBacktracks=8734 nbVisitedNodes=54144
166.87 nbRestartNogoods=179
166.87 => wckTime=111.987 cpuTime=111.16 mem=22M766
189.12
189.12 search
189.12 run=15 nbConstraintChecks=117555862 nbValidityChecks=138685413 nbPropagations=0 nbRevisions=0
189.12 nbUselessRevisions=0 nbAssignments=41307 nbFailedAssignments=28099 nbBacktracks=13112 nbVisitedNodes=80009
189.12 nbRestartNogoods=195
189.12 => wckTime=134.234 cpuTime=133.37 mem=22M766
298.91
298.91 search
298.91 run=16 nbConstraintChecks=220404227 nbValidityChecks=252211311 nbPropagations=0 nbRevisions=0
298.91 nbUselessRevisions=0 nbAssignments=61930 nbFailedAssignments=42148 nbBacktracks=19680 nbVisitedNodes=119989
298.91 nbRestartNogoods=209
298.91 => wckTime=244.026 cpuTime=242.64 mem=22M766
346.53
346.53 search
346.53 run=17 nbConstraintChecks=261450406 nbValidityChecks=308680102 nbPropagations=0 nbRevisions=0
346.53 nbUselessRevisions=0 nbAssignments=92916 nbFailedAssignments=63276 nbBacktracks=29532 nbVisitedNodes=180070
346.53 nbRestartNogoods=221
346.53 => wckTime=291.647 cpuTime=290.04 mem=22M766
438.18
438.18 search
438.18 run=18 nbConstraintChecks=339540907 nbValidityChecks=410225172 nbPropagations=0 nbRevisions=0
438.18 nbUselessRevisions=0 nbAssignments=139346 nbFailedAssignments=94922 nbBacktracks=44310 nbVisitedNodes=270138
438.18 nbRestartNogoods=254
438.18 => wckTime=383.296 cpuTime=381.27 mem=22M766
579.92
579.92 search
579.92 run=19 nbConstraintChecks=467012194 nbValidityChecks=571125513 nbPropagations=0 nbRevisions=0
579.92 nbUselessRevisions=0 nbAssignments=206620 nbFailedAssignments=140022 nbBacktracks=66480 nbVisitedNodes=400571
579.92 nbRestartNogoods=265
579.92 => wckTime=525.034 cpuTime=522.34 mem=22M766
808.85 o 3
808.85 c 2
809.97
809.97 search
809.97 run=20 nbConstraintChecks=668826810 nbValidityChecks=826091955 nbPropagations=0 nbRevisions=0
809.97 nbUselessRevisions=0 nbAssignments=309401 nbFailedAssignments=209544 nbBacktracks=99735 nbVisitedNodes=599708
809.97 nbRestartNogoods=298
809.97 => wckTime=755.09 cpuTime=751.34 mem=22M766
1204.59
1204.60 search
1204.60 run=21 nbConstraintChecks=1018678295 nbValidityChecks=1263609307 nbPropagations=0 nbRevisions=0
1204.60 nbUselessRevisions=0 nbAssignments=455747 nbFailedAssignments=306008 nbBacktracks=149613 nbVisitedNodes=884874
1204.60 nbRestartNogoods=319
1204.60 => wckTime=1149.712 cpuTime=1144.12 mem=22M766
1815.57
1815.57 search
1815.57 run=22 nbConstraintChecks=1565773944 nbValidityChecks=1944176416 nbPropagations=0 nbRevisions=0
1815.57 nbUselessRevisions=0 nbAssignments=678286 nbFailedAssignments=453724 nbBacktracks=224431 nbVisitedNodes=1318181
1815.57 nbRestartNogoods=336
1815.57 => wckTime=1760.682 cpuTime=1752.23 mem=22M766
2411.69 v 6 0 0 0 9 1 3 0 2 8 8 0 7 6 6 1 1 0 0 8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-280468-1169305971 -o ROOT/results/node19/solver-280468-1169305971 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280468-1169305971/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.92 1.98 1.99 2/86 25098
/proc/meminfo: memFree=1163000/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=18540 CPUtime=0
/proc/25097/stat : 25097 (runsolver) R 25095 25097 24622 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 278991788 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25097/statm: 4635 279 244 17 0 2626 0
[startup+0.102459 s]
/proc/loadavg: 1.92 1.98 1.99 2/86 25098
/proc/meminfo: memFree=1163000/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=914988 CPUtime=0.08
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 278991788 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25097/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510532 s]
/proc/loadavg: 1.92 1.98 1.99 2/86 25098
/proc/meminfo: memFree=1163000/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915332 CPUtime=0.49
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 8018 0 1 0 45 4 0 0 18 0 8 0 278991788 937299968 7757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25097/statm: 228833 7757 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33669 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 25105
/proc/meminfo: memFree=1110984/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=1.3
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15679 0 1 0 119 11 0 0 24 0 8 0 278991788 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25097/statm: 228859 15417 2480 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.09
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 278991796 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 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.97599 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 25105
/proc/meminfo: memFree=1110856/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=2.93
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15683 0 1 0 269 24 0 0 25 0 8 0 278991788 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7696579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25097/statm: 228859 15420 2480 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.09
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 278991796 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 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.27162 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 25105
/proc/meminfo: memFree=1110856/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=6.2
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15683 0 1 0 571 49 0 0 25 0 8 0 278991788 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25097/statm: 228859 15420 2480 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.09
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 278991796 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 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.2
Current children cumulated vsize (KiB) 915436
[startup+12.7508 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 25105
/proc/meminfo: memFree=1110856/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=12.63
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15687 0 1 0 1163 100 0 0 25 0 8 0 278991788 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073595960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25097/statm: 228859 15424 2480 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.1
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278991796 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 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.63
Current children cumulated vsize (KiB) 915436
[startup+25.5993 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 25105
/proc/meminfo: memFree=1110984/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=25.37
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15687 0 1 0 2342 195 0 0 25 0 8 0 278991788 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25097/statm: 228859 15424 2480 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.1
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278991796 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 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.37
Current children cumulated vsize (KiB) 915436
[startup+51.2051 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 25105
/proc/meminfo: memFree=1110984/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=50.75
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15687 0 1 0 4681 394 0 0 25 0 8 0 278991788 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25097/statm: 228859 15424 2480 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.1
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278991796 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 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) 50.75
Current children cumulated vsize (KiB) 915436
[startup+102.456 s]
/proc/loadavg: 1.98 1.98 1.99 3/93 25105
/proc/meminfo: memFree=1110600/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=101.54
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15862 0 1 0 9732 422 0 0 25 0 8 0 278991788 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25097/statm: 228859 15588 2536 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.22
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278991796 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 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) 101.54
Current children cumulated vsize (KiB) 915436
[startup+162.527 s]
/proc/loadavg: 2.39 2.08 2.03 3/94 25236
/proc/meminfo: memFree=567416/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=161.32
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15864 0 1 0 15696 436 0 0 25 0 8 0 278991788 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.51
Current children cumulated vsize (KiB) 915436
[startup+2084.36 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25238
/proc/meminfo: memFree=568312/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=2074.26
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15867 0 1 0 206986 440 0 0 25 0 8 0 278991788 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25097/statm: 228859 15590 2536 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.23
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.26
Current children cumulated vsize (KiB) 915436
[startup+2144.42 s]
/proc/loadavg: 2.05 2.01 2.00 3/94 25238
/proc/meminfo: memFree=568312/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=2134.06
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15867 0 1 0 212965 441 0 0 25 0 8 0 278991788 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073769702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25097/statm: 228859 15590 2536 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.23
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.06
Current children cumulated vsize (KiB) 915436
[startup+2204.47 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 25238
/proc/meminfo: memFree=568312/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=2193.83
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15867 0 1 0 218942 441 0 0 25 0 8 0 278991788 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25097/statm: 228859 15590 2536 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.23
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.83
Current children cumulated vsize (KiB) 915436
[startup+2264.53 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25238
/proc/meminfo: memFree=568312/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=2253.58
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15867 0 1 0 224917 441 0 0 25 0 8 0 278991788 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25097/statm: 228859 15590 2536 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.23
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.58
Current children cumulated vsize (KiB) 915436
[startup+2324.58 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25238
/proc/meminfo: memFree=568376/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=2313.36
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15867 0 1 0 230895 441 0 0 25 0 8 0 278991788 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073769702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25097/statm: 228859 15590 2536 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.23
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.36
Current children cumulated vsize (KiB) 915436
[startup+2384.64 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25238
/proc/meminfo: memFree=568312/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=2373.16
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15867 0 1 0 236875 441 0 0 25 0 8 0 278991788 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25097/statm: 228859 15590 2536 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.23
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) R 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.16
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.68 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 25238
/proc/meminfo: memFree=568312/2055920 swapFree=4171264/4192956
[pid=25097] ppid=25095 vsize=915436 CPUtime=2400.06
/proc/25097/stat : 25097 (java) R 25095 25097 24622 0 -1 0 15867 0 1 0 239565 441 0 0 25 0 8 0 278991788 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25097/statm: 228859 15590 2536 14 0 215329 0
[pid=25097/tid=25099] ppid=25095 vsize=915436 CPUtime=0.04
/proc/25097/task/25099/stat : 25099 (java) S 25095 25097 24622 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278991792 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25100] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25100/stat : 25100 (java) S 25095 25097 24622 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25101] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25101/stat : 25101 (java) S 25095 25097 24622 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278991793 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25102] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25102/stat : 25102 (java) S 25095 25097 24622 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25103] ppid=25095 vsize=915436 CPUtime=0.23
/proc/25097/task/25103/stat : 25103 (java) S 25095 25097 24622 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25097/tid=25104] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25104/stat : 25104 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25097/tid=25105] ppid=25095 vsize=915436 CPUtime=0
/proc/25097/task/25105/stat : 25105 (java) S 25095 25097 24622 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278991796 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.72
CPU time (s): 2400.1
CPU user time (s): 2395.67
CPU system time (s): 4.42733
CPU usage (%): 99.5182
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.67
system time used= 4.42733
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15887
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= 49754
involuntary context switches= 89437
runsolver used 2.91356 s user time and 7.76682 s system time
The end
Begin job on node19 on Sat Jan 20 15:12:52 UTC 2007
IDJOB= 280468
IDBENCH= 11097
IDSOLVER= 68
FILE ID= node19/280468-1169305971
PBS_JOBID= 3609913
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-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280468-1169305971/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-280468-1169305971 -o ROOT/results/node19/solver-280468-1169305971 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280468-1169305971/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9878667f61c3b4080ef79f2b3273178f
RANDOM SEED= 435921452
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.260
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.260
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: 1163480 kB
Buffers: 63868 kB
Cached: 709152 kB
SwapCached: 11088 kB
Active: 351352 kB
Inactive: 460744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1163480 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 2788 kB
Writeback: 0 kB
Mapped: 49260 kB
Slab: 65088 kB
Committed_AS: 8010572 kB
PageTables: 2328 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= 66045 MiB
End job on node19 on Sat Jan 20 15:53:03 UTC 2007