0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/276626-1169242754/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.39 => wckTime=0.1 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.74
0.74 constraints being loaded...
0.86 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.86 => wckTime=0.57 cpuTime=0.51 mem=35M679
0.92
0.92 solver LocalSearchSolver being built...
0.96 => wckTime=0.664 cpuTime=0.55 mem=7M414
0.97
0.97 s SATISFIABLE
0.97 o 14
0.97 c 70
0.97 o 18
0.97 c 66
0.97 o 20
0.97 c 64
0.98 o 23
0.98 c 61
0.98 o 26
0.98 c 58
0.98 o 29
0.98 c 55
0.98 o 32
0.98 c 52
0.98 o 34
0.98 c 50
0.98 o 37
0.98 c 47
0.98 o 40
0.98 c 44
0.99 o 42
0.99 c 42
0.99 o 44
0.99 c 40
0.99 o 46
0.99 c 38
0.99 o 48
0.99 c 36
0.99 o 50
0.99 c 34
0.99 o 51
0.99 c 33
0.99 o 52
0.99 c 32
1.00 o 54
1.00 c 30
1.00 o 55
1.00 c 29
1.00 o 56
1.00 c 28
1.00 o 58
1.00 c 26
1.00 o 59
1.00 c 25
1.00 o 61
1.00 c 23
1.00 o 62
1.00 c 22
1.01 o 63
1.01 c 21
1.01 o 64
1.01 c 20
1.01 o 65
1.01 c 19
1.01 o 66
1.01 c 18
1.02 o 67
1.02 c 17
1.04 o 68
1.04 c 16
1.04 o 69
1.04 c 15
1.08 o 70
1.08 c 14
1.09 o 71
1.09 c 13
1.12 o 72
1.12 c 12
1.12 o 73
1.12 c 11
1.23 o 74
1.23 c 10
1.24 o 75
1.24 c 9
1.24 o 76
1.24 c 8
11.10
11.10 search
11.10 run=0 nbConstraintChecks=93156835 nbAssignments=10000
11.10 => wckTime=10.145 cpuTime=10.11 mem=7M414
16.59 o 77
16.59 c 7
22.76
22.76 search
22.76 run=1 nbConstraintChecks=197051369 nbAssignments=20000
22.76 => wckTime=21.806 cpuTime=21.74 mem=7M414
33.67
33.67 search
33.67 run=2 nbConstraintChecks=295772860 nbAssignments=30000
33.67 => wckTime=32.712 cpuTime=32.64 mem=7M414
46.10
46.10 search
46.10 run=3 nbConstraintChecks=409286319 nbAssignments=40000
46.10 => wckTime=45.146 cpuTime=45.07 mem=7M414
46.60
46.60 search
46.60 run=4 nbConstraintChecks=413727165 nbAssignments=40563
46.60 => wckTime=45.64 cpuTime=45.58 mem=7M414
46.60
46.60 global
46.60 nbConstraintChecks=413727165 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.60 solvingWckTime=45.636 solvingCpuTime=45.58 expiredTime=no totalExploration=no nbFoundSolutions=0
46.60 globalCpuTime=46.18
46.60 => wckTime=46.305 cpuTime=46.13 mem=7M414
46.60
46.60 solver IterativeSystematicSolver being built...
46.72 => wckTime=46.424 cpuTime=46.22 mem=18M461
46.73
46.73 preprocessing
46.73 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
46.73 detectedInconsistency=no
46.73 => wckTime=0.0070 cpuTime=0.01 mem=18M461
47.69
47.69 search
47.69 run=0 nbConstraintChecks=7663868 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=308
47.69 nbFailedAssignments=283 nbBacktracks=10 nbVisitedNodes=602 nbRestartNogoods=0
47.69 => wckTime=0.97 cpuTime=0.94 mem=18M461
50.84
50.84 search
50.84 run=1 nbConstraintChecks=27669969 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1017
50.84 nbFailedAssignments=972 nbBacktracks=25 nbVisitedNodes=2013 nbRestartNogoods=127
50.84 => wckTime=4.121 cpuTime=4.08 mem=18M461
51.79
51.79 search
51.79 run=2 nbConstraintChecks=33375228 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1362
51.79 nbFailedAssignments=1279 nbBacktracks=47 nbVisitedNodes=2687 nbRestartNogoods=322
51.79 => wckTime=5.072 cpuTime=5.03 mem=18M461
54.88
54.88 search
54.88 run=3 nbConstraintChecks=48481890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1982
54.88 nbFailedAssignments=1848 nbBacktracks=80 nbVisitedNodes=3909 nbRestartNogoods=383
54.88 => wckTime=8.16 cpuTime=8.09 mem=18M461
61.62
61.62 search
61.62 run=4 nbConstraintChecks=93136407 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3361
61.62 nbFailedAssignments=3172 nbBacktracks=130 nbVisitedNodes=6662 nbRestartNogoods=429
61.62 => wckTime=14.905 cpuTime=14.81 mem=18M461
67.10
67.10 search
67.10 run=5 nbConstraintChecks=132894520 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5203
67.10 nbFailedAssignments=4929 nbBacktracks=205 nbVisitedNodes=10335 nbRestartNogoods=448
67.10 => wckTime=20.385 cpuTime=20.29 mem=18M461
71.15
71.15 search
71.15 run=6 nbConstraintChecks=154853286 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5956
71.15 nbFailedAssignments=5565 nbBacktracks=318 nbVisitedNodes=11831 nbRestartNogoods=500
71.15 => wckTime=24.435 cpuTime=24.33 mem=18M461
78.31
78.31 search
78.31 run=7 nbConstraintChecks=193999644 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7269
78.31 nbFailedAssignments=6701 nbBacktracks=488 nbVisitedNodes=14445 nbRestartNogoods=567
78.31 => wckTime=31.587 cpuTime=31.48 mem=18M461
84.70
84.70 search
84.70 run=8 nbConstraintChecks=221154840 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8108
84.70 nbFailedAssignments=7277 nbBacktracks=745 nbVisitedNodes=16094 nbRestartNogoods=569
84.70 => wckTime=37.986 cpuTime=37.88 mem=18M461
91.99
91.99 search
91.99 run=9 nbConstraintChecks=255004433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9237
91.99 nbFailedAssignments=8015 nbBacktracks=1130 nbVisitedNodes=18326 nbRestartNogoods=701
91.99 => wckTime=45.274 cpuTime=45.16 mem=18M461
104.31
104.31 search
104.31 run=10 nbConstraintChecks=312729536 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11167
104.31 nbFailedAssignments=9364 nbBacktracks=1706 nbVisitedNodes=22169 nbRestartNogoods=767
104.31 => wckTime=57.596 cpuTime=57.48 mem=18M461
118.49
118.49 search
118.49 run=11 nbConstraintChecks=375179544 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13311
118.49 nbFailedAssignments=10638 nbBacktracks=2570 nbVisitedNodes=26392 nbRestartNogoods=915
118.49 => wckTime=71.771 cpuTime=71.63 mem=18M461
143.99
143.99 search
143.99 run=12 nbConstraintChecks=481086734 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16663
143.99 nbFailedAssignments=12689 nbBacktracks=3867 nbVisitedNodes=33031 nbRestartNogoods=932
143.99 => wckTime=97.269 cpuTime=97.13 mem=18M461
179.42
179.42 search
179.42 run=13 nbConstraintChecks=638064562 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21899
179.42 nbFailedAssignments=15969 nbBacktracks=5813 nbVisitedNodes=43327 nbRestartNogoods=1111
179.42 => wckTime=132.703 cpuTime=132.53 mem=18M461
246.46
246.46 search
246.46 run=14 nbConstraintChecks=955100118 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31686
246.46 nbFailedAssignments=22830 nbBacktracks=8732 nbVisitedNodes=62882 nbRestartNogoods=1272
246.46 => wckTime=199.745 cpuTime=199.51 mem=18M461
336.28
336.28 search
336.28 run=15 nbConstraintChecks=1380833414 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=45426
336.28 nbFailedAssignments=32186 nbBacktracks=13110 nbVisitedNodes=90311 nbRestartNogoods=1439
336.28 => wckTime=289.563 cpuTime=289.27 mem=18M461
448.64
448.64 search
448.64 run=16 nbConstraintChecks=1914130328 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64141
448.64 nbFailedAssignments=44324 nbBacktracks=19678 nbVisitedNodes=127624 nbRestartNogoods=1450
448.64 => wckTime=401.92 cpuTime=401.52 mem=18M461
601.48
601.48 search
601.48 run=17 nbConstraintChecks=2629892994 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89740
601.48 nbFailedAssignments=60064 nbBacktracks=29530 nbVisitedNodes=178492 nbRestartNogoods=1520
601.48 => wckTime=554.762 cpuTime=554.23 mem=18M461
896.42
896.42 search
896.42 run=18 nbConstraintChecks=4014558580 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=133643
896.42 nbFailedAssignments=89184 nbBacktracks=44308 nbVisitedNodes=265800 nbRestartNogoods=1545
896.42 => wckTime=849.698 cpuTime=848.96 mem=18M461
1240.81 o 78
1240.81 c 6
1279.99
1279.99 search
1279.99 run=19 nbConstraintChecks=5718730309 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=191256
1279.99 nbFailedAssignments=124621 nbBacktracks=66476 nbVisitedNodes=380182 nbRestartNogoods=1583
1279.99 => wckTime=1233.268 cpuTime=1232.23 mem=18M461
1925.79
1925.79 search
1925.79 run=20 nbConstraintChecks=8375461462 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=282812
1925.79 nbFailedAssignments=182919 nbBacktracks=99729 nbVisitedNodes=559884 nbRestartNogoods=1627
1925.79 => wckTime=1879.072 cpuTime=1877.48 mem=18M461
2401.95 v 162 35 97 52 0 74 5 21 16 10 20 130 0 10 15 2 58 23 8 3 26 40 19 114 0 26 162 0 157 6 4 4 87 136 80 42 148 98 47 44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-276626-1169242754 -o ROOT/results/node16/solver-276626-1169242754 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276626-1169242754/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.99 2.00 2.00 4/87 18842
/proc/meminfo: memFree=1261144/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=172 CPUtime=0
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272670269 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7205163 0 0 4096 0 0 0 0 17 0 0 0
/proc/18841/statm: 43 24 18 14 0 3 0
[startup+0.107596 s]
/proc/loadavg: 1.99 2.00 2.00 4/87 18842
/proc/meminfo: memFree=1261144/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=914988 CPUtime=0.09
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 3067 0 1 0 8 1 0 0 22 0 8 0 272670269 936947712 2813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228747 2813 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515519 s]
/proc/loadavg: 1.99 2.00 2.00 4/87 18842
/proc/meminfo: memFree=1261144/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915332 CPUtime=0.49
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 7948 0 1 0 45 4 0 0 25 0 8 0 272670269 937299968 7687 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228833 7689 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33836 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 18849
/proc/meminfo: memFree=1214752/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=1.31
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14238 0 1 0 122 9 0 0 25 0 8 0 272670269 937414656 13976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 13976 2476 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 615 0 0 0 4 0 0 0 17 0 8 0 272670273 937414656 13976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 13976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 13976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 13976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.12
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 272670276 937414656 13976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 13976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 13976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.99106 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 18849
/proc/meminfo: memFree=1214752/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=2.96
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14243 0 1 0 282 14 0 0 25 0 8 0 272670269 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 13980 2476 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.12
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 335 0 0 0 12 0 0 0 15 0 8 0 272670276 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915444
[startup+6.29044 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 18849
/proc/meminfo: memFree=1214632/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=6.27
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14243 0 1 0 600 27 0 0 25 0 8 0 272670269 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 13980 2476 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.12
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 335 0 0 0 12 0 0 0 15 0 8 0 272670276 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915444
[startup+12.7782 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 18849
/proc/meminfo: memFree=1214632/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=12.76
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14245 0 1 0 1225 51 0 0 25 0 8 0 272670269 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 13982 2476 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.13
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272670276 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 915444
[startup+25.6298 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 18849
/proc/meminfo: memFree=1214760/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=25.57
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14245 0 1 0 2464 93 0 0 25 0 8 0 272670269 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 13982 2476 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.13
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272670276 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915444
[startup+51.261 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 18849
/proc/meminfo: memFree=1214632/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=51.2
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14385 0 1 0 4963 157 0 0 25 0 8 0 272670269 937414656 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 14117 2527 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272670273 937414656 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.2
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 378 0 0 0 19 1 0 0 16 0 8 0 272670276 937414656 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 14117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915444
[startup+102.512 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 18849
/proc/meminfo: memFree=1214632/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=102.42
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14407 0 1 0 10084 158 0 0 25 0 8 0 272670269 937414656 14133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 14133 2527 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 14133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 14133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.22
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 272670276 937414656 14133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 14133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 14133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915444
[startup+162.515 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 18849
/proc/meminfo: memFree=1214632/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=162.35
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14407 0 1 0 16077 158 0 0 25 0 8 0 272670269 937414656 14133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.64
Current children cumulated vsize (KiB) 915444
[startup+2083.29 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19137
/proc/meminfo: memFree=1262120/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=2081.61
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14411 0 1 0 207988 173 0 0 25 0 8 0 272670269 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795074 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 14134 2527 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.23
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.61
Current children cumulated vsize (KiB) 915444
[startup+2143.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19137
/proc/meminfo: memFree=1262120/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=2141.55
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14411 0 1 0 213982 173 0 0 25 0 8 0 272670269 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795124 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 14134 2527 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.23
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.55
Current children cumulated vsize (KiB) 915444
[startup+2203.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/88 19166
/proc/meminfo: memFree=1284440/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=2201.62
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14411 0 1 0 219987 175 0 0 25 0 8 0 272670269 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 14134 2527 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.23
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.62
Current children cumulated vsize (KiB) 915444
[startup+2263.46 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19199
/proc/meminfo: memFree=1276656/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=2261.64
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14411 0 1 0 225988 176 0 0 25 0 8 0 272670269 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 14134 2527 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.23
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.64
Current children cumulated vsize (KiB) 915444
[startup+2323.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19199
/proc/meminfo: memFree=1276656/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=2321.62
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14411 0 1 0 231986 176 0 0 25 0 8 0 272670269 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 14134 2527 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.23
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.62
Current children cumulated vsize (KiB) 915444
[startup+2383.55 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19199
/proc/meminfo: memFree=1276656/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=2381.63
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14411 0 1 0 237987 176 0 0 25 0 8 0 272670269 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 14134 2527 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.23
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.63
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.95 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 19199
/proc/meminfo: memFree=1276656/2055920 swapFree=4191880/4192956
[pid=18841] ppid=18839 vsize=915444 CPUtime=2400.01
/proc/18841/stat : 18841 (java) R 18839 18841 18773 0 -1 0 14411 0 1 0 239825 176 0 0 25 0 8 0 272670269 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18841/statm: 228861 14134 2527 14 0 215331 0
[pid=18841/tid=18843] ppid=18839 vsize=915444 CPUtime=0.04
/proc/18841/task/18843/stat : 18843 (java) S 18839 18841 18773 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18844] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18844/stat : 18844 (java) S 18839 18841 18773 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18845] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18845/stat : 18845 (java) S 18839 18841 18773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272670273 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18846] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18846/stat : 18846 (java) S 18839 18841 18773 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18847] ppid=18839 vsize=915444 CPUtime=0.23
/proc/18841/task/18847/stat : 18847 (java) S 18839 18841 18773 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18848] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18848/stat : 18848 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18841/tid=18849] ppid=18839 vsize=915444 CPUtime=0
/proc/18841/task/18849/stat : 18849 (java) S 18839 18841 18773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272670276 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2401.99
CPU time (s): 2400.06
CPU user time (s): 2398.29
CPU system time (s): 1.76973
CPU usage (%): 99.9196
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.29
system time used= 1.76973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14431
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= 49800
involuntary context switches= 101972
runsolver used 2.69959 s user time and 7.99578 s system time
The end
Begin job on node16 on Fri Jan 19 21:39:14 UTC 2007
IDJOB= 276626
IDBENCH= 5910
IDSOLVER= 69
FILE ID= node16/276626-1169242754
PBS_JOBID= 3589037
Free space on /tmp= 66554 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276626-1169242754/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-276626-1169242754 -o ROOT/results/node16/solver-276626-1169242754 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276626-1169242754/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9f26a666bb0b42121c2d5a77d97f4fb8
RANDOM SEED= 479031530
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1261624 kB
Buffers: 43976 kB
Cached: 563540 kB
SwapCached: 268 kB
Active: 336604 kB
Inactive: 383940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1261624 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3692 kB
Writeback: 0 kB
Mapped: 132596 kB
Slab: 58440 kB
Committed_AS: 7468456 kB
PageTables: 2508 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= 66558 MiB
End job on node16 on Fri Jan 19 22:19:16 UTC 2007