0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278065-1169273602/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.088 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.40
0.40 constraints being loaded...
0.63 nbConstraints=1646 nbRelationTypes=37 nbExtensionStructures=37 nbSharedExtensionStructures=1609
0.63 nbConflictsStructures=37 nbSharedConflictsStructures=1609 nbSharedBinaryRepresentations=0 maxDegree=143
0.63 maxArity=3
0.63 => wckTime=0.33 cpuTime=0.21 mem=11M779
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.417 cpuTime=0.25 mem=6M234
0.72
0.72 s SATISFIABLE
0.72 o 1436
0.72 c 210
0.72 o 1443
0.72 c 203
0.72 o 1449
0.72 c 197
0.72 o 1451
0.72 c 195
0.73 o 1461
0.73 c 185
0.73 o 1462
0.73 c 184
0.73 o 1469
0.73 c 177
0.73 o 1471
0.73 c 175
0.73 o 1475
0.73 c 171
0.73 o 1477
0.73 c 169
0.73 o 1478
0.73 c 168
0.73 o 1481
0.73 c 165
0.76 o 1482
0.76 c 164
0.77 o 1486
0.77 c 160
0.77 o 1487
0.77 c 159
0.79 o 1490
0.79 c 156
0.79 o 1491
0.79 c 155
0.82 o 1497
0.82 c 149
0.99 o 1498
0.99 c 148
0.99 o 1502
1.00 c 144
1.20 o 1503
1.20 c 143
1.42 o 1504
1.42 c 142
1.42 o 1506
1.42 c 140
1.45 o 1507
1.45 c 139
1.46 o 1510
1.46 c 136
6.76
6.76 search
6.76 run=0 nbConstraintChecks=37679303 nbAssignments=10000
6.76 => wckTime=6.044 cpuTime=6.03 mem=6M234
12.87
12.87 search
12.87 run=1 nbConstraintChecks=76334220 nbAssignments=20000
12.87 => wckTime=12.155 cpuTime=12.13 mem=6M234
18.80
18.80 search
18.80 run=2 nbConstraintChecks=114058743 nbAssignments=30000
18.80 => wckTime=18.082 cpuTime=18.06 mem=6M234
24.88
24.88 search
24.88 run=3 nbConstraintChecks=152734813 nbAssignments=40000
24.88 => wckTime=24.16 cpuTime=24.13 mem=6M234
30.86
30.86 search
30.86 run=4 nbConstraintChecks=190495172 nbAssignments=50000
30.86 => wckTime=30.142 cpuTime=30.11 mem=6M234
31.48
31.48 search
31.48 run=5 nbConstraintChecks=194461497 nbAssignments=51021
31.48 => wckTime=30.769 cpuTime=30.74 mem=6M234
31.49
31.49 global
31.49 nbConstraintChecks=194461497 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.49 solvingWckTime=30.767 solvingCpuTime=30.74 expiredTime=no totalExploration=no nbFoundSolutions=0
31.49 globalCpuTime=31.05
31.49 => wckTime=31.187 cpuTime=31.0 mem=6M234
31.49
31.49 solver IterativeSystematicSolver being built...
31.67 => wckTime=31.368 cpuTime=31.13 mem=26M103
31.79
31.79 preprocessing
31.79 nbConstraintChecks=13540 nbValidityChecks=33129 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.79 nbRemovedValues=0 detectedInconsistency=no
31.79 => wckTime=0.122 cpuTime=0.1 mem=26M103
31.88
31.88 search
31.88 run=0 nbConstraintChecks=25156 nbValidityChecks=77395 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.88 nbAssignments=38 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=56 nbRestartNogoods=0
31.88 => wckTime=0.216 cpuTime=0.19 mem=26M103
32.02
32.02 search
32.02 run=1 nbConstraintChecks=61817 nbValidityChecks=196730 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.02 nbAssignments=86 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=132 nbRestartNogoods=3
32.02 => wckTime=0.349 cpuTime=0.32 mem=26M103
32.15
32.15 search
32.15 run=2 nbConstraintChecks=112376 nbValidityChecks=348920 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.15 nbAssignments=145 nbFailedAssignments=36 nbBacktracks=48 nbVisitedNodes=228 nbRestartNogoods=4
32.15 => wckTime=0.487 cpuTime=0.45 mem=26M103
32.36
32.36 search
32.36 run=3 nbConstraintChecks=189037 nbValidityChecks=587517 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.37 nbAssignments=224 nbFailedAssignments=62 nbBacktracks=81 nbVisitedNodes=366 nbRestartNogoods=7
32.37 => wckTime=0.698 cpuTime=0.66 mem=26M103
32.63
32.63 search
32.63 run=4 nbConstraintChecks=300311 nbValidityChecks=923124 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.63 nbAssignments=331 nbFailedAssignments=98 nbBacktracks=131 nbVisitedNodes=557 nbRestartNogoods=11
32.63 => wckTime=0.965 cpuTime=0.93 mem=26M103
33.05
33.05 search
33.05 run=5 nbConstraintChecks=466439 nbValidityChecks=1408151 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.05 nbAssignments=476 nbFailedAssignments=145 nbBacktracks=206 nbVisitedNodes=823 nbRestartNogoods=13
33.05 => wckTime=1.382 cpuTime=1.34 mem=26M103
33.73
33.73 search
33.73 run=6 nbConstraintChecks=707005 nbValidityChecks=2221321 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.73 nbAssignments=701 nbFailedAssignments=238 nbBacktracks=319 nbVisitedNodes=1250 nbRestartNogoods=16
33.73 => wckTime=2.068 cpuTime=2.02 mem=26M103
34.71
34.71 search
34.71 run=7 nbConstraintChecks=1067301 nbValidityChecks=3435154 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.71 nbAssignments=1026 nbFailedAssignments=372 nbBacktracks=489 nbVisitedNodes=1868 nbRestartNogoods=18
34.71 => wckTime=3.041 cpuTime=2.99 mem=26M103
36.11
36.11 search
36.11 run=8 nbConstraintChecks=1587219 nbValidityChecks=5167078 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.11 nbAssignments=1486 nbFailedAssignments=558 nbBacktracks=745 nbVisitedNodes=2760 nbRestartNogoods=21
36.11 => wckTime=4.441 cpuTime=4.38 mem=26M103
38.40
38.40 search
38.40 run=9 nbConstraintChecks=2361792 nbValidityChecks=7919772 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.40 nbAssignments=2204 nbFailedAssignments=871 nbBacktracks=1130 nbVisitedNodes=4151 nbRestartNogoods=24
38.40 => wckTime=6.73 cpuTime=6.66 mem=26M103
41.90
41.90 search
41.90 run=10 nbConstraintChecks=3440302 nbValidityChecks=11971350 nbPropagations=0 nbRevisions=0
41.90 nbUselessRevisions=0 nbAssignments=3273 nbFailedAssignments=1347 nbBacktracks=1706 nbVisitedNodes=6246
41.90 nbRestartNogoods=28
41.90 => wckTime=10.237 cpuTime=10.16 mem=26M103
46.93
46.93 search
46.93 run=11 nbConstraintChecks=5107113 nbValidityChecks=17843329 nbPropagations=0 nbRevisions=0
46.93 nbUselessRevisions=0 nbAssignments=4801 nbFailedAssignments=1992 nbBacktracks=2570 nbVisitedNodes=9256
46.93 nbRestartNogoods=33
46.93 => wckTime=15.263 cpuTime=15.19 mem=26M103
54.85
54.85 search
54.85 run=12 nbConstraintChecks=7515787 nbValidityChecks=26944881 nbPropagations=0 nbRevisions=0
54.85 nbUselessRevisions=0 nbAssignments=7151 nbFailedAssignments=3029 nbBacktracks=3867 nbVisitedNodes=13876
54.85 nbRestartNogoods=38
54.85 => wckTime=23.178 cpuTime=23.1 mem=26M103
66.45
66.45 search
66.45 run=13 nbConstraintChecks=11140264 nbValidityChecks=40716020 nbPropagations=0 nbRevisions=0
66.45 nbUselessRevisions=0 nbAssignments=10589 nbFailedAssignments=4505 nbBacktracks=5813 nbVisitedNodes=20640
66.45 nbRestartNogoods=43
66.45 => wckTime=34.783 cpuTime=34.7 mem=26M103
84.50
84.50 search
84.50 run=14 nbConstraintChecks=16730950 nbValidityChecks=62112972 nbPropagations=0 nbRevisions=0
84.50 nbUselessRevisions=0 nbAssignments=15943 nbFailedAssignments=6924 nbBacktracks=8732 nbVisitedNodes=31195
84.50 nbRestartNogoods=50
84.50 => wckTime=52.835 cpuTime=52.74 mem=26M103
110.93
110.94 search
110.94 run=15 nbConstraintChecks=24514863 nbValidityChecks=92654832 nbPropagations=0 nbRevisions=0
110.94 nbUselessRevisions=0 nbAssignments=23659 nbFailedAssignments=10241 nbBacktracks=13111 nbVisitedNodes=46429
110.94 nbRestartNogoods=56
110.94 => wckTime=79.268 cpuTime=79.16 mem=26M103
151.35
151.35 search
151.35 run=16 nbConstraintChecks=36267454 nbValidityChecks=139532418 nbPropagations=0 nbRevisions=0
151.35 nbUselessRevisions=0 nbAssignments=35376 nbFailedAssignments=15376 nbBacktracks=19679 nbVisitedNodes=69535
151.35 nbRestartNogoods=60
151.35 => wckTime=119.683 cpuTime=119.57 mem=26M103
211.79
211.79 search
211.79 run=17 nbConstraintChecks=53634169 nbValidityChecks=208338579 nbPropagations=0 nbRevisions=0
211.79 nbUselessRevisions=0 nbAssignments=52704 nbFailedAssignments=22834 nbBacktracks=29531 nbVisitedNodes=103713
211.79 nbRestartNogoods=68
211.79 => wckTime=180.126 cpuTime=179.99 mem=26M103
301.51
301.51 search
301.51 run=18 nbConstraintChecks=80267281 nbValidityChecks=313888095 nbPropagations=0 nbRevisions=0
301.51 nbUselessRevisions=0 nbAssignments=78699 nbFailedAssignments=34037 nbBacktracks=44309 nbVisitedNodes=155116
301.51 nbRestartNogoods=72
301.51 => wckTime=269.843 cpuTime=269.68 mem=26M103
437.28
437.28 search
437.28 run=19 nbConstraintChecks=118616618 nbValidityChecks=470149612 nbPropagations=0 nbRevisions=0
437.28 nbUselessRevisions=0 nbAssignments=117357 nbFailedAssignments=50508 nbBacktracks=66477 nbVisitedNodes=231134
437.28 nbRestartNogoods=79
437.28 => wckTime=405.612 cpuTime=405.41 mem=26M103
645.68
645.68 search
645.68 run=20 nbConstraintChecks=176826523 nbValidityChecks=710569154 nbPropagations=0 nbRevisions=0
645.68 nbUselessRevisions=0 nbAssignments=175960 nbFailedAssignments=75842 nbBacktracks=99730 nbVisitedNodes=346729
645.68 nbRestartNogoods=85
645.68 => wckTime=614.009 cpuTime=613.76 mem=26M103
957.91
957.91 search
957.91 run=21 nbConstraintChecks=265613579 nbValidityChecks=1070283452 nbPropagations=0 nbRevisions=0
957.91 nbUselessRevisions=0 nbAssignments=264178 nbFailedAssignments=114162 nbBacktracks=149608 nbVisitedNodes=520713
957.91 nbRestartNogoods=93
957.91 => wckTime=926.246 cpuTime=925.9 mem=26M103
1411.41
1411.41 search
1411.41 run=22 nbConstraintChecks=399491269 nbValidityChecks=1585753300 nbPropagations=0 nbRevisions=0
1411.41 nbUselessRevisions=0 nbAssignments=394823 nbFailedAssignments=169971 nbBacktracks=224426 nbVisitedNodes=777442
1411.41 nbRestartNogoods=99
1411.41 => wckTime=1379.74 cpuTime=1379.27 mem=26M103
2050.39
2050.39 search
2050.39 run=23 nbConstraintChecks=608632096 nbValidityChecks=2342787836 nbPropagations=0 nbRevisions=0
2050.39 nbUselessRevisions=0 nbAssignments=587087 nbFailedAssignments=249992 nbBacktracks=336653 nbVisitedNodes=1155377
2050.39 nbRestartNogoods=108
2050.39 => wckTime=2018.725 cpuTime=2018.07 mem=26M103
2400.81 v 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-278065-1169273602 -o ROOT/results/node7/solver-278065-1169273602 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278065-1169273602/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.02 1.48 1.77 3/78 20584
/proc/meminfo: memFree=1344600/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=1784 CPUtime=0
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 275755673 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 11017728 0 0 4096 0 0 0 0 17 1 0 0
/proc/20583/statm: 446 160 125 14 0 91 0
[startup+0.10424 s]
/proc/loadavg: 1.02 1.48 1.77 3/78 20584
/proc/meminfo: memFree=1344600/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=914988 CPUtime=0.08
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 3031 0 1 0 7 1 0 0 17 0 8 0 275755673 936947712 2778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228747 2780 1440 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514283 s]
/proc/loadavg: 1.02 1.48 1.77 3/78 20584
/proc/meminfo: memFree=1344600/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915332 CPUtime=0.48
/proc/20583/stat : 20583 (java) S 20581 20583 19970 0 -1 0 6492 0 1 0 44 4 0 0 16 0 8 0 275755673 937299968 6231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228833 6231 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33436 s]
/proc/loadavg: 1.02 1.48 1.77 2/85 20591
/proc/meminfo: memFree=1322784/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=1.31
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 8106 0 1 0 122 9 0 0 17 0 8 0 275755673 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 7844 2476 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915448 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937418752 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.16
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 368 0 0 0 16 0 0 0 16 0 8 0 275755680 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.97053 s]
/proc/loadavg: 1.02 1.48 1.77 2/85 20591
/proc/meminfo: memFree=1322784/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=2.95
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 8112 0 1 0 274 21 0 0 18 0 8 0 275755673 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 7849 2478 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.17
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 373 0 0 0 17 0 0 0 16 0 8 0 275755680 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.24888 s]
/proc/loadavg: 1.02 1.47 1.77 2/85 20591
/proc/meminfo: memFree=1322656/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=6.22
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 8112 0 1 0 581 41 0 0 25 0 8 0 275755673 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 7849 2478 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.17
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 373 0 0 0 17 0 0 0 16 0 8 0 275755680 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 7849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915444
[startup+12.7266 s]
/proc/loadavg: 1.02 1.46 1.76 2/85 20591
/proc/meminfo: memFree=1322656/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=12.7
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 8115 0 1 0 1185 85 0 0 20 0 8 0 275755673 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 7852 2478 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.18
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 376 0 0 0 17 1 0 0 17 0 8 0 275755680 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915448 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937418752 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915444
[startup+25.5769 s]
/proc/loadavg: 1.02 1.45 1.75 2/85 20591
/proc/meminfo: memFree=1322656/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=25.54
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 8115 0 1 0 2385 169 0 0 25 0 8 0 275755673 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 7852 2478 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.18
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 376 0 0 0 17 1 0 0 17 0 8 0 275755680 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915444
[startup+51.2636 s]
/proc/loadavg: 1.01 1.40 1.73 2/85 20591
/proc/meminfo: memFree=1309472/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=51.21
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 11519 0 1 0 4909 212 0 0 25 0 8 0 275755673 937414656 11250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972874 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 11250 2534 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 11250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 11250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.28
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 440 0 0 0 27 1 0 0 16 0 8 0 275755680 937414656 11250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 11250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 11250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915444
[startup+102.526 s]
/proc/loadavg: 1.00 1.34 1.69 2/85 20591
/proc/meminfo: memFree=1309408/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=102.46
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 11527 0 1 0 10034 212 0 0 25 0 8 0 275755673 937414656 11258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073949321 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 11258 2534 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 11258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 11258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.28
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 441 0 0 0 27 1 0 0 16 0 8 0 275755680 937414656 11258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 11258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 11258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915444
[startup+162.625 s]
/proc/loadavg: 1.00 1.27 1.64 2/85 20591
/proc/meminfo: memFree=1309344/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=162.54
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 11532 0 1 0 16041 213 0 0 25 0 8 0 275755673 937414656 11263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073910657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.91
Current children cumulated vsize (KiB) 915444
[startup+2085.63 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 20593
/proc/meminfo: memFree=1309216/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=2085
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 11551 0 1 0 208273 227 0 0 25 0 8 0 275755673 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 11282 2534 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.29
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2085
Current children cumulated vsize (KiB) 915444
[startup+2145.73 s]
/proc/loadavg: 1.03 1.01 1.07 2/85 20593
/proc/meminfo: memFree=1309216/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=2145.08
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 11551 0 1 0 214281 227 0 0 25 0 8 0 275755673 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 11282 2534 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.29
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2145.08
Current children cumulated vsize (KiB) 915444
[startup+2205.82 s]
/proc/loadavg: 1.01 1.00 1.06 2/85 20593
/proc/meminfo: memFree=1309152/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=2205.17
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 11551 0 1 0 220289 228 0 0 25 0 8 0 275755673 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 11282 2534 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.29
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2205.17
Current children cumulated vsize (KiB) 915444
[startup+2265.93 s]
/proc/loadavg: 1.06 1.02 1.06 2/85 20593
/proc/meminfo: memFree=1309216/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=2265.24
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 11551 0 1 0 226296 228 0 0 25 0 8 0 275755673 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 11282 2534 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.29
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2265.24
Current children cumulated vsize (KiB) 915444
[startup+2326.02 s]
/proc/loadavg: 1.02 1.01 1.05 2/85 20593
/proc/meminfo: memFree=1309152/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=2325.33
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 11551 0 1 0 232304 229 0 0 25 0 8 0 275755673 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018668 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 11282 2534 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.29
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2325.33
Current children cumulated vsize (KiB) 915444
[startup+2386.12 s]
/proc/loadavg: 1.01 1.00 1.05 2/85 20593
/proc/meminfo: memFree=1309216/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=2385.4
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 11551 0 1 0 238311 229 0 0 25 0 8 0 275755673 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073951529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 11282 2534 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.29
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2385.4
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.8 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 20593
/proc/meminfo: memFree=1309216/2055920 swapFree=4192812/4192956
[pid=20583] ppid=20581 vsize=915444 CPUtime=2400.09
/proc/20583/stat : 20583 (java) R 20581 20583 19970 0 -1 0 11551 0 1 0 239780 229 0 0 25 0 8 0 275755673 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018714 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20583/statm: 228861 11282 2534 14 0 215331 0
[pid=20583/tid=20585] ppid=20581 vsize=915444 CPUtime=0.03
/proc/20583/task/20585/stat : 20585 (java) S 20581 20583 19970 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 275755676 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20586] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20586/stat : 20586 (java) S 20581 20583 19970 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20587] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20587/stat : 20587 (java) S 20581 20583 19970 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275755677 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20588] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20588/stat : 20588 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20589] ppid=20581 vsize=915444 CPUtime=0.29
/proc/20583/task/20589/stat : 20589 (java) S 20581 20583 19970 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20583/tid=20590] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20590/stat : 20590 (java) S 20581 20583 19970 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20583/tid=20591] ppid=20581 vsize=915444 CPUtime=0
/proc/20583/task/20591/stat : 20591 (java) S 20581 20583 19970 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275755680 937414656 11282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.83
CPU time (s): 2400.12
CPU user time (s): 2397.81
CPU system time (s): 2.30565
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.81
system time used= 2.30565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11573
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= 49591
involuntary context switches= 52777
runsolver used 2.58961 s user time and 5.9221 s system time
The end
Begin job on node7 on Sat Jan 20 06:13:22 UTC 2007
IDJOB= 278065
IDBENCH= 8003
IDSOLVER= 68
FILE ID= node7/278065-1169273602
PBS_JOBID= 3607447
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-1800-067521_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278065-1169273602/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-278065-1169273602 -o ROOT/results/node7/solver-278065-1169273602 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278065-1169273602/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7c14bcbf3dd42ca331de32fdac546c31
RANDOM SEED= 196048694
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1345016 kB
Buffers: 54036 kB
Cached: 520224 kB
SwapCached: 0 kB
Active: 204864 kB
Inactive: 424980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1345016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1784 kB
Writeback: 0 kB
Mapped: 74540 kB
Slab: 66400 kB
Committed_AS: 8206872 kB
PageTables: 1976 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= 66563 MiB
End job on node7 on Sat Jan 20 06:53:23 UTC 2007