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/280370-1169305365/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.38 => wckTime=0.093 cpuTime=0.07 mem=6M910
0.38
0.38 relations being loaded...
0.59
0.59 constraints being loaded...
0.69 nbConstraints=5 nbRelationTypes=5 nbDisconnectedVariables=1 nbExtensionStructures=5
0.69 nbSharedExtensionStructures=0 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4
0.69 maxArity=10
0.69 => wckTime=0.396 cpuTime=0.35 mem=37M865
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.499 cpuTime=0.39 mem=10M983
0.79
0.79 s SATISFIABLE
0.80 o 0
0.80 c 5
5.97
5.97 search
5.97 run=0 nbConstraintChecks=4300005 nbAssignments=10000
5.97 => wckTime=5.182 cpuTime=5.13 mem=10M983
6.04 o 1
6.04 c 4
10.92
10.92 search
10.92 run=1 nbConstraintChecks=8597986 nbAssignments=20000
10.93 => wckTime=10.137 cpuTime=10.05 mem=10M983
15.74
15.74 search
15.74 run=2 nbConstraintChecks=12766609 nbAssignments=30000
15.74 => wckTime=14.952 cpuTime=14.82 mem=10M983
20.41
20.41 search
20.41 run=3 nbConstraintChecks=16816496 nbAssignments=40000
20.41 => wckTime=19.623 cpuTime=19.46 mem=10M983
24.26 o 2
24.26 c 3
25.23
25.23 search
25.23 run=4 nbConstraintChecks=21045311 nbAssignments=50000
25.23 => wckTime=24.445 cpuTime=24.25 mem=10M983
29.89
29.89 search
29.89 run=5 nbConstraintChecks=25233368 nbAssignments=60000
29.89 => wckTime=29.098 cpuTime=28.87 mem=10M983
34.69
34.69 search
34.69 run=6 nbConstraintChecks=29487115 nbAssignments=70000
34.69 => wckTime=33.906 cpuTime=33.64 mem=10M983
39.48
39.48 search
39.48 run=7 nbConstraintChecks=33740350 nbAssignments=80000
39.48 => wckTime=38.694 cpuTime=38.39 mem=10M983
44.24
44.24 search
44.24 run=8 nbConstraintChecks=37994072 nbAssignments=90000
44.24 => wckTime=43.456 cpuTime=43.12 mem=10M983
49.01
49.01 search
49.01 run=9 nbConstraintChecks=42247054 nbAssignments=100000
49.01 => wckTime=48.221 cpuTime=47.84 mem=10M983
53.81
53.81 search
53.81 run=10 nbConstraintChecks=46500740 nbAssignments=110000
53.81 => wckTime=53.025 cpuTime=52.62 mem=10M983
54.49
54.49 search
54.49 run=11 nbConstraintChecks=47101367 nbAssignments=111411
54.49 => wckTime=53.703 cpuTime=53.29 mem=10M983
54.49
54.49 global
54.49 nbConstraintChecks=47101367 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.49 solvingWckTime=53.702 solvingCpuTime=53.28 expiredTime=no totalExploration=no nbFoundSolutions=0
54.49 globalCpuTime=53.72
54.49 => wckTime=54.202 cpuTime=53.67 mem=10M983
54.49
54.49 solver IterativeSystematicSolver being built...
54.62 => wckTime=54.333 cpuTime=53.78 mem=21M704
54.63
54.63 preprocessing
54.63 nbConstraintChecks=179 nbValidityChecks=500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.63 nbRemovedValues=0 detectedInconsistency=no
54.63 => wckTime=0.0080 cpuTime=0.0 mem=21M704
54.78
54.78 search
54.78 run=0 nbConstraintChecks=113143 nbValidityChecks=125615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
54.78 nbAssignments=28 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0
54.78 => wckTime=0.158 cpuTime=0.13 mem=22M660
55.03
55.03 search
55.03 run=1 nbConstraintChecks=321002 nbValidityChecks=359528 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.03 nbAssignments=80 nbFailedAssignments=43 nbBacktracks=26 nbVisitedNodes=134 nbRestartNogoods=9
55.03 => wckTime=0.405 cpuTime=0.36 mem=22M660
55.14
55.14 search
55.14 run=2 nbConstraintChecks=390345 nbValidityChecks=465015 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.14 nbAssignments=152 nbFailedAssignments=84 nbBacktracks=49 nbVisitedNodes=261 nbRestartNogoods=10
55.14 => wckTime=0.518 cpuTime=0.47 mem=22M660
55.42
55.42 search
55.42 run=3 nbConstraintChecks=643180 nbValidityChecks=760901 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.42 nbAssignments=236 nbFailedAssignments=127 nbBacktracks=83 nbVisitedNodes=405 nbRestartNogoods=19
55.42 => wckTime=0.799 cpuTime=0.74 mem=22M660
55.68
55.68 search
55.68 run=4 nbConstraintChecks=863791 nbValidityChecks=1059230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.68 nbAssignments=384 nbFailedAssignments=220 nbBacktracks=133 nbVisitedNodes=677 nbRestartNogoods=23
55.68 => wckTime=1.06 cpuTime=1.0 mem=22M660
56.49
56.49 search
56.49 run=5 nbConstraintChecks=1572766 nbValidityChecks=1882566 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.49 nbAssignments=599 nbFailedAssignments=354 nbBacktracks=208 nbVisitedNodes=1064 nbRestartNogoods=24
56.49 => wckTime=1.867 cpuTime=1.8 mem=22M660
56.88
56.88 search
56.88 run=6 nbConstraintChecks=1879960 nbValidityChecks=2316312 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.88 nbAssignments=853 nbFailedAssignments=486 nbBacktracks=321 nbVisitedNodes=1491 nbRestartNogoods=27
56.88 => wckTime=2.255 cpuTime=2.18 mem=22M660
58.24
58.24 search
58.24 run=7 nbConstraintChecks=3013189 nbValidityChecks=3639946 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
58.24 nbAssignments=1234 nbFailedAssignments=690 nbBacktracks=491 nbVisitedNodes=2150 nbRestartNogoods=40
58.24 => wckTime=3.613 cpuTime=3.51 mem=22M660
60.24
60.24 search
60.24 run=8 nbConstraintChecks=4806895 nbValidityChecks=5835538 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
60.24 nbAssignments=1988 nbFailedAssignments=1182 nbBacktracks=747 nbVisitedNodes=3590 nbRestartNogoods=63
60.24 => wckTime=5.615 cpuTime=5.49 mem=22M660
62.35
62.35 search
62.35 run=9 nbConstraintChecks=6602829 nbValidityChecks=8020955 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
62.35 nbAssignments=2835 nbFailedAssignments=1637 nbBacktracks=1131 nbVisitedNodes=5053 nbRestartNogoods=75
62.35 => wckTime=7.728 cpuTime=7.58 mem=22M660
64.16
64.16 search
64.16 run=10 nbConstraintChecks=8106072 nbValidityChecks=10194801 nbPropagations=0 nbRevisions=0
64.16 nbUselessRevisions=0 nbAssignments=4169 nbFailedAssignments=2388 nbBacktracks=1707 nbVisitedNodes=7379
64.16 nbRestartNogoods=88
64.16 => wckTime=9.533 cpuTime=9.37 mem=22M660
80.19
80.19 search
80.19 run=11 nbConstraintChecks=23298197 nbValidityChecks=26396666 nbPropagations=0 nbRevisions=0
80.19 nbUselessRevisions=0 nbAssignments=6225 nbFailedAssignments=3574 nbBacktracks=2571 nbVisitedNodes=10941
80.19 nbRestartNogoods=95
80.19 => wckTime=25.562 cpuTime=25.26 mem=22M660
87.36
87.36 search
87.36 run=12 nbConstraintChecks=29740419 nbValidityChecks=34426774 nbPropagations=0 nbRevisions=0
87.37 nbUselessRevisions=0 nbAssignments=9354 nbFailedAssignments=5397 nbBacktracks=3868 nbVisitedNodes=16576
87.37 nbRestartNogoods=110
87.37 => wckTime=32.741 cpuTime=32.39 mem=22M660
105.03
105.03 search
105.03 run=13 nbConstraintChecks=45512864 nbValidityChecks=52668296 nbPropagations=0 nbRevisions=0
105.03 nbUselessRevisions=0 nbAssignments=14170 nbFailedAssignments=8261 nbBacktracks=5814 nbVisitedNodes=25234
105.03 nbRestartNogoods=129
105.03 => wckTime=50.402 cpuTime=49.92 mem=22M660
121.26
121.26 search
121.26 run=14 nbConstraintChecks=59836848 nbValidityChecks=70810635 nbPropagations=0 nbRevisions=0
121.26 nbUselessRevisions=0 nbAssignments=21803 nbFailedAssignments=12969 nbBacktracks=8733 nbVisitedNodes=39123
121.26 nbRestartNogoods=134
121.26 => wckTime=66.639 cpuTime=66.03 mem=22M660
157.56
157.56 search
157.56 run=15 nbConstraintChecks=91081320 nbValidityChecks=108426034 nbPropagations=0 nbRevisions=0
157.56 nbUselessRevisions=0 nbAssignments=34068 nbFailedAssignments=20848 nbBacktracks=13111 nbVisitedNodes=61843
157.56 nbRestartNogoods=146
157.56 => wckTime=102.938 cpuTime=102.06 mem=22M660
186.77
186.77 search
186.77 run=16 nbConstraintChecks=116236939 nbValidityChecks=142042118 nbPropagations=0 nbRevisions=0
186.77 nbUselessRevisions=0 nbAssignments=50442 nbFailedAssignments=30647 nbBacktracks=19680 nbVisitedNodes=91753
186.77 nbRestartNogoods=164
186.77 => wckTime=132.147 cpuTime=131.05 mem=22M660
351.18
351.18 search
351.18 run=17 nbConstraintChecks=272649720 nbValidityChecks=308807870 nbPropagations=0 nbRevisions=0
351.18 nbUselessRevisions=0 nbAssignments=72463 nbFailedAssignments=42810 nbBacktracks=29532 nbVisitedNodes=129375
351.18 nbRestartNogoods=184
351.18 => wckTime=296.552 cpuTime=294.23 mem=22M660
435.98
435.98 search
435.98 run=18 nbConstraintChecks=344558039 nbValidityChecks=401138146 nbPropagations=0 nbRevisions=0
435.98 nbUselessRevisions=0 nbAssignments=112235 nbFailedAssignments=67798 nbBacktracks=44310 nbVisitedNodes=201848
435.98 nbRestartNogoods=203
435.98 => wckTime=381.354 cpuTime=378.38 mem=22M660
713.55
713.55 search
713.55 run=19 nbConstraintChecks=605819730 nbValidityChecks=686890974 nbPropagations=0 nbRevisions=0
713.55 nbUselessRevisions=0 nbAssignments=162693 nbFailedAssignments=96082 nbBacktracks=66478 nbVisitedNodes=287899
713.55 nbRestartNogoods=217
713.55 => wckTime=658.928 cpuTime=653.79 mem=22M660
900.68
900.68 search
900.68 run=20 nbConstraintChecks=772101498 nbValidityChecks=897092475 nbPropagations=0 nbRevisions=0
900.68 nbUselessRevisions=0 nbAssignments=248973 nbFailedAssignments=149104 nbBacktracks=99730 nbVisitedNodes=445087
900.68 nbRestartNogoods=237
900.68 => wckTime=846.055 cpuTime=839.5 mem=22M660
1286.29
1286.29 search
1286.29 run=21 nbConstraintChecks=1106777522 nbValidityChecks=1303959273 nbPropagations=0 nbRevisions=0
1286.29 nbUselessRevisions=0 nbAssignments=385226 nbFailedAssignments=235472 nbBacktracks=149608 nbVisitedNodes=692143
1286.29 nbRestartNogoods=250
1286.29 => wckTime=1231.662 cpuTime=1222.13 mem=22M660
1797.29
1797.29 search
1797.29 run=22 nbConstraintChecks=1568838218 nbValidityChecks=1872712510 nbPropagations=0 nbRevisions=0
1797.29 nbUselessRevisions=0 nbAssignments=595459 nbFailedAssignments=370881 nbBacktracks=224427 nbVisitedNodes=1081836
1797.29 nbRestartNogoods=273
1797.29 => wckTime=1742.666 cpuTime=1729.26 mem=22M660
2418.74 v 6 0 6 5 4 1 8 1 9 6 2 0 2 3 8 5 5 4 7 3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-280370-1169305365 -o ROOT/results/node75/solver-280370-1169305365 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280370-1169305365/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.06 1.02 1.00 5/80 29992
/proc/meminfo: memFree=1295224/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=1784 CPUtime=0
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 278935942 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/29991/statm: 446 140 106 14 0 91 0
[startup+0.102669 s]
/proc/loadavg: 1.06 1.02 1.00 5/80 29992
/proc/meminfo: memFree=1295224/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=914988 CPUtime=0.08
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 3049 0 1 0 7 1 0 0 20 0 8 0 278935942 936947712 2795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510718 s]
/proc/loadavg: 1.06 1.02 1.00 5/80 29992
/proc/meminfo: memFree=1295224/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=0.49
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 8819 0 1 0 44 5 0 0 18 0 8 0 278935942 937299968 8558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 8558 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33381 s]
/proc/loadavg: 1.06 1.02 1.00 3/87 29999
/proc/meminfo: memFree=1220480/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=1.3
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15668 0 1 0 119 11 0 0 25 0 8 0 278935942 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073595983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15406 2477 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.09
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 278935950 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278935950 937299968 15406 18446744073709551615 134512640 134570532 4294956480 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) 915332
[startup+2.979 s]
/proc/loadavg: 1.06 1.02 1.00 3/87 29999
/proc/meminfo: memFree=1220352/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=2.93
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15672 0 1 0 267 26 0 0 25 0 8 0 278935942 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15409 2477 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.09
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 278935950 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278935950 937299968 15409 18446744073709551615 134512640 134570532 4294956480 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) 915332
[startup+6.25839 s]
/proc/loadavg: 1.14 1.03 1.01 3/87 29999
/proc/meminfo: memFree=1220352/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=6.19
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15676 0 1 0 567 52 0 0 25 0 8 0 278935942 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15413 2477 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.09
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915332
[startup+12.7422 s]
/proc/loadavg: 1.20 1.05 1.01 3/87 29999
/proc/meminfo: memFree=1220448/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=12.63
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15676 0 1 0 1163 100 0 0 25 0 8 0 278935942 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596137 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15413 2477 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.09
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 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) 915332
[startup+25.5837 s]
/proc/loadavg: 1.38 1.09 1.03 3/87 29999
/proc/meminfo: memFree=1220512/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=25.37
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15676 0 1 0 2330 207 0 0 25 0 8 0 278935942 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632822 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15413 2477 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.09
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 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) 915332
[startup+51.2787 s]
/proc/loadavg: 1.59 1.16 1.05 3/87 29999
/proc/meminfo: memFree=1220640/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=50.88
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15676 0 1 0 4673 415 0 0 25 0 8 0 278935942 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15413 2477 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.09
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278935950 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915332
[startup+102.493 s]
/proc/loadavg: 1.82 1.29 1.10 3/87 29999
/proc/meminfo: memFree=1219936/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=101.7
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15842 0 1 0 9725 445 0 0 25 0 8 0 278935942 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073595970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15571 2530 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.21
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 278935950 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278935950 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 915332
[startup+162.544 s]
/proc/loadavg: 1.93 1.42 1.15 3/87 29999
/proc/meminfo: memFree=1219872/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=161.31
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15843 0 1 0 15686 445 0 0 25 0 8 0 278935942 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2008.65
Current children cumulated vsize (KiB) 915332
[startup+2084.24 s]
/proc/loadavg: 2.02 2.02 1.87 3/87 30001
/proc/meminfo: memFree=1219744/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=2068.27
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15846 0 1 0 206378 449 0 0 25 0 8 0 278935942 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15573 2530 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.21
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0.02
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2068.27
Current children cumulated vsize (KiB) 915332
[startup+2144.32 s]
/proc/loadavg: 2.04 2.03 1.88 3/87 30001
/proc/meminfo: memFree=1219680/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=2127.87
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15846 0 1 0 212338 449 0 0 25 0 8 0 278935942 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073595992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15573 2530 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.21
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0.02
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2127.87
Current children cumulated vsize (KiB) 915332
[startup+2204.39 s]
/proc/loadavg: 2.01 2.02 1.89 4/87 30001
/proc/meminfo: memFree=1219680/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=2187.46
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15846 0 1 0 218297 449 0 0 25 0 8 0 278935942 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15573 2530 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.21
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0.02
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2187.46
Current children cumulated vsize (KiB) 915332
[startup+2264.47 s]
/proc/loadavg: 2.00 2.02 1.89 3/87 30001
/proc/meminfo: memFree=1219680/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=2247.06
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15846 0 1 0 224257 449 0 0 25 0 8 0 278935942 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15573 2530 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.21
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0.02
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2247.06
Current children cumulated vsize (KiB) 915332
[startup+2324.53 s]
/proc/loadavg: 2.00 2.01 1.90 3/87 30001
/proc/meminfo: memFree=1219680/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=2306.64
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15846 0 1 0 230215 449 0 0 25 0 8 0 278935942 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073600892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15573 2530 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.21
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0.02
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2306.64
Current children cumulated vsize (KiB) 915332
[startup+2384.59 s]
/proc/loadavg: 2.11 2.05 1.92 3/87 30001
/proc/meminfo: memFree=1219680/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=2366.23
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15846 0 1 0 236174 449 0 0 25 0 8 0 278935942 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29991/statm: 228833 15573 2530 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) R 29989 29991 29421 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.21
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0.02
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2366.23
Current children cumulated vsize (KiB) 915332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2418.74 s]
/proc/loadavg: 2.00 2.03 1.91 3/81 30091
/proc/meminfo: memFree=938752/2055920 swapFree=4184548/4192956
[pid=29991] ppid=29989 vsize=915332 CPUtime=2400.07
/proc/29991/stat : 29991 (java) R 29989 29991 29421 0 -1 0 15846 0 1 0 239558 449 0 0 25 0 8 0 278935942 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073600892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29991/statm: 228833 15573 2530 14 0 215303 0
[pid=29991/tid=29993] ppid=29989 vsize=915332 CPUtime=0.04
/proc/29991/task/29993/stat : 29993 (java) S 29989 29991 29421 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29994] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29994/stat : 29994 (java) S 29989 29991 29421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278935946 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29995] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29995/stat : 29995 (java) S 29989 29991 29421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278935947 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29996] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29996/stat : 29996 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29997] ppid=29989 vsize=915332 CPUtime=0.21
/proc/29991/task/29997/stat : 29997 (java) S 29989 29991 29421 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29998] ppid=29989 vsize=915332 CPUtime=0
/proc/29991/task/29998/stat : 29998 (java) S 29989 29991 29421 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29991/tid=29999] ppid=29989 vsize=915332 CPUtime=0.02
/proc/29991/task/29999/stat : 29999 (java) S 29989 29991 29421 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 278935950 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2418.78
CPU time (s): 2400.12
CPU user time (s): 2395.61
CPU system time (s): 4.50831
CPU usage (%): 99.2283
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.61
system time used= 4.50831
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15866
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= 49943
involuntary context switches= 97947
runsolver used 2.37164 s user time and 6.603 s system time
The end
Begin job on node75 on Sat Jan 20 15:02:46 UTC 2007
IDJOB= 280370
IDBENCH= 11086
IDSOLVER= 69
FILE ID= node75/280370-1169305365
PBS_JOBID= 3610149
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280370-1169305365/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-280370-1169305365 -o ROOT/results/node75/solver-280370-1169305365 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280370-1169305365/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3a79806ad987136e66cdfb5c8a2b9150
RANDOM SEED= 726364292
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1300632 kB
Buffers: 41476 kB
Cached: 600464 kB
SwapCached: 2360 kB
Active: 170764 kB
Inactive: 510260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1300632 kB
SwapTotal: 4192956 kB
SwapFree: 4184548 kB
Dirty: 5660 kB
Writeback: 0 kB
Mapped: 54720 kB
Slab: 59584 kB
Committed_AS: 6389632 kB
PageTables: 1884 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 node75 on Sat Jan 20 15:43:04 UTC 2007