0.34
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=epfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/276724-1169245182/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.45 => wckTime=0.104 cpuTime=0.09 mem=6M887
0.45
0.45 relations being loaded...
0.57
0.57 constraints being loaded...
0.66 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.66 => wckTime=0.313 cpuTime=0.25 mem=15M680
0.70
0.70 solver LocalSearchSolver being built...
0.75 => wckTime=0.404 cpuTime=0.29 mem=5M927
0.76
0.76 s SATISFIABLE
0.76 o 52
0.76 c 83
0.76 o 56
0.76 c 79
0.76 o 61
0.76 c 74
0.76 o 66
0.76 c 69
0.76 o 70
0.76 c 65
0.76 o 73
0.76 c 62
0.76 o 77
0.76 c 58
0.77 o 80
0.77 c 55
0.77 o 83
0.77 c 52
0.77 o 86
0.77 c 49
0.77 o 89
0.77 c 46
0.77 o 93
0.77 c 42
0.77 o 95
0.77 c 40
0.77 o 97
0.77 c 38
0.77 o 98
0.77 c 37
0.77 o 99
0.77 c 36
0.77 o 100
0.77 c 35
0.77 o 101
0.77 c 34
0.77 o 102
0.77 c 33
0.77 o 103
0.77 c 32
0.77 o 105
0.77 c 30
0.78 o 108
0.78 c 27
0.78 o 109
0.78 c 26
0.78 o 110
0.78 c 25
0.78 o 111
0.78 c 24
0.78 o 112
0.78 c 23
0.78 o 113
0.78 c 22
0.79 o 114
0.79 c 21
0.79 o 116
0.79 c 19
0.79 o 119
0.79 c 16
0.80 o 120
0.80 c 15
0.80 o 121
0.80 c 14
0.80 o 122
0.80 c 13
0.80 o 123
0.80 c 12
0.80 o 124
0.80 c 11
0.83 o 125
0.83 c 10
0.84 o 126
0.84 c 9
0.93 o 127
0.93 c 8
0.94 o 128
0.94 c 7
1.04 o 129
1.04 c 6
1.04 o 130
1.04 c 5
4.39
4.39 search
4.39 run=0 nbConstraintChecks=25980521 nbAssignments=10000
4.39 => wckTime=3.641 cpuTime=3.58 mem=5M927
8.25
8.25 search
8.25 run=1 nbConstraintChecks=53574580 nbAssignments=20000
8.25 => wckTime=7.507 cpuTime=7.4 mem=5M927
9.63 o 131
9.63 c 4
11.71 o 132
11.71 c 3
11.72
11.72 search
11.72 run=2 nbConstraintChecks=78055853 nbAssignments=30000
11.72 => wckTime=10.971 cpuTime=10.83 mem=5M927
15.61
15.61 search
15.61 run=3 nbConstraintChecks=106132130 nbAssignments=40000
15.61 => wckTime=14.861 cpuTime=14.69 mem=5M927
15.68 o 133
15.69 c 2
19.01
19.01 search
19.01 run=4 nbConstraintChecks=129715241 nbAssignments=50000
19.01 => wckTime=18.262 cpuTime=18.06 mem=5M927
22.52
22.52 search
22.52 run=5 nbConstraintChecks=154198478 nbAssignments=60000
22.52 => wckTime=21.773 cpuTime=21.54 mem=5M927
25.92
25.92 search
25.92 run=6 nbConstraintChecks=178030310 nbAssignments=70000
25.92 => wckTime=25.179 cpuTime=24.91 mem=5M927
29.71
29.71 search
29.71 run=7 nbConstraintChecks=205171439 nbAssignments=80000
29.71 => wckTime=28.964 cpuTime=28.67 mem=5M927
33.19
33.19 search
33.19 run=8 nbConstraintChecks=229769053 nbAssignments=90000
33.19 => wckTime=32.45 cpuTime=32.11 mem=5M927
36.73
36.73 search
36.73 run=9 nbConstraintChecks=254610446 nbAssignments=100000
36.73 => wckTime=35.983 cpuTime=35.61 mem=5M927
40.07
40.07 search
40.07 run=10 nbConstraintChecks=277677368 nbAssignments=110000
40.07 => wckTime=39.323 cpuTime=38.92 mem=5M927
43.56
43.56 search
43.56 run=11 nbConstraintChecks=301976788 nbAssignments=120000
43.56 => wckTime=42.817 cpuTime=42.39 mem=5M927
45.98
45.98 search
45.98 run=12 nbConstraintChecks=318820478 nbAssignments=127072
45.98 => wckTime=45.231 cpuTime=44.78 mem=5M927
45.98
45.98 global
45.98 nbConstraintChecks=318820478 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.98 solvingWckTime=45.226 solvingCpuTime=44.78 expiredTime=no totalExploration=no nbFoundSolutions=0
45.98 globalCpuTime=45.12
45.98 => wckTime=45.635 cpuTime=45.07 mem=5M927
45.98
45.98 solver IterativeSystematicSolver being built...
46.10 => wckTime=45.762 cpuTime=45.17 mem=16M899
46.19
46.19 preprocessing
46.19 nbConstraintChecks=102831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
46.19 detectedInconsistency=no
46.19 => wckTime=0.087 cpuTime=0.06 mem=16M899
46.47
46.47 search
46.47 run=0 nbConstraintChecks=1341064 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=216
46.47 nbFailedAssignments=194 nbBacktracks=10 nbVisitedNodes=421 nbRestartNogoods=0
46.47 => wckTime=0.366 cpuTime=0.33 mem=16M899
46.72
46.72 search
46.72 run=1 nbConstraintChecks=2369210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=405
46.72 nbFailedAssignments=354 nbBacktracks=25 nbVisitedNodes=785 nbRestartNogoods=25
46.72 => wckTime=0.618 cpuTime=0.56 mem=16M899
47.07
47.07 search
47.07 run=2 nbConstraintChecks=4148992 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=694
47.07 nbFailedAssignments=607 nbBacktracks=48 nbVisitedNodes=1350 nbRestartNogoods=51
47.07 => wckTime=0.968 cpuTime=0.91 mem=16M899
47.23
47.23 search
47.23 run=3 nbConstraintChecks=4703504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=794
47.23 nbFailedAssignments=671 nbBacktracks=81 nbVisitedNodes=1540 nbRestartNogoods=84
47.23 => wckTime=1.122 cpuTime=1.06 mem=16M899
47.88
47.88 search
47.88 run=4 nbConstraintChecks=7742951 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1338
47.88 nbFailedAssignments=1152 nbBacktracks=131 nbVisitedNodes=2613 nbRestartNogoods=95
47.88 => wckTime=1.772 cpuTime=1.7 mem=16M899
48.50
48.50 search
48.50 run=5 nbConstraintChecks=10264562 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1751
48.50 nbFailedAssignments=1482 nbBacktracks=206 nbVisitedNodes=3421 nbRestartNogoods=177
48.50 => wckTime=2.398 cpuTime=2.31 mem=16M899
51.14
51.14 search
51.14 run=6 nbConstraintChecks=23751005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3911
51.14 nbFailedAssignments=3522 nbBacktracks=319 nbVisitedNodes=7734 nbRestartNogoods=223
51.14 => wckTime=5.037 cpuTime=4.91 mem=16M899
53.30
53.30 search
53.30 run=7 nbConstraintChecks=33690194 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6045
53.30 nbFailedAssignments=5476 nbBacktracks=489 nbVisitedNodes=11992 nbRestartNogoods=261
53.30 => wckTime=7.194 cpuTime=7.05 mem=16M899
55.62
55.62 search
55.62 run=8 nbConstraintChecks=44029661 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7918
55.62 nbFailedAssignments=7085 nbBacktracks=745 nbVisitedNodes=15730 nbRestartNogoods=321
55.62 => wckTime=9.515 cpuTime=9.35 mem=16M899
59.51
59.51 search
59.51 run=9 nbConstraintChecks=61663551 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11029
59.51 nbFailedAssignments=9801 nbBacktracks=1129 nbVisitedNodes=21914 nbRestartNogoods=369
59.51 => wckTime=13.4 cpuTime=13.19 mem=16M899
67.21
67.21 search
67.21 run=10 nbConstraintChecks=97092702 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16872
67.21 nbFailedAssignments=15058 nbBacktracks=1705 nbVisitedNodes=33584 nbRestartNogoods=448
67.21 => wckTime=21.106 cpuTime=20.82 mem=16M899
76.03
76.03 search
76.03 run=11 nbConstraintChecks=136190883 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23702
76.03 nbFailedAssignments=21016 nbBacktracks=2569 nbVisitedNodes=47221 nbRestartNogoods=462
76.03 => wckTime=29.924 cpuTime=29.56 mem=16M899
86.26
86.26 search
86.26 run=12 nbConstraintChecks=174855210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30176
86.26 nbFailedAssignments=26190 nbBacktracks=3866 nbVisitedNodes=60075 nbRestartNogoods=503
86.26 => wckTime=40.15 cpuTime=39.69 mem=16M899
99.97
99.97 search
99.97 run=13 nbConstraintChecks=223240701 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38148
99.97 nbFailedAssignments=32206 nbBacktracks=5813 nbVisitedNodes=75894 nbRestartNogoods=512
99.97 => wckTime=53.865 cpuTime=53.28 mem=16M899
113.72
113.72 search
113.72 run=14 nbConstraintChecks=272989589 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46962
113.72 nbFailedAssignments=38091 nbBacktracks=8732 nbVisitedNodes=93011 nbRestartNogoods=556
113.72 => wckTime=67.616 cpuTime=66.91 mem=16M899
138.44
138.44 search
138.44 run=15 nbConstraintChecks=359335714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61415
138.44 nbFailedAssignments=48151 nbBacktracks=13110 nbVisitedNodes=121396 nbRestartNogoods=569
138.44 => wckTime=92.332 cpuTime=91.39 mem=16M899
176.09
176.18 search
176.18 run=16 nbConstraintChecks=487349085 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=82370
176.18 nbFailedAssignments=62530 nbBacktracks=19679 nbVisitedNodes=161926 nbRestartNogoods=632
176.18 => wckTime=129.986 cpuTime=128.69 mem=16M899
227.76
227.76 search
227.76 run=17 nbConstraintChecks=657137758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110079
227.76 nbFailedAssignments=80379 nbBacktracks=29531 nbVisitedNodes=214787 nbRestartNogoods=680
227.76 => wckTime=181.656 cpuTime=179.88 mem=16M899
300.57
300.57 search
300.57 run=18 nbConstraintChecks=900959829 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=149499
300.57 nbFailedAssignments=105012 nbBacktracks=44309 nbVisitedNodes=290394 nbRestartNogoods=699
300.57 => wckTime=254.465 cpuTime=252.15 mem=16M899
395.33
395.33 search
395.33 run=19 nbConstraintChecks=1275098551 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=211770
395.33 nbFailedAssignments=145108 nbBacktracks=66479 nbVisitedNodes=412007 nbRestartNogoods=714
395.33 => wckTime=349.228 cpuTime=346.69 mem=16M899
541.79
541.79 search
541.79 run=20 nbConstraintChecks=1796410373 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=298557
541.79 nbFailedAssignments=198640 nbBacktracks=99731 nbVisitedNodes=576758 nbRestartNogoods=729
541.79 => wckTime=495.684 cpuTime=492.47 mem=16M899
753.82
753.82 search
753.82 run=21 nbConstraintChecks=2580116263 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=431547
753.82 nbFailedAssignments=281746 nbBacktracks=149609 nbVisitedNodes=829497 nbRestartNogoods=769
753.82 => wckTime=707.718 cpuTime=703.51 mem=16M899
1096.02
1096.02 search
1096.02 run=22 nbConstraintChecks=3852806919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=635771
1096.02 nbFailedAssignments=411141 nbBacktracks=224427 nbVisitedNodes=1223230 nbRestartNogoods=819
1096.02 => wckTime=1049.912 cpuTime=1044.1 mem=16M899
1605.09
1605.09 search
1605.09 run=23 nbConstraintChecks=5732884450 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=932577
1605.09 nbFailedAssignments=595712 nbBacktracks=336656 nbVisitedNodes=1790359 nbRestartNogoods=864
1605.09 => wckTime=1558.988 cpuTime=1550.8 mem=16M899
2323.50
2323.50 search
2323.50 run=24 nbConstraintChecks=8483106102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1388673
2323.50 nbFailedAssignments=883455 nbBacktracks=504998 nbVisitedNodes=2666660 nbRestartNogoods=916
2323.50 => wckTime=2277.396 cpuTime=2265.88 mem=16M899
2412.40 v 12 39 28 36 12 38 24 37 32 17 2 29 37 13 24 22 38 29 8 21 30 26 5 0 11 1 14 33 28 39 31 34 17 35 32 22 32 0 10 29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-276724-1169245182 -o ROOT/results/node11/solver-276724-1169245182 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276724-1169245182/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 2.00 4/93 13978
/proc/meminfo: memFree=1239840/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=1784 CPUtime=0
/proc/13977/stat : 13977 (java) D 13975 13977 13557 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 272913261 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/13977/statm: 446 136 102 14 0 91 0
[startup+0.107814 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 13978
/proc/meminfo: memFree=1239840/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=911488 CPUtime=0.07
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 2633 0 1 0 5 2 0 0 20 0 8 0 272913261 933363712 2380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153893850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13977/statm: 227872 2380 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.515895 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 13978
/proc/meminfo: memFree=1239840/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915332 CPUtime=0.47
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 6704 0 1 0 42 5 0 0 18 0 8 0 272913261 937299968 6443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13977/statm: 228833 6443 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33706 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13985
/proc/meminfo: memFree=1214632/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915448 CPUtime=1.28
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 8986 0 1 0 115 13 0 0 25 0 8 0 272913261 937418752 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13977/statm: 228862 8724 2479 14 0 215332 0
[pid=13977/tid=13979] ppid=13975 vsize=915448 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272913267 937418752 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915448 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937418752 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915448 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937418752 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915448 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937418752 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915448 CPUtime=0.15
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 335 0 0 0 14 1 0 0 16 0 8 0 272913271 937418752 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915448 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937418752 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915448 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937418752 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915448
[startup+2.98638 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13985
/proc/meminfo: memFree=1214632/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=2.91
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 8987 0 1 0 258 33 0 0 25 0 8 0 272913261 937414656 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13977/statm: 228861 8724 2479 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.15
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 335 0 0 0 14 1 0 0 16 0 8 0 272913271 937414656 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915444
[startup+6.27303 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13985
/proc/meminfo: memFree=1214504/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=6.16
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 8989 0 1 0 550 66 0 0 25 0 8 0 272913261 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13977/statm: 228861 8726 2479 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.15
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 337 0 0 0 14 1 0 0 16 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915444
[startup+12.7553 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13985
/proc/meminfo: memFree=1214504/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=12.59
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 8989 0 1 0 1127 132 0 0 25 0 8 0 272913261 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679229 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13977/statm: 228861 8726 2479 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.15
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 337 0 0 0 14 1 0 0 16 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915444
[startup+25.6089 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13985
/proc/meminfo: memFree=1214568/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=25.32
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 8989 0 1 0 2255 277 0 0 25 0 8 0 272913261 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13977/statm: 228861 8726 2479 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.15
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 337 0 0 0 14 1 0 0 16 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915444
[startup+51.219 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13985
/proc/meminfo: memFree=1214248/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=50.7
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 9145 0 1 0 4565 505 0 0 25 0 8 0 272913261 937414656 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13977/statm: 228861 8879 2532 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.25
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 272913271 937414656 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915444
[startup+102.424 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13985
/proc/meminfo: memFree=1214120/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=101.42
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 9166 0 1 0 9637 505 0 0 25 0 8 0 272913261 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13977/statm: 228861 8897 2532 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.25
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272913271 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915444
[startup+162.478 s]
/proc/loadavg: 2.04 2.01 2.00 3/100 13987
/proc/meminfo: memFree=1213992/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=160.92
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 9171 0 1 0 15587 505 0 0 25 0 8 0 272913261 937414656 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834806 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2013.98
Current children cumulated vsize (KiB) 915444
[startup+2084.55 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14216
/proc/meminfo: memFree=1255712/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=2073.75
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 9196 0 1 0 206862 513 0 0 25 0 8 0 272913261 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13977/statm: 228861 8924 2532 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.26
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2073.75
Current children cumulated vsize (KiB) 915444
[startup+2144.63 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14216
/proc/meminfo: memFree=1255712/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=2133.54
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 9196 0 1 0 212841 513 0 0 25 0 8 0 272913261 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796489 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13977/statm: 228861 8924 2532 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.26
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.54
Current children cumulated vsize (KiB) 915444
[startup+2204.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14216
/proc/meminfo: memFree=1255712/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=2193.35
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 9196 0 1 0 218822 513 0 0 25 0 8 0 272913261 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13977/statm: 228861 8924 2532 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.26
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.35
Current children cumulated vsize (KiB) 915444
[startup+2264.78 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14216
/proc/meminfo: memFree=1255712/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=2253.14
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 9196 0 1 0 224801 513 0 0 25 0 8 0 272913261 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13977/statm: 228861 8924 2532 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.26
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.14
Current children cumulated vsize (KiB) 915444
[startup+2324.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14216
/proc/meminfo: memFree=1255712/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=2312.94
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 9199 0 1 0 230781 513 0 0 25 0 8 0 272913261 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788583 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13977/statm: 228861 8927 2532 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.26
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2312.94
Current children cumulated vsize (KiB) 915444
[startup+2384.92 s]
/proc/loadavg: 2.08 2.02 2.01 3/93 14216
/proc/meminfo: memFree=1255648/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=2372.72
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 9199 0 1 0 236759 513 0 0 25 0 8 0 272913261 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678091 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13977/statm: 228861 8927 2532 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.26
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2372.72
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412.39 s]
/proc/loadavg: 2.05 2.01 2.00 3/93 14216
/proc/meminfo: memFree=1255712/2055920 swapFree=4171812/4192956
[pid=13977] ppid=13975 vsize=915444 CPUtime=2400.06
/proc/13977/stat : 13977 (java) R 13975 13977 13557 0 -1 0 9199 0 1 0 239493 513 0 0 25 0 8 0 272913261 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829334 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13977/statm: 228861 8927 2532 14 0 215331 0
[pid=13977/tid=13979] ppid=13975 vsize=915444 CPUtime=0.03
/proc/13977/task/13979/stat : 13979 (java) S 13975 13977 13557 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272913267 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13980] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13980/stat : 13980 (java) S 13975 13977 13557 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272913267 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13981] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13981/stat : 13981 (java) S 13975 13977 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272913267 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13982] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13982/stat : 13982 (java) S 13975 13977 13557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13983] ppid=13975 vsize=915444 CPUtime=0.26
/proc/13977/task/13983/stat : 13983 (java) S 13975 13977 13557 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13977/tid=13984] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13984/stat : 13984 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13977/tid=13985] ppid=13975 vsize=915444 CPUtime=0
/proc/13977/task/13985/stat : 13985 (java) S 13975 13977 13557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272913271 937414656 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2412.42
CPU time (s): 2400.1
CPU user time (s): 2394.96
CPU system time (s): 5.14422
CPU usage (%): 99.4893
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.96
system time used= 5.14422
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9221
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= 49913
involuntary context switches= 93998
runsolver used 2.76058 s user time and 7.92879 s system time
The end
Begin job on node11 on Fri Jan 19 22:19:42 UTC 2007
IDJOB= 276724
IDBENCH= 5994
IDSOLVER= 68
FILE ID= node11/276724-1169245182
PBS_JOBID= 3589038
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-12_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276724-1169245182/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-276724-1169245182 -o ROOT/results/node11/solver-276724-1169245182 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276724-1169245182/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7dd533024b09bf291faeaf366c26aa88
RANDOM SEED= 378275646
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.261
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 : 5931.00
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.261
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: 1240320 kB
Buffers: 62560 kB
Cached: 584216 kB
SwapCached: 2828 kB
Active: 265956 kB
Inactive: 470572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1240320 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 2156 kB
Writeback: 0 kB
Mapped: 116824 kB
Slab: 63576 kB
Committed_AS: 8936468 kB
PageTables: 2520 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node11 on Fri Jan 19 22:59:55 UTC 2007